s390: implement floating point register allocation