[PATCH] D126502: [SCEV] Apply conditions involving constants first in applyLoopGuards.

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:14565
+                  isa<SCEVConstant>(getSCEV(CmpB->getOperand(1)));
+    return ConstA != ConstB;
+  });
----------------
I don't understand this comparison function. If A is constant and B is not, this returns that A is smaller than B. If B is constant and A is not then ... this also returns that A is smaller than B?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126502/new/

https://reviews.llvm.org/D126502