[PATCH] D12210: [InstCombine] Transform A & (L - 1) u< L --> L != 0

escha via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 21 00:57:29 PDT 2015


escha added a subscriber: escha.

================
Comment at: llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp:3495
@@ +3494,3 @@
+    if (BO0) {
+      // Transform  A & (L - 1) `ult` L --> L != 0
+      Value *L;
----------------
Is it just me, or does this never even look at the RHS of the comparison?

It seems to be matching the following, despite the comment: A & (L - 1) `ult` M -> L != 0 for any M.


Repository:
  rL LLVM

http://reviews.llvm.org/D12210





More information about the llvm-commits mailing list