Home | History | Annotate | Download | only in priv

Lines Matching refs:address2

9068    IRTemp address2 = newTemp(Ity_I64);
9075    assign(address2, get_gpr_dw0(r2));
9080    assign(byte2, load(Ity_I8, mkexpr(address2)));
9085    put_gpr_dw0(r2, binop(Iop_Sub64, mkexpr(address2), mkexpr(counter)));
9092    put_gpr_dw0(r2, mkexpr(address2));