Lines Matching defs:op1_low
11866 IRTemp op1_low = newTemp(Ity_I32);
11875 assign(op1_low, get_gpr_w1(r1+1));
11883 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
11892 binop(Iop_Xor32, mkexpr(op1_low), mkexpr(old_mem_low))),
11901 put_gpr_w1(r1+1, mkite(mkexpr(nequal), mkexpr(old_mem_low), mkexpr(op1_low)));
11926 IRTemp op1_low = newTemp(Ity_I64);
11935 assign(op1_low, get_gpr_dw0(r1+1));
11943 mkexpr(op1_high), mkexpr(op1_low), /* expected value */
11952 binop(Iop_Xor64, mkexpr(op1_low), mkexpr(old_mem_low))),
11961 put_gpr_dw0(r1+1, mkite(mkexpr(nequal), mkexpr(old_mem_low), mkexpr(op1_low)));