llvm/test/Transforms/IndVarSimplify, branch release_26http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/IndVarSimplify?h=release_262009-08-31T06:28:24ZMerge from mainline.2009-08-31T06:28:24ZTanya Lattnertonic@nondot.org2009-08-31T06:28:24Zurn:sha1:7dceebd2f1c8105dfe9eb35dcfb5127aca6bfef9
Special-case static allocas in IndVarSimplify's loop invariant
sinking code, since they are special. If the loop preheader happens
to be the entry block of a function, don't sink static allocas
out of it. This fixes PR4775.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_26@80551 91177308-0d34-0410-b5e6-96231b3b80d8
Generalize ScalarEvolution to be able to analyze GEPs when2009-08-18T16:46:41ZDan Gohmangohman@apple.com2009-08-18T16:46:41Zurn:sha1:c40f17b08774c2dcc5787fd83241e3c64ba82974
TargetData is not present. It still uses TargetData when available.
This generalization also fixed some limitations in the TargetData
case; the attached testcase covers this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79344 91177308-0d34-0410-b5e6-96231b3b80d8
The upper argument of ConstantRange is exclusive, not inclusive.2009-07-20T22:34:18ZDan Gohmangohman@apple.com2009-07-20T22:34:18Zurn:sha1:746f3b1a9ba22d9b9622240814899417941d2480
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76492 91177308-0d34-0410-b5e6-96231b3b80d8
Revert the addition of hasNoPointerOverflow to GEPOperator.2009-07-20T17:43:30ZDan Gohmangohman@apple.com2009-07-20T17:43:30Zurn:sha1:f2411744214dad8c71044aac2977ca77e9ebf028
Getelementptrs that are defined to wrap are virtually useless to
optimization, and getelementptrs that are undefined on any kind
of overflow are too restrictive -- it's difficult to ensure that
all intermediate addresses are within bounds. I'm going to take
a different approach.
Remove a few optimizations that depended on this flag.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76437 91177308-0d34-0410-b5e6-96231b3b80d8
Fill in some holes in ScalarEvolution's loop iteration condition2009-07-16T17:34:36ZDan Gohmangohman@apple.com2009-07-16T17:34:36Zurn:sha1:850f791abc3ffc3f5fb73712df2f4a2d4cc0b998
analysis. This allows indvars to emit a simpler loop trip count
expression.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76085 91177308-0d34-0410-b5e6-96231b3b80d8
Switch invars away from using isTrapping when it really shouldn't be 2009-07-15T22:48:29ZEli Friedmaneli.friedman@gmail.com2009-07-15T22:48:29Zurn:sha1:0c77db32dd8ae10b5a26d60718dbe03dc2745888
using it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75852 91177308-0d34-0410-b5e6-96231b3b80d8
Fix the expansion of umax and smax in the case where one or more of2009-07-14T20:57:04ZDan Gohmangohman@apple.com2009-07-14T20:57:04Zurn:sha1:0196dc5733bf3c6a71f7de1f631f2c43e5809fd9
the operands have pointer type, so that the resulting type matches
the original SCEV type, and so that unnecessary ptrtoints are
avoided in common cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75680 91177308-0d34-0410-b5e6-96231b3b80d8
Add a testcase for a bug fixed by r75634.2009-07-14T18:15:00ZDan Gohmangohman@apple.com2009-07-14T18:15:00Zurn:sha1:533c67ba9802123f08946ac8002d1223067318ca
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75644 91177308-0d34-0410-b5e6-96231b3b80d8
Update LoopSimplify and LoopUnswitch to use the new makeLoopInvariant2009-07-14T01:37:59ZDan Gohmangohman@apple.com2009-07-14T01:37:59Zurn:sha1:0df6e09d43d6d733555a10d22572ddb0006e7d23
function.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75584 91177308-0d34-0410-b5e6-96231b3b80d8
Fix indvars to not assume that a loop with a single unique exit2009-07-14T01:09:02ZDan Gohmangohman@apple.com2009-07-14T01:09:02Zurn:sha1:65d1e2b6e74fcd370093cbe518ebc15cbc445ad4
block has a single unique exiting block.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75579 91177308-0d34-0410-b5e6-96231b3b80d8