Home | History | Annotate | Download | only in priv

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)));