mirror of https://github.com/llvm/circt.git
![]() Technology mapping/Cut rewriting requires enumerating multiple cuts to find best cuts, so representing a single cut as an operation doesn't make sense in general. When the AIG dialect was originally introduced, the cut operation was not well-thought-out and not used anywhere so clean up before implementing tech mapping. Close https://github.com/llvm/circt/issues/8761 |
||
---|---|---|
.. | ||
aiger-runner-error.mlir | ||
aiger-runner.mlir | ||
canonicalizer.mlir | ||
longest-paths-report.mlir | ||
longest-paths.mlir | ||
lower-variadic.mlir | ||
lower-word-to-bits.mlir | ||
round-trip.mlir |