| Issue |
145092
|
| Summary |
[mlir][IntegerRangeAnalysis] Teach the analysis to infer overflow flags
|
| Labels |
mlir
|
| Assignees |
|
| Reporter |
krzysz00
|
When analyzing operations that might exhibit overflow, we can often determine whether or not such an overflow could occur, which is data that can be expressed using the nuw and nsw overflow flags. This is information that can be annotated onto operations and might be usable to make some bits of the analysis more precise.
So the ConstantIntRanges struct could grow a std::optional<arith::OverflowFlags> field to mark whether the associated operation could've overflowed while computing that result.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
