Searched refs:xstate_bv_0 (Results 1 – 1 of 1) sorted by relevance
11932 IRTemp xstate_bv_0 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local11935 assign(xstate_bv_0, binop(Iop_And64, mkexpr(xstate_bv), mkU64(1))); in gen_XRSTOR_SEQUENCE()11936 assign(restore_0, binop(Iop_And64, mkexpr(rfbm_0), mkexpr(xstate_bv_0))); in gen_XRSTOR_SEQUENCE()