[PATCH] D11212: [SCEV] Apply NSW and NUW flags via poison value analysis

[David Majnemer]

majnemer added a subscriber: majnemer.

================
Comment at: lib/Analysis/ValueTracking.cpp:3369-3370
@@ +3368,4 @@
+  case Instruction::Shl: {
+    // Left shift *by* a poison value is undefined behavior, so we can assume
+    // that that does not happen.
+    //
----------------
Left shift by poison is poison, not UB.

================
Comment at: lib/Analysis/ValueTracking.cpp:3418-3419
@@ +3417,4 @@
+
+  default:
+    return false;
+  }
----------------
Call? Invoke?


http://reviews.llvm.org/D11212