Lines Matching refs:assign
35 //ZZ All uses of newTemp assign to an IRTemp and not a UInt
308 static void assign ( IRTemp dst, IRExpr* e )
351 //ZZ assign(dst, loaded);
556 assign(res, binop(mkOR(ty),
576 assign(res, binop(mkSAR(ty),
1152 //ZZ assign(t, IRExpr_Get( OFFB_ITSTATE, Ity_I32));
1165 //ZZ assign(t, IRExpr_Get( OFFB_QFLAG32, Ity_I32));
1182 //ZZ assign(nyu, binop(Iop_Or32, mkexpr(old), e) );
1212 assign(armEncd,
1215 assign(swapped,
1418 assign(argL64, unop(Iop_32Uto64, mkexpr(argL)));
1419 assign(argR64, unop(Iop_32Uto64, mkexpr(argR)));
1421 assign(z64, mkU64(0));
1445 assign(argL64, unop(Iop_32Uto64, mkexpr(argL)));
1446 assign(argR64, unop(Iop_32Uto64, mkexpr(argR)));
1447 assign(oldC64, unop(Iop_32Uto64, mkexpr(oldC)));
1475 assign(z64, mkU64(0));
1493 assign(t_dep1, unop(Iop_32Uto64, mkexpr(argL)));
1494 assign(t_dep2, unop(Iop_32Uto64, mkexpr(argR)));
1501 assign(f_dep1, mkU64(nzcv << 28));
1508 assign(op, IRExpr_ITE(mkexpr(cond), mkU64(t_op), mkU64(f_op)));
1509 assign(dep1, IRExpr_ITE(mkexpr(cond), mkexpr(t_dep1), mkexpr(f_dep1)));
1510 assign(dep2, IRExpr_ITE(mkexpr(cond), mkexpr(t_dep2), mkexpr(f_dep2)));
1531 assign(res64, unop(Iop_32Uto64, mkexpr(res)));
1534 assign(z64, mkU64(0));
1544 assign(z64, mkU64(0));
1556 //ZZ assign( z32, mkU32(0) );
1568 //ZZ assign( z32, mkU32(0) );
1579 //ZZ assign( z32, mkU32(0) );
1594 assign(maskT, mkU64(mask));
1595 assign( res,
1652 assign(t16, binop(Iop_Or64, mkexpr(src),
1655 assign(t32, binop(Iop_Or64, mkexpr(t16),
1658 assign(t64, binop(Iop_Or64, mkexpr(t32),
1664 assign(t32, binop(Iop_Or64, mkexpr(src),
1667 assign(t64, binop(Iop_Or64, mkexpr(t32),
1673 assign(t64, binop(Iop_Or64, mkexpr(src),
1691 Assign a new temp to hold that value, and return the temp. */
1731 assign(irRes, unop(Iop_32Uto64, mkexpr(irRes32)));
1733 assign(
1741 assign(
1753 assign(
1761 assign(nzcv, binop(Iop_Sub64, mkexpr(termL), mkexpr(termR)));
1920 assign(argL, getIReg64orSP(nn));
1921 assign(argR, mkU64(uimm12));
1922 assign(res, binop(isSub ? Iop_Sub64 : Iop_Add64,
1938 assign(argL, getIReg32orSP(nn));
1939 assign(argR, mkU32(uimm12));
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));
2078 assign(old, getIReg64orZR(dd));
2089 assign(old, getIReg32orZR(dd));
2163 assign(dst, inZero ? mkU(ty,0) : getIRegOrZR(is64, dd));
2164 assign(src, getIRegOrZR(is64, nn));
2166 assign(bot, binop(mkOR(ty),
2171 assign(top, mkexpr(extend ? mathREPLICATE(ty, src, immS) : dst));
2173 assign(res, binop(mkOR(ty),
2204 assign(srcHi, getIRegOrZR(is64, nn));
2205 assign(srcLo, getIRegOrZR(is64, mm));
2207 assign(res, mkexpr(srcLo));
2211 assign(res, binop(mkOR(ty),
2260 assign(t0, getIRegOrZR(is64, regNo));
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)));
2273 assign(t1, mkexpr(mathROR(ty, t0, sh_amt)));
2280 assign(t2, unop(mkNOT(ty), mkexpr(t1)));
2321 assign(argL, getIRegOrZR(is64, rN));
2325 assign(res, binop(op, mkexpr(argL), mkexpr(argR)));
2362 assign(oldC,
2367 assign(argL, getIRegOrZR(is64, rN));
2369 assign(argR, getIRegOrZR(is64, rM));
2376 assign(res,
2381 assign(res,
2430 assign(argL, getIRegOrZR(is64, rN));
2440 assign(res, binop(op, mkexpr(argL), mkexpr(argR)));
2609 assign(xN, getIReg64orSP(nn));
2610 assign(xM, getIReg64orZR(mm));
2648 assign(argR, binop(Iop_Shl64, xMw, mkU8(imm3)));
2650 assign(res, binop(isSub ? Iop_Sub64 : Iop_Add64,
2664 assign(argL32, unop(Iop_64to32, mkexpr(argL)));
2665 assign(argR32, unop(Iop_64to32, mkexpr(argR)));
2701 assign(condT, unop(Iop_64to1, mk_arm64g_calculate_condition(cond)));
2708 assign(argL, getIReg64orZR(nn));
2709 assign(argR, mkU64(imm5));
2711 assign(argL, getIReg32orZR(nn));
2712 assign(argR, mkU32(imm5));
2740 assign(condT, unop(Iop_64to1, mk_arm64g_calculate_condition(cond)));
2747 assign(argL, getIReg64orZR(nn));
2748 assign(argR, getIReg64orZR(mm));
2750 assign(argL, getIReg32orZR(nn));
2751 assign(argR, getIReg32orZR(mm));
2810 assign(src, getIReg64orZR(nn));
2815 assign(src, getIReg64orZR(nn));
2819 assign(src, binop(Iop_Shl64, getIReg64orZR(nn), mkU8(32)));
2845 assign(src, getIReg64orZR(nn));
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)),
2882 assign(srcL, getIRegOrZR(is64, nn));
2883 assign(srcR,
2893 assign(res, binop(iop, mkexpr(srcL), mkexpr(srcR)));
2951 assign(wN, getIReg32orZR(nn));
2952 assign(wM, getIReg32orZR(mm));
2953 assign(xA, getIReg64orZR(aa));
2954 assign(muld, binop(isU ? Iop_MullU32 : Iop_MullS32,
2956 assign(res, binop(isAdd ? Iop_Add64 : Iop_Sub64,
3081 assign(res, binop(Iop_Add64, getIReg64orSP(nn), rhs));
3122 assign(res, loadLE(Ity_I64,addrE));
3125 assign(res, unop(Iop_32Uto64, loadLE(Ity_I32,addrE)));
3128 assign(res, unop(Iop_16Uto64, loadLE(Ity_I16,addrE)));
3131 assign(res, unop(Iop_8Uto64, loadLE(Ity_I8,addrE)));
3170 assign(ta, binop(Iop_Add64, getIReg64orSP(nn), mkU64(offs)));
3229 assign(tRN, getIReg64orSP(nn));
3232 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3238 assign(tTA, mkexpr(tRN)); assign(tWA, mkexpr(tEA)); break;
3240 assign(tTA, mkexpr(tEA)); assign(tWA, mkexpr(tEA)); break;
3242 assign(tTA, mkexpr(tEA)); /* tWA is unused */ break;
3333 assign(tRN, getIReg64orSP(rN));
3336 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm7)));
3342 assign(tTA, mkexpr(tRN)); assign(tWA, mkexpr(tEA)); break;
3344 assign(tTA, mkexpr(tEA)); assign(tWA, mkexpr(tEA)); break;
3346 assign(tTA, mkexpr(tEA)); /* tWA is unused */ break;
3609 assign(tRN, getIReg64orSP(nn));
3610 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3685 assign(tRN, getIReg64orSP(nn));
3686 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
3770 assign(tRN, getIReg64orSP(nn));
3773 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm7)));
3779 assign(tTA, mkexpr(tRN)); assign(tWA, mkexpr(tEA)); break;
3781 assign(tTA, mkexpr(tEA)); assign(tWA, mkexpr(tEA)); break;
3783 assign(tTA, mkexpr(tEA)); /* tWA is unused */ break;
4010 assign(tEA, binop(Iop_Add64, getIReg64orSP(nn), mkU64(pimm12)));
4059 assign(tRN, getIReg64orSP(nn));
4060 assign(tEA, binop(Iop_Add64, mkexpr(tRN), mkU64(simm9)));
4102 assign(tEA, binop(Iop_Add64, getIReg64orSP(nn), mkU64(simm9)));
4183 assign(tEA, getIReg64orSP(rN));
4220 assign(tEA, getIReg64orSP(rN));
4252 assign(tEA, getIReg64orSP(rN));
4287 assign(tEA, getIReg64orSP(rN));
4321 assign(tEA, getIReg64orSP(rN));
4354 assign(tEA, getIReg64orSP(rN));
4424 assign(tEA, getIReg64orSP(rN));
4464 assign(ea, getIReg64orSP(nn));
4516 assign(ea, getIReg64orSP(nn));
4521 assign(res, loadLE(ty, mkexpr(ea)));
4625 assign(dst, getIReg64orZR(nn));
4780 assign(t, binop(Iop_And64, getIReg64orZR(tt), mkU64(0xF0000000ULL)));
4785 assign(res, mk_arm64g_calculate_flags_nzcv());
4842 assign( addr, binop( Iop_And64,
4873 assign( addr, binop( Iop_And64,
5211 assign(x76547654, mk_CatOddLanes64x2 (x76543210, x76543210));
5212 assign(x32103210, mk_CatEvenLanes64x2(x76543210, x76543210));
5217 assign(x76767676, mk_CatOddLanes32x4 (x76547654, x76547654));
5218 assign(x54545454, mk_CatEvenLanes32x4(x76547654, x76547654));
5219 assign(x32323232, mk_CatOddLanes32x4 (x32103210, x32103210));
5220 assign(x10101010, mk_CatEvenLanes32x4(x32103210, x32103210));
5229 assign(x77777777, mk_CatOddLanes16x8 (x76767676, x76767676));
5230 assign(x66666666, mk_CatEvenLanes16x8(x76767676, x76767676));
5231 assign(x55555555, mk_CatOddLanes16x8 (x54545454, x54545454));
5232 assign(x44444444, mk_CatEvenLanes16x8(x54545454, x54545454));
5233 assign(x33333333, mk_CatOddLanes16x8 (x32323232, x32323232));
5234 assign(x22222222, mk_CatEvenLanes16x8(x32323232, x32323232));
5235 assign(x11111111, mk_CatOddLanes16x8 (x10101010, x10101010));
5236 assign(x00000000, mk_CatEvenLanes16x8(x10101010, x10101010));
5254 assign(xAllF, mk_CatOddLanes8x16 (x77777777, x77777777));
5255 assign(xAllE, mk_CatEvenLanes8x16(x77777777, x77777777));
5256 assign(xAllD, mk_CatOddLanes8x16 (x66666666, x66666666));
5257 assign(xAllC, mk_CatEvenLanes8x16(x66666666, x66666666));
5258 assign(xAllB, mk_CatOddLanes8x16 (x55555555, x55555555));
5259 assign(xAllA, mk_CatEvenLanes8x16(x55555555, x55555555));
5260 assign(xAll9, mk_CatOddLanes8x16 (x44444444, x44444444));
5261 assign(xAll8, mk_CatEvenLanes8x16(x44444444, x44444444));
5262 assign(xAll7, mk_CatOddLanes8x16 (x33333333, x33333333));
5263 assign(xAll6, mk_CatEvenLanes8x16(x33333333, x33333333));
5264 assign(xAll5, mk_CatOddLanes8x16 (x22222222, x22222222));
5265 assign(xAll4, mk_CatEvenLanes8x16(x22222222, x22222222));
5266 assign(xAll3, mk_CatOddLanes8x16 (x11111111, x11111111));
5267 assign(xAll2, mk_CatEvenLanes8x16(x11111111, x11111111));
5268 assign(xAll1, mk_CatOddLanes8x16 (x00000000, x00000000));
5269 assign(xAll0, mk_CatEvenLanes8x16(x00000000, x00000000));
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),
5302 assign(res, unop(Iop_ZeroHI120ofV128, mkexpr(maxAllLanes)));
5310 assign(x76547654, mk_CatOddLanes64x2 (x76543210, x76543210));
5311 assign(x32103210, mk_CatEvenLanes64x2(x76543210, x76543210));
5316 assign(x76767676, mk_CatOddLanes32x4 (x76547654, x76547654));
5317 assign(x54545454, mk_CatEvenLanes32x4(x76547654, x76547654));
5318 assign(x32323232, mk_CatOddLanes32x4 (x32103210, x32103210));
5319 assign(x10101010, mk_CatEvenLanes32x4(x32103210, x32103210));
5328 assign(x77777777, mk_CatOddLanes16x8 (x76767676, x76767676));
5329 assign(x66666666, mk_CatEvenLanes16x8(x76767676, x76767676));
5330 assign(x55555555, mk_CatOddLanes16x8 (x54545454, x54545454));
5331 assign(x44444444, mk_CatEvenLanes16x8(x54545454, x54545454));
5332 assign(x33333333, mk_CatOddLanes16x8 (x32323232, x32323232));
5333 assign(x22222222, mk_CatEvenLanes16x8(x32323232, x32323232));
5334 assign(x11111111, mk_CatOddLanes16x8 (x10101010, x10101010));
5335 assign(x00000000, mk_CatEvenLanes16x8(x10101010, x10101010));
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)));
5351 assign(res, unop(Iop_ZeroHI112ofV128, mkexpr(max76543210)));
5359 assign(x3232, mk_CatOddLanes64x2 (x3210, x3210));
5360 assign(x1010, mk_CatEvenLanes64x2(x3210, x3210));
5365 assign(x3333, mk_CatOddLanes32x4 (x3232, x3232));
5366 assign(x2222, mk_CatEvenLanes32x4(x3232, x3232));
5367 assign(x1111, mk_CatOddLanes32x4 (x1010, x1010));
5368 assign(x0000, mk_CatEvenLanes32x4(x1010, x1010));
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)));
5376 assign(res, unop(Iop_ZeroHI96ofV128, mkexpr(max3210)));
5394 assign(half15, mkU64(0x0F0F0F0F0F0F0F0FULL));
5396 assign(half16, mkU64(0x1010101010101010ULL));
5400 assign(allZero, mkV128(0x0000));
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)));
5424 assign(running_result, mkV128(0));
5430 assign(bias,
5433 assign(biased_indices,
5436 assign(valid_mask,
5439 assign(safe_biased_indices,
5442 assign(results_or_junk,
5446 assign(results_or_zero,
5450 assign(tmp, binop(Iop_OrV128, mkexpr(results_or_zero),
5462 assign(overall_valid_mask,
5465 assign(result,
5719 assign(res, neg ? unop(mkNEGF(ty),resE) : resE);
5745 assign(res, getQRegLO(nn, ty));
5755 assign(res, unop(op, getQRegLO(nn, ty)));
5763 assign(res,
5797 assign(res, unop(op, getQReg128(nn)));
5838 assign(argL, getQRegLO(nn, ty));
5839 assign(argR,
5843 assign(irRes, binop(isD ? Iop_CmpF64 : Iop_CmpF32,
5847 assign(nzcv_28x0, binop(Iop_Shl64, mkexpr(nzcv), mkU8(28)));
5888 case 0: assign(res, triop(opADD, rm, eA, eNxM)); break;
5889 case 1: assign(res, triop(opSUB, rm, eA, eNxM)); break;
5890 case 2: assign(res, unop(opNEG, triop(opADD, rm, eA, eNxM))); break;
5891 case 3: assign(res, unop(opNEG, triop(opSUB, rm, eA, eNxM))); break;
5988 assign(src, getQRegLO(nn, srcTy));
5989 assign(dst, binop(op, mkU32(irrm), mkexpr(src)));
6019 assign(src, getQRegLO(nn, srcTy));
6020 assign(dst, binop(op, mkU32(irrm), mkexpr(src)));
6062 assign(src, getQRegLO(nn, ty));
6063 assign(dst, binop(isD ? Iop_RoundF64toInt : Iop_RoundF32toInt,
6094 assign(res, unop(Iop_F32toF64, getQRegLO(nn, Ity_F32)));
6104 assign(res, binop(Iop_F64toF32, mkexpr(mk_get_IR_rounding_mode()),
6128 assign(res, unop(mkABSF(ty),
6225 assign(t1, triop(op, mkexpr(rm), getQReg128(nn), getQReg128(mm)));
6226 assign(t2, zeroHI ? unop(Iop_ZeroHI64ofV128, mkexpr(t1))
6241 assign(t1, triop(opMUL,
6243 assign(t2, triop(ix == 5 ? opADD : opSUB,
6258 assign(t1, triop(opSUB,
6260 assign(t2, unop(opABS, mkexpr(t1)));
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)));
6482 assign(t2, opACC == Iop_INVALID
6530 assign(t, binop(op, getQReg128(nn), getQReg128(mm)));
6579 assign(tN1, getQReg128(nn));
6585 assign(tN2, zeroHI ? mk_CatEvenLanes64x2(tN1,tN1) : mkexpr(tN1));
6642 assign(res, binop(isORR ? Iop_OrV128 : Iop_AndV128,
6774 assign(argD, getQReg128(dd));
6775 assign(argN, getQReg128(nn));
6776 assign(argM, getQReg128(mm));
6897 assign(candidate, binop(op, getQReg128(nn), mkU8(shift)));
6900 assign(mask, binop(op,
6907 assign(res, binop(Iop_OrV128,
6962 assign(src, binop(opsSHR[szBlg2], getQReg128(nn), mkU8(shift)));
6963 assign(zero, mkV128(0x0000));
7018 assign(src, getQReg128(nn));
7019 assign(zero, mkV128(0x0000));
7021 /* invalid; don't assign to res */
7051 /* invalid; don't assign to res */
7142 assign(w0, unop(Iop_8Uto64, getQRegLane(nn, laneNo, laneTy)));
7149 assign(w0, unop(Iop_16Uto64, getQRegLane(nn, laneNo, laneTy)));
7156 assign(w0, unop(Iop_32Uto64, getQRegLane(nn, laneNo, laneTy)));
7163 assign(w0, getQRegLane(nn, laneNo, laneTy));
7203 assign(w0, unop(Iop_8Uto64, unop(Iop_64to8, getIReg64orZR(nn))));
7208 assign(w0, unop(Iop_16Uto64, unop(Iop_64to16, getIReg64orZR(nn))));
7213 assign(w0, unop(Iop_32Uto64, unop(Iop_64to32, getIReg64orZR(nn))));
7218 assign(w0, getIReg64orZR(nn));
7265 assign(src, bitQ ? getQReg128(nn) : binop(Iop_AndV128, getQReg128(nn), mask));
7501 assign(res, binop(opSUB[szBlg2], mkV128(0x0000), getQReg128(nn)));
7527 assign(oor_values, isTBX ? getQReg128(dd) : mkV128(0));
7530 assign(src, getQReg128(mm));
7537 assign(tab[i], getQReg128((nn + i) % 32));
7927 assign(hi64, unop(Iop_V128HIto64, mkexpr(v128)) );
7928 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
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)));
7941 assign(hi64,
7945 assign(lo64,
7950 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8008 assign(hi64, unop(Iop_V128HIto64, mkexpr(v128)) );
8009 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
8011 assign(*out7, binop(Iop_And64,
8015 assign(*out6, binop(Iop_And64,
8019 assign(*out5, binop(Iop_And64,
8023 assign(*out4, binop(Iop_And64, mkexpr(hi64), mkU64(0xFFFF)));
8025 assign(*out3, binop(Iop_And64,
8029 assign(*out2, binop(Iop_And64,
8033 assign(*out1, binop(Iop_And64,
8037 assign(*out0, binop(Iop_And64, mkexpr(lo64), mkU64(0xFFFF)));
8045 assign(hi64,
8060 assign(lo64,
8076 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8145 assign(hi64, unop(Iop_V128HIto64, mkexpr(v128)) );
8146 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
8148 assign(*outF, binop(Iop_And64,
8152 assign(*outE, binop(Iop_And64,
8156 assign(*outD, binop(Iop_And64,
8160 assign(*outC, binop(Iop_And64,
8164 assign(*outB, binop(Iop_And64,
8168 assign(*outA, binop(Iop_And64,
8172 assign(*out9, binop(Iop_And64,
8176 assign(*out8, binop(Iop_And64,
8180 assign(*out7, binop(Iop_And64,
8184 assign(*out6, binop(Iop_And64,
8188 assign(*out5, binop(Iop_And64,
8192 assign(*out4, binop(Iop_And64,
8196 assign(*out3, binop(Iop_And64,
8200 assign(*out2, binop(Iop_And64,
8204 assign(*out1, binop(Iop_And64,
8208 assign(*out0, binop(Iop_And64,
8226 assign(vFE, binop(Iop_Or64,
8230 assign(vDC, binop(Iop_Or64,
8234 assign(vBA, binop(Iop_Or64,
8238 assign(v98, binop(Iop_Or64,
8242 assign(v76, binop(Iop_Or64,
8246 assign(v54, binop(Iop_Or64,
8250 assign(v32, binop(Iop_Or64,
8254 assign(v10, binop(Iop_Or64,
