sebpop wrote: > The correct way to compute the absolute value is using > `ScalarEvolution::getAbsExpr`.
I agree. The current way of using SE->isKnownNonNegative may be unsafe. Do you have a patch for this? https://github.com/llvm/llvm-project/pull/157738 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
