Searched refs:addr_plus_512 (Results 1 – 1 of 1) sorted by relevance
11880 IRTemp addr_plus_512 = newTemp(Ity_I64); in dis_XSAVE() local11881 assign(addr_plus_512, binop(Iop_Add64, mkexpr(addr), mkU64(512))); in dis_XSAVE()11882 storeLE( mkexpr(addr_plus_512), in dis_XSAVE()11885 loadLE(Ity_I8, mkexpr(addr_plus_512))) ); in dis_XSAVE()