Home | History | Annotate | Download | only in priv

Lines Matching refs:op3_high

9883    IRTemp op3_high = newTemp(Ity_I32);
9890    assign(op3_high, get_gpr_w1(r3));
9898                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);
9943    IRTemp op3_high = newTemp(Ity_I64);
9950    assign(op3_high, get_gpr_dw0(r3));
9958                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);