Hello.
I’d like to ask you a question.
- Add flags
- llvm lowering
- spir-v lowering
- canonicalizations
- integer range analysis
There is a task for canonicalization in the above list. Does it include not only fixing missing flags in canonicalization but also adding more flags to operations?
I’m working on Flang and it’s found that some nsw flags on arith.addi can help optimization. I’m roughly thinking of implementing the feature adding nsw flags in canonicalizer, but I’m not sure this conforms to the design of arith dialect considering the following discussion.