Home | History | Annotate | Download | only in priv

Lines Matching refs:op1_high

9879    IRTemp op1_high = newTemp(Ity_I32);
9888    assign(op1_high, get_gpr_w1(r1));
9897                  mkexpr(op1_high), mkexpr(op1_low), /* expected value */
9905                       binop(Iop_Xor32, mkexpr(op1_high), mkexpr(old_mem_high)),
9914    put_gpr_w1(r1,   mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));
9939    IRTemp op1_high = newTemp(Ity_I64);
9948    assign(op1_high, get_gpr_dw0(r1));
9957                  mkexpr(op1_high), mkexpr(op1_low), /* expected value */
9965                       binop(Iop_Xor64, mkexpr(op1_high), mkexpr(old_mem_high)),
9974    put_gpr_dw0(r1,   mkite(mkexpr(nequal), mkexpr(old_mem_high), mkexpr(op1_high)));