The project is highly experimental, and is not currently meant to be used. It aims at deriving fuzzers, reducers, or mutators for MLIR dialects, using IRDL and to avoid generating programs that do not verify.
- Setup LLVM and IRDL projects
git submodule update --init --recursive./utils/build-llvm.sh
- Setup CMake
./utils/setup.sh
- Build the different tools (only mlir-enumerate for now)
./utils/build.sh
First create the generation dir: mkdir generated.
./build/bin/mlir-enumerate dialects/arith.mlir -o generated will run the
enumerator with the arith dialect, and generate the programs in the
generated folder.