fn float_reg<'a, Ty, C>(cx: &C, ret: &ArgAbi<'a, Ty>, i: usize) -> Option<Reg>where
    Ty: TyAbiInterface<'a, C> + Copy,
    C: HasDataLayout,