Home | History | Annotate | Download | only in priv

Lines Matching refs:op3_low

9884    IRTemp op3_low  = newTemp(Ity_I32);
9891    assign(op3_low,  get_gpr_w1(r3+1));
9898                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);
9944    IRTemp op3_low  = newTemp(Ity_I64);
9951    assign(op3_low,  get_gpr_dw0(r3+1));
9958                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);