Lines Matching defs:op1_high
11956 IRTemp op1_high = newTemp(Ity_I32);
11965 assign(op1_high, get_gpr_w1(r1));
11974 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
11982 binop(Iop_Xor32, mkexpr(op1_high), mkexpr(old_mem_high)),
11991 put_gpr_w1(r1, mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));
12016 IRTemp op1_high = newTemp(Ity_I64);
12025 assign(op1_high, get_gpr_dw0(r1));
12034 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
12042 binop(Iop_Xor64, mkexpr(op1_high), mkexpr(old_mem_high)),
12051 put_gpr_dw0(r1, mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));