Lines Matching refs:Iop_Add64
1345 binop( Iop_Add64,
6612 irx_addr = binop( Iop_Add64, mkexpr(addr), mkU64(i*8) );
8104 assign( EA_lo, binop(Iop_Add64, mkexpr(EA_hi), mkU64(8)) );
10867 IROp addOp = ty == Ity_I64 ? Iop_Add64 : Iop_Add32;
11661 assign( z3, binop(Iop_Add64, mkexpr(b3),
11662 binop(Iop_Add64,
11663 binop(Iop_Add64, mkexpr(a15), mkexpr(a14)),
11664 binop(Iop_Add64, mkexpr(a13), mkexpr(a12)))) );
11665 assign( z2, binop(Iop_Add64, mkexpr(b2),
11666 binop(Iop_Add64,
11667 binop(Iop_Add64, mkexpr(a11), mkexpr(a10)),
11668 binop(Iop_Add64, mkexpr(a9), mkexpr(a8)))) );
11669 assign( z1, binop(Iop_Add64, mkexpr(b1),
11670 binop(Iop_Add64,
11671 binop(Iop_Add64, mkexpr(a7), mkexpr(a6)),
11672 binop(Iop_Add64, mkexpr(a5), mkexpr(a4)))) );
11673 assign( z0, binop(Iop_Add64, mkexpr(b0),
11674 binop(Iop_Add64,
11675 binop(Iop_Add64, mkexpr(a3), mkexpr(a2)),
11676 binop(Iop_Add64, mkexpr(a1), mkexpr(a0)))) );
11701 assign( z3, binop(Iop_Add64, mkexpr(b3),
11702 binop(Iop_Add64,
11703 binop(Iop_Add64, mkexpr(a15), mkexpr(a14)),
11704 binop(Iop_Add64, mkexpr(a13), mkexpr(a12)))) );
11705 assign( z2, binop(Iop_Add64, mkexpr(b2),
11706 binop(Iop_Add64,
11707 binop(Iop_Add64, mkexpr(a11), mkexpr(a10)),
11708 binop(Iop_Add64, mkexpr(a9), mkexpr(a8)))) );
11709 assign( z1, binop(Iop_Add64, mkexpr(b1),
11710 binop(Iop_Add64,
11711 binop(Iop_Add64, mkexpr(a7), mkexpr(a6)),
11712 binop(Iop_Add64, mkexpr(a5), mkexpr(a4)))) );
11713 assign( z0, binop(Iop_Add64, mkexpr(b0),
11714 binop(Iop_Add64,
11715 binop(Iop_Add64, mkexpr(a3), mkexpr(a2)),
11716 binop(Iop_Add64, mkexpr(a1), mkexpr(a0)))) );
11735 assign( z3, binop(Iop_Add64, mkexpr(b3),
11736 binop(Iop_Add64, mkexpr(a7), mkexpr(a6))));
11737 assign( z2, binop(Iop_Add64, mkexpr(b2),
11738 binop(Iop_Add64, mkexpr(a5), mkexpr(a4))));
11739 assign( z1, binop(Iop_Add64, mkexpr(b1),
11740 binop(Iop_Add64, mkexpr(a3), mkexpr(a2))));
11741 assign( z0, binop(Iop_Add64, mkexpr(b0),
11742 binop(Iop_Add64, mkexpr(a1), mkexpr(a0))));
11757 assign( z2, binop(Iop_Add64, mkexpr(b2),
11758 binop(Iop_Add64, mkexpr(a3), mkexpr(a2))) );
11759 assign( z0, binop(Iop_Add64, mkexpr(b0),
11760 binop(Iop_Add64, mkexpr(a1), mkexpr(a0))) );
11775 assign( z0, binop(Iop_Add64, mkexpr(b0),
11776 binop(Iop_Add64,
11777 binop(Iop_Add64, mkexpr(a3), mkexpr(a2)),
11778 binop(Iop_Add64, mkexpr(a1), mkexpr(a0)))) );
12148 assign( z3, binop(Iop_Add64, mkexpr(c3),
12149 binop(Iop_Add64, mkexpr(ab7), mkexpr(ab6))));
12150 assign( z2, binop(Iop_Add64, mkexpr(c2),
12151 binop(Iop_Add64, mkexpr(ab5), mkexpr(ab4))));
12152 assign( z1, binop(Iop_Add64, mkexpr(c1),
12153 binop(Iop_Add64, mkexpr(ab3), mkexpr(ab2))));
12154 assign( z0, binop(Iop_Add64, mkexpr(c0),
12155 binop(Iop_Add64, mkexpr(ab1), mkexpr(ab0))));
12186 assign( z3, binop(Iop_Add64, mkexpr(c3),
12187 binop(Iop_Add64, mkexpr(ab7), mkexpr(ab6))));
12188 assign( z2, binop(Iop_Add64, mkexpr(c2),
12189 binop(Iop_Add64, mkexpr(ab5), mkexpr(ab4))));
12190 assign( z1, binop(Iop_Add64, mkexpr(c1),
12191 binop(Iop_Add64, mkexpr(ab3), mkexpr(ab2))));
12192 assign( z0, binop(Iop_Add64, mkexpr(c0),
12193 binop(Iop_Add64, mkexpr(ab1), mkexpr(ab0))));
