├── .gitignore ├── .gitmodules ├── CMakeLists.txt ├── README.md ├── dialects ├── arith.mlir ├── bool-ruler.mlir ├── bv-ruler.mlir ├── comb.mlir ├── llvm.mlir ├── smt.mlir └── stablehlo.mlir ├── examples ├── superoptimizer-input-with-input.mlir └── superoptimizer-input.mlir ├── include ├── CLITool.h ├── GeneratorInfo.h ├── IRDLUtils.h └── SubPattern.h ├── is-miscompiling.sh ├── lib ├── CLITool.cpp ├── CMakeLists.txt ├── GeneratorInfo.cpp ├── IRDLUtils.cpp └── SubPattern.cpp ├── tools ├── CMakeLists.txt ├── check-subpattern │ ├── CMakeLists.txt │ └── check-subpattern.cpp ├── mlir-enumerate │ ├── CMakeLists.txt │ └── mlir-enumerate.cpp ├── remove-redundant-patterns │ ├── CMakeLists.txt │ └── remove-redundant-patterns.cpp └── superoptimizer │ ├── CMakeLists.txt │ └── superoptimizer.cpp └── utils ├── build-llvm.sh ├── build.sh └── setup.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/.gitmodules -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/README.md -------------------------------------------------------------------------------- /dialects/arith.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/arith.mlir -------------------------------------------------------------------------------- /dialects/bool-ruler.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/bool-ruler.mlir -------------------------------------------------------------------------------- /dialects/bv-ruler.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/bv-ruler.mlir -------------------------------------------------------------------------------- /dialects/comb.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/comb.mlir -------------------------------------------------------------------------------- /dialects/llvm.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/llvm.mlir -------------------------------------------------------------------------------- /dialects/smt.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/smt.mlir -------------------------------------------------------------------------------- /dialects/stablehlo.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/dialects/stablehlo.mlir -------------------------------------------------------------------------------- /examples/superoptimizer-input-with-input.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/examples/superoptimizer-input-with-input.mlir -------------------------------------------------------------------------------- /examples/superoptimizer-input.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/examples/superoptimizer-input.mlir -------------------------------------------------------------------------------- /include/CLITool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/include/CLITool.h -------------------------------------------------------------------------------- /include/GeneratorInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/include/GeneratorInfo.h -------------------------------------------------------------------------------- /include/IRDLUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/include/IRDLUtils.h -------------------------------------------------------------------------------- /include/SubPattern.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/include/SubPattern.h -------------------------------------------------------------------------------- /is-miscompiling.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/is-miscompiling.sh -------------------------------------------------------------------------------- /lib/CLITool.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/lib/CLITool.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/GeneratorInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/lib/GeneratorInfo.cpp -------------------------------------------------------------------------------- /lib/IRDLUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/lib/IRDLUtils.cpp -------------------------------------------------------------------------------- /lib/SubPattern.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/lib/SubPattern.cpp -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/check-subpattern/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/check-subpattern/CMakeLists.txt -------------------------------------------------------------------------------- /tools/check-subpattern/check-subpattern.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/check-subpattern/check-subpattern.cpp -------------------------------------------------------------------------------- /tools/mlir-enumerate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/mlir-enumerate/CMakeLists.txt -------------------------------------------------------------------------------- /tools/mlir-enumerate/mlir-enumerate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/mlir-enumerate/mlir-enumerate.cpp -------------------------------------------------------------------------------- /tools/remove-redundant-patterns/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/remove-redundant-patterns/CMakeLists.txt -------------------------------------------------------------------------------- /tools/remove-redundant-patterns/remove-redundant-patterns.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/remove-redundant-patterns/remove-redundant-patterns.cpp -------------------------------------------------------------------------------- /tools/superoptimizer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/superoptimizer/CMakeLists.txt -------------------------------------------------------------------------------- /tools/superoptimizer/superoptimizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/tools/superoptimizer/superoptimizer.cpp -------------------------------------------------------------------------------- /utils/build-llvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/utils/build-llvm.sh -------------------------------------------------------------------------------- /utils/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/utils/build.sh -------------------------------------------------------------------------------- /utils/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/opencompl/mlir-fuzz/HEAD/utils/setup.sh --------------------------------------------------------------------------------