Home | History | Annotate | Download | only in priv

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