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

Reply via email to