Searched refs:restore_2 (Results 1 – 1 of 1) sorted by relevance
12077 IRTemp restore_2 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local12080 assign(restore_2, binop(Iop_And64, mkexpr(rfbm_2), mkexpr(xstate_bv_2))); in gen_XRSTOR_SEQUENCE()12083 IRExpr* restore_2e = binop(Iop_CmpNE64, mkexpr(restore_2), mkU64(0)); in gen_XRSTOR_SEQUENCE()