[llvm] [ConstraintElim] Add facts implied by llvm.abs (PR #73189)
Alexander Shaposhnikov via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 2 10:21:37 PST 2024
================
@@ -1253,7 +1261,7 @@ static std::optional<bool> checkCondition(CmpInst *Cmp, ConstraintInfo &Info,
Value *B = Cmp->getOperand(1);
auto R = Info.getConstraintForSolving(Pred, A, B);
- if (R.empty() || !R.isValid(Info)){
+ if (R.empty() || !R.isValid(Info)) {
----------------
alexander-shaposhnikov wrote:
Removed.
https://github.com/llvm/llvm-project/pull/73189
More information about the llvm-commits
mailing list