Lines Matching refs:Iop_Add64

1902    assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
1920 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
2166 assign(op4addr, binop(Iop_Add64, mkU64(d4), b4 != 0 ? get_gpr_dw0(b4) :
2183 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2199 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2215 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2231 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2259 assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :
2277 assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :
2295 assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :
2315 assign(op2addr, binop(Iop_Add64, mkexpr(d2), b2 != 0 ? get_gpr_dw0(b2) :
2333 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2347 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2364 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2381 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2398 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkU64(d2),
2417 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),
2436 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),
2455 assign(op2addr, binop(Iop_Add64, binop(Iop_Add64, mkexpr(d2),
2472 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2488 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2506 assign(op1addr, binop(Iop_Add64, mkexpr(d1), b1 != 0 ? get_gpr_dw0(b1) :
2524 assign(op1addr, binop(Iop_Add64, mkexpr(d1), b1 != 0 ? get_gpr_dw0(b1) :
2541 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2543 assign(op2addr, binop(Iop_Add64, mkU64(d2), b2 != 0 ? get_gpr_dw0(b2) :
2559 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2575 assign(op1addr, binop(Iop_Add64, mkU64(d1), b1 != 0 ? get_gpr_dw0(b1) :
2615 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2631 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2663 assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));
2711 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2727 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2760 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2794 assign(result, binop(Iop_Add64, mkU64((ULong)op2), mkexpr(op3)));
2828 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2894 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64((ULong)op2)));
2976 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
2992 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
3024 assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));
3072 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
3088 assign(result, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)));
3121 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
3192 assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),
3231 assign(result, binop(Iop_Add64, binop(Iop_Add64, mkexpr(op1), mkexpr(op2)),
3265 assign(result, binop(Iop_Add64, mkexpr(op1), mkU64(op2)));
3299 assign(result, binop(Iop_Add64, mkU64(op2), mkexpr(op3)));
3721 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), get_gpr_dw0(r3)));
3747 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), get_gpr_dw0(r3)));
3855 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), get_gpr_dw0(r3)));
3881 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), get_gpr_dw0(r3)));
4918 assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
4927 assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
4936 assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
4980 assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
4989 assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
4998 assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
5042 assign(c1, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
5051 assign(c2, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
5060 assign(c3, unop(Iop_8Uto32, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr),
5365 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5370 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5375 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5400 put_gpr_b5(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5405 put_gpr_b6(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5410 put_gpr_b7(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5435 put_gpr_b1(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5440 put_gpr_b2(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5445 put_gpr_b3(r1, load(Ity_I8, binop(Iop_Add64, mkexpr(op2addr), mkU64(n))));
5685 assign(result, binop(Iop_Add64, mkexpr(op2), mkexpr(op3)));
6375 put_gpr_dw0(r1 + 1, load(Ity_I64, binop(Iop_Add64, mkexpr(op2addr), mkU64(8))
7959 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1));
7963 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1));
7967 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1));
7986 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b5(r1));
7990 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b6(r1));
7994 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b7(r1));
8013 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b1(r1));
8017 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b2(r1));
8021 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(n)), get_gpr_b3(r1));
8090 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(8)), get_gpr_dw0(r1 + 1));
8099 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8108 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8109 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1));
8110 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1));
8119 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(1)), get_gpr_b6(r1));
8120 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(2)), get_gpr_b5(r1));
8121 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(3)), get_gpr_b4(r1));
8122 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(4)), get_gpr_b3(r1));
8123 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(5)), get_gpr_b2(r1));
8124 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(6)), get_gpr_b1(r1));
8125 store(binop(Iop_Add64, mkexpr(op2addr), mkU64(7)), get_gpr_b0(r1));
10643 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
10655 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
10722 binop(Iop_Add64, mkexpr(addr1), mkU64(1))));
10731 binop(Iop_Add64, mkexpr(addr3), mkU64(1))));
10774 assign(current1, load(Ity_I8, binop(Iop_Add64, mkexpr(start1),
10776 assign(current2, load(Ity_I8, binop(Iop_Add64, mkexpr(start2),
10785 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10797 store(binop(Iop_Add64, mkexpr(start1), mkexpr(counter)),
10798 load(Ity_I8, binop(Iop_Add64, mkexpr(start2), mkexpr(counter))));
10801 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10816 assign(op, load(Ity_I8, binop(Iop_Add64, mkexpr(start1), mkexpr(counter))));
10818 assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)), mkexpr(start2)));
10821 store(binop(Iop_Add64, mkexpr(start1), mkexpr(counter)), mkexpr(op1));
10823 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
10872 assign(start1, binop(Iop_Add64, mkU64(ss.dec.d1),
10874 assign(start2, binop(Iop_Add64, mkU64(ss.dec.d2),
11041 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11043 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(address), mkU64(1)));
11099 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11100 put_gpr_dw0(r1, binop(Iop_Add64, get_gpr_dw0(r1), mkU64(1)));
11101 put_gpr_dw0(r2, binop(Iop_Add64, get_gpr_dw0(r2), mkU64(1)));
11122 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11157 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11178 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));
11199 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11234 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11255 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(8)));
11273 assign(addr1, binop(Iop_Add64, mkexpr(start1),
11277 assign(old2, load(Ity_I8, binop(Iop_Add64, mkexpr(start2),
11318 binop(Iop_Add64, mkU64(d), b != 0 ? get_gpr_dw0(b) : mkU64(0)));
11324 store(binop(Iop_Add64, mkexpr(start), mkU64(i)), mkU8(0));
11329 assign(addr, binop(Iop_Add64, mkexpr(start),
11416 binop(Iop_Add64, mkexpr(addr2),
11422 binop(Iop_Add64, mkexpr(addr2),
11443 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
11450 binop(Iop_Add64, mkexpr(addr2), mkU64(1))));
11499 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(1)));
11506 binop(Iop_Add64, mkexpr(addr3), mkU64(1))));
11531 assign(byte, load(Ity_I8, binop(Iop_Add64, mkexpr(addr2),mkexpr(counter))));
11532 store(binop(Iop_Add64,mkexpr(addr1),mkexpr(counter)), mkexpr(byte));
11535 put_counter_dw0(binop(Iop_Add64, mkexpr(counter), mkU64(1)));
11540 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(counter)));
11720 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
11755 assign(addr, binop(Iop_Add64, mkexpr(old), mkU64(4)));
12791 assign(shift_amount, unop(Iop_64to8, binop(Iop_Add64, mkexpr(num),
12958 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr), mkexpr(inc)));
12994 assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),
13004 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13005 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13041 assign(result, binop(Iop_Add64, unop(Iop_16Uto64, mkexpr(op)),
13052 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2)));
13053 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(1)));
13089 assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),
13099 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13100 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));
13136 assign(result, binop(Iop_Add64, unop(Iop_16Uto64, mkexpr(op)),
13147 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(src_addr), mkU64(2)));
13148 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(des_addr), mkU64(2)));
13195 assign(result, binop(Iop_Add64, unop(Iop_8Uto64, mkexpr(op)),
13201 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(src_addr), mkU64(1)));
13267 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13324 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));
13328 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13395 IRExpr *low_surrogate_addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13431 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));
13435 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkU64(4)));
13525 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13529 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13616 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkU64(4)));
13620 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));
13719 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(1));
13722 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(2));
13725 addr = binop(Iop_Add64, mkexpr(addr2), mkU64(3));
13788 put_gpr_dw0(r2, binop(Iop_Add64, mkexpr(addr2), mkexpr(num_src_bytes)));
13792 put_gpr_dw0(r1, binop(Iop_Add64, mkexpr(addr1), mkexpr(num_bytes)));