Searched defs:irRes (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/VEX/priv/
H A Dguest_arm_toIR.c2489 /* 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 Dguest_arm64_toIR.c2190 /* 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