Searched refs:restore_1 (Results 1 – 1 of 1) sorted by relevance
11991 IRTemp restore_1 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local11994 assign(restore_1, binop(Iop_And64, mkexpr(rfbm_1), mkexpr(xstate_bv_1))); in gen_XRSTOR_SEQUENCE()11996 IRExpr* restore_1e = binop(Iop_CmpNE64, mkexpr(restore_1), mkU64(0)); in gen_XRSTOR_SEQUENCE()