Dan Gohman 36bad00bef 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.

llvm-svn: 82151

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