Searched refs:xstate_bv_1or2 (Results 1 – 1 of 1) sorted by relevance
11999 IRTemp xstate_bv_1or2 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local12002 assign(xstate_bv_1or2, binop(Iop_And64, mkexpr(xstate_bv), mkU64(6))); in gen_XRSTOR_SEQUENCE()12004 mkexpr(xstate_bv_1or2))); in gen_XRSTOR_SEQUENCE()