Skip to content

[MLIR][Presburger] removeTrivialRedundancy: skip unnecessary redundancy check#138969

Merged
Superty merged 1 commit intollvm:mainfrom
leontyumen:improve_removeTrivialRedundancy
May 28, 2025
Merged

[MLIR][Presburger] removeTrivialRedundancy: skip unnecessary redundancy check#138969
Superty merged 1 commit intollvm:mainfrom
leontyumen:improve_removeTrivialRedundancy

Commits

Commits on May 7, 2025