llvm-project
c1d33452 - [MLIR][Presburger][NFC] Don't add empty regions when unioning PWMA functions (#182468)

Commit
64 days ago
[MLIR][Presburger][NFC] Don't add empty regions when unioning PWMA functions (#182468) This will prevent exponential behaviour in lexicographic maximum computation, where the `tiebreak` predicate is very likely to return empty regions.
Author
Parents
Loading