[PATCH] D39954: [IRCE] Smart range intersection

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp:1667
+      //   Rule 2: Y >=s (X - SINT_MAX) ---> Y.
+      // If 0 <= (SINT_MAX - X) < -Y, we can only substract (X - SINT).
+      //   Rule 3: Y <s (X - SINT_MAX) ---> (X - SINT_MAX).
----------------
should be `SINT_MAX`


https://reviews.llvm.org/D39954