Issue |
60207
|
Summary |
[MLIR][Presburger] Expensive check in assert mode - hasConsistentState
|
Labels |
mlir:affine
|
Assignees |
|
Reporter |
bondhugula
|
This seems to be prohibitively expensive to justify even in assert mode: https://github.com/llvm/llvm-project/blob/3c560dd0ae676e28a2560b1041c9411908e999a5/mlir/lib/Analysis/Presburger/Matrix.cpp#L370
Is this really needed? One wouldn't expect entire parts of a buffer checked in an assert that would have otherwise been O(1). It significantly slows down Release assert build (a common configuration) and would be dominant in nearly anything that is heavy on affine analysis.
CC: @Groverkss
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs