Searched refs:rfbm_1 (Results 1 – 1 of 1) sorted by relevance
| /external/valgrind/VEX/priv/ |
| D | guest_amd64_toIR.c | 11765 IRTemp rfbm_1 = newTemp(Ity_I64); in gen_XSAVE_SEQUENCE() local
11767 assign(rfbm_1, binop(Iop_And64, mkexpr(rfbm), mkU64(2))); in gen_XSAVE_SEQUENCE()
11770 IRExpr* guard_1 = binop(Iop_CmpEQ64, mkexpr(rfbm_1), mkU64(2)); in gen_XSAVE_SEQUENCE()
11989 IRTemp rfbm_1 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local
11992 assign(rfbm_1, binop(Iop_And64, mkexpr(rfbm), mkU64(2))); in gen_XRSTOR_SEQUENCE()
11994 assign(restore_1, binop(Iop_And64, mkexpr(rfbm_1), mkexpr(xstate_bv_1))); in gen_XRSTOR_SEQUENCE()
11995 IRExpr* rfbm_1e = binop(Iop_CmpNE64, mkexpr(rfbm_1), mkU64(0)); in gen_XRSTOR_SEQUENCE()
|