Skip to content

Instantly share code, notes, and snippets.

@uenoku

uenoku/array_create.mlir

Created October 4, 2024 17:49
Show Gist options
  • Save uenoku/7fcf89f676ff3d586204669c044ea924 to your computer and use it in GitHub Desktop.
Save uenoku/7fcf89f676ff3d586204669c044ea924 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
array_create.mlir
module {
hw.module @MultibitMux(in %a_0 : i1, in %a_1 : i1, in %a_2 : i1, in %a_3 : i1, in %a_4 : i1, in %a_5 : i1, in %a_6 : i1, in %a_7 : i1, in %a_8 : i1, in %a_9 : i1, in %a_10 : i1, in %a_11 : i1, in %a_12 : i1, in %a_13 : i1, in %a_14 : i1, in %a_15 : i1, in %a_16 : i1, in %a_17 : i1, in %a_18 : i1, in %a_19 : i1, in %a_20 : i1, in %a_21 : i1, in %a_22 : i1, in %a_23 : i1, in %a_24 : i1, in %a_25 : i1, in %a_26 : i1, in %a_27 : i1, in %a_28 : i1, in %a_29 : i1, in %a_30 : i1, in %a_31 : i1, in %a_32 : i1, in %a_33 : i1, in %a_34 : i1, in %a_35 : i1, in %a_36 : i1, in %a_37 : i1, in %a_38 : i1, in %a_39 : i1, in %a_40 : i1, in %a_41 : i1, in %a_42 : i1, in %a_43 : i1, in %a_44 : i1, in %a_45 : i1, in %a_46 : i1, in %a_47 : i1, in %a_48 : i1, in %a_49 : i1, in %a_50 : i1, in %a_51 : i1, in %a_52 : i1, in %a_53 : i1, in %a_54 : i1, in %a_55 : i1, in %a_56 : i1, in %a_57 : i1, in %a_58 : i1, in %a_59 : i1, in %a_60 : i1, in %a_61 : i1, in %a_62 : i1, in %a_63 : i1, in %a_64 : i1, in %a_65 : i1, in %a_66 : i1, in %a_67 : i1, in %a_68 : i1, in %a_69 : i1, in %a_70 : i1, in %a_71 : i1, in %a_72 : i1, in %a_73 : i1, in %a_74 : i1, in %a_75 : i1, in %a_76 : i1, in %a_77 : i1, in %a_78 : i1, in %a_79 : i1, in %a_80 : i1, in %a_81 : i1, in %a_82 : i1, in %a_83 : i1, in %a_84 : i1, in %a_85 : i1, in %a_86 : i1, in %a_87 : i1, in %a_88 : i1, in %a_89 : i1, in %a_90 : i1, in %a_91 : i1, in %a_92 : i1, in %a_93 : i1, in %a_94 : i1, in %a_95 : i1, in %a_96 : i1, in %a_97 : i1, in %a_98 : i1, in %a_99 : i1, in %a_100 : i1, in %a_101 : i1, in %a_102 : i1, in %a_103 : i1, in %a_104 : i1, in %a_105 : i1, in %a_106 : i1, in %a_107 : i1, in %a_108 : i1, in %a_109 : i1, in %a_110 : i1, in %a_111 : i1, in %a_112 : i1, in %a_113 : i1, in %a_114 : i1, in %a_115 : i1, in %a_116 : i1, in %a_117 : i1, in %a_118 : i1, in %a_119 : i1, in %a_120 : i1, in %a_121 : i1, in %a_122 : i1, in %a_123 : i1, in %a_124 : i1, in %a_125 : i1, in %a_126 : i1, in %a_127 : i1, in %a_128 : i1, in %a_129 : i1, in %a_130 : i1, in %a_131 : i1, in %a_132 : i1, in %a_133 : i1, in %a_134 : i1, in %a_135 : i1, in %a_136 : i1, in %a_137 : i1, in %a_138 : i1, in %a_139 : i1, in %a_140 : i1, in %a_141 : i1, in %a_142 : i1, in %a_143 : i1, in %a_144 : i1, in %a_145 : i1, in %a_146 : i1, in %a_147 : i1, in %a_148 : i1, in %a_149 : i1, in %a_150 : i1, in %a_151 : i1, in %a_152 : i1, in %a_153 : i1, in %a_154 : i1, in %a_155 : i1, in %a_156 : i1, in %a_157 : i1, in %a_158 : i1, in %a_159 : i1, in %a_160 : i1, in %a_161 : i1, in %a_162 : i1, in %a_163 : i1, in %a_164 : i1, in %a_165 : i1, in %a_166 : i1, in %a_167 : i1, in %a_168 : i1, in %a_169 : i1, in %a_170 : i1, in %a_171 : i1, in %a_172 : i1, in %a_173 : i1, in %a_174 : i1, in %a_175 : i1, in %a_176 : i1, in %a_177 : i1, in %a_178 : i1, in %a_179 : i1, in %a_180 : i1, in %a_181 : i1, in %a_182 : i1, in %a_183 : i1, in %a_184 : i1, in %a_185 : i1, in %a_186 : i1, in %a_187 : i1, in %a_188 : i1, in %a_189 : i1, in %a_190 : i1, in %a_191 : i1, in %a_192 : i1, in %a_193 : i1, in %a_194 : i1, in %a_195 : i1, in %a_196 : i1, in %a_197 : i1, in %a_198 : i1, in %a_199 : i1, in %a_200 : i1, in %a_201 : i1, in %a_202 : i1, in %a_203 : i1, in %a_204 : i1, in %a_205 : i1, in %a_206 : i1, in %a_207 : i1, in %a_208 : i1, in %a_209 : i1, in %a_210 : i1, in %a_211 : i1, in %a_212 : i1, in %a_213 : i1, in %a_214 : i1, in %a_215 : i1, in %a_216 : i1, in %a_217 : i1, in %a_218 : i1, in %a_219 : i1, in %a_220 : i1, in %a_221 : i1, in %a_222 : i1, in %a_223 : i1, in %a_224 : i1, in %a_225 : i1, in %a_226 : i1, in %a_227 : i1, in %a_228 : i1, in %a_229 : i1, in %a_230 : i1, in %a_231 : i1, in %a_232 : i1, in %a_233 : i1, in %a_234 : i1, in %a_235 : i1, in %a_236 : i1, in %a_237 : i1, in %a_238 : i1, in %a_239 : i1, in %a_240 : i1, in %a_241 : i1, in %a_242 : i1, in %a_243 : i1, in %a_244 : i1, in %a_245 : i1, in %a_246 : i1, in %a_247 : i1, in %a_248 : i1, in %a_249 : i1, in %a_250 : i1, in %a_251 : i1, in %a_252 : i1, in %a_253 : i1, in %a_254 : i1, in %a_255 : i1, in %a_256 : i1, in %a_257 : i1, in %a_258 : i1, in %a_259 : i1, in %a_260 : i1, in %a_261 : i1, in %a_262 : i1, in %a_263 : i1, in %a_264 : i1, in %a_265 : i1, in %a_266 : i1, in %a_267 : i1, in %a_268 : i1, in %a_269 : i1, in %a_270 : i1, in %a_271 : i1, in %a_272 : i1, in %a_273 : i1, in %a_274 : i1, in %a_275 : i1, in %a_276 : i1, in %a_277 : i1, in %a_278 : i1, in %a_279 : i1, in %a_280 : i1, in %a_281 : i1, in %a_282 : i1, in %a_283 : i1, in %a_284 : i1, in %a_285 : i1, in %a_286 : i1, in %a_287 : i1, in %a_288 : i1, in %a_289 : i1, in %a_290 : i1, in %a_291 : i1, in %a_292 : i1, in %a_293 : i1, in %a_294 : i1, in %a_295 : i1, in %a_296 : i1, in %a_297 : i1, in %a_298 : i1, in %a_299 : i1, in %a_300 : i1, in %a_301 : i1, in %a_302 : i1, in %a_303 : i1, in %a_304 : i1, in %a_305 : i1, in %a_306 : i1, in %a_307 : i1, in %a_308 : i1, in %a_309 : i1, in %a_310 : i1, in %a_311 : i1, in %a_312 : i1, in %a_313 : i1, in %a_314 : i1, in %a_315 : i1, in %a_316 : i1, in %a_317 : i1, in %a_318 : i1, in %a_319 : i1, in %a_320 : i1, in %a_321 : i1, in %a_322 : i1, in %a_323 : i1, in %a_324 : i1, in %a_325 : i1, in %a_326 : i1, in %a_327 : i1, in %a_328 : i1, in %a_329 : i1, in %a_330 : i1, in %a_331 : i1, in %a_332 : i1, in %a_333 : i1, in %a_334 : i1, in %a_335 : i1, in %a_336 : i1, in %a_337 : i1, in %a_338 : i1, in %a_339 : i1, in %a_340 : i1, in %a_341 : i1, in %a_342 : i1, in %a_343 : i1, in %a_344 : i1, in %a_345 : i1, in %a_346 : i1, in %a_347 : i1, in %a_348 : i1, in %a_349 : i1, in %a_350 : i1, in %a_351 : i1, in %a_352 : i1, in %a_353 : i1, in %a_354 : i1, in %a_355 : i1, in %a_356 : i1, in %a_357 : i1, in %a_358 : i1, in %a_359 : i1, in %a_360 : i1, in %a_361 : i1, in %a_362 : i1, in %a_363 : i1, in %a_364 : i1, in %a_365 : i1, in %a_366 : i1, in %a_367 : i1, in %a_368 : i1, in %a_369 : i1, in %a_370 : i1, in %a_371 : i1, in %a_372 : i1, in %a_373 : i1, in %a_374 : i1, in %a_375 : i1, in %a_376 : i1, in %a_377 : i1, in %a_378 : i1, in %a_379 : i1, in %a_380 : i1, in %a_381 : i1, in %a_382 : i1, in %a_383 : i1, in %a_384 : i1, in %a_385 : i1, in %a_386 : i1, in %a_387 : i1, in %a_388 : i1, in %a_389 : i1, in %a_390 : i1, in %a_391 : i1, in %a_392 : i1, in %a_393 : i1, in %a_394 : i1, in %a_395 : i1, in %a_396 : i1, in %a_397 : i1, in %a_398 : i1, in %a_399 : i1, in %a_400 : i1, in %a_401 : i1, in %a_402 : i1, in %a_403 : i1, in %a_404 : i1, in %a_405 : i1, in %a_406 : i1, in %a_407 : i1, in %a_408 : i1, in %a_409 : i1, in %a_410 : i1, in %a_411 : i1, in %a_412 : i1, in %a_413 : i1, in %a_414 : i1, in %a_415 : i1, in %a_416 : i1, in %a_417 : i1, in %a_418 : i1, in %a_419 : i1, in %a_420 : i1, in %a_421 : i1, in %a_422 : i1, in %a_423 : i1, in %a_424 : i1, in %a_425 : i1, in %a_426 : i1, in %a_427 : i1, in %a_428 : i1, in %a_429 : i1, in %a_430 : i1, in %a_431 : i1, in %a_432 : i1, in %a_433 : i1, in %a_434 : i1, in %a_435 : i1, in %a_436 : i1, in %a_437 : i1, in %a_438 : i1, in %a_439 : i1, in %a_440 : i1, in %a_441 : i1, in %a_442 : i1, in %a_443 : i1, in %a_444 : i1, in %a_445 : i1, in %a_446 : i1, in %a_447 : i1, in %a_448 : i1, in %a_449 : i1, in %a_450 : i1, in %a_451 : i1, in %a_452 : i1, in %a_453 : i1, in %a_454 : i1, in %a_455 : i1, in %a_456 : i1, in %a_457 : i1, in %a_458 : i1, in %a_459 : i1, in %a_460 : i1, in %a_461 : i1, in %a_462 : i1, in %a_463 : i1, in %a_464 : i1, in %a_465 : i1, in %a_466 : i1, in %a_467 : i1, in %a_468 : i1, in %a_469 : i1, in %a_470 : i1, in %a_471 : i1, in %a_472 : i1, in %a_473 : i1, in %a_474 : i1, in %a_475 : i1, in %a_476 : i1, in %a_477 : i1, in %a_478 : i1, in %a_479 : i1, in %a_480 : i1, in %a_481 : i1, in %a_482 : i1, in %a_483 : i1, in %a_484 : i1, in %a_485 : i1, in %a_486 : i1, in %a_487 : i1, in %a_488 : i1, in %a_489 : i1, in %a_490 : i1, in %a_491 : i1, in %a_492 : i1, in %a_493 : i1, in %a_494 : i1, in %a_495 : i1, in %a_496 : i1, in %a_497 : i1, in %a_498 : i1, in %a_499 : i1, in %a_500 : i1, in %a_501 : i1, in %a_502 : i1, in %a_503 : i1, in %a_504 : i1, in %a_505 : i1, in %a_506 : i1, in %a_507 : i1, in %a_508 : i1, in %a_509 : i1, in %a_510 : i1, in %a_511 : i1, in %a_512 : i1, in %a_513 : i1, in %a_514 : i1, in %a_515 : i1, in %a_516 : i1, in %a_517 : i1, in %a_518 : i1, in %a_519 : i1, in %a_520 : i1, in %a_521 : i1, in %a_522 : i1, in %a_523 : i1, in %a_524 : i1, in %a_525 : i1, in %a_526 : i1, in %a_527 : i1, in %a_528 : i1, in %a_529 : i1, in %a_530 : i1, in %a_531 : i1, in %a_532 : i1, in %a_533 : i1, in %a_534 : i1, in %a_535 : i1, in %a_536 : i1, in %a_537 : i1, in %a_538 : i1, in %a_539 : i1, in %a_540 : i1, in %a_541 : i1, in %a_542 : i1, in %a_543 : i1, in %a_544 : i1, in %a_545 : i1, in %a_546 : i1, in %a_547 : i1, in %a_548 : i1, in %a_549 : i1, in %a_550 : i1, in %a_551 : i1, in %a_552 : i1, in %a_553 : i1, in %a_554 : i1, in %a_555 : i1, in %a_556 : i1, in %a_557 : i1, in %a_558 : i1, in %a_559 : i1, in %a_560 : i1, in %a_561 : i1, in %a_562 : i1, in %a_563 : i1, in %a_564 : i1, in %a_565 : i1, in %a_566 : i1, in %a_567 : i1, in %a_568 : i1, in %a_569 : i1, in %a_570 : i1, in %a_571 : i1, in %a_572 : i1, in %a_573 : i1, in %a_574 : i1, in %a_575 : i1, in %a_576 : i1, in %a_577 : i1, in %a_578 : i1, in %a_579 : i1, in %a_580 : i1, in %a_581 : i1, in %a_582 : i1, in %a_583 : i1, in %a_584 : i1, in %a_585 : i1, in %a_586 : i1, in %a_587 : i1, in %a_588 : i1, in %a_589 : i1, in %a_590 : i1, in %a_591 : i1, in %a_592 : i1, in %a_593 : i1, in %a_594 : i1, in %a_595 : i1, in %a_596 : i1, in %a_597 : i1, in %a_598 : i1, in %a_599 : i1, in %a_600 : i1, in %a_601 : i1, in %a_602 : i1, in %a_603 : i1, in %a_604 : i1, in %a_605 : i1, in %a_606 : i1, in %a_607 : i1, in %a_608 : i1, in %a_609 : i1, in %a_610 : i1, in %a_611 : i1, in %a_612 : i1, in %a_613 : i1, in %a_614 : i1, in %a_615 : i1, in %a_616 : i1, in %a_617 : i1, in %a_618 : i1, in %a_619 : i1, in %a_620 : i1, in %a_621 : i1, in %a_622 : i1, in %a_623 : i1, in %a_624 : i1, in %a_625 : i1, in %a_626 : i1, in %a_627 : i1, in %a_628 : i1, in %a_629 : i1, in %a_630 : i1, in %a_631 : i1, in %a_632 : i1, in %a_633 : i1, in %a_634 : i1, in %a_635 : i1, in %a_636 : i1, in %a_637 : i1, in %a_638 : i1, in %a_639 : i1, in %a_640 : i1, in %a_641 : i1, in %a_642 : i1, in %a_643 : i1, in %a_644 : i1, in %a_645 : i1, in %a_646 : i1, in %a_647 : i1, in %a_648 : i1, in %a_649 : i1, in %a_650 : i1, in %a_651 : i1, in %a_652 : i1, in %a_653 : i1, in %a_654 : i1, in %a_655 : i1, in %a_656 : i1, in %a_657 : i1, in %a_658 : i1, in %a_659 : i1, in %a_660 : i1, in %a_661 : i1, in %a_662 : i1, in %a_663 : i1, in %a_664 : i1, in %a_665 : i1, in %a_666 : i1, in %a_667 : i1, in %a_668 : i1, in %a_669 : i1, in %a_670 : i1, in %a_671 : i1, in %a_672 : i1, in %a_673 : i1, in %a_674 : i1, in %a_675 : i1, in %a_676 : i1, in %a_677 : i1, in %a_678 : i1, in %a_679 : i1, in %a_680 : i1, in %a_681 : i1, in %a_682 : i1, in %a_683 : i1, in %a_684 : i1, in %a_685 : i1, in %a_686 : i1, in %a_687 : i1, in %a_688 : i1, in %a_689 : i1, in %a_690 : i1, in %a_691 : i1, in %a_692 : i1, in %a_693 : i1, in %a_694 : i1, in %a_695 : i1, in %a_696 : i1, in %a_697 : i1, in %a_698 : i1, in %a_699 : i1, in %a_700 : i1, in %a_701 : i1, in %a_702 : i1, in %a_703 : i1, in %a_704 : i1, in %a_705 : i1, in %a_706 : i1, in %a_707 : i1, in %a_708 : i1, in %a_709 : i1, in %a_710 : i1, in %a_711 : i1, in %a_712 : i1, in %a_713 : i1, in %a_714 : i1, in %a_715 : i1, in %a_716 : i1, in %a_717 : i1, in %a_718 : i1, in %a_719 : i1, in %a_720 : i1, in %a_721 : i1, in %a_722 : i1, in %a_723 : i1, in %a_724 : i1, in %a_725 : i1, in %a_726 : i1, in %a_727 : i1, in %a_728 : i1, in %a_729 : i1, in %a_730 : i1, in %a_731 : i1, in %a_732 : i1, in %a_733 : i1, in %a_734 : i1, in %a_735 : i1, in %a_736 : i1, in %a_737 : i1, in %a_738 : i1, in %a_739 : i1, in %a_740 : i1, in %a_741 : i1, in %a_742 : i1, in %a_743 : i1, in %a_744 : i1, in %a_745 : i1, in %a_746 : i1, in %a_747 : i1, in %a_748 : i1, in %a_749 : i1, in %a_750 : i1, in %a_751 : i1, in %a_752 : i1, in %a_753 : i1, in %a_754 : i1, in %a_755 : i1, in %a_756 : i1, in %a_757 : i1, in %a_758 : i1, in %a_759 : i1, in %a_760 : i1, in %a_761 : i1, in %a_762 : i1, in %a_763 : i1, in %a_764 : i1, in %a_765 : i1, in %a_766 : i1, in %a_767 : i1, in %a_768 : i1, in %a_769 : i1, in %a_770 : i1, in %a_771 : i1, in %a_772 : i1, in %a_773 : i1, in %a_774 : i1, in %a_775 : i1, in %a_776 : i1, in %a_777 : i1, in %a_778 : i1, in %a_779 : i1, in %a_780 : i1, in %a_781 : i1, in %a_782 : i1, in %a_783 : i1, in %a_784 : i1, in %a_785 : i1, in %a_786 : i1, in %a_787 : i1, in %a_788 : i1, in %a_789 : i1, in %a_790 : i1, in %a_791 : i1, in %a_792 : i1, in %a_793 : i1, in %a_794 : i1, in %a_795 : i1, in %a_796 : i1, in %a_797 : i1, in %a_798 : i1, in %a_799 : i1, in %a_800 : i1, in %a_801 : i1, in %a_802 : i1, in %a_803 : i1, in %a_804 : i1, in %a_805 : i1, in %a_806 : i1, in %a_807 : i1, in %a_808 : i1, in %a_809 : i1, in %a_810 : i1, in %a_811 : i1, in %a_812 : i1, in %a_813 : i1, in %a_814 : i1, in %a_815 : i1, in %a_816 : i1, in %a_817 : i1, in %a_818 : i1, in %a_819 : i1, in %a_820 : i1, in %a_821 : i1, in %a_822 : i1, in %a_823 : i1, in %a_824 : i1, in %a_825 : i1, in %a_826 : i1, in %a_827 : i1, in %a_828 : i1, in %a_829 : i1, in %a_830 : i1, in %a_831 : i1, in %a_832 : i1, in %a_833 : i1, in %a_834 : i1, in %a_835 : i1, in %a_836 : i1, in %a_837 : i1, in %a_838 : i1, in %a_839 : i1, in %a_840 : i1, in %a_841 : i1, in %a_842 : i1, in %a_843 : i1, in %a_844 : i1, in %a_845 : i1, in %a_846 : i1, in %a_847 : i1, in %a_848 : i1, in %a_849 : i1, in %a_850 : i1, in %a_851 : i1, in %a_852 : i1, in %a_853 : i1, in %a_854 : i1, in %a_855 : i1, in %a_856 : i1, in %a_857 : i1, in %a_858 : i1, in %a_859 : i1, in %a_860 : i1, in %a_861 : i1, in %a_862 : i1, in %a_863 : i1, in %a_864 : i1, in %a_865 : i1, in %a_866 : i1, in %a_867 : i1, in %a_868 : i1, in %a_869 : i1, in %a_870 : i1, in %a_871 : i1, in %a_872 : i1, in %a_873 : i1, in %a_874 : i1, in %a_875 : i1, in %a_876 : i1, in %a_877 : i1, in %a_878 : i1, in %a_879 : i1, in %a_880 : i1, in %a_881 : i1, in %a_882 : i1, in %a_883 : i1, in %a_884 : i1, in %a_885 : i1, in %a_886 : i1, in %a_887 : i1, in %a_888 : i1, in %a_889 : i1, in %a_890 : i1, in %a_891 : i1, in %a_892 : i1, in %a_893 : i1, in %a_894 : i1, in %a_895 : i1, in %a_896 : i1, in %a_897 : i1, in %a_898 : i1, in %a_899 : i1, in %a_900 : i1, in %a_901 : i1, in %a_902 : i1, in %a_903 : i1, in %a_904 : i1, in %a_905 : i1, in %a_906 : i1, in %a_907 : i1, in %a_908 : i1, in %a_909 : i1, in %a_910 : i1, in %a_911 : i1, in %a_912 : i1, in %a_913 : i1, in %a_914 : i1, in %a_915 : i1, in %a_916 : i1, in %a_917 : i1, in %a_918 : i1, in %a_919 : i1, in %a_920 : i1, in %a_921 : i1, in %a_922 : i1, in %a_923 : i1, in %a_924 : i1, in %a_925 : i1, in %a_926 : i1, in %a_927 : i1, in %a_928 : i1, in %a_929 : i1, in %a_930 : i1, in %a_931 : i1, in %a_932 : i1, in %a_933 : i1, in %a_934 : i1, in %a_935 : i1, in %a_936 : i1, in %a_937 : i1, in %a_938 : i1, in %a_939 : i1, in %a_940 : i1, in %a_941 : i1, in %a_942 : i1, in %a_943 : i1, in %a_944 : i1, in %a_945 : i1, in %a_946 : i1, in %a_947 : i1, in %a_948 : i1, in %a_949 : i1, in %a_950 : i1, in %a_951 : i1, in %a_952 : i1, in %a_953 : i1, in %a_954 : i1, in %a_955 : i1, in %a_956 : i1, in %a_957 : i1, in %a_958 : i1, in %a_959 : i1, in %a_960 : i1, in %a_961 : i1, in %a_962 : i1, in %a_963 : i1, in %a_964 : i1, in %a_965 : i1, in %a_966 : i1, in %a_967 : i1, in %a_968 : i1, in %a_969 : i1, in %a_970 : i1, in %a_971 : i1, in %a_972 : i1, in %a_973 : i1, in %a_974 : i1, in %a_975 : i1, in %a_976 : i1, in %a_977 : i1, in %a_978 : i1, in %a_979 : i1, in %a_980 : i1, in %a_981 : i1, in %a_982 : i1, in %a_983 : i1, in %a_984 : i1, in %a_985 : i1, in %a_986 : i1, in %a_987 : i1, in %a_988 : i1, in %a_989 : i1, in %a_990 : i1, in %a_991 : i1, in %a_992 : i1, in %a_993 : i1, in %a_994 : i1, in %a_995 : i1, in %a_996 : i1, in %a_997 : i1, in %a_998 : i1, in %a_999 : i1, in %a_1000 : i1, in %a_1001 : i1, in %a_1002 : i1, in %a_1003 : i1, in %a_1004 : i1, in %a_1005 : i1, in %a_1006 : i1, in %a_1007 : i1, in %a_1008 : i1, in %a_1009 : i1, in %a_1010 : i1, in %a_1011 : i1, in %a_1012 : i1, in %a_1013 : i1, in %a_1014 : i1, in %a_1015 : i1, in %a_1016 : i1, in %a_1017 : i1, in %a_1018 : i1, in %a_1019 : i1, in %a_1020 : i1, in %a_1021 : i1, in %a_1022 : i1, in %a_1023 : i1, in %sel : i10, out b : i1) {
%0 = hw.array_create %a_1023, %a_1022, %a_1021, %a_1020, %a_1019, %a_1018, %a_1017, %a_1016, %a_1015, %a_1014, %a_1013, %a_1012, %a_1011, %a_1010, %a_1009, %a_1008, %a_1007, %a_1006, %a_1005, %a_1004, %a_1003, %a_1002, %a_1001, %a_1000, %a_999, %a_998, %a_997, %a_996, %a_995, %a_994, %a_993, %a_992, %a_991, %a_990, %a_989, %a_988, %a_987, %a_986, %a_985, %a_984, %a_983, %a_982, %a_981, %a_980, %a_979, %a_978, %a_977, %a_976, %a_975, %a_974, %a_973, %a_972, %a_971, %a_970, %a_969, %a_968, %a_967, %a_966, %a_965, %a_964, %a_963, %a_962, %a_961, %a_960, %a_959, %a_958, %a_957, %a_956, %a_955, %a_954, %a_953, %a_952, %a_951, %a_950, %a_949, %a_948, %a_947, %a_946, %a_945, %a_944, %a_943, %a_942, %a_941, %a_940, %a_939, %a_938, %a_937, %a_936, %a_935, %a_934, %a_933, %a_932, %a_931, %a_930, %a_929, %a_928, %a_927, %a_926, %a_925, %a_924, %a_923, %a_922, %a_921, %a_920, %a_919, %a_918, %a_917, %a_916, %a_915, %a_914, %a_913, %a_912, %a_911, %a_910, %a_909, %a_908, %a_907, %a_906, %a_905, %a_904, %a_903, %a_902, %a_901, %a_900, %a_899, %a_898, %a_897, %a_896, %a_895, %a_894, %a_893, %a_892, %a_891, %a_890, %a_889, %a_888, %a_887, %a_886, %a_885, %a_884, %a_883, %a_882, %a_881, %a_880, %a_879, %a_878, %a_877, %a_876, %a_875, %a_874, %a_873, %a_872, %a_871, %a_870, %a_869, %a_868, %a_867, %a_866, %a_865, %a_864, %a_863, %a_862, %a_861, %a_860, %a_859, %a_858, %a_857, %a_856, %a_855, %a_854, %a_853, %a_852, %a_851, %a_850, %a_849, %a_848, %a_847, %a_846, %a_845, %a_844, %a_843, %a_842, %a_841, %a_840, %a_839, %a_838, %a_837, %a_836, %a_835, %a_834, %a_833, %a_832, %a_831, %a_830, %a_829, %a_828, %a_827, %a_826, %a_825, %a_824, %a_823, %a_822, %a_821, %a_820, %a_819, %a_818, %a_817, %a_816, %a_815, %a_814, %a_813, %a_812, %a_811, %a_810, %a_809, %a_808, %a_807, %a_806, %a_805, %a_804, %a_803, %a_802, %a_801, %a_800, %a_799, %a_798, %a_797, %a_796, %a_795, %a_794, %a_793, %a_792, %a_791, %a_790, %a_789, %a_788, %a_787, %a_786, %a_785, %a_784, %a_783, %a_782, %a_781, %a_780, %a_779, %a_778, %a_777, %a_776, %a_775, %a_774, %a_773, %a_772, %a_771, %a_770, %a_769, %a_768, %a_767, %a_766, %a_765, %a_764, %a_763, %a_762, %a_761, %a_760, %a_759, %a_758, %a_757, %a_756, %a_755, %a_754, %a_753, %a_752, %a_751, %a_750, %a_749, %a_748, %a_747, %a_746, %a_745, %a_744, %a_743, %a_742, %a_741, %a_740, %a_739, %a_738, %a_737, %a_736, %a_735, %a_734, %a_733, %a_732, %a_731, %a_730, %a_729, %a_728, %a_727, %a_726, %a_725, %a_724, %a_723, %a_722, %a_721, %a_720, %a_719, %a_718, %a_717, %a_716, %a_715, %a_714, %a_713, %a_712, %a_711, %a_710, %a_709, %a_708, %a_707, %a_706, %a_705, %a_704, %a_703, %a_702, %a_701, %a_700, %a_699, %a_698, %a_697, %a_696, %a_695, %a_694, %a_693, %a_692, %a_691, %a_690, %a_689, %a_688, %a_687, %a_686, %a_685, %a_684, %a_683, %a_682, %a_681, %a_680, %a_679, %a_678, %a_677, %a_676, %a_675, %a_674, %a_673, %a_672, %a_671, %a_670, %a_669, %a_668, %a_667, %a_666, %a_665, %a_664, %a_663, %a_662, %a_661, %a_660, %a_659, %a_658, %a_657, %a_656, %a_655, %a_654, %a_653, %a_652, %a_651, %a_650, %a_649, %a_648, %a_647, %a_646, %a_645, %a_644, %a_643, %a_642, %a_641, %a_640, %a_639, %a_638, %a_637, %a_636, %a_635, %a_634, %a_633, %a_632, %a_631, %a_630, %a_629, %a_628, %a_627, %a_626, %a_625, %a_624, %a_623, %a_622, %a_621, %a_620, %a_619, %a_618, %a_617, %a_616, %a_615, %a_614, %a_613, %a_612, %a_611, %a_610, %a_609, %a_608, %a_607, %a_606, %a_605, %a_604, %a_603, %a_602, %a_601, %a_600, %a_599, %a_598, %a_597, %a_596, %a_595, %a_594, %a_593, %a_592, %a_591, %a_590, %a_589, %a_588, %a_587, %a_586, %a_585, %a_584, %a_583, %a_582, %a_581, %a_580, %a_579, %a_578, %a_577, %a_576, %a_575, %a_574, %a_573, %a_572, %a_571, %a_570, %a_569, %a_568, %a_567, %a_566, %a_565, %a_564, %a_563, %a_562, %a_561, %a_560, %a_559, %a_558, %a_557, %a_556, %a_555, %a_554, %a_553, %a_552, %a_551, %a_550, %a_549, %a_548, %a_547, %a_546, %a_545, %a_544, %a_543, %a_542, %a_541, %a_540, %a_539, %a_538, %a_537, %a_536, %a_535, %a_534, %a_533, %a_532, %a_531, %a_530, %a_529, %a_528, %a_527, %a_526, %a_525, %a_524, %a_523, %a_522, %a_521, %a_520, %a_519, %a_518, %a_517, %a_516, %a_515, %a_514, %a_513, %a_512, %a_511, %a_510, %a_509, %a_508, %a_507, %a_506, %a_505, %a_504, %a_503, %a_502, %a_501, %a_500, %a_499, %a_498, %a_497, %a_496, %a_495, %a_494, %a_493, %a_492, %a_491, %a_490, %a_489, %a_488, %a_487, %a_486, %a_485, %a_484, %a_483, %a_482, %a_481, %a_480, %a_479, %a_478, %a_477, %a_476, %a_475, %a_474, %a_473, %a_472, %a_471, %a_470, %a_469, %a_468, %a_467, %a_466, %a_465, %a_464, %a_463, %a_462, %a_461, %a_460, %a_459, %a_458, %a_457, %a_456, %a_455, %a_454, %a_453, %a_452, %a_451, %a_450, %a_449, %a_448, %a_447, %a_446, %a_445, %a_444, %a_443, %a_442, %a_441, %a_440, %a_439, %a_438, %a_437, %a_436, %a_435, %a_434, %a_433, %a_432, %a_431, %a_430, %a_429, %a_428, %a_427, %a_426, %a_425, %a_424, %a_423, %a_422, %a_421, %a_420, %a_419, %a_418, %a_417, %a_416, %a_415, %a_414, %a_413, %a_412, %a_411, %a_410, %a_409, %a_408, %a_407, %a_406, %a_405, %a_404, %a_403, %a_402, %a_401, %a_400, %a_399, %a_398, %a_397, %a_396, %a_395, %a_394, %a_393, %a_392, %a_391, %a_390, %a_389, %a_388, %a_387, %a_386, %a_385, %a_384, %a_383, %a_382, %a_381, %a_380, %a_379, %a_378, %a_377, %a_376, %a_375, %a_374, %a_373, %a_372, %a_371, %a_370, %a_369, %a_368, %a_367, %a_366, %a_365, %a_364, %a_363, %a_362, %a_361, %a_360, %a_359, %a_358, %a_357, %a_356, %a_355, %a_354, %a_353, %a_352, %a_351, %a_350, %a_349, %a_348, %a_347, %a_346, %a_345, %a_344, %a_343, %a_342, %a_341, %a_340, %a_339, %a_338, %a_337, %a_336, %a_335, %a_334, %a_333, %a_332, %a_331, %a_330, %a_329, %a_328, %a_327, %a_326, %a_325, %a_324, %a_323, %a_322, %a_321, %a_320, %a_319, %a_318, %a_317, %a_316, %a_315, %a_314, %a_313, %a_312, %a_311, %a_310, %a_309, %a_308, %a_307, %a_306, %a_305, %a_304, %a_303, %a_302, %a_301, %a_300, %a_299, %a_298, %a_297, %a_296, %a_295, %a_294, %a_293, %a_292, %a_291, %a_290, %a_289, %a_288, %a_287, %a_286, %a_285, %a_284, %a_283, %a_282, %a_281, %a_280, %a_279, %a_278, %a_277, %a_276, %a_275, %a_274, %a_273, %a_272, %a_271, %a_270, %a_269, %a_268, %a_267, %a_266, %a_265, %a_264, %a_263, %a_262, %a_261, %a_260, %a_259, %a_258, %a_257, %a_256, %a_255, %a_254, %a_253, %a_252, %a_251, %a_250, %a_249, %a_248, %a_247, %a_246, %a_245, %a_244, %a_243, %a_242, %a_241, %a_240, %a_239, %a_238, %a_237, %a_236, %a_235, %a_234, %a_233, %a_232, %a_231, %a_230, %a_229, %a_228, %a_227, %a_226, %a_225, %a_224, %a_223, %a_222, %a_221, %a_220, %a_219, %a_218, %a_217, %a_216, %a_215, %a_214, %a_213, %a_212, %a_211, %a_210, %a_209, %a_208, %a_207, %a_206, %a_205, %a_204, %a_203, %a_202, %a_201, %a_200, %a_199, %a_198, %a_197, %a_196, %a_195, %a_194, %a_193, %a_192, %a_191, %a_190, %a_189, %a_188, %a_187, %a_186, %a_185, %a_184, %a_183, %a_182, %a_181, %a_180, %a_179, %a_178, %a_177, %a_176, %a_175, %a_174, %a_173, %a_172, %a_171, %a_170, %a_169, %a_168, %a_167, %a_166, %a_165, %a_164, %a_163, %a_162, %a_161, %a_160, %a_159, %a_158, %a_157, %a_156, %a_155, %a_154, %a_153, %a_152, %a_151, %a_150, %a_149, %a_148, %a_147, %a_146, %a_145, %a_144, %a_143, %a_142, %a_141, %a_140, %a_139, %a_138, %a_137, %a_136, %a_135, %a_134, %a_133, %a_132, %a_131, %a_130, %a_129, %a_128, %a_127, %a_126, %a_125, %a_124, %a_123, %a_122, %a_121, %a_120, %a_119, %a_118, %a_117, %a_116, %a_115, %a_114, %a_113, %a_112, %a_111, %a_110, %a_109, %a_108, %a_107, %a_106, %a_105, %a_104, %a_103, %a_102, %a_101, %a_100, %a_99, %a_98, %a_97, %a_96, %a_95, %a_94, %a_93, %a_92, %a_91, %a_90, %a_89, %a_88, %a_87, %a_86, %a_85, %a_84, %a_83, %a_82, %a_81, %a_80, %a_79, %a_78, %a_77, %a_76, %a_75, %a_74, %a_73, %a_72, %a_71, %a_70, %a_69, %a_68, %a_67, %a_66, %a_65, %a_64, %a_63, %a_62, %a_61, %a_60, %a_59, %a_58, %a_57, %a_56, %a_55, %a_54, %a_53, %a_52, %a_51, %a_50, %a_49, %a_48, %a_47, %a_46, %a_45, %a_44, %a_43, %a_42, %a_41, %a_40, %a_39, %a_38, %a_37, %a_36, %a_35, %a_34, %a_33, %a_32, %a_31, %a_30, %a_29, %a_28, %a_27, %a_26, %a_25, %a_24, %a_23, %a_22, %a_21, %a_20, %a_19, %a_18, %a_17, %a_16, %a_15, %a_14, %a_13, %a_12, %a_11, %a_10, %a_9, %a_8, %a_7, %a_6, %a_5, %a_4, %a_3, %a_2, %a_1, %a_0 : i1
%1 = hw.array_get %0[%sel] : !hw.array<1024xi1>, i10
hw.output %1 : i1
}
}
Raw
dynamic_shift.mlir
hw.module @MultibitMux(in %a_0 : i1, in %a_1 : i1, in %a_2 : i1, in %a_3 : i1, in %a_4 : i1, in %a_5 : i1, in %a_6 : i1, in %a_7 : i1, in %a_8 : i1, in %a_9 : i1, in %a_10 : i1, in %a_11 : i1, in %a_12 : i1, in %a_13 : i1, in %a_14 : i1, in %a_15 : i1, in %a_16 : i1, in %a_17 : i1, in %a_18 : i1, in %a_19 : i1, in %a_20 : i1, in %a_21 : i1, in %a_22 : i1, in %a_23 : i1, in %a_24 : i1, in %a_25 : i1, in %a_26 : i1, in %a_27 : i1, in %a_28 : i1, in %a_29 : i1, in %a_30 : i1, in %a_31 : i1, in %a_32 : i1, in %a_33 : i1, in %a_34 : i1, in %a_35 : i1, in %a_36 : i1, in %a_37 : i1, in %a_38 : i1, in %a_39 : i1, in %a_40 : i1, in %a_41 : i1, in %a_42 : i1, in %a_43 : i1, in %a_44 : i1, in %a_45 : i1, in %a_46 : i1, in %a_47 : i1, in %a_48 : i1, in %a_49 : i1, in %a_50 : i1, in %a_51 : i1, in %a_52 : i1, in %a_53 : i1, in %a_54 : i1, in %a_55 : i1, in %a_56 : i1, in %a_57 : i1, in %a_58 : i1, in %a_59 : i1, in %a_60 : i1, in %a_61 : i1, in %a_62 : i1, in %a_63 : i1, in %a_64 : i1, in %a_65 : i1, in %a_66 : i1, in %a_67 : i1, in %a_68 : i1, in %a_69 : i1, in %a_70 : i1, in %a_71 : i1, in %a_72 : i1, in %a_73 : i1, in %a_74 : i1, in %a_75 : i1, in %a_76 : i1, in %a_77 : i1, in %a_78 : i1, in %a_79 : i1, in %a_80 : i1, in %a_81 : i1, in %a_82 : i1, in %a_83 : i1, in %a_84 : i1, in %a_85 : i1, in %a_86 : i1, in %a_87 : i1, in %a_88 : i1, in %a_89 : i1, in %a_90 : i1, in %a_91 : i1, in %a_92 : i1, in %a_93 : i1, in %a_94 : i1, in %a_95 : i1, in %a_96 : i1, in %a_97 : i1, in %a_98 : i1, in %a_99 : i1, in %a_100 : i1, in %a_101 : i1, in %a_102 : i1, in %a_103 : i1, in %a_104 : i1, in %a_105 : i1, in %a_106 : i1, in %a_107 : i1, in %a_108 : i1, in %a_109 : i1, in %a_110 : i1, in %a_111 : i1, in %a_112 : i1, in %a_113 : i1, in %a_114 : i1, in %a_115 : i1, in %a_116 : i1, in %a_117 : i1, in %a_118 : i1, in %a_119 : i1, in %a_120 : i1, in %a_121 : i1, in %a_122 : i1, in %a_123 : i1, in %a_124 : i1, in %a_125 : i1, in %a_126 : i1, in %a_127 : i1, in %a_128 : i1, in %a_129 : i1, in %a_130 : i1, in %a_131 : i1, in %a_132 : i1, in %a_133 : i1, in %a_134 : i1, in %a_135 : i1, in %a_136 : i1, in %a_137 : i1, in %a_138 : i1, in %a_139 : i1, in %a_140 : i1, in %a_141 : i1, in %a_142 : i1, in %a_143 : i1, in %a_144 : i1, in %a_145 : i1, in %a_146 : i1, in %a_147 : i1, in %a_148 : i1, in %a_149 : i1, in %a_150 : i1, in %a_151 : i1, in %a_152 : i1, in %a_153 : i1, in %a_154 : i1, in %a_155 : i1, in %a_156 : i1, in %a_157 : i1, in %a_158 : i1, in %a_159 : i1, in %a_160 : i1, in %a_161 : i1, in %a_162 : i1, in %a_163 : i1, in %a_164 : i1, in %a_165 : i1, in %a_166 : i1, in %a_167 : i1, in %a_168 : i1, in %a_169 : i1, in %a_170 : i1, in %a_171 : i1, in %a_172 : i1, in %a_173 : i1, in %a_174 : i1, in %a_175 : i1, in %a_176 : i1, in %a_177 : i1, in %a_178 : i1, in %a_179 : i1, in %a_180 : i1, in %a_181 : i1, in %a_182 : i1, in %a_183 : i1, in %a_184 : i1, in %a_185 : i1, in %a_186 : i1, in %a_187 : i1, in %a_188 : i1, in %a_189 : i1, in %a_190 : i1, in %a_191 : i1, in %a_192 : i1, in %a_193 : i1, in %a_194 : i1, in %a_195 : i1, in %a_196 : i1, in %a_197 : i1, in %a_198 : i1, in %a_199 : i1, in %a_200 : i1, in %a_201 : i1, in %a_202 : i1, in %a_203 : i1, in %a_204 : i1, in %a_205 : i1, in %a_206 : i1, in %a_207 : i1, in %a_208 : i1, in %a_209 : i1, in %a_210 : i1, in %a_211 : i1, in %a_212 : i1, in %a_213 : i1, in %a_214 : i1, in %a_215 : i1, in %a_216 : i1, in %a_217 : i1, in %a_218 : i1, in %a_219 : i1, in %a_220 : i1, in %a_221 : i1, in %a_222 : i1, in %a_223 : i1, in %a_224 : i1, in %a_225 : i1, in %a_226 : i1, in %a_227 : i1, in %a_228 : i1, in %a_229 : i1, in %a_230 : i1, in %a_231 : i1, in %a_232 : i1, in %a_233 : i1, in %a_234 : i1, in %a_235 : i1, in %a_236 : i1, in %a_237 : i1, in %a_238 : i1, in %a_239 : i1, in %a_240 : i1, in %a_241 : i1, in %a_242 : i1, in %a_243 : i1, in %a_244 : i1, in %a_245 : i1, in %a_246 : i1, in %a_247 : i1, in %a_248 : i1, in %a_249 : i1, in %a_250 : i1, in %a_251 : i1, in %a_252 : i1, in %a_253 : i1, in %a_254 : i1, in %a_255 : i1, in %a_256 : i1, in %a_257 : i1, in %a_258 : i1, in %a_259 : i1, in %a_260 : i1, in %a_261 : i1, in %a_262 : i1, in %a_263 : i1, in %a_264 : i1, in %a_265 : i1, in %a_266 : i1, in %a_267 : i1, in %a_268 : i1, in %a_269 : i1, in %a_270 : i1, in %a_271 : i1, in %a_272 : i1, in %a_273 : i1, in %a_274 : i1, in %a_275 : i1, in %a_276 : i1, in %a_277 : i1, in %a_278 : i1, in %a_279 : i1, in %a_280 : i1, in %a_281 : i1, in %a_282 : i1, in %a_283 : i1, in %a_284 : i1, in %a_285 : i1, in %a_286 : i1, in %a_287 : i1, in %a_288 : i1, in %a_289 : i1, in %a_290 : i1, in %a_291 : i1, in %a_292 : i1, in %a_293 : i1, in %a_294 : i1, in %a_295 : i1, in %a_296 : i1, in %a_297 : i1, in %a_298 : i1, in %a_299 : i1, in %a_300 : i1, in %a_301 : i1, in %a_302 : i1, in %a_303 : i1, in %a_304 : i1, in %a_305 : i1, in %a_306 : i1, in %a_307 : i1, in %a_308 : i1, in %a_309 : i1, in %a_310 : i1, in %a_311 : i1, in %a_312 : i1, in %a_313 : i1, in %a_314 : i1, in %a_315 : i1, in %a_316 : i1, in %a_317 : i1, in %a_318 : i1, in %a_319 : i1, in %a_320 : i1, in %a_321 : i1, in %a_322 : i1, in %a_323 : i1, in %a_324 : i1, in %a_325 : i1, in %a_326 : i1, in %a_327 : i1, in %a_328 : i1, in %a_329 : i1, in %a_330 : i1, in %a_331 : i1, in %a_332 : i1, in %a_333 : i1, in %a_334 : i1, in %a_335 : i1, in %a_336 : i1, in %a_337 : i1, in %a_338 : i1, in %a_339 : i1, in %a_340 : i1, in %a_341 : i1, in %a_342 : i1, in %a_343 : i1, in %a_344 : i1, in %a_345 : i1, in %a_346 : i1, in %a_347 : i1, in %a_348 : i1, in %a_349 : i1, in %a_350 : i1, in %a_351 : i1, in %a_352 : i1, in %a_353 : i1, in %a_354 : i1, in %a_355 : i1, in %a_356 : i1, in %a_357 : i1, in %a_358 : i1, in %a_359 : i1, in %a_360 : i1, in %a_361 : i1, in %a_362 : i1, in %a_363 : i1, in %a_364 : i1, in %a_365 : i1, in %a_366 : i1, in %a_367 : i1, in %a_368 : i1, in %a_369 : i1, in %a_370 : i1, in %a_371 : i1, in %a_372 : i1, in %a_373 : i1, in %a_374 : i1, in %a_375 : i1, in %a_376 : i1, in %a_377 : i1, in %a_378 : i1, in %a_379 : i1, in %a_380 : i1, in %a_381 : i1, in %a_382 : i1, in %a_383 : i1, in %a_384 : i1, in %a_385 : i1, in %a_386 : i1, in %a_387 : i1, in %a_388 : i1, in %a_389 : i1, in %a_390 : i1, in %a_391 : i1, in %a_392 : i1, in %a_393 : i1, in %a_394 : i1, in %a_395 : i1, in %a_396 : i1, in %a_397 : i1, in %a_398 : i1, in %a_399 : i1, in %a_400 : i1, in %a_401 : i1, in %a_402 : i1, in %a_403 : i1, in %a_404 : i1, in %a_405 : i1, in %a_406 : i1, in %a_407 : i1, in %a_408 : i1, in %a_409 : i1, in %a_410 : i1, in %a_411 : i1, in %a_412 : i1, in %a_413 : i1, in %a_414 : i1, in %a_415 : i1, in %a_416 : i1, in %a_417 : i1, in %a_418 : i1, in %a_419 : i1, in %a_420 : i1, in %a_421 : i1, in %a_422 : i1, in %a_423 : i1, in %a_424 : i1, in %a_425 : i1, in %a_426 : i1, in %a_427 : i1, in %a_428 : i1, in %a_429 : i1, in %a_430 : i1, in %a_431 : i1, in %a_432 : i1, in %a_433 : i1, in %a_434 : i1, in %a_435 : i1, in %a_436 : i1, in %a_437 : i1, in %a_438 : i1, in %a_439 : i1, in %a_440 : i1, in %a_441 : i1, in %a_442 : i1, in %a_443 : i1, in %a_444 : i1, in %a_445 : i1, in %a_446 : i1, in %a_447 : i1, in %a_448 : i1, in %a_449 : i1, in %a_450 : i1, in %a_451 : i1, in %a_452 : i1, in %a_453 : i1, in %a_454 : i1, in %a_455 : i1, in %a_456 : i1, in %a_457 : i1, in %a_458 : i1, in %a_459 : i1, in %a_460 : i1, in %a_461 : i1, in %a_462 : i1, in %a_463 : i1, in %a_464 : i1, in %a_465 : i1, in %a_466 : i1, in %a_467 : i1, in %a_468 : i1, in %a_469 : i1, in %a_470 : i1, in %a_471 : i1, in %a_472 : i1, in %a_473 : i1, in %a_474 : i1, in %a_475 : i1, in %a_476 : i1, in %a_477 : i1, in %a_478 : i1, in %a_479 : i1, in %a_480 : i1, in %a_481 : i1, in %a_482 : i1, in %a_483 : i1, in %a_484 : i1, in %a_485 : i1, in %a_486 : i1, in %a_487 : i1, in %a_488 : i1, in %a_489 : i1, in %a_490 : i1, in %a_491 : i1, in %a_492 : i1, in %a_493 : i1, in %a_494 : i1, in %a_495 : i1, in %a_496 : i1, in %a_497 : i1, in %a_498 : i1, in %a_499 : i1, in %a_500 : i1, in %a_501 : i1, in %a_502 : i1, in %a_503 : i1, in %a_504 : i1, in %a_505 : i1, in %a_506 : i1, in %a_507 : i1, in %a_508 : i1, in %a_509 : i1, in %a_510 : i1, in %a_511 : i1, in %a_512 : i1, in %a_513 : i1, in %a_514 : i1, in %a_515 : i1, in %a_516 : i1, in %a_517 : i1, in %a_518 : i1, in %a_519 : i1, in %a_520 : i1, in %a_521 : i1, in %a_522 : i1, in %a_523 : i1, in %a_524 : i1, in %a_525 : i1, in %a_526 : i1, in %a_527 : i1, in %a_528 : i1, in %a_529 : i1, in %a_530 : i1, in %a_531 : i1, in %a_532 : i1, in %a_533 : i1, in %a_534 : i1, in %a_535 : i1, in %a_536 : i1, in %a_537 : i1, in %a_538 : i1, in %a_539 : i1, in %a_540 : i1, in %a_541 : i1, in %a_542 : i1, in %a_543 : i1, in %a_544 : i1, in %a_545 : i1, in %a_546 : i1, in %a_547 : i1, in %a_548 : i1, in %a_549 : i1, in %a_550 : i1, in %a_551 : i1, in %a_552 : i1, in %a_553 : i1, in %a_554 : i1, in %a_555 : i1, in %a_556 : i1, in %a_557 : i1, in %a_558 : i1, in %a_559 : i1, in %a_560 : i1, in %a_561 : i1, in %a_562 : i1, in %a_563 : i1, in %a_564 : i1, in %a_565 : i1, in %a_566 : i1, in %a_567 : i1, in %a_568 : i1, in %a_569 : i1, in %a_570 : i1, in %a_571 : i1, in %a_572 : i1, in %a_573 : i1, in %a_574 : i1, in %a_575 : i1, in %a_576 : i1, in %a_577 : i1, in %a_578 : i1, in %a_579 : i1, in %a_580 : i1, in %a_581 : i1, in %a_582 : i1, in %a_583 : i1, in %a_584 : i1, in %a_585 : i1, in %a_586 : i1, in %a_587 : i1, in %a_588 : i1, in %a_589 : i1, in %a_590 : i1, in %a_591 : i1, in %a_592 : i1, in %a_593 : i1, in %a_594 : i1, in %a_595 : i1, in %a_596 : i1, in %a_597 : i1, in %a_598 : i1, in %a_599 : i1, in %a_600 : i1, in %a_601 : i1, in %a_602 : i1, in %a_603 : i1, in %a_604 : i1, in %a_605 : i1, in %a_606 : i1, in %a_607 : i1, in %a_608 : i1, in %a_609 : i1, in %a_610 : i1, in %a_611 : i1, in %a_612 : i1, in %a_613 : i1, in %a_614 : i1, in %a_615 : i1, in %a_616 : i1, in %a_617 : i1, in %a_618 : i1, in %a_619 : i1, in %a_620 : i1, in %a_621 : i1, in %a_622 : i1, in %a_623 : i1, in %a_624 : i1, in %a_625 : i1, in %a_626 : i1, in %a_627 : i1, in %a_628 : i1, in %a_629 : i1, in %a_630 : i1, in %a_631 : i1, in %a_632 : i1, in %a_633 : i1, in %a_634 : i1, in %a_635 : i1, in %a_636 : i1, in %a_637 : i1, in %a_638 : i1, in %a_639 : i1, in %a_640 : i1, in %a_641 : i1, in %a_642 : i1, in %a_643 : i1, in %a_644 : i1, in %a_645 : i1, in %a_646 : i1, in %a_647 : i1, in %a_648 : i1, in %a_649 : i1, in %a_650 : i1, in %a_651 : i1, in %a_652 : i1, in %a_653 : i1, in %a_654 : i1, in %a_655 : i1, in %a_656 : i1, in %a_657 : i1, in %a_658 : i1, in %a_659 : i1, in %a_660 : i1, in %a_661 : i1, in %a_662 : i1, in %a_663 : i1, in %a_664 : i1, in %a_665 : i1, in %a_666 : i1, in %a_667 : i1, in %a_668 : i1, in %a_669 : i1, in %a_670 : i1, in %a_671 : i1, in %a_672 : i1, in %a_673 : i1, in %a_674 : i1, in %a_675 : i1, in %a_676 : i1, in %a_677 : i1, in %a_678 : i1, in %a_679 : i1, in %a_680 : i1, in %a_681 : i1, in %a_682 : i1, in %a_683 : i1, in %a_684 : i1, in %a_685 : i1, in %a_686 : i1, in %a_687 : i1, in %a_688 : i1, in %a_689 : i1, in %a_690 : i1, in %a_691 : i1, in %a_692 : i1, in %a_693 : i1, in %a_694 : i1, in %a_695 : i1, in %a_696 : i1, in %a_697 : i1, in %a_698 : i1, in %a_699 : i1, in %a_700 : i1, in %a_701 : i1, in %a_702 : i1, in %a_703 : i1, in %a_704 : i1, in %a_705 : i1, in %a_706 : i1, in %a_707 : i1, in %a_708 : i1, in %a_709 : i1, in %a_710 : i1, in %a_711 : i1, in %a_712 : i1, in %a_713 : i1, in %a_714 : i1, in %a_715 : i1, in %a_716 : i1, in %a_717 : i1, in %a_718 : i1, in %a_719 : i1, in %a_720 : i1, in %a_721 : i1, in %a_722 : i1, in %a_723 : i1, in %a_724 : i1, in %a_725 : i1, in %a_726 : i1, in %a_727 : i1, in %a_728 : i1, in %a_729 : i1, in %a_730 : i1, in %a_731 : i1, in %a_732 : i1, in %a_733 : i1, in %a_734 : i1, in %a_735 : i1, in %a_736 : i1, in %a_737 : i1, in %a_738 : i1, in %a_739 : i1, in %a_740 : i1, in %a_741 : i1, in %a_742 : i1, in %a_743 : i1, in %a_744 : i1, in %a_745 : i1, in %a_746 : i1, in %a_747 : i1, in %a_748 : i1, in %a_749 : i1, in %a_750 : i1, in %a_751 : i1, in %a_752 : i1, in %a_753 : i1, in %a_754 : i1, in %a_755 : i1, in %a_756 : i1, in %a_757 : i1, in %a_758 : i1, in %a_759 : i1, in %a_760 : i1, in %a_761 : i1, in %a_762 : i1, in %a_763 : i1, in %a_764 : i1, in %a_765 : i1, in %a_766 : i1, in %a_767 : i1, in %a_768 : i1, in %a_769 : i1, in %a_770 : i1, in %a_771 : i1, in %a_772 : i1, in %a_773 : i1, in %a_774 : i1, in %a_775 : i1, in %a_776 : i1, in %a_777 : i1, in %a_778 : i1, in %a_779 : i1, in %a_780 : i1, in %a_781 : i1, in %a_782 : i1, in %a_783 : i1, in %a_784 : i1, in %a_785 : i1, in %a_786 : i1, in %a_787 : i1, in %a_788 : i1, in %a_789 : i1, in %a_790 : i1, in %a_791 : i1, in %a_792 : i1, in %a_793 : i1, in %a_794 : i1, in %a_795 : i1, in %a_796 : i1, in %a_797 : i1, in %a_798 : i1, in %a_799 : i1, in %a_800 : i1, in %a_801 : i1, in %a_802 : i1, in %a_803 : i1, in %a_804 : i1, in %a_805 : i1, in %a_806 : i1, in %a_807 : i1, in %a_808 : i1, in %a_809 : i1, in %a_810 : i1, in %a_811 : i1, in %a_812 : i1, in %a_813 : i1, in %a_814 : i1, in %a_815 : i1, in %a_816 : i1, in %a_817 : i1, in %a_818 : i1, in %a_819 : i1, in %a_820 : i1, in %a_821 : i1, in %a_822 : i1, in %a_823 : i1, in %a_824 : i1, in %a_825 : i1, in %a_826 : i1, in %a_827 : i1, in %a_828 : i1, in %a_829 : i1, in %a_830 : i1, in %a_831 : i1, in %a_832 : i1, in %a_833 : i1, in %a_834 : i1, in %a_835 : i1, in %a_836 : i1, in %a_837 : i1, in %a_838 : i1, in %a_839 : i1, in %a_840 : i1, in %a_841 : i1, in %a_842 : i1, in %a_843 : i1, in %a_844 : i1, in %a_845 : i1, in %a_846 : i1, in %a_847 : i1, in %a_848 : i1, in %a_849 : i1, in %a_850 : i1, in %a_851 : i1, in %a_852 : i1, in %a_853 : i1, in %a_854 : i1, in %a_855 : i1, in %a_856 : i1, in %a_857 : i1, in %a_858 : i1, in %a_859 : i1, in %a_860 : i1, in %a_861 : i1, in %a_862 : i1, in %a_863 : i1, in %a_864 : i1, in %a_865 : i1, in %a_866 : i1, in %a_867 : i1, in %a_868 : i1, in %a_869 : i1, in %a_870 : i1, in %a_871 : i1, in %a_872 : i1, in %a_873 : i1, in %a_874 : i1, in %a_875 : i1, in %a_876 : i1, in %a_877 : i1, in %a_878 : i1, in %a_879 : i1, in %a_880 : i1, in %a_881 : i1, in %a_882 : i1, in %a_883 : i1, in %a_884 : i1, in %a_885 : i1, in %a_886 : i1, in %a_887 : i1, in %a_888 : i1, in %a_889 : i1, in %a_890 : i1, in %a_891 : i1, in %a_892 : i1, in %a_893 : i1, in %a_894 : i1, in %a_895 : i1, in %a_896 : i1, in %a_897 : i1, in %a_898 : i1, in %a_899 : i1, in %a_900 : i1, in %a_901 : i1, in %a_902 : i1, in %a_903 : i1, in %a_904 : i1, in %a_905 : i1, in %a_906 : i1, in %a_907 : i1, in %a_908 : i1, in %a_909 : i1, in %a_910 : i1, in %a_911 : i1, in %a_912 : i1, in %a_913 : i1, in %a_914 : i1, in %a_915 : i1, in %a_916 : i1, in %a_917 : i1, in %a_918 : i1, in %a_919 : i1, in %a_920 : i1, in %a_921 : i1, in %a_922 : i1, in %a_923 : i1, in %a_924 : i1, in %a_925 : i1, in %a_926 : i1, in %a_927 : i1, in %a_928 : i1, in %a_929 : i1, in %a_930 : i1, in %a_931 : i1, in %a_932 : i1, in %a_933 : i1, in %a_934 : i1, in %a_935 : i1, in %a_936 : i1, in %a_937 : i1, in %a_938 : i1, in %a_939 : i1, in %a_940 : i1, in %a_941 : i1, in %a_942 : i1, in %a_943 : i1, in %a_944 : i1, in %a_945 : i1, in %a_946 : i1, in %a_947 : i1, in %a_948 : i1, in %a_949 : i1, in %a_950 : i1, in %a_951 : i1, in %a_952 : i1, in %a_953 : i1, in %a_954 : i1, in %a_955 : i1, in %a_956 : i1, in %a_957 : i1, in %a_958 : i1, in %a_959 : i1, in %a_960 : i1, in %a_961 : i1, in %a_962 : i1, in %a_963 : i1, in %a_964 : i1, in %a_965 : i1, in %a_966 : i1, in %a_967 : i1, in %a_968 : i1, in %a_969 : i1, in %a_970 : i1, in %a_971 : i1, in %a_972 : i1, in %a_973 : i1, in %a_974 : i1, in %a_975 : i1, in %a_976 : i1, in %a_977 : i1, in %a_978 : i1, in %a_979 : i1, in %a_980 : i1, in %a_981 : i1, in %a_982 : i1, in %a_983 : i1, in %a_984 : i1, in %a_985 : i1, in %a_986 : i1, in %a_987 : i1, in %a_988 : i1, in %a_989 : i1, in %a_990 : i1, in %a_991 : i1, in %a_992 : i1, in %a_993 : i1, in %a_994 : i1, in %a_995 : i1, in %a_996 : i1, in %a_997 : i1, in %a_998 : i1, in %a_999 : i1, in %a_1000 : i1, in %a_1001 : i1, in %a_1002 : i1, in %a_1003 : i1, in %a_1004 : i1, in %a_1005 : i1, in %a_1006 : i1, in %a_1007 : i1, in %a_1008 : i1, in %a_1009 : i1, in %a_1010 : i1, in %a_1011 : i1, in %a_1012 : i1, in %a_1013 : i1, in %a_1014 : i1, in %a_1015 : i1, in %a_1016 : i1, in %a_1017 : i1, in %a_1018 : i1, in %a_1019 : i1, in %a_1020 : i1, in %a_1021 : i1, in %a_1022 : i1, in %a_1023 : i1, in %sel : i10, out b : i1) {
%0 = comb.concat %a_1023, %a_1022, %a_1021, %a_1020, %a_1019, %a_1018, %a_1017, %a_1016, %a_1015, %a_1014, %a_1013, %a_1012, %a_1011, %a_1010, %a_1009, %a_1008, %a_1007, %a_1006, %a_1005, %a_1004, %a_1003, %a_1002, %a_1001, %a_1000, %a_999, %a_998, %a_997, %a_996, %a_995, %a_994, %a_993, %a_992, %a_991, %a_990, %a_989, %a_988, %a_987, %a_986, %a_985, %a_984, %a_983, %a_982, %a_981, %a_980, %a_979, %a_978, %a_977, %a_976, %a_975, %a_974, %a_973, %a_972, %a_971, %a_970, %a_969, %a_968, %a_967, %a_966, %a_965, %a_964, %a_963, %a_962, %a_961, %a_960, %a_959, %a_958, %a_957, %a_956, %a_955, %a_954, %a_953, %a_952, %a_951, %a_950, %a_949, %a_948, %a_947, %a_946, %a_945, %a_944, %a_943, %a_942, %a_941, %a_940, %a_939, %a_938, %a_937, %a_936, %a_935, %a_934, %a_933, %a_932, %a_931, %a_930, %a_929, %a_928, %a_927, %a_926, %a_925, %a_924, %a_923, %a_922, %a_921, %a_920, %a_919, %a_918, %a_917, %a_916, %a_915, %a_914, %a_913, %a_912, %a_911, %a_910, %a_909, %a_908, %a_907, %a_906, %a_905, %a_904, %a_903, %a_902, %a_901, %a_900, %a_899, %a_898, %a_897, %a_896, %a_895, %a_894, %a_893, %a_892, %a_891, %a_890, %a_889, %a_888, %a_887, %a_886, %a_885, %a_884, %a_883, %a_882, %a_881, %a_880, %a_879, %a_878, %a_877, %a_876, %a_875, %a_874, %a_873, %a_872, %a_871, %a_870, %a_869, %a_868, %a_867, %a_866, %a_865, %a_864, %a_863, %a_862, %a_861, %a_860, %a_859, %a_858, %a_857, %a_856, %a_855, %a_854, %a_853, %a_852, %a_851, %a_850, %a_849, %a_848, %a_847, %a_846, %a_845, %a_844, %a_843, %a_842, %a_841, %a_840, %a_839, %a_838, %a_837, %a_836, %a_835, %a_834, %a_833, %a_832, %a_831, %a_830, %a_829, %a_828, %a_827, %a_826, %a_825, %a_824, %a_823, %a_822, %a_821, %a_820, %a_819, %a_818, %a_817, %a_816, %a_815, %a_814, %a_813, %a_812, %a_811, %a_810, %a_809, %a_808, %a_807, %a_806, %a_805, %a_804, %a_803, %a_802, %a_801, %a_800, %a_799, %a_798, %a_797, %a_796, %a_795, %a_794, %a_793, %a_792, %a_791, %a_790, %a_789, %a_788, %a_787, %a_786, %a_785, %a_784, %a_783, %a_782, %a_781, %a_780, %a_779, %a_778, %a_777, %a_776, %a_775, %a_774, %a_773, %a_772, %a_771, %a_770, %a_769, %a_768, %a_767, %a_766, %a_765, %a_764, %a_763, %a_762, %a_761, %a_760, %a_759, %a_758, %a_757, %a_756, %a_755, %a_754, %a_753, %a_752, %a_751, %a_750, %a_749, %a_748, %a_747, %a_746, %a_745, %a_744, %a_743, %a_742, %a_741, %a_740, %a_739, %a_738, %a_737, %a_736, %a_735, %a_734, %a_733, %a_732, %a_731, %a_730, %a_729, %a_728, %a_727, %a_726, %a_725, %a_724, %a_723, %a_722, %a_721, %a_720, %a_719, %a_718, %a_717, %a_716, %a_715, %a_714, %a_713, %a_712, %a_711, %a_710, %a_709, %a_708, %a_707, %a_706, %a_705, %a_704, %a_703, %a_702, %a_701, %a_700, %a_699, %a_698, %a_697, %a_696, %a_695, %a_694, %a_693, %a_692, %a_691, %a_690, %a_689, %a_688, %a_687, %a_686, %a_685, %a_684, %a_683, %a_682, %a_681, %a_680, %a_679, %a_678, %a_677, %a_676, %a_675, %a_674, %a_673, %a_672, %a_671, %a_670, %a_669, %a_668, %a_667, %a_666, %a_665, %a_664, %a_663, %a_662, %a_661, %a_660, %a_659, %a_658, %a_657, %a_656, %a_655, %a_654, %a_653, %a_652, %a_651, %a_650, %a_649, %a_648, %a_647, %a_646, %a_645, %a_644, %a_643, %a_642, %a_641, %a_640, %a_639, %a_638, %a_637, %a_636, %a_635, %a_634, %a_633, %a_632, %a_631, %a_630, %a_629, %a_628, %a_627, %a_626, %a_625, %a_624, %a_623, %a_622, %a_621, %a_620, %a_619, %a_618, %a_617, %a_616, %a_615, %a_614, %a_613, %a_612, %a_611, %a_610, %a_609, %a_608, %a_607, %a_606, %a_605, %a_604, %a_603, %a_602, %a_601, %a_600, %a_599, %a_598, %a_597, %a_596, %a_595, %a_594, %a_593, %a_592, %a_591, %a_590, %a_589, %a_588, %a_587, %a_586, %a_585, %a_584, %a_583, %a_582, %a_581, %a_580, %a_579, %a_578, %a_577, %a_576, %a_575, %a_574, %a_573, %a_572, %a_571, %a_570, %a_569, %a_568, %a_567, %a_566, %a_565, %a_564, %a_563, %a_562, %a_561, %a_560, %a_559, %a_558, %a_557, %a_556, %a_555, %a_554, %a_553, %a_552, %a_551, %a_550, %a_549, %a_548, %a_547, %a_546, %a_545, %a_544, %a_543, %a_542, %a_541, %a_540, %a_539, %a_538, %a_537, %a_536, %a_535, %a_534, %a_533, %a_532, %a_531, %a_530, %a_529, %a_528, %a_527, %a_526, %a_525, %a_524, %a_523, %a_522, %a_521, %a_520, %a_519, %a_518, %a_517, %a_516, %a_515, %a_514, %a_513, %a_512, %a_511, %a_510, %a_509, %a_508, %a_507, %a_506, %a_505, %a_504, %a_503, %a_502, %a_501, %a_500, %a_499, %a_498, %a_497, %a_496, %a_495, %a_494, %a_493, %a_492, %a_491, %a_490, %a_489, %a_488, %a_487, %a_486, %a_485, %a_484, %a_483, %a_482, %a_481, %a_480, %a_479, %a_478, %a_477, %a_476, %a_475, %a_474, %a_473, %a_472, %a_471, %a_470, %a_469, %a_468, %a_467, %a_466, %a_465, %a_464, %a_463, %a_462, %a_461, %a_460, %a_459, %a_458, %a_457, %a_456, %a_455, %a_454, %a_453, %a_452, %a_451, %a_450, %a_449, %a_448, %a_447, %a_446, %a_445, %a_444, %a_443, %a_442, %a_441, %a_440, %a_439, %a_438, %a_437, %a_436, %a_435, %a_434, %a_433, %a_432, %a_431, %a_430, %a_429, %a_428, %a_427, %a_426, %a_425, %a_424, %a_423, %a_422, %a_421, %a_420, %a_419, %a_418, %a_417, %a_416, %a_415, %a_414, %a_413, %a_412, %a_411, %a_410, %a_409, %a_408, %a_407, %a_406, %a_405, %a_404, %a_403, %a_402, %a_401, %a_400, %a_399, %a_398, %a_397, %a_396, %a_395, %a_394, %a_393, %a_392, %a_391, %a_390, %a_389, %a_388, %a_387, %a_386, %a_385, %a_384, %a_383, %a_382, %a_381, %a_380, %a_379, %a_378, %a_377, %a_376, %a_375, %a_374, %a_373, %a_372, %a_371, %a_370, %a_369, %a_368, %a_367, %a_366, %a_365, %a_364, %a_363, %a_362, %a_361, %a_360, %a_359, %a_358, %a_357, %a_356, %a_355, %a_354, %a_353, %a_352, %a_351, %a_350, %a_349, %a_348, %a_347, %a_346, %a_345, %a_344, %a_343, %a_342, %a_341, %a_340, %a_339, %a_338, %a_337, %a_336, %a_335, %a_334, %a_333, %a_332, %a_331, %a_330, %a_329, %a_328, %a_327, %a_326, %a_325, %a_324, %a_323, %a_322, %a_321, %a_320, %a_319, %a_318, %a_317, %a_316, %a_315, %a_314, %a_313, %a_312, %a_311, %a_310, %a_309, %a_308, %a_307, %a_306, %a_305, %a_304, %a_303, %a_302, %a_301, %a_300, %a_299, %a_298, %a_297, %a_296, %a_295, %a_294, %a_293, %a_292, %a_291, %a_290, %a_289, %a_288, %a_287, %a_286, %a_285, %a_284, %a_283, %a_282, %a_281, %a_280, %a_279, %a_278, %a_277, %a_276, %a_275, %a_274, %a_273, %a_272, %a_271, %a_270, %a_269, %a_268, %a_267, %a_266, %a_265, %a_264, %a_263, %a_262, %a_261, %a_260, %a_259, %a_258, %a_257, %a_256, %a_255, %a_254, %a_253, %a_252, %a_251, %a_250, %a_249, %a_248, %a_247, %a_246, %a_245, %a_244, %a_243, %a_242, %a_241, %a_240, %a_239, %a_238, %a_237, %a_236, %a_235, %a_234, %a_233, %a_232, %a_231, %a_230, %a_229, %a_228, %a_227, %a_226, %a_225, %a_224, %a_223, %a_222, %a_221, %a_220, %a_219, %a_218, %a_217, %a_216, %a_215, %a_214, %a_213, %a_212, %a_211, %a_210, %a_209, %a_208, %a_207, %a_206, %a_205, %a_204, %a_203, %a_202, %a_201, %a_200, %a_199, %a_198, %a_197, %a_196, %a_195, %a_194, %a_193, %a_192, %a_191, %a_190, %a_189, %a_188, %a_187, %a_186, %a_185, %a_184, %a_183, %a_182, %a_181, %a_180, %a_179, %a_178, %a_177, %a_176, %a_175, %a_174, %a_173, %a_172, %a_171, %a_170, %a_169, %a_168, %a_167, %a_166, %a_165, %a_164, %a_163, %a_162, %a_161, %a_160, %a_159, %a_158, %a_157, %a_156, %a_155, %a_154, %a_153, %a_152, %a_151, %a_150, %a_149, %a_148, %a_147, %a_146, %a_145, %a_144, %a_143, %a_142, %a_141, %a_140, %a_139, %a_138, %a_137, %a_136, %a_135, %a_134, %a_133, %a_132, %a_131, %a_130, %a_129, %a_128, %a_127, %a_126, %a_125, %a_124, %a_123, %a_122, %a_121, %a_120, %a_119, %a_118, %a_117, %a_116, %a_115, %a_114, %a_113, %a_112, %a_111, %a_110, %a_109, %a_108, %a_107, %a_106, %a_105, %a_104, %a_103, %a_102, %a_101, %a_100, %a_99, %a_98, %a_97, %a_96, %a_95, %a_94, %a_93, %a_92, %a_91, %a_90, %a_89, %a_88, %a_87, %a_86, %a_85, %a_84, %a_83, %a_82, %a_81, %a_80, %a_79, %a_78, %a_77, %a_76, %a_75, %a_74, %a_73, %a_72, %a_71, %a_70, %a_69, %a_68, %a_67, %a_66, %a_65, %a_64, %a_63, %a_62, %a_61, %a_60, %a_59, %a_58, %a_57, %a_56, %a_55, %a_54, %a_53, %a_52, %a_51, %a_50, %a_49, %a_48, %a_47, %a_46, %a_45, %a_44, %a_43, %a_42, %a_41, %a_40, %a_39, %a_38, %a_37, %a_36, %a_35, %a_34, %a_33, %a_32, %a_31, %a_30, %a_29, %a_28, %a_27, %a_26, %a_25, %a_24, %a_23, %a_22, %a_21, %a_20, %a_19, %a_18, %a_17, %a_16, %a_15, %a_14, %a_13, %a_12, %a_11, %a_10, %a_9, %a_8, %a_7, %a_6, %a_5, %a_4, %a_3, %a_2, %a_1, %a_0 : i1,i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1, i1
%c = hw.constant 0: i1014
%shift_ext = comb.concat %c, %sel: i1014, i10
%1 = comb.shru %0, %shift_ext : i1024
%res = comb.extract %1 from 0: (i1024) -> i1
hw.output %res : i1
}
// time ./build/bin/circt-lec dynamic_shift.mlir dynamic_shift.mlir --c1 MultibitMux --c2 MultibitMux --shared-libs=../z3/build_tmp/libz3.so
// c1 == c2
// real 0m0.726s
// user 0m0.698s
// sys 0m0.033s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment