[PATCH] D20058: [SCEV] No-wrap flags are not propagated when folding "{S, +, X}+T ==> {S+T, +, X}"

[Sanjoy Das via llvm-commits]

sanjoy requested changes to this revision.
This revision now requires changes to proceed.

================
Comment at: test/Analysis/ScalarEvolution/iv_elimination.ll:1
@@ +1,2 @@
+; RUN: opt < %s -O1 -S | FileCheck %s
+
----------------
We don't run `-On` in unit tests unless unavoidable.  What I had in was something like:

```
; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s


< IR that -indvars sees, you can get this by breakpointing at IndVarSimplify::runOnLoop , and dumping out the Module >
```

with `CHECK:` lines verifying that the `sext` instructions don't get mapped to `sext` SCEV expressions.

This should also live in `nsw.ll`.


Repository:
  rL LLVM

http://reviews.llvm.org/D20058