Dan Gohman 1f96e67f78 Teach ScalarEvolution how to reason about no-wrap flags on loops ...

where the induction variable has a non-unit stride, such as {0,+,2}, and
there are expressions such as {1,+,2} inside the loop formed with
or or add nsw operators.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82151 91177308-0d34-0410-b5e6-96231b3b80d8

2009-09-17 18:05:20 +00:00

..

Andersens

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

BasicAA

Eliminate more redundant llvm-as calls.

2009-09-11 18:17:12 +00:00

CallGraph

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

Dominators

Eliminate more redundant llvm-as calls.

2009-09-11 18:17:12 +00:00

GlobalsModRef

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

LoopDependenceAnalysis

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

LoopInfo

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

PointerTracking

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

PostDominators

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

Profiling

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

ScalarEvolution

Teach ScalarEvolution how to reason about no-wrap flags on loops

2009-09-17 18:05:20 +00:00