llvm/test/Transforms/JumpThreading, branch release_28http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/JumpThreading?h=release_282010-08-31T20:27:17ZMerge 2010-08-31-InfiniteRecursion.ll into crash.ll.2010-08-31T20:27:17ZOwen Andersonresistor@mac.com2010-08-31T20:27:17Zurn:sha1:e1aa33f2a2a9f8a378b3283b91d34c06487a4ca0
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112635 91177308-0d34-0410-b5e6-96231b3b80d8
Add a test for the duplicated-conditional situation illutrated by PR5652.2010-08-31T18:49:12ZOwen Andersonresistor@mac.com2010-08-31T18:49:12Zurn:sha1:b95df124b26deae9221c05ea994464e4b5bc7f29
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112621 91177308-0d34-0410-b5e6-96231b3b80d8
Manually reduce this testcase.2010-08-31T18:16:29ZOwen Andersonresistor@mac.com2010-08-31T18:16:29Zurn:sha1:047f4f5c913fe2533742156893ad9a0657f69d43
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112615 91177308-0d34-0410-b5e6-96231b3b80d8
Add a micro-test for the transforms I added to JumpThreading.2010-08-31T17:59:07ZOwen Andersonresistor@mac.com2010-08-31T17:59:07Zurn:sha1:421cc4c9998e5ae1ebd643dfbd25771fe8462ec4
I have not been able to find a way to test each in isolation, for a few reasons:
1) The ability to look-through non-i1 BinaryOperator's requires the ability to look through non-constant
ICmps in order for it to ever trigger.
2) The ability to do LVI-powered PHI value determination only matters in cases that ProcessBranchOnPHI
can't handle. Since it already handles all the cases without other instructions in the def-use chain
between the PHI and the branch, it requires the ability to look through ICmps and/or BinaryOperators
as well.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112611 91177308-0d34-0410-b5e6-96231b3b80d8
More Chris-inspired JumpThreading fixes: use ConstantExpr to correctly constant-fold undef, and be more careful with its return value.2010-08-31T07:36:34ZOwen Andersonresistor@mac.com2010-08-31T07:36:34Zurn:sha1:cb21190cbd8ae1aece5b833ebe3814ada4260627
This actually exposed an infinite recursion bug in ComputeValueKnownInPredecessors which theoretically already existed (in JumpThreading's
handling of and/or of i1's), but never manifested before. This patch adds a tracking set to prevent this case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112589 91177308-0d34-0410-b5e6-96231b3b80d8
Use LVI to eliminate conditional branches where we've tested a related condition previously. Update tests for this change.2010-08-27T17:12:29ZOwen Andersonresistor@mac.com2010-08-27T17:12:29Zurn:sha1:660cab32fe5105bcaa17daa4704c24065ac0a7e6
This fixes PR5652.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112270 91177308-0d34-0410-b5e6-96231b3b80d8
Make JumpThreading smart enough to properly thread StrSwitch when it's compiled with clang++.2010-08-26T17:40:24ZOwen Andersonresistor@mac.com2010-08-26T17:40:24Zurn:sha1:62efd3b38576536cf06ed5bf2f39535eb7961e99
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112198 91177308-0d34-0410-b5e6-96231b3b80d8
In the default address space, any GEP off of null results in a trap value if you try to load it. Thus,2010-08-25T01:16:47ZOwen Andersonresistor@mac.com2010-08-25T01:16:47Zurn:sha1:6cd207554994a6ad8577cdd1efd3ef3917bd547f
any load in the default address space that completes implies that the base value that it GEP'd from
was not null.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112015 91177308-0d34-0410-b5e6-96231b3b80d8
Fix PR7755: knowing something about an inval for a pred2010-08-18T03:14:36ZChris Lattnersabre@nondot.org2010-08-18T03:14:36Zurn:sha1:2fa7b48eb594db245dc6af6060c92bbd2b19546b
from the LHS should disable reconsidering that pred on the
RHS. However, knowing something about the pred on the RHS
shouldn't disable subsequent additions on the RHS from
happening.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111349 91177308-0d34-0410-b5e6-96231b3b80d8
Fix a test with malformed IR. Not sure why this didn't fail before.2010-07-26T18:44:56ZOwen Andersonresistor@mac.com2010-07-26T18:44:56Zurn:sha1:88dafec7f931f2cbb91be0857030768e4c6c2e03
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@109422 91177308-0d34-0410-b5e6-96231b3b80d8