Searched defs:rfbm_1 (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/VEX/priv/ |
| H A D | guest_amd64_toIR.c | 11765 IRTemp rfbm_1 = newTemp(Ity_I64); local
11767 assign(rfbm_1, binop(Iop_And64, mkexpr(rfbm), mkU64(2)));
11770 IRExpr* guard_1 = binop(Iop_CmpEQ64, mkexpr(rfbm_1), mkU64(2));
11989 IRTemp rfbm_1 = newTemp(Ity_I64); local
11992 assign(rfbm_1, binop(Iop_And64, mkexpr(rfbm), mkU64(2)));
11994 assign(restore_1, binop(Iop_And64, mkexpr(rfbm_1), mkexpr(xstate_bv_1)));
11995 IRExpr* rfbm_1e = binop(Iop_CmpNE64, mkexpr(rfbm_1), mkU64(0));
[all...] |
Completed in 169 milliseconds