Home | History | Annotate | Download | only in priv

Lines Matching defs:op3_high

11960    IRTemp op3_high = newTemp(Ity_I32);
11967    assign(op3_high, get_gpr_w1(r3));
11975                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);
12020    IRTemp op3_high = newTemp(Ity_I64);
12027    assign(op3_high, get_gpr_dw0(r3));
12035                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);