Lines Matching refs:addr1
8605 IRTemp addr1 = newTemp(Ity_I64);
8617 assign(addr1, get_gpr_dw0(r1));
8631 we cannot load directly from addr1 here. If len1 is 0, then adddr1
8637 mkU64(guest_IA_curr_instr), mkexpr(addr1)));
8653 /* Update len1 and addr1, unless len1 == 0. */
8656 mkexpr(addr1),
8657 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
8685 IRTemp addr1, addr3, addr1_load, addr3_load, len1, len3, single1, single3;
8687 addr1 = newTemp(Ity_I64);
8696 assign(addr1, get_gpr_dw0(r1));
8707 from reading from addr1 if it should read from the pad. Since the pad
8711 mkU64(guest_IA_curr_instr), mkexpr(addr1)));
8735 mkexpr(addr1),
8736 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
9283 IRTemp addr1 = newTemp(Ity_I64);
9287 assign(addr1, binop(Iop_Add64, mkexpr(start1),
9290 assign(old1, load(Ity_I8, mkexpr(addr1)));
9297 store(mkexpr(addr1),
9301 store(mkexpr(addr1), mkexpr(new1));
9399 IRTemp addr1 = newTemp(Ity_I64);
9409 assign(addr1, get_gpr_dw0(r1));
9422 addr1 > addr2 && addr2 + len1 > addr1 && (addr2 + len2) > addr1 */
9426 binop(Iop_CmpLT64U, mkexpr(addr2), mkexpr(addr1))));
9429 binop(Iop_CmpLT64U, mkexpr(addr1),
9435 mkexpr(addr1),
9454 store(mkexpr(addr1), mkexpr(single));
9456 /* Update addr1 and len1 */
9457 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
9482 IRTemp addr1, addr3, addr3_load, len1, len3, single;
9484 addr1 = newTemp(Ity_I64);
9491 assign(addr1, get_gpr_dw0(r1));
9511 store(mkexpr(addr1), mkexpr(single));
9513 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
9535 IRTemp addr1 = newTemp(Ity_I64);
9541 assign(addr1, get_gpr_dw0(r1));
9546 store(binop(Iop_Add64,mkexpr(addr1),mkexpr(counter)), mkexpr(byte));
9554 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(counter)));
11165 IRTemp addr1 = newTemp(Ity_I64);
11170 assign(addr1, get_gpr_dw0(r1));
11236 /* Extract the bytes to be stored at addr1 */
11249 mkIRExprVec_3(mkexpr(addr1), mkexpr(data),
11253 d->mAddr = mkexpr(addr1);
11267 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
11292 IRTemp addr1 = newTemp(Ity_I64);
11297 assign(addr1, get_gpr_dw0(r1));
11360 /* Extract the bytes to be stored at addr1 */
11363 store(mkexpr(addr1), data);
11374 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(4)));
11399 IRTemp addr1 = newTemp(Ity_I64);
11404 assign(addr1, get_gpr_dw0(r1));
11438 /* Extract the bytes to be stored at addr1 */
11454 mkIRExprVec_3(mkexpr(addr1), mkexpr(data),
11458 d->mAddr = mkexpr(addr1);
11468 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
11493 IRTemp addr1 = newTemp(Ity_I64);
11498 assign(addr1, get_gpr_dw0(r1));
11532 /* Extract the bytes to be stored at addr1 */
11545 mkIRExprVec_3(mkexpr(addr1), mkexpr(data),
11549 d->mAddr = mkexpr(addr1);
11559 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
11614 IRTemp addr1 = newTemp(Ity_I64);
11619 assign(addr1, get_gpr_dw0(r1));
11696 /* Extract the bytes to be stored at addr1 */
11713 mkIRExprVec_3(mkexpr(addr1), mkexpr(data),
11717 d->mAddr = mkexpr(addr1);
11723 store(mkexpr(addr1), unop(Iop_64to32, mkexpr(data)));
11731 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
