Home | History | Annotate | Download | only in priv

Lines Matching defs:addr3

8685    IRTemp addr1, addr3, addr1_load, addr3_load, len1, len3, single1, single3;
8688    addr3 = newTemp(Ity_I64);
8698    assign(addr3, get_gpr_dw0(r3));
8713    /* same for addr3 */
8716                 mkU64(guest_IA_curr_instr), mkexpr(addr3)));
8744                      mkexpr(addr3),
8745                      binop(Iop_Add64, mkexpr(addr3), mkU64(1))));
9482    IRTemp addr1, addr3, addr3_load, len1, len3, single;
9485    addr3 = newTemp(Ity_I64);
9493    assign(addr3, get_gpr_dw0(r3));
9500    /* This is a hack to prevent mvcle from reading from addr3 if it
9505                 mkU64(guest_IA_curr_instr), mkexpr(addr3)));
9519                      mkexpr(addr3),
9520                      binop(Iop_Add64, mkexpr(addr3), mkU64(1))));