mirror of https://github.com/llvm/circt.git
c301a0f15c
This adds a conversion pass from AIG dialect to Comb dialect. AndInverterOp can be easily converted into comb.and + comb.xor + hw.constant. This enables us to utilize core dialects tools for synthesis results without any addition. Primarly use case is running LEC on IR before and after synthesis. |
||
|---|---|---|
| .. | ||
| basic.mlir | ||
| commandline.mlir | ||