| Issue |
55518
|
| Summary |
Implement output size reduction heuristics
|
| Labels |
mlir:presburger
|
| Assignees |
|
| Reporter |
Groverkss
|
The output size representation of sets needs to be small to prevent a combinatorial explosion of constraints. For these heuristics, inspiration can be taken from ISL's simplification heuristics [1] and FPL prototype [1] (Not tested thoroughly).
[1]: https://github.com/Groverkss/isl/blob/8847591c03fcb7df8734da0159ca5d654bbf5573/isl_map_simplify.c#L1516
[2] : https://github.com/Superty/llvm-project/blob/bf174deaabfcc00a83c8fd2d28575f0b269763a6/mlir/lib/Analysis/Presburger/PresburgerBasicSet.cpp#L569
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
