Searched refs:rfbm_2 (Results 1 – 1 of 1) sorted by relevance
| /external/valgrind/VEX/priv/ |
| D | guest_amd64_toIR.c | 11826 IRTemp rfbm_2 = newTemp(Ity_I64); in gen_XSAVE_SEQUENCE() local
11827 assign(rfbm_2, binop(Iop_And64, mkexpr(rfbm), mkU64(4))); in gen_XSAVE_SEQUENCE()
11829 IRExpr* guard_2 = binop(Iop_CmpEQ64, mkexpr(rfbm_2), mkU64(4)); in gen_XSAVE_SEQUENCE()
12075 IRTemp rfbm_2 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local
12078 assign(rfbm_2, binop(Iop_And64, mkexpr(rfbm), mkU64(4))); in gen_XRSTOR_SEQUENCE()
12080 assign(restore_2, binop(Iop_And64, mkexpr(rfbm_2), mkexpr(xstate_bv_2))); in gen_XRSTOR_SEQUENCE()
12082 IRExpr* rfbm_2e = binop(Iop_CmpNE64, mkexpr(rfbm_2), mkU64(0)); in gen_XRSTOR_SEQUENCE()
|