llvm/lib/Analysis, branch release_30http://llvm.orghttps://git.amat.us/llvm/atom/lib/Analysis?h=release_302011-10-19T22:13:20ZMerging r142493:2011-10-19T22:13:20ZBill Wendlingisanbard@gmail.com2011-10-19T22:13:20Zurn:sha1:3b89f11c9fb36dbfa178a6e68c55cb02a1814721
------------------------------------------------------------------------
r142493 | chandlerc | 2011-10-19 03:32:19 -0700 (Wed, 19 Oct 2011) | 5 lines
Generalize the reading of probability metadata to work for both branches
and switches, with arbitrary numbers of successors. Still optimized for
the common case of 2 successors for a conditional branch.
Add a test case for switch metadata showing up in the BlockFrequencyInfo pass.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_30@142548 91177308-0d34-0410-b5e6-96231b3b80d8
Merging r142492:2011-10-19T22:12:52ZBill Wendlingisanbard@gmail.com2011-10-19T22:12:52Zurn:sha1:9462243b87bc96f8a1b28603203db4b1250a8410
------------------------------------------------------------------------
r142492 | chandlerc | 2011-10-19 03:30:30 -0700 (Wed, 19 Oct 2011) | 7 lines
Teach the BranchProbabilityInfo analysis pass to read any metadata
encoding of probabilities. In the absense of metadata, it continues to
fall back on static heuristics.
This allows __builtin_expect, after lowering through llvm.expect
a branch instruction's metadata, to actually enter the branch
probability model. This is one component of resolving PR2577.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_30@142547 91177308-0d34-0410-b5e6-96231b3b80d8
Merging r142491:2011-10-19T22:12:25ZBill Wendlingisanbard@gmail.com2011-10-19T22:12:25Zurn:sha1:3c1be9ddf9fb4dc8986688eef0007bcfeb60122e
------------------------------------------------------------------------
r142491 | chandlerc | 2011-10-19 03:12:41 -0700 (Wed, 19 Oct 2011) | 9 lines
Add pass printing support to BlockFrequencyInfo pass. The implementation
layer already had support for printing the results of this analysis, but
the wiring was missing.
Now that printing the analysis works, actually bring some of this
analysis, and the BranchProbabilityInfo analysis that it wraps, under
test! I'm planning on fixing some bugs and doing other work here, so
having a nice place to add regression tests and a way to observe the
results is really useful.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_30@142546 91177308-0d34-0410-b5e6-96231b3b80d8
------------------------------------------------------------------------2011-10-16T01:47:12ZBill Wendlingisanbard@gmail.com2011-10-16T01:47:12Zurn:sha1:c2bbf6907ed58104b61d7d41cae11042f99cdcba
r142058 | atrick | 2011-10-14 23:19:55 -0700 (Fri, 14 Oct 2011) | 7 lines
Fix SCEVExpander assert during LSR: "argument of incompatible type".
Just because we're dealing with a GEP doesn't mean we can assert the
SCEV has a pointer type. The fix is simply to ignore the SCEV pointer
type, which we really didn't need.
Fixes PR11138 webkit crash.
------------------------------------------------------------------------
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_30@142094 91177308-0d34-0410-b5e6-96231b3b80d8
An instruction's operands aren't necessarily instructions or constants. They2011-10-14T09:38:46ZNick Lewyckynicholas@mxc.ca2011-10-14T09:38:46Zurn:sha1:4c7f1caadc6fdad54dd9f502224236f7e73cc6a8
could be arguments, for example.
No testcase because this is a bug-fix broken out of a larger optimization patch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141951 91177308-0d34-0410-b5e6-96231b3b80d8
Enhance the memdep interface so that users can tell the difference between a dependency which cannot be calculated and a path reaching the entry point of the function. This patch introduces isNonFuncLocal, which replaces isUnknown in some cases.2011-10-13T22:14:57ZEli Friedmaneli.friedman@gmail.com2011-10-13T22:14:57Zurn:sha1:b414142036012dd9432c4e8c5fef09d4d49fcc22
Patch by Xiaoyi Guo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141896 91177308-0d34-0410-b5e6-96231b3b80d8
Reapply r141870, SCEV expansion of post-inc.2011-10-13T21:55:29ZAndrew Trickatrick@apple.com2011-10-13T21:55:29Zurn:sha1:48ba0e45ed68689ce7b384578e6272410e4e23fe
Speculatively reapply to see if this test case still crashes on
linux. I may have fixed it in my last checkin.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141895 91177308-0d34-0410-b5e6-96231b3b80d8
Fix memory corruption I introduced a few checkins ago.2011-10-13T18:49:23ZAndrew Trickatrick@apple.com2011-10-13T18:49:23Zurn:sha1:7f1653a7aee0c30adfa948ad5bdbf12c7cc1e519
Self-review easily caught this obvious bug.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141880 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r141870. The test case crashes on linux with data corruption. A deeper issue was exposed.2011-10-13T17:58:24ZAndrew Trickatrick@apple.com2011-10-13T17:58:24Zurn:sha1:753e02ad5d7042bc6bf175c676327ae9486a8341
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141873 91177308-0d34-0410-b5e6-96231b3b80d8
LSR: Reuse the post-inc expansion of expressions.2011-10-13T17:31:47ZAndrew Trickatrick@apple.com2011-10-13T17:31:47Zurn:sha1:b00175913a24b7d8bdca96c1fded582bd1a071cb
This avoids unnecessary expansion of expressions and allows the SCEV
expander to work on expression DAGs, not just trees.
Fixes PR11090.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141870 91177308-0d34-0410-b5e6-96231b3b80d8