[Mlir-commits] [mlir] [mlir][arith] Do not preserve nneg when folding extui of extui (PR #216315)

[Jakub Kuderski]

https://github.com/kuhar commented:

I think the `trunci(trunci(x))` fold suffers from the same issue and replaces the operand but retains the outer `nuw`/`nsw`; for example, an unflagged `i32 -> i16` truncation followed by an `overflow<nuw>` `i16 -> i8` truncation folds to a single `i32 -> i8 overflow<nuw>`. Would be nice to fix too (possibly in a separate PR).

https://github.com/llvm/llvm-project/pull/216315