mirror of https://github.com/llvm/circt.git
ee62dbcbe0
This patch adds support for lowering comb div/mod operations to AIG: * Support unsigned div/mod for power-of-2 constant divisors * Support for non-power-of-2 divisors by emulating the operation with a mux tree when the number of unknown bits is small (default threshold is 10 bits). This is not ideal and eventually we should lower to a proper div/mod. Practically this lowering pattern covers many cases since users rarely use div/mod because these operations are very expensive (users write their own div/mod in their frontend language). * LEC tests are added. |
||
|---|---|---|
| .. | ||
| comb-to-aig-arith.mlir | ||
| comb-to-aig.mlir | ||