Closed
Description
This is tracking issue for integer overflow flags support in arith
dialect
Tasks:
- Overflow flags enum and attribute support in
arith
ops ([mlir][arith] Add overflow flags support to arith ops #77211) - Overflow flags, canonicalization for
SHL
inarith
([mlir] [arith] add shl overflow flag in Arith and lower to SPIR-V and LLVMIR #79828) - LLVM dialect lowering ([mlir][arith] Add overflow flags support to arith ops #77211)
- SPIR-V dialect lowering ([mlir][spirv] Lower
arith
overflow flags to corresponding SPIR-V op decorations #77714) - Overflow flags support in
arith
canonicalizations ([mlir][arith] Overflow flags propagation in arith canonicalizations. #91646) - Overflow flags support in integer range analysis ([mlir][intrange] Use
nsw
,nuw
flags in inference #92642)