Home | History | Annotate | Download | only in priv

Lines Matching defs:op3_low

11870    IRTemp op3_low  = newTemp(Ity_I32);
11877    assign(op3_low,  get_gpr_w1(r3+1));
11884                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);
11930    IRTemp op3_low  = newTemp(Ity_I64);
11937    assign(op3_low,  get_gpr_dw0(r3+1));
11944                  mkexpr(op3_high), mkexpr(op3_low)  /* new value */);