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

/external/valgrind/main/VEX/priv/
H A Dguest_arm_toIR.c2477 /* irRes :: Ity_I32 holds a floating point comparison result encoded
2482 IRTemp mk_convert_IRCmpF64Result_to_NZCV ( IRTemp irRes )
2489 /* This is where the fun starts. We have to convert 'irRes' from
2523 binop(Iop_Shr32, mkexpr(irRes), mkU8(5)),
2525 binop(Iop_And32, mkexpr(irRes), mkU32(1))));
11207 IRTemp irRes = newTemp(Ity_I32); local
11210 assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR)));
11216 /* This is where the fun starts. We have to convert 'irRes'
11229 nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes);
11673 IRTemp irRes local
[all...]

Completed in 52 milliseconds