Lines Matching defs:xstate_bv
11878 /* Finally, we need to update XSTATE_BV in the XSAVE header area, by
11919 static void gen_XRSTOR_SEQUENCE ( IRTemp addr, IRTemp xstate_bv, IRTemp rfbm )
11924 xstate_bv[0] == 1, we will read it from the memory image, else
11928 registers to initial values, regardless of xstate_bv[0]. Then,
11935 assign(xstate_bv_0, binop(Iop_And64, mkexpr(xstate_bv), mkU64(1)));
11993 assign(xstate_bv_1, binop(Iop_And64, mkexpr(xstate_bv), mkU64(2)));
12002 assign(xstate_bv_1or2, binop(Iop_And64, mkexpr(xstate_bv), mkU64(6)));
12079 assign(xstate_bv_2, binop(Iop_And64, mkexpr(xstate_bv), mkU64(4)));
12131 IRTemp xstate_bv = newTemp(Ity_I64);
12132 assign(xstate_bv, loadLE(Ity_I64,
12147 * xstate_bv sets a bit outside of XCR0 (which we assume to be 7).
12150 xcomp_bv is header bytes 15 .. 8 and xstate_bv is header bytes 7 .. 0
12155 binop(Iop_And64, mkexpr(xstate_bv
12163 /* We are guaranteed now that both xstate_bv and rfbm are in the
12165 gen_XRSTOR_SEQUENCE(addr, xstate_bv, rfbm);
12190 as if components 0 and 1 are set as present in XSTATE_BV in the
12191 XSAVE header. Set both rfbm and xstate_bv to 0b011 therefore,
12196 gen_XRSTOR_SEQUENCE(addr, three/*xstate_bv*/, three/*rfbm*/);
