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