Clangが吐いた158命令から、観測と未来で商化して1〜8命令のlane primitiveを機械に導出させよう
predicate、prefix、rank と select、compact と expand、run boundary、Morton permutation。表面上は違って見える処理が、少数の同じ抽象作用へ何度も落ちる。手で何度もやった導出を Quotient Minimizer という solver へ移し、ordinary C を Clang -O2 に通した実アセンブリから意味を取り直して、物理代表を選び直すところまで通す。