Home | History | Annotate | Download | only in priv

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