Lines Matching defs:op1_high
11865 IRTemp op1_high = newTemp(Ity_I32);
11874 assign(op1_high, get_gpr_w1(r1));
11883 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
11891 binop(Iop_Xor32, mkexpr(op1_high), mkexpr(old_mem_high)),
11900 put_gpr_w1(r1, mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));
11925 IRTemp op1_high = newTemp(Ity_I64);
11934 assign(op1_high, get_gpr_dw0(r1));
11943 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
11951 binop(Iop_Xor64, mkexpr(op1_high), mkexpr(old_mem_high)),
11960 put_gpr_dw0(r1, mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));