Home | History | Annotate | Download | only in priv

Lines Matching full:restore_1

11867    IRTemp restore_1    = newTemp(Ity_I64);
11870    assign(restore_1,   binop(Iop_And64, mkexpr(rfbm_1), mkexpr(xstate_bv_1)));
11872    IRExpr* restore_1e  = binop(Iop_CmpNE64, mkexpr(restore_1), mkU64(0));