summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/BasicAA
Commit message (Collapse)AuthorAgeFilesLines
...
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-0817-20/+20
| | | | llvm-svn: 81257
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-0837-40/+40
| | | | | | of using llvm-as, now that opt supports this. llvm-svn: 81226
* rename test so that name reflects what it is testing for.Chris Lattner2009-08-301-0/+0
| | | | llvm-svn: 80519
* convert to filecheck format.Chris Lattner2009-08-301-2/+14
| | | | llvm-svn: 80518
* Teach BasicAliasAnalysis to understand constant gep indices that fallDan Gohman2009-05-271-0/+27
| | | | | | | | | | | | | beyond their associated static array type. I believe that this fixes a legitimate bug, because BasicAliasAnalysis already has code to check for this condition that works for non-constant indices, however it was missing the case of constant indices. With this change, it checks for both. This fixes PR4267, and miscompiles of SPEC 188.ammp and 464.h264.href. llvm-svn: 72451
* change this to test for an alias result more directly.Chris Lattner2009-03-161-3/+7
| | | | llvm-svn: 67046
* Add a replacement for 2009-02-12-GEPNoalias.ll that works without -debug.Nick Lewycky2009-03-141-0/+9
| | | | llvm-svn: 67011
* remove a buggy test, it is not ok to use -debug in RUN line.Chris Lattner2009-03-131-196/+0
| | | | llvm-svn: 66918
* BasicAA was making the assumption that a local allocation which hadn't escapedNick Lewycky2009-02-131-0/+196
| | | | | | | | couldn't ever be the return of call instruction. However, it's quite possible that said local allocation is itself the return of a function call. That's what malloc and calloc are for, actually. llvm-svn: 64442
* Finish making AliasAnalysis aware of the fact that most atomic intrinsics ↵Owen Anderson2009-02-041-0/+14
| | | | | | | | only dereference their arguments, and enhance BasicAA to make use of this fact when computing ModRef info. llvm-svn: 63718
* Resubmit support for the 'nocapture' attribute.Nick Lewycky2008-12-191-0/+14
| | | | | | | | | | The problematic part of this patch is that we were out of attribute bits, requiring some fancy bit hacking to make it fit (by shrinking alignment) without breaking existing users or the file format. This change will require users to rebuild llvm-gcc to match llvm. llvm-svn: 61239
* Remove empty test.Bill Wendling2008-12-161-0/+0
| | | | llvm-svn: 61095
* Temporarily revert r61019, r61030, and r61040. These were breaking LLVM ReleaseBill Wendling2008-12-161-13/+0
| | | | | | builds. llvm-svn: 61094
* Teach basicaa to use the nocapture attribute when possible. When theChris Lattner2008-12-151-0/+13
| | | | | | intrinsics are properly marked nocapture, the fixme should be addressed. llvm-svn: 61040
* Allow basicaa to walk through geps with identical indices in Chris Lattner2008-12-101-0/+16
| | | | | | | | | | | parallel, allowing it to decide that P/Q must alias if A/B must alias in things like: P = gep A, 0, i, 1 Q = gep B, 0, i, 1 This allows GVN to delete 62 more instructions out of 403.gcc. llvm-svn: 60820
* Extend the 'noalias' attribute to function return values. This is intended toNick Lewycky2008-11-241-0/+12
| | | | | | | | | indicate functions that allocate, such as operator new, or list::insert. The actual definition is slightly less strict (for now). No changes to the bitcode reader/writer, asm printer or verifier were needed. llvm-svn: 59934
* Remove GCSE and LoadVN from the testsuite.Owen Anderson2008-08-1611-24/+11
| | | | llvm-svn: 54832
* If we are checking to see if the result of a call aliases aChris Lattner2008-06-161-0/+23
| | | | | | | pointer derived from a local allocation, if the local allocation never escapes, the pointers can't alias. This implements PR2436 llvm-svn: 52301
* Suppress the (stderr) output of -aa-eval, this fixes 5 tests.Matthijs Kooijman2008-06-104-4/+4
| | | | llvm-svn: 52173
* Fixes PR2395. Looking for a constant in a GEP tail (when the first GEP Wojciech Matyjewicz2008-06-021-0/+15
| | | | | | | | is longer than the second one) should stop after finding one. Added break instruction guarantees it. It also changes difference between offsets to absolute value of this difference in the condition. llvm-svn: 51875
* sabre brings to my attention that the 'tr' suffix is also obsoleteGabor Greif2008-05-201-1/+1
| | | | llvm-svn: 51349
* Rename the last test with .llx extension to .ll, resolve duplicate test by ↵Gabor Greif2008-05-201-1/+1
| | | | | | renaming to isnan2. Now that no test has llx ending there is no need to search for them from dg.exp too. llvm-svn: 51328
* Fix this test. It was testing broken behavior in that it required ADCE to ↵Owen Anderson2008-05-161-3/+2
| | | | | | | | | eliminate a potentially infinite loop, which is undesirable. Instead, test the LICM behavior that we're really interested in. llvm-svn: 51177
* rename *.llx -> *.ll, last batch.Chris Lattner2008-04-192-0/+0
| | | | llvm-svn: 49971
* Make GVN able to remove unnecessary calls to read-only functions again.Owen Anderson2008-04-171-1/+1
| | | | llvm-svn: 49842
* Don't assume a tail call can't reference a byvalDale Johannesen2008-04-151-0/+18
| | | | | | argument to the outer function, this isn't correct. llvm-svn: 49731
* The functionality being tested was removed because it was horribly unsafe.Owen Anderson2008-04-131-1/+1
| | | | llvm-svn: 49610
* Fix http://llvm.org/bugs/show_bug.cgi?id=2104 by ordering lexicographically ↵Gabor Greif2008-02-281-1/+1
| | | | | | what gets printed. Be const-correct in PrintResults and uninline it too llvm-svn: 47712
* Remove llvm-upgrade.Tanya Lattner2008-02-1423-320/+302
| | | | llvm-svn: 47110
* Teach basicaa that 'byval' arguments define a new memory location thatChris Lattner2008-01-241-0/+18
| | | | | | | can't be aliased to other known objects. This allows us to know that byval pointer args don't alias globals, etc. llvm-svn: 46315
* Accept both %y, %x and %x, %y as valid answers.Nick Lewycky2008-01-061-1/+1
| | | | llvm-svn: 45649
* Fix PR1782, patch by Wojtek Matyjewicz!Chris Lattner2007-12-091-0/+31
| | | | llvm-svn: 44733
* Fix bug in regression tests that ignored stderr output in RUN lines. Updated ↵Tanya Lattner2007-11-282-8/+8
| | | | | | | | tests and fixed broken run lines. XFAILed 3 arm regressions (will file bugs) llvm-svn: 44389
* Allow GVN to eliminate read-only function calls when it can detect that they ↵Owen Anderson2007-11-261-1/+1
| | | | | | are redundant. llvm-svn: 44323
* Teach alias analysis about readnone/readonly functions.Duncan Sands2007-11-221-0/+33
| | | | | | Based on a patch by Török Edwin. llvm-svn: 44279
* Fix PR1774 and BasicAA/2007-11-05-SizeCrash.llChris Lattner2007-11-061-0/+34
| | | | llvm-svn: 43756
* Fix for PR1741.Owen Anderson2007-10-251-0/+14
| | | | llvm-svn: 43326
* This resolves a regression of BasicAA which failed to find any memory ↵Chandler Carruth2007-08-061-0/+17
| | | | | | information for overloaded intrinsics (PR1600). This resolves that issue, and improves the matching scheme to use a BitVector rather than a binary search. llvm-svn: 40872
* Teach BasicAA about noalias parameter attributes, but do it correctly this time.Christopher Lamb2007-08-022-0/+27
| | | | llvm-svn: 40711
* Revert overly aggressive interpretation of noaliasChristopher Lamb2007-07-311-12/+0
| | | | llvm-svn: 40635
* Teach BasicAA about noalias function parameters. Passes all of DejaGNU and ↵Christopher Lamb2007-07-311-0/+12
| | | | | | test-suite. llvm-svn: 40624
* Convert .cvsignore filesJohn Criswell2007-06-291-3/+0
| | | | llvm-svn: 37801
* For PR1319:Reid Spencer2007-04-161-1/+1
| | | | | | | | Remove && from the end of the lines to prevent tests from throwing run lines into the background. Also, clean up places where the same command is run multiple times by using a temporary file. llvm-svn: 36142
* For PR1319:Reid Spencer2007-04-161-1/+1
| | | | | | Fix syntax of tests to ensure grep pattern is properly quoted. llvm-svn: 36134
* For PR1319:Reid Spencer2007-04-164-5/+9
| | | | | | Fix test syntax per new rules. llvm-svn: 36133
* Changes to fix problems with "make check". Apparently you can redefineReid Spencer2007-04-141-1/+1
| | | | | | | functions and Tcl's just tickled with that. The fix is to give the "new" test system a different interface function name. llvm-svn: 36022
* Convert test cases to new llvm.exp version of llvm_runtest and fix testsReid Spencer2007-04-146-7/+13
| | | | | | that it found to be broken. llvm-svn: 36009
* Make the llvm-runtest function much more amenable by eliminating all theReid Spencer2007-04-111-1/+1
| | | | | | | | global variables that needed to be passed in. This makes it possible to add new global variables with only a couple changes (Makefile and llvm-dg.exp) instead of touching every single dg.exp file. llvm-svn: 35918
* Remove use of implementation keyword.Reid Spencer2007-03-281-1/+0
| | | | llvm-svn: 35412
* For PR761:Reid Spencer2007-01-261-3/+1
| | | | | | | | | | | | | | Remove "target endian/pointersize" or add "target datalayout" to make the test parse properly or set the datalayout because defaults changes. For PR645: Make global names use the @ prefix. For llvm-upgrade changes: Fix test cases or completely remove use of llvm-upgrade for test cases that cannot survive the new renaming or upgrade capabilities. llvm-svn: 33533
OpenPOWER on IntegriCloud