mirror of https://github.com/llvm/circt.git
65ae143651
Building on the existing MLIR integer interval range analysis framework, build the interface for the comb dialect. Use the interval range analysis to develop a comb opt narrowing pass, that reduces a comb opt based on the interval range of the operation. Currently this is only supported for addition, subtraction and multiplication, but this could be extended in the future. Future work will leverage the interval analysis to validate the combination of consecutive addition operators into a multi-operand addition. |
||
|---|---|---|
| .. | ||
| basic.mlir | ||
| canonicalization.mlir | ||
| comb-int-range-narrowing.mlir | ||
| errors.mlir | ||
| lower-comb.mlir | ||