Lines Matching defs:addr2

10683    IRTemp addr2 = newTemp(Ity_I64);
10697 assign(addr2, get_gpr_dw0(r2));
10721 mkU64(guest_IA_curr_instr), mkexpr(addr2)));
10742 /* Update len2 and addr2, unless len2 == 0. */
10745 mkexpr(addr2),
10746 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
10921 s390_irgen_EX_SS(UChar r, IRTemp addr2,
10947 assign(torun, load(Ity_I64, mkexpr(addr2)));
10975 s390_irgen_EX(UChar r1, IRTemp addr2)
10985 mkIRExprVec_1(load(Ity_I64, mkexpr(addr2))));
11002 s390_irgen_EX_SS(r1, addr2, s390_irgen_MVC_EX, 64);
11007 s390_irgen_EX_SS(r1, addr2, s390_irgen_CLC_EX, 64);
11012 s390_irgen_EX_SS(r1, addr2, s390_irgen_XC_EX, 32);
11017 s390_irgen_EX_SS(r1, addr2, s390_irgen_OC_EX, 32);
11022 s390_irgen_EX_SS(r1, addr2, s390_irgen_NC_EX, 32);
11027 s390_irgen_EX_SS(r1, addr2, s390_irgen_TR_EX, 64);
11049 assign(torun, binop(Iop_Or64, load(Ity_I64, mkexpr(addr2)),
11477 IRTemp addr2 = newTemp(Ity_I64);
11489 assign(addr2, get_gpr_dw0(r2));
11499 addr1 > addr2 && addr2 + len1 > addr1 && (addr2 + len2) > addr1 */
11503 binop(Iop_CmpLT64U, mkexpr(addr2), mkexpr(addr1))));
11507 binop(Iop_Add64, mkexpr(addr2),
11513 binop(Iop_Add64, mkexpr(addr2),
11526 mkU64(guest_IA_curr_instr), mkexpr(addr2)));
11537 /* Update addr2 and len2 */
11540 mkexpr(addr2),
11541 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
11613 IRTemp addr2 = newTemp(Ity_I64);
11619 assign(addr2, get_gpr_dw0(r2));
11622 assign(byte, load(Ity_I8, binop(Iop_Add64, mkexpr(addr2),mkexpr(counter))));
13318 IRTemp addr2 = newTemp(Ity_I64);
13323 assign(addr2, get_gpr_dw0(r2));
13335 assign(srcval, unop(Iop_16Uto32, load(Ity_I16, mkexpr(addr2))));
13358 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13415 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));
13445 IRTemp addr2 = newTemp(Ity_I64);
13450 assign(addr2, get_gpr_dw0(r2));
13462 assign(srcval, unop(Iop_16Uto32, load(Ity_I16, mkexpr(addr2))));
13486 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13522 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));
13552 IRTemp addr2 = newTemp(Ity_I64);
13557 assign(addr2, get_gpr_dw0(r2));
13569 assign(srcval, load(Ity_I32, mkexpr(addr2)));
13616 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13646 IRTemp addr2 = newTemp(Ity_I64);
13651 assign(addr2, get_gpr_dw0(r2));
13663 assign(srcval, load(Ity_I32, mkexpr(addr2)));
13707 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13767 IRTemp addr2 = newTemp(Ity_I64);
13772 assign(addr2, get_gpr_dw0(r2));
13786 assign(byte1, unop(Iop_8Uto64, load(Ity_I8, mkexpr(addr2))));
13810 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(1));
13813 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13816 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(3));
13879 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));