Searched defs:irRes (Results 1 - 2 of 2) sorted by relevance
/external/valgrind/VEX/priv/ |
H A D | guest_arm_toIR.c | 2489 /* irRes :: Ity_I32 holds a floating point comparison result encoded 2494 IRTemp mk_convert_IRCmpF64Result_to_NZCV ( IRTemp irRes ) 2501 /* This is where the fun starts. We have to convert 'irRes' from 2535 binop(Iop_Shr32, mkexpr(irRes), mkU8(5)), 2537 binop(Iop_And32, mkexpr(irRes), mkU32(1)))); 13609 IRTemp irRes = newTemp(Ity_I32); local 13612 assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR))); 13618 /* This is where the fun starts. We have to convert 'irRes' 13631 nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes); 14118 IRTemp irRes local [all...] |
H A D | guest_arm64_toIR.c | 2190 /* irRes :: Ity_I32 holds a floating point comparison result encoded 2201 IRTemp irRes = newTemp(Ity_I64); local 2203 /* This is where the fun starts. We have to convert 'irRes' from 2233 assign(irRes, unop(Iop_32Uto64, mkexpr(irRes32))); 2239 binop(Iop_Shr64, mkexpr(irRes), mkU8(5)), 2241 binop(Iop_And64, mkexpr(irRes), mkU64(1)))); 12829 IRTemp irRes = newTemp(Ity_I32); local 12835 assign(irRes, binop(isD ? Iop_CmpF64 : Iop_CmpF32, 12837 IRTemp nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes); 12890 IRTemp irRes local [all...] |
Completed in 400 milliseconds