Lines Matching defs:binop
287 static IRExpr* binop ( IROp op, IRExpr* a1, IRExpr* a2 )
325 //ZZ binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0))) );
357 //ZZ binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0))) );
382 //ZZ binop(Iop_Or32,
383 //ZZ binop(Iop_Shl32, mkexpr(src), mkU8(32 - rot)),
384 //ZZ binop(Iop_Shr32, mkexpr(src), mkU8(rot)));
389 //ZZ return binop(Iop_64HLtoV128, mkU64(i), mkU64(i));
397 //ZZ return binop(Iop_And32, e, mkU32(~3));
556 assign(res, binop(mkOR(ty),
557 binop(mkSHL(ty), mkexpr(arg), mkU8(w - imm)),
558 binop(mkSHR(ty), mkexpr(arg), mkU8(imm)) ));
576 assign(res, binop(mkSAR(ty),
577 binop(mkSHL(ty), mkexpr(arg), mkU8(w - 1 - imm)),
1142 //ZZ IRExpr_ITE( binop(Iop_CmpNE32, mkexpr(guardT), mkU32(0)),
1182 //ZZ assign(nyu, binop(Iop_Or32, mkexpr(old), e) );
1213 binop(Iop_Shr32, IRExpr_Get(OFFB_FPCR, Ity_I32), mkU8(22)));
1216 binop(Iop_Or32,
1217 binop(Iop_And32,
1218 binop(Iop_Shl32, mkexpr(armEncd), mkU8(1)),
1220 binop(Iop_And32,
1221 binop(Iop_Shr32, mkexpr(armEncd), mkU8(1)),
1284 binop(Iop_Or64, IRExpr_Get(OFFB_CC_OP, Ity_I64), cond),
1596 binop(Iop_Or64,
1597 binop(Iop_Shr64,
1598 binop(Iop_And64,mkexpr(x),mkexpr(maskT)),
1600 binop(Iop_And64,
1601 binop(Iop_Shl64,mkexpr(x),mkU8(sh)),
1652 assign(t16, binop(Iop_Or64, mkexpr(src),
1653 binop(Iop_Shl64, mkexpr(src), mkU8(8))));
1655 assign(t32, binop(Iop_Or64, mkexpr(t16),
1656 binop(Iop_Shl64, mkexpr(t16), mkU8(16))));
1658 assign(t64, binop(Iop_Or64, mkexpr(t32),
1659 binop(Iop_Shl64, mkexpr(t32), mkU8(32))));
1664 assign(t32, binop(Iop_Or64, mkexpr(src),
1665 binop(Iop_Shl64, mkexpr(src), mkU8(16))));
1667 assign(t64, binop(Iop_Or64, mkexpr(t32),
1668 binop(Iop_Shl64, mkexpr(t32), mkU8(32))));
1673 assign(t64, binop(Iop_Or64, mkexpr(src),
1674 binop(Iop_Shl64, mkexpr(src), mkU8(32))));
1735 binop(Iop_Or64,
1736 binop(Iop_And64,
1737 binop(Iop_Shr64, mkexpr(irRes), mkU8(5)),
1739 binop(Iop_And64, mkexpr(irRes), mkU64(1))));
1743 binop(Iop_Add64,
1744 binop(Iop_Shr64,
1745 binop(Iop_Sub64,
1746 binop(Iop_Shl64,
1747 binop(Iop_Xor64, mkexpr(ix), mkU64(1)),
1755 binop(Iop_And64,
1756 binop(Iop_And64,
1758 binop(Iop_Shr64, mkexpr(ix), mkU8(1))),
1761 assign(nzcv, binop(Iop_Sub64, mkexpr(termL), mkexpr(termR)));
1922 assign(res, binop(isSub ? Iop_Sub64 : Iop_Add64,
1940 assign(res, binop(isSub ? Iop_Sub32 : Iop_Add32,
2010 assign(res, binop(ops64[op], argL, argR));
2025 assign(res, binop(ops32[op], argL, argR));
2081 = binop(Iop_Or64,
2082 binop(Iop_And64, mkexpr(old), mkU64(~mask)),
2093 = binop(Iop_Or32,
2094 binop(Iop_And32, mkexpr(old), mkU32(~mask)),
2166 assign(bot, binop(mkOR(ty),
2167 binop(mkAND(ty), mkexpr(dst), mkU(ty, ~wmask)),
2168 binop(mkAND(ty), mkexpr(mathROR(ty, src, immR)),
2173 assign(res, binop(mkOR(ty),
2174 binop(mkAND(ty), mkexpr(top), mkU(ty, ~tmask)),
2175 binop(mkAND(ty), mkexpr(bot), mkU(ty, tmask))));
2211 assign(res, binop(mkOR(ty),
2212 binop(mkSHL(ty), mkexpr(srcHi), mkU8(szBits-imm6)),
2213 binop(mkSHR(ty), mkexpr(srcLo), mkU8(imm6))));
2264 assign(t1, binop(mkSHL(ty), mkexpr(t0), mkU8(sh_amt)));
2267 assign(t1, binop(mkSHR(ty), mkexpr(t0), mkU8(sh_amt)));
2270 assign(t1, binop(mkSAR(ty), mkexpr(t0), mkU8(sh_amt)));
2325 assign(res, binop(op, mkexpr(argL), mkexpr(argR)));
2377 binop(op,
2378 binop(op, mkexpr(argL), mkexpr(argR)),
2379 binop(xorOp, mkexpr(oldC), one)));
2382 binop(op,
2383 binop(op, mkexpr(argL), mkexpr(argR)),
2440 assign(res, binop(op, mkexpr(argL), mkexpr(argR)));
2475 binop(isU ? Iop_MullU64 : Iop_MullS64,
2498 binop(isAdd ? Iop_Add64 : Iop_Sub64,
2500 binop(Iop_Mul64, getIReg64orZR(mm), getIReg64orZR(nn))));
2504 binop(isAdd ? Iop_Add32 : Iop_Sub32,
2506 binop(Iop_Mul32, getIReg32orZR(mm), getIReg32orZR(nn))));
2539 argR = binop(mkADD(ty), argR, mkU(ty,1));
2545 argR = binop(mkSUB(ty), mkU(ty,0), argR);
2616 xMw = binop(Iop_And64, xMw, mkU64(0xFF)); break;
2618 xMw = binop(Iop_And64, xMw, mkU64(0xFFFF)); break;
2639 xMw = binop(Iop_Sar64, binop(Iop_Shl64, xMw, mkU8(shSX)),
2648 assign(argR, binop(Iop_Shl64, xMw, mkU8(imm3)));
2650 assign(res, binop(isSub ? Iop_Sub64 : Iop_Add64,
2819 assign(src, binop(Iop_Shl64, getIReg64orZR(nn), mkU8(32)));
2846 assign(dst, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(src), mkU64(0)),
2851 assign(src, binop(Iop_Shl64,
2853 assign(dst, IRExpr_ITE(binop(Iop_CmpEQ64, mkexpr(src), mkU64(0)),
2885 binop(Iop_And64,
2893 assign(res, binop(iop, mkexpr(srcL), mkexpr(srcR)));
2916 putIRegOrZR(is64, dd, binop(is64 ? Iop_DivS64 : Iop_DivS32,
2920 putIRegOrZR(is64, dd, binop(is64 ? Iop_DivU64 : Iop_DivU32,
2954 assign(muld, binop(isU ? Iop_MullU32 : Iop_MullS32,
2956 assign(res, binop(isAdd ? Iop_Add64 : Iop_Sub64,
3048 rhs = binop(Iop_Shl64, getIReg64orZR(mm), mkU8(szLg2));
3058 rhs = binop(Iop_Shl64,
3069 rhs = binop(Iop_Shl64,
3081 assign(res, binop(Iop_Add64, getIReg64orSP(nn), rhs));
3170 assign(ta, binop(Iop_Add64, getIReg64orSP(nn), mkU64(offs)));
3232 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3336 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm7)));
3372 binop(Iop_Add64,mkexpr(tTA),mkU64(0))));
3374 binop(Iop_Add64,mkexpr(tTA),mkU64(8))));
3378 binop(Iop_Add64,mkexpr(tTA),mkU64(0))));
3380 binop(Iop_Add64,mkexpr(tTA),mkU64(4))));
3383 storeLE(binop(Iop_Add64,mkexpr(tTA),mkU64(0)),
3385 storeLE(binop(Iop_Add64,mkexpr(tTA),mkU64(8)),
3390 storeLE(binop(Iop_Add64,mkexpr(tTA),mkU64(0)),
3392 storeLE(binop(Iop_Add64,mkexpr(tTA),mkU64(4)),
3535 IRExpr* ea = binop(Iop_Add64,
3610 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3686 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3773 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm7)));
3821 loadLE(ty, binop(Iop_Add64, mkexpr(tTA), mkU64(0))));
3826 loadLE(ty, binop(Iop_Add64, mkexpr(tTA), mkU64(szB))));
3828 storeLE(binop(Iop_Add64, mkexpr(tTA), mkU64(0)),
3830 storeLE(binop(Iop_Add64, mkexpr(tTA), mkU64(szB)),
4010 assign(tEA, binop(Iop_Add64, getIReg64orSP(nn), mkU64(pimm12)));
4060 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
4102 assign(tEA, binop(Iop_Add64, getIReg64orSP(nn), mkU64(simm9)));
4294 putIReg64orSP(rN, binop(Iop_Add64, mkexpr(tEA), mkU64(16)));
4329 putIReg64orSP(rN, binop(Iop_Add64, mkexpr(tEA), mkU64(8)));
4356 IRExpr* tEA_0 = binop(Iop_Add64, mkexpr(tEA), mkU64(0));
4357 IRExpr* tEA_8 = binop(Iop_Add64, mkexpr(tEA), mkU64(8));
4358 IRExpr* tEA_16 = binop(Iop_Add64, mkexpr(tEA), mkU64(16));
4359 IRExpr* tEA_24 = binop(Iop_Add64, mkexpr(tEA), mkU64(24));
4377 IRExpr* tEA_4 = binop(Iop_Add64, mkexpr(tEA), mkU64(4));
4378 IRExpr* tEA_12 = binop(Iop_Add64, mkexpr(tEA), mkU64(12));
4379 IRExpr* tEA_20 = binop(Iop_Add64, mkexpr(tEA), mkU64(20));
4380 IRExpr* tEA_28 = binop(Iop_Add64, mkexpr(tEA), mkU64(28));
4404 putIReg64orSP(rN, binop(Iop_Add64, mkexpr(tEA), mkU64(32)));
4426 IRExpr* tEA_0 = binop(Iop_Add64, mkexpr(tEA), mkU64(0));
4427 IRExpr* tEA_16 = binop(Iop_Add64, mkexpr(tEA), mkU64(16));
4487 putIReg64orZR(ss, binop(Iop_Xor64, unop(Iop_1Uto64, mkexpr(res)),
4654 cond = binop(bIfZ ? Iop_CmpEQ64 : Iop_CmpNE64,
4657 cond = binop(bIfZ ? Iop_CmpEQ32 : Iop_CmpNE32,
4688 = binop(bIfZ ? Iop_CmpEQ64 : Iop_CmpNE64,
4689 binop(Iop_And64,
4690 binop(Iop_Shr64, getIReg64orZR(tt), mkU8(bitNo)),
4780 assign(t, binop(Iop_And64, getIReg64orZR(tt), mkU64(0xF0000000ULL)));
4842 assign( addr, binop( Iop_And64,
4873 assign( addr, binop( Iop_And64,
5278 assign(maxFE, binop(op, mkexpr(xAllF), mkexpr(xAllE)));
5279 assign(maxDC, binop(op, mkexpr(xAllD), mkexpr(xAllC)));
5280 assign(maxBA, binop(op, mkexpr(xAllB), mkexpr(xAllA)));
5281 assign(max98, binop(op, mkexpr(xAll9), mkexpr(xAll8)));
5282 assign(max76, binop(op, mkexpr(xAll7), mkexpr(xAll6)));
5283 assign(max54, binop(op, mkexpr(xAll5), mkexpr(xAll4)));
5284 assign(max32, binop(op, mkexpr(xAll3), mkexpr(xAll2)));
5285 assign(max10, binop(op, mkexpr(xAll1), mkexpr(xAll0)));
5290 assign(maxFEDC, binop(op, mkexpr(maxFE), mkexpr(maxDC)));
5291 assign(maxBA98, binop(op, mkexpr(maxBA), mkexpr(max98)));
5292 assign(max7654, binop(op, mkexpr(max76), mkexpr(max54)));
5293 assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));
5296 assign(maxFEDCBA98, binop(op, mkexpr(maxFEDC), mkexpr(maxBA98)));
5297 assign(max76543210, binop(op, mkexpr(max7654), mkexpr(max3210)));
5299 assign(maxAllLanes, binop(op, mkexpr(maxFEDCBA98),
5340 assign(max76, binop(op, mkexpr(x77777777), mkexpr(x66666666)));
5341 assign(max54, binop(op, mkexpr(x55555555), mkexpr(x44444444)));
5342 assign(max32, binop(op, mkexpr(x33333333), mkexpr(x22222222)));
5343 assign(max10, binop(op, mkexpr(x11111111), mkexpr(x00000000)));
5346 assign(max7654, binop(op, mkexpr(max76), mkexpr(max54)));
5347 assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));
5349 assign(max76543210, binop(op, mkexpr(max7654), mkexpr(max3210)));
5371 assign(max32, binop(op, mkexpr(x3333), mkexpr(x2222)));
5372 assign(max10, binop(op, mkexpr(x1111), mkexpr(x0000)));
5374 assign(max3210, binop(op, mkexpr(max32), mkexpr(max10)));
5403 assign(all15, binop(Iop_64HLtoV128, mkexpr(half15), mkexpr(half15)));
5406 assign(all16, binop(Iop_64HLtoV128, mkexpr(half16), mkexpr(half16)));
5409 assign(all32, binop(Iop_Add8x16, mkexpr(all16), mkexpr(all16)));
5412 assign(all48, binop(Iop_Add8x16, mkexpr(all16), mkexpr(all32)));
5415 assign(all64, binop(Iop_Add8x16, mkexpr(all32), mkexpr(all32)));
5434 binop(Iop_Sub8x16, mkexpr(src), mkexpr(bias)));
5437 binop(Iop_CmpGT8Ux16, mkexpr(all16), mkexpr(biased_indices)));
5440 binop(Iop_AndV128, mkexpr(biased_indices), mkexpr(all15)));
5443 binop(Iop_Perm8x16, mkexpr(tab[tabent]),
5447 binop(Iop_AndV128, mkexpr(results_or_junk), mkexpr(valid_mask)));
5450 assign(tmp, binop(Iop_OrV128, mkexpr(results_or_zero),
5463 binop(Iop_CmpGT8Ux16, mkexpr(allXX[len]), mkexpr(src)));
5466 binop(Iop_OrV128,
5468 binop(Iop_AndV128,
5612 putQReg128(dd, binop(Iop_64HLtoV128, mkU64(imm64hi), mkU64(imm64lo)));
5640 putQRegLO(dd, binop(ops[ix], mkexpr(mk_get_IR_rounding_mode()), getQRegLO(nn, is64 ? Ity_I64 : Ity_I32)));
5677 : binop(ops[ix], mkexpr(mk_get_IR_rounding_mode()), src);
5764 binop(mkSQRTF(ty),
5843 assign(irRes, binop(isD ? Iop_CmpF64 : Iop_CmpF32,
5847 assign(nzcv_28x0, binop(Iop_Shl64, mkexpr(nzcv), mkU8(28)));
5989 assign(dst, binop(op, mkU32(irrm), mkexpr(src)));
6020 assign(dst, binop(op, mkU32(irrm), mkexpr(src)));
6063 assign(dst, binop(isD ? Iop_RoundF64toInt : Iop_RoundF32toInt,
6104 assign(res, binop(Iop_F64toF32, mkexpr(mk_get_IR_rounding_mode()),
6168 binop(op, mkexpr(rm), getQRegLane(nn, i, tyI)));
6335 IRExpr* res = swap ? binop(opCMP, argM, argN)
6336 : binop(opCMP, argN, argM);
6367 putQRegLane(dd, 2 * bQ + 0, binop(Iop_F64toF32, mkexpr(rm), srcLo));
6368 putQRegLane(dd, 2 * bQ + 1, binop(Iop_F64toF32, mkexpr(rm), srcHi));
6403 assign(t, binop(op, getQReg128(nn), getQReg128(mm)));
6427 assign(res, binop(isSUB ? Iop_Sub64 : Iop_Add64,
6480 assign(t1, binop(opMUL, getQReg128(nn), getQReg128(mm)));
6484 : binop(opACC, getQReg128(dd), mkexpr(t1)));
6530 assign(t, binop(op, getQReg128(nn), getQReg128(mm)));
6617 putQReg128(dd, binop(ops[sz], getQRegLO(nn, Ity_I64), getQRegLO(mm, Ity_I64)));
6642 assign(res, binop(isORR ? Iop_OrV128 : Iop_AndV128,
6719 case 1: res = binop(opsEQ[szBlg2], argL, argR); break;
6720 case 2: res = unop(Iop_NotV128, binop(opsEQ[szBlg2],
6721 binop(Iop_AndV128, argL, argR),
6724 case 3: res = binop(opsGTU[szBlg2], argL, argR); break;
6725 case 4: res = binop(opsGTS[szBlg2], argL, argR); break;
6726 case 5: res = unop(Iop_NotV128, binop(opsGTU[szBlg2], argR, argL));
6728 case 6: res = unop(Iop_NotV128, binop(opsGTS[szBlg2], argR, argL));
6730 case 7: res = unop(Iop_NotV128, binop(opsGTS[szBlg2], argR, argL));
6732 case 8: res = binop(opsGTS[szBlg2], argL, argR); break;
6734 binop(opsGTS[szBlg2], argL, argR));
6736 case 10: res = binop(opsEQ[szBlg2], argL, argR); break;
6737 case 11: res = binop(opsGTS[szBlg2], argR, argL); break;
6783 res = binop(opXOR, mkexpr(argM), mkexpr(argN));
6786 res = binop(opXOR, mkexpr(argM),
6787 binop(opAND,
6788 binop(opXOR, mkexpr(argM), mkexpr(argN)),
6792 res = binop(opXOR, mkexpr(argD),
6793 binop(opAND,
6794 binop(opXOR, mkexpr(argD), mkexpr(argN)),
6798 res = binop(opXOR, mkexpr(argD),
6799 binop(opAND,
6800 binop(opXOR, mkexpr(argD), mkexpr(argN)),
6833 putQRegLO(dd, binop(Iop_Shr64, getQRegLO(nn, Ity_I64), mkU8(shift)));
6897 assign(candidate, binop(op, getQReg128(nn), mkU8(shift)));
6900 assign(mask, binop(op,
6901 binop(Iop_64HLtoV128,
6907 assign(res, binop(Iop_OrV128,
6908 binop(Iop_AndV128,
6962 assign(src, binop(opsSHR[szBlg2], getQReg128(nn), mkU8(shift)));
7030 res = binop(isU ? Iop_ShrN64x2 : Iop_SarN64x2, tmp, mkU8(32-sh));
7039 res = binop(isU ? Iop_ShrN32x4 : Iop_SarN32x4, tmp, mkU8(16-sh));
7048 res = binop(isU ? Iop_ShrN16x8 : Iop_SarN16x8, tmp, mkU8(8-sh));
7172 putQReg128(dd, binop(Iop_64HLtoV128,
7226 putQReg128(dd, binop(Iop_64HLtoV128,
7264 IRExpr* mask = binop(Iop_64HLtoV128, zero, half);
7265 assign(src, bitQ ? getQReg128(nn) : binop(Iop_AndV128, getQReg128(nn), mask));
7501 assign(res, binop(opSUB[szBlg2], mkV128(0x0000), getQReg128(nn)));
7585 binop(Iop_CmpEQ64x2, getQReg128(nn),
7602 binop(Iop_ShlN64x2, getQReg128(nn), mkU8(sh))));
7900 return binop(Iop_64HLtoV128, unop(Iop_V128to64, mkexpr(a10)),
7907 return binop(Iop_64HLtoV128, unop(Iop_V128HIto64, mkexpr(a10)),
7929 if (out3) assign(*out3, binop(Iop_Shr64, mkexpr(hi64), mkU8(32)));
7930 if (out2) assign(*out2, binop(Iop_And64, mkexpr(hi64), mkU64(0xFFFFFFFF)));
7931 if (out1) assign(*out1, binop(Iop_Shr64, mkexpr(lo64), mkU8(32)));
7932 if (out0) assign(*out0, binop(Iop_And64, mkexpr(lo64), mkU64(0xFFFFFFFF)));
7942 binop(Iop_Or64,
7943 binop(Iop_Shl64, mkexpr(in3), mkU8(32)),
7944 binop(Iop_And64, mkexpr(in2), mkU64(0xFFFFFFFF))));
7946 binop(Iop_Or64,
7947 binop(Iop_Shl64, mkexpr(in1), mkU8(32)),
7948 binop(Iop_And64, mkexpr(in0), mkU64(0xFFFFFFFF))));
7950 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8011 assign(*out7, binop(Iop_And64,
8012 binop(Iop_Shr64, mkexpr(hi64), mkU8(48)),
8015 assign(*out6, binop(Iop_And64,
8016 binop(Iop_Shr64, mkexpr(hi64), mkU8(32)),
8019 assign(*out5, binop(Iop_And64,
8020 binop(Iop_Shr64, mkexpr(hi64), mkU8(16)),
8023 assign(*out4, binop(Iop_And64, mkexpr(hi64), mkU64(0xFFFF)));
8025 assign(*out3, binop(Iop_And64,
8026 binop(Iop_Shr64, mkexpr(lo64), mkU8(48)),
8029 assign(*out2, binop(Iop_And64,
8030 binop(Iop_Shr64, mkexpr(lo64), mkU8(32)),
8033 assign(*out1, binop(Iop_And64,
8034 binop(Iop_Shr64, mkexpr(lo64), mkU8(16)),
8037 assign(*out0, binop(Iop_And64, mkexpr(lo64), mkU64(0xFFFF)));
8046 binop(Iop_Or64,
8047 binop(Iop_Or64,
8048 binop(Iop_Shl64,
8049 binop(Iop_And64, mkexpr(in7), mkU64(0xFFFF)),
8051 binop(Iop_Shl64,
8052 binop(Iop_And64, mkexpr(in6), mkU64(0xFFFF)),
8054 binop(Iop_Or64,
8055 binop(Iop_Shl64,
8056 binop(Iop_And64, mkexpr(in5), mkU64(0xFFFF)),
8058 binop(Iop_And64,
8061 binop(Iop_Or64,
8062 binop(Iop_Or64,
8063 binop(Iop_Shl64,
8064 binop(Iop_And64, mkexpr(in3), mkU64(0xFFFF)),
8066 binop(Iop_Shl64,
8067 binop(Iop_And64, mkexpr(in2), mkU64(0xFFFF)),
8069 binop(Iop_Or64,
8070 binop(Iop_Shl64,
8071 binop(Iop_And64, mkexpr(in1), mkU64(0xFFFF)),
8073 binop(Iop_And64,
8076 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8148 assign(*outF, binop(Iop_And64,
8149 binop(Iop_Shr64, mkexpr(hi64), mkU8(56)),
8152 assign(*outE, binop(Iop_And64,
8153 binop(Iop_Shr64, mkexpr(hi64), mkU8(48)),
8156 assign(*outD, binop(Iop_And64,
8157 binop(Iop_Shr64, mkexpr(hi64), mkU8(40)),
8160 assign(*outC, binop(Iop_And64,
8161 binop(Iop_Shr64, mkexpr(hi64), mkU8(32)),
8164 assign(*outB, binop(Iop_And64,
8165 binop(Iop_Shr64, mkexpr(hi64), mkU8(24)),
8168 assign(*outA, binop(Iop_And64,
8169 binop(Iop_Shr64, mkexpr(hi64), mkU8(16)),
8172 assign(*out9, binop(Iop_And64,
8173 binop(Iop_Shr64, mkexpr(hi64), mkU8(8)),
8176 assign(*out8, binop(Iop_And64,
8177 binop(Iop_Shr64, mkexpr(hi64), mkU8(0)),
8180 assign(*out7, binop(Iop_And64,
8181 binop(Iop_Shr64, mkexpr(lo64), mkU8(56)),
8184 assign(*out6, binop(Iop_And64,
8185 binop(Iop_Shr64, mkexpr(lo64), mkU8(48)),
8188 assign(*out5, binop(Iop_And64,
8189 binop(Iop_Shr64, mkexpr(lo64), mkU8(40)),
8192 assign(*out4, binop(Iop_And64,
8193 binop(Iop_Shr64, mkexpr(lo64), mkU8(32)),
8196 assign(*out3, binop(Iop_And64,
8197 binop(Iop_Shr64, mkexpr(lo64), mkU8(24)),
8200 assign(*out2, binop(Iop_And64,
8201 binop(Iop_Shr64, mkexpr(lo64), mkU8(16)),
8204 assign(*out1, binop(Iop_And64,
8205 binop(Iop_Shr64, mkexpr(lo64), mkU8(8)),
8208 assign(*out0, binop(Iop_And64,
8209 binop(Iop_Shr64, mkexpr(lo64), mkU8(0)),
8226 assign(vFE, binop(Iop_Or64,
8227 binop(Iop_Shl64,
8228 binop(Iop_And64, mkexpr(inF), mkU64(0xFF)), mkU8(8)),
8229 binop(Iop_And64, mkexpr(inE), mkU64(0xFF))));
8230 assign(vDC, binop(Iop_Or64,
8231 binop(Iop_Shl64,
8232 binop(Iop_And64, mkexpr(inD), mkU64(0xFF)), mkU8(8)),
8233 binop(Iop_And64, mkexpr(inC), mkU64(0xFF))));
8234 assign(vBA, binop(Iop_Or64,
8235 binop(Iop_Shl64,
8236 binop(Iop_And64, mkexpr(inB), mkU64(0xFF)), mkU8(8)),
8237 binop(Iop_And64, mkexpr(inA), mkU64(0xFF))));
8238 assign(v98, binop(Iop_Or64,
8239 binop(Iop_Shl64,
8240 binop(Iop_And64, mkexpr(in9), mkU64(0xFF)), mkU8(8)),
8241 binop(Iop_And64, mkexpr(in8), mkU64(0xFF))));
8242 assign(v76, binop(Iop_Or64,
8243 binop(Iop_Shl64,
8244 binop(Iop_And64, mkexpr(in7), mkU64(0xFF)), mkU8(8)),
8245 binop(Iop_And64, mkexpr(in6), mkU64(0xFF))));
8246 assign(v54, binop(Iop_Or64,
8247 binop(Iop_Shl64,
8248 binop(Iop_And64, mkexpr(in5), mkU64(0xFF)), mkU8(8)),
8249 binop(Iop_And64, mkexpr(in4), mkU64(0xFF))));
8250 assign(v32, binop(Iop_Or64,
8251 binop(Iop_Shl64,
8252 binop(Iop_And64, mkexpr(in3), mkU64(0xFF)), mkU8(8)),
8253 binop(Iop_And64, mkexpr(in2), mkU64(0xFF))));
8254 assign(v10, binop(Iop_Or64,
8255 binop(Iop_Shl64,
8256 binop(Iop_And64, mkexpr(in1), mkU64(0xFF)), mkU8(8)),
8257 binop(Iop_And64, mkexpr(in0), mkU64(0xFF))));
