Lines Matching defs:xstate_bv
11754 /* Finally, we need to update XSTATE_BV in the XSAVE header area, by
11795 static void gen_XRSTOR_SEQUENCE ( IRTemp addr, IRTemp xstate_bv, IRTemp rfbm )
11800 xstate_bv[0] == 1, we will read it from the memory image, else
11804 registers to initial values, regardless of xstate_bv[0]. Then,
11811 assign(xstate_bv_0, binop(Iop_And64, mkexpr(xstate_bv), mkU64(1)));
11869 assign(xstate_bv_1, binop(Iop_And64, mkexpr(xstate_bv), mkU64(2)));
11878 assign(xstate_bv_1or2, binop(Iop_And64, mkexpr(xstate_bv), mkU64(6)));
11955 assign(xstate_bv_2, binop(Iop_And64, mkexpr(xstate_bv), mkU64(4)));
12007 IRTemp xstate_bv = newTemp(Ity_I64);
12008 assign(xstate_bv, loadLE(Ity_I64,
12023 * xstate_bv sets a bit outside of XCR0 (which we assume to be 7).
12026 xcomp_bv is header bytes 15 .. 8 and xstate_bv is header bytes 7 .. 0
12031 binop(Iop_And64, mkexpr(xstate_bv), mkU64(~aSSUMED_XCR0_VALUE)),
12039 /* We are guaranteed now that both xstate_bv and rfbm are in the
12041 gen_XRSTOR_SEQUENCE(addr, xstate_bv, rfbm);
12066 as if components 0 and 1 are set as present in XSTATE_BV in the
12067 XSAVE header. Set both rfbm and xstate_bv to 0b011 therefore,
12072 gen_XRSTOR_SEQUENCE(addr, three/*xstate_bv*/, three/*rfbm*/);
