1144af3c9b4da48cd581156e05b24261c8de366a |
|
25-Aug-2012 |
Richard Smith <richard-llvm@metafoo.co.uk> |
Fix integer undefined behavior due to signed left shift overflow in LLVM. Reviewed offline by chandlerc. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@162623 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0fd518beb38568e58eeec86876bb597bab06b722 |
|
03-Jul-2012 |
Nuno Lopes <nunoplopes@sapo.pt> |
PHINode::hasConstantValue(): return undef if the PHI is fully recursive. Thanks Duncan for the idea git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159687 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b401e3bd16c3d648464606d5e5b496dd61d12afc |
|
10-May-2012 |
Dan Gohman <gohman@apple.com> |
Teach DeadStoreElimination to eliminate exit-block stores with phi addresses. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156558 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
5ff30e70f8dc4ddfdb3bd6925ccdf524130a7b95 |
|
30-Apr-2012 |
Duncan Sands <baldrick@free.fr> |
Just mark the sign bit as known zero, rather than any other irrelevant bits known zero in the LHS. Fixes PR12541. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155818 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c0d18b669674d3b173e6a3eca6ada98871bb808f |
|
07-Apr-2012 |
Chandler Carruth <chandlerc@gmail.com> |
Fix ValueTracking to conclude that debug intrinsics are safe to speculate. Without this, loop rotate (among many other places) would suddenly stop working in the presence of debug info. I found this looking at loop rotate, and have augmented its tests with a reduction out of a very hot loop in yacr2 where failing to do this rotation costs sometimes more than 10% in runtime performance, perturbing numerous downstream optimizations. This should have no impact on performance without debug info, but the change in performance when debug info is enabled can be extreme. As a consequence (and this how I got to this yak) any profiling of performance problems should be treated with deep suspicion -- they may have been wildly innacurate of debug info was enabled for profiling. =/ Just a heads up. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154263 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
26c8dcc692fb2addd475446cfff24d6a4e958bca |
|
04-Apr-2012 |
Rafael Espindola <rafael.espindola@gmail.com> |
Always compute all the bits in ComputeMaskedBits. This allows us to keep passing reduced masks to SimplifyDemandedBits, but know about all the bits if SimplifyDemandedBits fails. This allows instcombine to simplify cases like the one in the included testcase. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154011 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
95d594cac3737ae1594a391276942a443cac426b |
|
31-Mar-2012 |
Rafael Espindola <rafael.espindola@gmail.com> |
Teach CodeGen's version of computeMaskedBits to understand the range metadata. This is the CodeGen equivalent of r153747. I tested that there is not noticeable performance difference with any combination of -O0/-O2 /-g when compiling gcc as a single compilation unit. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153817 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7c7121edb9d3560cdc0b57f20212176c0697ec51 |
|
30-Mar-2012 |
Rafael Espindola <rafael.espindola@gmail.com> |
Add computeMaskedBitsLoad back, as it was the change to instsimplify that caused the slowdown last time. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153747 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
89e2b318e2266a7e3fe44151642c1850ec9bd275 |
|
28-Mar-2012 |
Chad Rosier <mcrosier@apple.com> |
Revert r153521 as it's causing large regressions on the nightly testers. Original commit message for r153521 (aka r153423): Use the new range metadata in computeMaskedBits and add a new optimization to instruction simplify that lets us remove an and when loding a boolean value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153587 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
d23a64cc164529739adaedb397e6279269f78efb |
|
27-Mar-2012 |
Chad Rosier <mcrosier@apple.com> |
Reapply r153423; the original commit was fine. The failing test, distray, had undefined behavior, which Rafael was kind enough to fix. Original commit message for r153423: Use the new range metadata in computeMaskedBits and add a new optimization to instruction simplify that lets us remove an and when loding a boolean value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153521 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
cde6650bd05a745e78920e1cd508c3899ebbd644 |
|
26-Mar-2012 |
Chad Rosier <mcrosier@apple.com> |
Revert r153423 as this is causing failures on our internal nightly testers. Original commit message: Use the new range metadata in computeMaskedBits and add a new optimization to instruction simplify that lets us remove an and when loading a boolean value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153452 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7ddcd35d6beb99118f0b960329b304f9e9a2bf58 |
|
26-Mar-2012 |
Rafael Espindola <rafael.espindola@gmail.com> |
Use the new range metadata in computeMaskedBits and add a new optimization to instruction simplify that lets us remove an and when loding a boolean value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153423 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
f201a066625e32884c9d2b766ff48fe0b70e179a |
|
19-Mar-2012 |
Nick Lewycky <nicholas@mxc.ca> |
Factor out the multiply analysis code in ComputeMaskedBits and apply it to the overflow checking multiply intrinsic as well. Add a test for this, updating the test from grep to FileCheck. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153028 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
00cbccceb395899c127f2ce0ed485441fc307fa3 |
|
09-Mar-2012 |
Nick Lewycky <nicholas@mxc.ca> |
Factor out the analysis of addition and subtraction in ComputeMaskedBits. Reuse it to analyze extractvalue(llvm.[us](add|sub).with.overflow.*) intrinsics! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152398 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
891495e67607e7f1403bb8223fad652b8c2c1e72 |
|
07-Mar-2012 |
Nick Lewycky <nicholas@mxc.ca> |
No functionality change. Type::isSized() can be expensive, so avoid calling it until after other inexpensive tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152195 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
923bb4117a13eac03a6ff630a108829ab767d519 |
|
06-Mar-2012 |
Eli Friedman <eli.friedman@gmail.com> |
A few more cases of missing masking in ComputeMaskedBits; found by inspection. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152070 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
049d08f5c9e4f9f5c71d8f8d08d846ba15f2ae99 |
|
06-Mar-2012 |
Eli Friedman <eli.friedman@gmail.com> |
Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152066 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7302d80490feabfc8a01bee0fa698aab55169544 |
|
06-Feb-2012 |
Chris Lattner <sabre@nondot.org> |
Remove some dead code and tidy things up now that vectors use ConstantDataVector instead of always using ConstantVector. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149912 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8833ef03b9ceaa52063116819fff8b3d16fd8933 |
|
06-Feb-2012 |
Bill Wendling <isanbard@gmail.com> |
[unwind removal] Remove all of the code for the dead 'unwind' instruction. There were no 'unwind' instructions being generated before this, so this is in effect a no-op. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149906 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
18c7f80b3e83ab584bd8572695a3cde8bafd9d3c |
|
05-Feb-2012 |
Chris Lattner <sabre@nondot.org> |
reapply the patches reverted in r149470 that reenable ConstantDataArray, but with a critical fix to the SelectionDAG code that optimizes copies from strings into immediate stores: the previous code was stopping reading string data at the first nul. Address this by adding a new argument to llvm::getConstantStringInfo, preserving the behavior before the patch. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149800 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
91766fe066efe6e0969ba805a2e3726a70ed34a3 |
|
01-Feb-2012 |
Argyrios Kyrtzidis <akyrtzi@gmail.com> |
Revert Chris' commits up to r149348 that started causing VMCoreTests unit test to fail. These are: r149348 r149351 r149352 r149354 r149356 r149357 r149361 r149362 r149364 r149365 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149470 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
f0e1053a63f5522ecfe1df8fe3ea07b24cb6b193 |
|
31-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
remove the last vestiges of llvm::GetConstantStringInfo, in CodeGen. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149356 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3ef9cfef13d7c7208b98b2d9995c3df6dcfe0d99 |
|
31-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
Change ConstantArray::get to form a ConstantDataArray when possible, kicking in the big win of ConstantDataArray. As part of this, change the implementation of GetConstantStringInfo in ValueTracking to work with ConstantDataArray (and not ConstantArray) making it dramatically, amazingly, more efficient in the process and renaming it to getConstantStringInfo. This keeps around a GetConstantStringInfo entrypoint that (grossly) forwards to getConstantStringInfo and constructs the std::string required, but existing clients should move over to getConstantStringInfo instead. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149351 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
6b0dc92043ab1f63d78b8796098575e1d777b701 |
|
26-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
progress making the world safe to ConstantDataVector. While we're at it, allow PatternMatch's "neg" pattern to match integer vector negations, and enhance ComputeNumSigned bits to handle shl of vectors. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149082 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a1f00f4d488eb5daff52faaf99c62ee652fd3b85 |
|
25-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
use Constant::getAggregateElement to simplify a bunch of code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148934 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0f193b8a6846dab25323788638e760ae03b7cd87 |
|
25-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
Use the right method to get the # elements in a CDS. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148897 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
df39028607ca751f0a3f50a76144464b825ff97a |
|
24-Jan-2012 |
Chris Lattner <sabre@nondot.org> |
teach valuetracking about ConstantDataSequential git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148790 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
febaf8401779fedf8db7b02e499c5e39848fb9f5 |
|
05-Jan-2012 |
Dan Gohman <gohman@apple.com> |
Generalize isSafeToSpeculativelyExecute to work on arbitrary Values, rather than just Instructions, since it's interesting for ConstantExprs too. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147560 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
55c6d57734cd2f141dc2d6912fc22746d5eeae54 |
|
01-Jan-2012 |
Benjamin Kramer <benny.kra@googlemail.com> |
PatternMatch: Introduce a matcher for instructions with the "exact" bit. Use it to simplify a few matchers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147403 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
009da05e750b7bac7e1902fcdc85394de4ea63b3 |
|
24-Dec-2011 |
Benjamin Kramer <benny.kra@googlemail.com> |
ComputeMaskedBits: Make knownzero computation more aggressive for ctlz with undef zero. unsigned foo(unsigned x) { return 31 - __builtin_clz(x); } now compiles into a single "bsrl" instruction on x86. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147255 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8369687576b062be74c941a4a90dbabb0828e028 |
|
21-Dec-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Make some intrinsics safe to speculatively execute. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147036 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
f0426601977c3e386d2d26c72a2cca691dc42072 |
|
15-Dec-2011 |
Dan Gohman <gohman@apple.com> |
Move Instruction::isSafeToSpeculativelyExecute out of VMCore and into Analysis as a standalone function, since there's no need for it to be in VMCore. Also, update it to use isKnownNonZero and other goodies available in Analysis, making it more precise, enabling more aggressive optimization. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146610 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
dce42b75dc05befb4f43b664951c80752904bcde |
|
06-Dec-2011 |
Chad Rosier <mcrosier@apple.com> |
Probably not a good idea to convert a single vector load into a memcpy. We don't do this now, but add a test case to prevent this from happening in the future. Additional test for rdar://9892684 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145879 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
1608769abeb1430dc34f31ffac0d9850f99ae36a |
|
05-Dec-2011 |
Nadav Rotem <nadav.rotem@intel.com> |
Add support for vectors of pointers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145801 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
d3a38ccfbb6be0edad037961df77649db2cb9597 |
|
29-Nov-2011 |
Duncan Sands <baldrick@free.fr> |
Fix a theoretical problem (not seen in the wild): if different instances of a weak variable are compiled by different compilers, such as GCC and LLVM, while LLVM may increase the alignment to the preferred alignment there is no reason to think that GCC will use anything more than the ABI alignment. Since it is the GCC version that might end up in the final program (as the linkage is weak), it is wrong to increase the alignment of loads from the global up to the preferred alignment as the alignment might only be the ABI alignment. Increasing alignment up to the ABI alignment might be OK, but I'm not totally convinced that it is. It seems better to just leave the alignment of weak globals alone. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145413 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c4c2a024857ca92687728f573a3017091a79eaf4 |
|
28-Nov-2011 |
Eli Friedman <eli.friedman@gmail.com> |
Make SelectionDAG::InferPtrAlignment use llvm::ComputeMaskedBits instead of duplicating the logic for globals. Make llvm::ComputeMaskedBits handle GlobalVariables slightly more aggressively, to match what InferPtrAlignment knew how to do. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145304 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a8f5cd3539580b2fe3c20c748c1374f76992f113 |
|
23-Nov-2011 |
Duncan Sands <baldrick@free.fr> |
Fix a crash in which a multiplication was being reported as being both negative and positive: positive, because it could be directly computed to be positive; negative, because the nsw flags means it is either negative or undefined (the multiplication always overflowed). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145104 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
4604fc7791314af7ba7b66999e4c7fb75a4d9f6e |
|
28-Oct-2011 |
Duncan Sands <baldrick@free.fr> |
A shift of a power of two is a power of two or zero. For completeness - not spotted in the wild. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143211 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
32a43cc0fc3cd42702d7859eaa58dd42f561a54d |
|
27-Oct-2011 |
Duncan Sands <baldrick@free.fr> |
Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul using BinaryOperator (which only works for instructions) when it should have been a cast to OverflowingBinaryOperator (which also works for constants). While there, correct a few other dubious looking uses of BinaryOperator. Thanks to Chad Rosier for the testcase. Original commit message: My super-optimizer noticed that we weren't folding this expression to true: (x *nsw x) sgt 0, where x = (y | 1). This occurs in 464.h264ref. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143125 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
090697321b32fe010db07eb03b6a7af94d8caebd |
|
27-Oct-2011 |
Bob Wilson <bob.wilson@apple.com> |
Revert Duncan's r143028 expression folding which appears to be the culprit behind a compile failure on 483.xalancbmk. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143102 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
dd3149d57977d0632cfaf24290dd93416fb2a0ef |
|
26-Oct-2011 |
Duncan Sands <baldrick@free.fr> |
The maximum power of 2 dividing a power of 2 is itself. This occurs in 403.gcc and was spotted by my super-optimizer. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143054 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
e8ec225e776c6b73ffc7d28f21677ce53b040df5 |
|
26-Oct-2011 |
Duncan Sands <baldrick@free.fr> |
My super-optimizer noticed that we weren't folding this expression to true: (x *nsw x) sgt 0, where x = (y | 1). This occurs in 464.h264ref. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143028 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0cd0fee91eadcee37d01398e05176e7c63bda2a7 |
|
20-Oct-2011 |
Nick Lewycky <nicholas@mxc.ca> |
"@string = constant i8 0" is a value i8* string of length zero. Analyze that correctly in GetStringLength, fixing PR11181! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142558 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
39b5abf507b43da6b92f68b86406e0015ead18e9 |
|
18-Jul-2011 |
Frits van Bommel <fvbommel@gmail.com> |
Migrate LLVM and Clang to use the new makeArrayRef(...) functions where previously explicit non-default constructors were used. Mostly mechanical with some manual reformatting. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135390 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
db125cfaf57cc83e7dd7453de2d509bc8efd0e5e |
|
18-Jul-2011 |
Chris Lattner <sabre@nondot.org> |
land David Blaikie's patch to de-constify Type, with a few tweaks. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135375 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
fc6d3a49867cd38954dc40936a88f1907252c6d2 |
|
13-Jul-2011 |
Jay Foad <jay.foad@gmail.com> |
Convert InsertValueInst and ExtractValueInst APIs to use ArrayRef. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135040 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
99e0b2a8df7e3a49c0e1edd250d17604fe2fb21c |
|
27-Jun-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Move onlyUsedByLifetimeMarkers to ValueTracking so that it can be used by other passes as well. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@133904 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
62660310d9e5f9ecf329fd3cacb67c344a12ddbc |
|
27-May-2011 |
Chad Rosier <mcrosier@apple.com> |
Renamed llvm.x86.sse42.crc32 intrinsics; crc64 doesn't exist. crc32.[8|16|32] have been renamed to .crc32.32.[8|16|32] and crc64.[8|16|32] have been renamed to .crc32.64.[8|64]. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132163 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b3f0673d52b72f34434dec13c4e2044c82012ef6 |
|
23-May-2011 |
Chris Lattner <sabre@nondot.org> |
Teach valuetracking that byval arguments with a specified alignment are aligned. Teach memcpyopt to not give up all hope when confonted with an underaligned memcpy feeding an overaligned byval. If the *source* of the memcpy can be determined to be adequeately aligned, or if it can be forced to be, we can eliminate the memcpy. This addresses PR9794. We now compile the example into: define i32 @f(%struct.p* nocapture byval align 8 %q) nounwind ssp { entry: %call = call i32 @g(%struct.p* byval align 8 %q) nounwind ret i32 %call } in both x86-64 and x86-32 mode. We still don't get a tailcall though, because tailcalls apparently can't handle byval. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131884 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
cb559c1270a773de2c97c99700dcd5456f24a732 |
|
22-May-2011 |
Evan Cheng <evan.cheng@apple.com> |
Teach ValueTracking about x86 crc32 intrinsics. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131861 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7a2bdde0a0eebcd2125055e0eacaca040f0b766c |
|
15-Apr-2011 |
Chris Lattner <sabre@nondot.org> |
Fix a ton of comment typos found by codespell. Patch by Luis Felipe Strano Moraes! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129558 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
6bdd261df972b5e70e4242721ab16b57c6fe3d1f |
|
03-Apr-2011 |
Eli Friedman <eli.friedman@gmail.com> |
Don't assume something which might be a constant expression is an instruction. Based on PR9429, but no testcase because I can't figure out how to trigger it anymore given other changes to the relevant code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128781 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
1f7bc701b030f5b01553f306cc975eeac1e4d99b |
|
21-Mar-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Fix INT_MIN gotcha pointed out by Eli Friedman. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128028 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
14b2a59301e9e4065c7b9b07a0c68462b6037a4f |
|
12-Mar-2011 |
Benjamin Kramer <benny.kra@googlemail.com> |
Teach ComputeMaskedBits about sub nsw. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127548 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
2715a581494ef0c7f7403f9f7dbe4c0d052d61a5 |
|
11-Mar-2011 |
Benjamin Kramer <benny.kra@googlemail.com> |
ComputeMaskedBits: sub falls through to add, and sub doesn't have the same overflow semantics as add. Should fix the selfhost failures that started with r127463. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127465 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b69050a94c1c9266ab048a79c8375e5b14d87c72 |
|
11-Mar-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Teach ComputeMaskedBits about nsw on add. I don't think there's anything we can do with nuw here, but sub and mul should be given similar treatment. Fixes PR9343 #15! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127463 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
606199fb85d1c8407615e575b5e8bb5c71be27bd |
|
08-Mar-2011 |
Duncan Sands <baldrick@free.fr> |
Fix PR9331. Simplified version of a patch by Jakub Staszak. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127243 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c14bc77315ac4867f16c1585181b41919339eb3c |
|
07-Mar-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Add more analysis of the sign bit of an srem instruction. If the LHS is negative then the result could go either way. If it's provably positive then so is the srem. Fixes PR9343 #7! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127146 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
da834093b73ff67ede909f2ac616e0703ac6ce8e |
|
28-Feb-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Fix comment. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126645 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3dc7e49c70726cb47829fb892938ff75a9c9e626 |
|
28-Feb-2011 |
Nick Lewycky <nicholas@mxc.ca> |
srem doesn't actually have the same resulting sign as its numerator, you could also have a zero when numerator = denominator. Reverts parts of r126635 and r126637. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126644 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3dfd98744c1f6e6c5d13e419b63ac69894ae84cf |
|
28-Feb-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Teach value tracking to make use of flags in more situations. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126642 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
346018bbe7301f73b4c77a0aa89a4a938ab6af26 |
|
28-Feb-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Teach ValueTracking to look at the dividend when determining the sign bit of an srem instruction. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126637 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
41bfbb0a8776674c486682cbf2aa80f15abfef68 |
|
19-Feb-2011 |
Chris Lattner <sabre@nondot.org> |
Stores of null pointers should turn into memset, we weren't recognizing them as splat values. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126041 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3b739d278c87f8ac22b5dc368b319fa278347b2f |
|
11-Feb-2011 |
Nick Lewycky <nicholas@mxc.ca> |
Tolerate degenerate phi nodes that can occur in the middle of optimization passes. Fixes PR9112. Patch by Jakub Staszak! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125319 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
93c780288df9631d11f996b010b2212a8b44d4d3 |
|
01-Feb-2011 |
Duncan Sands <baldrick@free.fr> |
Add a m_SignBit pattern for convenience. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124656 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9136782d273cd45b6f19a7d0cc0d146d0791bac9 |
|
29-Jan-2011 |
Duncan Sands <baldrick@free.fr> |
Fix typo: should have been testing that X was odd, not V. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124533 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
464a4f349c95a25d06d709e79d7df21fbbb155e2 |
|
26-Jan-2011 |
Duncan Sands <baldrick@free.fr> |
APInt has a method for determining whether a number is a power of 2 which is more efficient than countPopulation - use it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124283 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
227fba11ca168225d913d1cea94a05b883092e76 |
|
25-Jan-2011 |
Duncan Sands <baldrick@free.fr> |
In which I discover that zero+zero is zero, d'oh! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124188 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
2539b73128e18ecd0511882830f47e08919e1510 |
|
25-Jan-2011 |
Duncan Sands <baldrick@free.fr> |
See if this fixes llvm-gcc bootstrap. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124184 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
d70d1a5c44609af091f6fc3e29193f9f4756a74f |
|
25-Jan-2011 |
Duncan Sands <baldrick@free.fr> |
According to my auto-simplifier the most common missed simplifications in optimized code are: (non-negative number)+(power-of-two) != 0 -> true and (x | 1) != 0 -> true Instcombine knows about the second one of course, but only does it if X|1 has only one use. These fire thousands of times in the testsuite. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124183 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
bd1801b5553c8be3960255a92738464e0010b6f6 |
|
24-Jan-2011 |
Dan Gohman <gohman@apple.com> |
Give GetUnderlyingObject a TargetData, to keep it in sync with BasicAA's DecomposeGEPExpression, which recently began using a TargetData. This fixes PR8968, though the testcase is awkward to reduce. Also, update several off GetUnderlyingObject's users which happen to have a TargetData handy to pass it in. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124134 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
43b40a4620c155c73ac71b48472ea2411d7c35da |
|
04-Jan-2011 |
Chris Lattner <sabre@nondot.org> |
fix an off-by-one bug that caused a crash analyzing ashr's with huge shift amounts, PR8896 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122814 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
bb89710dddf967199dfc56e8bf5d28b0003f2ee6 |
|
26-Dec-2010 |
Chris Lattner <sabre@nondot.org> |
move isBytewiseValue out to ValueTracking.h/cpp git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122565 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9a3dc552022e0e034ef34da889f6ceb9de260c96 |
|
18-Dec-2010 |
Nate Begeman <natebegeman@mac.com> |
Add vector versions of some existing scalar transforms to aid codegen in matching psign & pblend operations to the IR produced by clang/gcc for their C idioms. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122105 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c01895c7db4c4d8883dd4c31427c42cdae356567 |
|
15-Dec-2010 |
Dan Gohman <gohman@apple.com> |
Reapply r121886, and also update DecomposeGEPExpression to keep it in sync. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121895 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3928d13808b555139728268930ecffd574430769 |
|
15-Dec-2010 |
Dan Gohman <gohman@apple.com> |
Revert r121886. DecomposeGEPExpression needs to be kept in sync. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121892 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
243712720ad1da144d4376bdd854d81260c1beaa |
|
15-Dec-2010 |
Dan Gohman <gohman@apple.com> |
Strengthen GetUnderlyingObject using InstructionSimplify. While LLVM's main design is that analysis code shouldn't go out of its way to understand code which hasn't been InstCombined, analysis utility routines like this can find themselves being called in the middle of transform passes when instcombine hasn't had a chance to run. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121886 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
5034dd318a9dfa0dc45a3ac01e58e60f2aa2498d |
|
15-Dec-2010 |
Dan Gohman <gohman@apple.com> |
Move Value::getUnderlyingObject to be a standalone function so that it can live in Analysis instead of VMCore. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121885 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
40f8f6264d5af2c38e797e0dc59827cd231e8ff7 |
|
07-Dec-2010 |
Jay Foad <jay.foad@gmail.com> |
PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and zextOrTrunc(), and APSInt methods extend(), extOrTrunc() and new method trunc(), to be const and to return a new value instead of modifying the object in place. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121120 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7a874ddda037349184fbeb22838cc11a1a9bb78f |
|
01-Dec-2010 |
Jay Foad <jay.foad@gmail.com> |
PR5207: Rename overloaded APInt methods set(), clear(), flip() to setAllBits(), setBit(unsigned), etc. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@120564 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ed58a6f96f605901adc0df3ca76499d52b2d1a1a |
|
30-Nov-2010 |
Chris Lattner <sabre@nondot.org> |
move GetPointerBaseWithConstantOffset out of GVN into ValueTracking.h git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@120476 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a99793c5ea24dd3839f4925b89b1f6acfcb24604 |
|
30-Nov-2010 |
Jay Foad <jay.foad@gmail.com> |
PR5207: Make APInt::set(), APInt::clear() and APInt::flip() return void. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@120413 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
e971131695ac41afd56e82facddccc2807aa9bbd |
|
05-Sep-2010 |
Chris Lattner <sabre@nondot.org> |
fix PR8063, a crash in globalopt in the malloc analysis code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113109 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
30963fbe8fa0ba3a4cc35c7c6e8f24c772f1b40c |
|
19-Aug-2010 |
Chris Lattner <sabre@nondot.org> |
move gep decomposition out of ValueTracking into BasicAA. The form of decomposition that it is doing is very basicaa specific and is only used by basicaa. Now with less tree breakingness. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111433 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
4ae56d725d25020106d8056c09b19319a4c49e93 |
|
18-Aug-2010 |
Daniel Dunbar <daniel@zuster.org> |
Revert r111375, "move gep decomposition out of ValueTracking into BasicAA. The form of", it doesn't pass tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111385 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
6b63037306c5c3dc9bf719a34243de5045a949da |
|
18-Aug-2010 |
Chris Lattner <sabre@nondot.org> |
move gep decomposition out of ValueTracking into BasicAA. The form of decomposition that it is doing is very basicaa specific and is only used by basicaa. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111375 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
91b2307a89b836f9452cf867e077ce9762d0845b |
|
18-Aug-2010 |
Chris Lattner <sabre@nondot.org> |
fix PR7589: In brief: gep P, (zext x) != gep P, (sext x) DecomposeGEPExpression was getting this wrong, confusing basicaa. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111352 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
71339c965ca6268b9bff91213364783c3d06f666 |
|
24-Jun-2010 |
Gabor Greif <ggreif@gmail.com> |
use ArgOperand accessors git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@106697 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
551754c4958086cc6910da7c950f2875e212f5cf |
|
17-Apr-2010 |
Eric Christopher <echristo@apple.com> |
Revert 101465, it broke internal OpenGL testing. Probably the best way to know that all getOperand() calls have been handled is to replace that API instead of updating. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101579 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
4ec2258ffb495d7ce00177e447740ef1123a27db |
|
16-Apr-2010 |
Gabor Greif <ggreif@gmail.com> |
reapply r101434 with a fix for self-hosting rotate CallInst operands, i.e. move callee to the back of the operand array the motivation for this patch are laid out in my mail to llvm-commits: more efficient access to operands and callee, faster callgraph-construction, smaller compiler binary git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101465 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
607a7ab3da72a2eb53553a520507cbb8068dd1d8 |
|
16-Apr-2010 |
Gabor Greif <ggreif@gmail.com> |
back out r101423 and r101397, they break llvm-gcc self-host on darwin10 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101434 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
2ff961f66816daab8bbc58a19025161d969821c2 |
|
15-Apr-2010 |
Gabor Greif <ggreif@gmail.com> |
reapply r101364, which has been backed out in r101368 with a fix rotate CallInst operands, i.e. move callee to the back of the operand array the motivation for this patch are laid out in my mail to llvm-commits: more efficient access to operands and callee, faster callgraph-construction, smaller compiler binary git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101397 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9ee17208115482441953127615231c59a2f4d052 |
|
15-Apr-2010 |
Gabor Greif <ggreif@gmail.com> |
back out r101364, as it trips the linux nightlybot on some clang C++ tests git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101368 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
165dac08d1bb8428b32a5f39cdd3dbee2888987f |
|
15-Apr-2010 |
Gabor Greif <ggreif@gmail.com> |
rotate CallInst operands, i.e. move callee to the back of the operand array the motivation for this patch are laid out in my mail to llvm-commits: more efficient access to operands and callee, faster callgraph-construction, smaller compiler binary git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101364 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0a60fa33210202a38a59ae3ea8681216f234ce51 |
|
15-Apr-2010 |
Dan Gohman <gohman@apple.com> |
Constify GetConstantStringInfo. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@101298 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0af20d847ac89f797d613a8a4fc3e7127ccb0b36 |
|
13-Mar-2010 |
Evan Cheng <evan.cheng@apple.com> |
Fix a typo in ValueTracking that's causing instcombine to delete needed shift instructions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@98416 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
25ec483cfca8d3a3ba8728a4a126e04b92789069 |
|
05-Mar-2010 |
Eric Christopher <echristo@apple.com> |
Move GetStringLength and helper from SimplifyLibCalls to ValueTracking. No functionality change. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97793 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
1df9859c40492511b8aa4321eb76496005d3b75b |
|
16-Feb-2010 |
Duncan Sands <baldrick@free.fr> |
There are two ways of checking for a given type, for example isa<PointerType>(T) and T->isPointerTy(). Convert most instances of the first form to the second form. Requested by Chris. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96344 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b0bc6c361da9009e8414efde317d9bbff755f6c0 |
|
15-Feb-2010 |
Duncan Sands <baldrick@free.fr> |
Uniformize the names of type predicates: rather than having isFloatTy and isInteger, we now have isFloatTy and isIntegerTy. Requested by Chris! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96223 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
cfd54181a44db5ac75cd4a7d0a3c6a199ab01c29 |
|
29-Jan-2010 |
Duncan Sands <baldrick@free.fr> |
It looks like the changes to the SRem logic of SimplifyDemandedUseBits (fix for PR6165) are needed here too. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94801 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8d10f9d4a836907d7bf048be507787a9233959c9 |
|
08-Jan-2010 |
Chris Lattner <sabre@nondot.org> |
teach ComputeNumSignBits to look through PHI nodes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92964 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8c65f6e71c1d46d823b9a884819992a9255edd54 |
|
05-Jan-2010 |
Benjamin Kramer <benny.kra@googlemail.com> |
Move remaining stuff to the isInteger predicate. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92771 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
524528e614e22362b966c43c084ca113a28b69ad |
|
15-Dec-2009 |
Chris Lattner <sabre@nondot.org> |
Fix GetConstantStringInfo to not look into MDString (it works on real data, not metadata) and fix DbgInfoPrinter to not abuse GetConstantStringInfo. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91444 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
69a008075b29fbe0644ccbeecf1418ef8cca5e24 |
|
02-Dec-2009 |
Mon P Wang <wangmp@apple.com> |
Fixed an assertion failure for tracking sext of a vector of integers git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90290 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ab9530ee5d8fec9ed822a82fa21b588952269897 |
|
28-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
implement a FIXME: limit the depth that DecomposeGEPExpression goes the same way that getUnderlyingObject does it. This fixes the 'DecomposeGEPExpression and getUnderlyingObject disagree!' assertion on sqlite3. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90038 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a650f770d4cfc9aabacddf41851d23c55f23cb8c |
|
27-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
limit the recursion depth of GetLinearExpression. This fixes a crash analyzing consumer-lame, which had an "%X = add %X, 1" in unreachable code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90000 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
1ce0eaa25fc6ecead5f9bba3c17b8af612d830ef |
|
26-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
Implement PR1143 (at -m64) by making basicaa look through extensions. We previously already handled it at -m32 because there were no i32->i64 extensions for addressing. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89959 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b18004c13c0c494305b0ce1d748049f8c580bd99 |
|
26-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
fix two transposed lines duncan caught and add an explanatory comment. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89958 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8fe8ac725b05ffabc9ab49ef7fa3f99746f4ee54 |
|
26-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
this todo is resolved. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89957 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
e405c64f6b91635c8884411447ff5756c2e6b4c3 |
|
26-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
move DecomposeGEPExpression out into ValueTracking.cpp git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89956 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
11fe72661dac17efa1564ef6fc212acae4f0c07e |
|
26-Nov-2009 |
Chris Lattner <sabre@nondot.org> |
remove some redundant braces git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89912 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ae3d802953b5209e7e9530cd5b5d4e457a6974dc |
|
23-Nov-2009 |
Nick Lewycky <nicholas@mxc.ca> |
Remove unused LLVMContext. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89642 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3dbb9e64d6e9d1e8bf16f75ebe4fe59ffdf93dd3 |
|
18-Nov-2009 |
Dan Gohman <gohman@apple.com> |
Simplify ComputeMultiple so that it doesn't depend on TargetData. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89175 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
2b6705f5e7c7624bd7fe486298c400f1afc15f6c |
|
10-Nov-2009 |
Victor Hernandez <vhernandez@apple.com> |
Add ComputeMultiple() analysis function that recursively determines if a Value V is a multiple of unsigned Base git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86675 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7b929dad59785f62a66f7c58615082f98441e95e |
|
23-Oct-2009 |
Victor Hernandez <vhernandez@apple.com> |
Remove AllocationInst. Since MallocInst went away, AllocaInst is the only subclass of AllocationInst, so it no longer is necessary. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84969 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a276c603b82a11b0bf0b59f0517a69e4b63adeab |
|
17-Oct-2009 |
Victor Hernandez <vhernandez@apple.com> |
Remove MallocInst from LLVM Instructions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84299 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9d06175a15a61b977ebbabd0d9cc738ebfa7870c |
|
25-Sep-2009 |
Dale Johannesen <dalej@apple.com> |
Handle sqrt in CannotBeNegativeZero. absf and absl appear to be misspellings, removed in favor of fabs*. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82796 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
307a7c48f15b087663b60d600d23afffb9e211e6 |
|
15-Sep-2009 |
Dan Gohman <gohman@apple.com> |
Teach ValueTracking how to look through GlobalAliases. GlobalAliases are not folded in the constant folder because the constant folder doesn't simplify ConstantExpr operands. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81864 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b9a4ddbbcd668a94fe945f0648010c281e272889 |
|
08-Sep-2009 |
Chris Lattner <sabre@nondot.org> |
fix ComputeMaskedBits handling of zext/sext/trunc to work with vectors. This fixes PR4905 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81174 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
cf5128ec01f45d2bf7eadc20b253cb44486e473f |
|
08-Sep-2009 |
Chris Lattner <sabre@nondot.org> |
add some comments to describe the invariants. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81173 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
148843b0ce6774866132821e866a5d2669300401 |
|
02-Sep-2009 |
Torok Edwin <edwintorok@gmail.com> |
Fix DbgStopPointInst->getFileName/getDirectory, broken by the MDNodification in r80406, and readd a -print-dbginfo test. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80778 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
846a2f2703f6bb894098274964faf5dce0b68c4d |
|
27-Aug-2009 |
Dan Gohman <gohman@apple.com> |
Handle TargetData with const. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80262 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
8255573835970e7130ba93271972172fb335f2ec |
|
19-Aug-2009 |
Dan Gohman <gohman@apple.com> |
Use hasDefinitiveInitializer() instead of testing the same thing by hand, and fix a few places that were using hasInitializer() that appear to depend on the initializer value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79441 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
107f41fad5f8df734c72cf39a016a7ea0d874388 |
|
19-Aug-2009 |
Dan Gohman <gohman@apple.com> |
Fix SimplifyLibcalls and ValueTracking to check mayBeOverridden before performing optimizations based on constant string values. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79384 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
1d0be15f89cb5056e20e2d24faa8d6afb1573bca |
|
13-Aug-2009 |
Owen Anderson <resistor@mac.com> |
Push LLVMContexts through the IntegerType APIs. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78948 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
004072508bfc66159ca09be26f06b8b05c1bac4e |
|
11-Aug-2009 |
Dan Gohman <gohman@apple.com> |
Don't assume that external global variables are aligned at their preferred alignment. Only the minimum alignment guaranteed by the ABI may be assumed. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78668 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
7db949df789383acce98ef072f08794fdd5bd04e |
|
07-Aug-2009 |
Dan Gohman <gohman@apple.com> |
Fix a bunch of namespace pollution. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78363 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a7235ea7245028a0723e8ab7fd011386b3900777 |
|
31-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Move a few more APIs back to 2.5 forms. The only remaining ones left to change back are metadata related, which I'm waiting on to avoid conflicting with Devang. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77721 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9e9a0d5fc26878e51a58a8b57900fcbf952c2691 |
|
31-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Move more code back to 2.5 APIs. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77635 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
f0443c1eb44d737d9bd78962932fc80f74c6113c |
|
26-Jul-2009 |
Daniel Dunbar <daniel@zuster.org> |
Remove Value::getNameLen git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77148 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
e922c0201916e0b980ab3cfe91e1413e68d55647 |
|
22-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Get rid of the Pass+Context magic. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76702 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ca178908c8dc2303a1fb54a8a93bab0f0b964e11 |
|
17-Jul-2009 |
Dan Gohman <gohman@apple.com> |
Add a new Operator class, for handling Instructions and ConstantExprs in a convenient manner, factoring out some common code from InstructionCombining and ValueTracking. Move the contents of BinaryOperators.h into Operator.h and use Operator to generalize them to support ConstantExprs as well as Instructions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76232 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
07cf79ef537caff6d39145f190a28a336e629b6f |
|
07-Jul-2009 |
Owen Anderson <resistor@mac.com> |
"LLVMContext* " --> "LLVMContext *" git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74878 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
76f600b205606a055ec35e7d3fd1a99602329d67 |
|
07-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Finish LLVMContext-ing lib/Analysis. This required pushing LLVMContext's through the ValueTracking API. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74873 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0dabb0b177089202dae485d085ed15bd41ef29e6 |
|
02-Jul-2009 |
Chris Lattner <sabre@nondot.org> |
do not try to analyze bitcasts from i64 to <2 x i32> in ComputedMaskedBits. While we could do this, doing so requires adjusting the demanded mask and the code isn't doing that yet. This fixes PR4495 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74699 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
bd5ce52740700bb482fb2b5a03bce781acbf2941 |
|
23-Jun-2009 |
Dan Gohman <gohman@apple.com> |
Fix llvm::ComputeNumSignBits to handle pointer types conservatively correctly, instead of aborting. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73908 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
6de29f8d960505421d61c80cdb738e16720b6c0e |
|
16-Jun-2009 |
Dan Gohman <gohman@apple.com> |
Support vector casts in more places, fixing a variety of assertion failures. To support this, add some utility functions to Type to help support vector/scalar-independent code. Change ConstantInt::get and ConstantFP::get to support vector types, and add an overload to ConstantInt::get that uses a static IntegerType type, for convenience. Introduce a new getConstant method for ScalarEvolution, to simplify common use cases. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73431 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ae3a0be92e33bc716722aa600983fc1535acb122 |
|
05-Jun-2009 |
Dan Gohman <gohman@apple.com> |
Split the Add, Sub, and Mul instruction opcodes into separate integer and floating-point opcodes, introducing FAdd, FSub, and FMul. For now, the AsmParser, BitcodeReader, and IRBuilder all preserve backwards compatability, and the Core LLVM APIs preserve backwards compatibility for IR producers. Most front-ends won't need to change immediately. This implements the first step of the plan outlined here: http://nondot.org/sabre/LLVMNotes/IntegerOverflow.txt git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72897 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3925043af0ecf1f0a6158c5007c1186797a252cb |
|
24-May-2009 |
Dan Gohman <gohman@apple.com> |
When the low bits of one operand of an add are zero, that number of low bits of the other operand are preserved in the output. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72365 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9004c8afd4bf7b3f27f4a4f8fd069379afa97c83 |
|
21-May-2009 |
Dan Gohman <gohman@apple.com> |
Teach ValueTracking a new way to analyze PHI nodes, and and teach Instcombine to be more aggressive about using SimplifyDemandedBits on shift nodes. This allows a shift to be simplified to zero in the included test case. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72204 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
777d2306b36816a53bc1ae1244c0dc7d998ae691 |
|
09-May-2009 |
Duncan Sands <baldrick@free.fr> |
Rename PaddedSize to AllocSize, in the hope that this will make it more obvious what it represents, and stop it being confused with the StoreSize. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71349 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0582ae99ba75a556d6ff63b254da327d32ba036f |
|
13-Mar-2009 |
Bill Wendling <isanbard@gmail.com> |
Oops...I committed too much. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66867 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c7a09ab3110b9462ad9646cb60c22c8527491ad9 |
|
13-Mar-2009 |
Bill Wendling <isanbard@gmail.com> |
Temporarily XFAIL this test. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66866 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0001e56f15215ae4bc5fffb82eec5c4828b888f0 |
|
24-Feb-2009 |
Dan Gohman <gohman@apple.com> |
Fix a ValueTracking rule: RHS means operand 1, not 0. Add a simple ashr instcombine to help expose this code. And apply the fix to SelectionDAG's copy of this code too. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@65364 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
79abedb83a4dd7d3583c7ca6df8283079acc3ba5 |
|
20-Jan-2009 |
Chris Lattner <sabre@nondot.org> |
Eliminate use of uint32_t to improve compatibility with cygwin git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62590 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
ceb4d1aecb9deffe59b3dcdc9a783ffde8477be9 |
|
12-Jan-2009 |
Duncan Sands <baldrick@free.fr> |
Rename getABITypeSize to getTypePaddedSize, as suggested by Chris. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62099 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0f2831c820151aa6f2cd6a8bd7b6b633b1035524 |
|
08-Jan-2009 |
Chris Lattner <sabre@nondot.org> |
ValueTracker can't assume that an alloca with no specified alignment will get its preferred alignment. It has to be careful and cautiously assume it will just get the ABI alignment. This prevents instcombine from rounding up the alignment of a load/store without adjusting the alignment of the alloca. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61934 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
c714f1309049b2fd9e4ab68c8a7b480c63a4be0c |
|
28-Oct-2008 |
David Greene <greened@obbligato.org> |
Re-apply 55137 with fixes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@58296 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
d611cf6dcdbfcc0115f9ad273f3be903d8956d9b |
|
22-Aug-2008 |
Bill Wendling <isanbard@gmail.com> |
Temporarily reverting r55137. This was causing the bootstrap to go into an infinite loop. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55149 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
dce51c372a9b22aaaca4d8258aa63a336c40e5fd |
|
21-Aug-2008 |
David Greene <greened@obbligato.org> |
Fix ComputeMaskedBits to handle phis correctly. We need to take the minimum of the known zeros. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55137 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
a60832b0187642d01fd726dc766cd62587f6add0 |
|
14-Aug-2008 |
Dan Gohman <gohman@apple.com> |
Fix a bogus srem rule - a negative value srem'd by a power-of-2 can have a non-negative result; for example, -16%16 is 0. Also, clarify the related comments. This fixes PR2670. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54767 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
dddc827125d307d8e992339d00ce4a6e3fe21e73 |
|
16-Jul-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Don't use ++idx_begin when I actually mean idx_begin + 1, especially since we also use *idx_begin in the same expression, giving unpredictable results. This fixes this bug: http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-July/015877.html git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53670 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0ff39b3feb10477c224138156941234f5fa46f58 |
|
30-Jun-2008 |
Evan Cheng <evan.cheng@apple.com> |
- Re-apply 52748 and friends with fix. GetConstantStringInfo() returns an empty string for ConstantAggregateZero case which surprises selectiondag. - Correctly handle memcpy from constant string which is zero-initialized. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52891 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
6d116bc7ced56a820d33b0dd35ee36af8a810eab |
|
29-Jun-2008 |
Anton Korobeynikov <asl@math.spbu.ru> |
Revert (52748 and friends): Move GetConstantStringInfo to lib/Analysis. Remove string output routine from Constant. Update all callers. Change debug intrinsic api slightly to accomodate move of routine, these now return values instead of strings. This unbreaks llvm-gcc bootstrap. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52884 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b746b82113df707df9555450991eab75b18ffa1b |
|
28-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
Add back the capability to include nul characters in strings with GetConstantStringInfo. This will hopefully restore llvm-gcc to happy bootstrap land. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52851 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3284d42c17a7f95a07b73e414b50b3d0e10733a1 |
|
28-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
Tighten up checking. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52850 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3648f9f0ae79532c6bdc9c6188d0e46676de212f |
|
27-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
fix the regressions from Eric's patch by making GetConstantStringInfo tolerate a non-nul-terminated string, and handling a direct global reference. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52813 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
aefacb597298b31f8459970e1b13ef985bfc7a2b |
|
26-Jun-2008 |
Owen Anderson <resistor@mac.com> |
Reserve the size we'll need in advance. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52763 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0d2b0aba424bd3959bb5c807873def8f53e57a3c |
|
26-Jun-2008 |
Eric Christopher <echristo@apple.com> |
Move GetConstantStringInfo to lib/Analysis. Remove string output routine from Constant. Update all callers. Change debug intrinsic api slightly to accomodate move of routine, these now return values instead of strings. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52748 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
9954c76f2c89ab3c70bfe8222534621a86f9085a |
|
19-Jun-2008 |
Duncan Sands <baldrick@free.fr> |
Fix some warnings reported by gcc-4.3. Hopefully this still compiles on windows - I can't test! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52488 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
3faf9df08ff389028050bfbccbef571061bf7cc1 |
|
17-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Use a SmallVector instead of an array, since auto_ptr doesn't handle arrays properly. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52390 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0a9aaf46bee75540db16603dd60f7d3bc597842d |
|
16-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Make BuildSubAggregate use FindInsertedElement again to prevent it from inserting extractvalues. In particular, this prevents the insertion of extractvalues that can't be folded away later. Also add an example of when this stuff is needed. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52328 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
977289121996f0afb781592f92a4aee1be3010fe |
|
16-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Make the InsertBefore argument to FindInsertedValue optional, so you can find an inserted value without modifying the code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52319 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
0a7413dad84887bee51f20d7a5f1c4c1c7bb4c1e |
|
16-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Pass around Instruction* instead of Instruction& in FindInsertedValue and friends. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52318 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
710eb236e67dc021c51ef5cb5d2eb8768840895a |
|
16-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
80 column fixes. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52316 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
b23d5adbc8230167e711070b9298985de4580f30 |
|
16-Jun-2008 |
Matthijs Kooijman <matthijs@stdin.nl> |
Move FindScalarValue from InstructionCombining.cpp to ValueTracking.cpp. While I'm at it, rename it to FindInsertedValue. The only functional change is that newly created instructions are no longer added to instcombine's worklist, but that is not really necessary anyway (and I'll commit some improvements next that will completely remove the need). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52315 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
32a9e7a2654c4aab2e617fbe53140492b3d38066 |
|
04-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
Add #includes required by GCC 4.3, thanks for Zhongxing Xu for reporting this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51926 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
d82e511aec0ea27ddd4c1e504b37f689796e965f |
|
02-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
Remove unneeded code I added. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51878 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
833f25d79ee28f1049f9177c3d2f4c9fbad6f643 |
|
02-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
move CannotBeNegativeZero to ValueTracking. Simplify some signbit comparisons. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51864 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|
173234a68fb6ece106e77da443d87f09d5906cb9 |
|
02-Jun-2008 |
Chris Lattner <sabre@nondot.org> |
move ComputeMaskedBits, MaskedValueIsZero, and ComputeNumSignBits out of instcombine into a new file in libanalysis. This also teaches ComputeNumSignBits about the number of sign bits in a constantint. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51863 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/ValueTracking.cpp
|