summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/SCCP
Commit message (Collapse)AuthorAgeFilesLines
...
* manually upgrade a bunch of tests to modern syntax, and remove some thatChris Lattner2011-06-171-26/+0
| | | | | | are either unreduced or only test old syntax. llvm-svn: 133228
* Fix a ton of comment typos found by codespell. Patch byChris Lattner2011-04-154-4/+4
| | | | | | Luis Felipe Strano Moraes! llvm-svn: 129558
* fix PR7876: If ipsccp decides that a function's address is takenChris Lattner2010-08-121-0/+28
| | | | | | before it rewrites the code, we need to use that in the post-rewrite pass. llvm-svn: 110962
* fix PR6940: sitofp(undef) folds to 0.0, not undef.Chris Lattner2010-04-261-2/+13
| | | | llvm-svn: 102358
* fix a SCCP miscompilation that could happen when aChris Lattner2010-04-091-0/+95
| | | | | | | | | forced constant is changed to a constant, we would end up adding the instruction to the wrong worklist, preventing it from being properly revisited. This fixes rdar://7832370 llvm-svn: 100837
* Print empty structs as {} rather than { }.Dan Gohman2010-04-081-1/+1
| | | | llvm-svn: 100787
* fix PR6414, a nondeterminism issue in IPSCCP which was becauseChris Lattner2010-02-271-0/+32
| | | | | | of a subtle interation in a loop operating in densemap order. llvm-svn: 97288
* fix a crash in SCCP handling extractvalue of an array, pointed out andChris Lattner2009-11-101-0/+5
| | | | | | tracked down by Stephan Reiter! llvm-svn: 86726
* reimplement multiple return value handling in IPSCCP, making it Chris Lattner2009-11-031-2/+1
| | | | | | | more aggressive an correct. This survives building llvm in 64-bit mode with optimizations and the built llvm passes make check. llvm-svn: 85973
* fix testChris Lattner2009-11-031-1/+1
| | | | llvm-svn: 85946
* merge a test into ipsccp-basic. running llvm-ld to get one pass is... bad.Chris Lattner2009-11-032-21/+11
| | | | llvm-svn: 85945
* fix an IPSCCP bug I introduced when I changed IPSCCP to start working on Chris Lattner2009-11-031-0/+20
| | | | | | | | | | functions that don't have local linkage. Basically, we need to be more careful about propagating argument information to functions whose results we aren't tracking. This fixes a miscompilation of LLVMCConfigurationEmitter.cpp when built with an llvm-gcc that has ipsccp enabled. llvm-svn: 85923
* testcase for r85903Chris Lattner2009-11-031-0/+24
| | | | llvm-svn: 85906
* merge 2008-03-10-sret.ll into ipsccp-basic.ll, and upgrade its syntax.Chris Lattner2009-11-022-21/+26
| | | | llvm-svn: 85811
* disable IPSCCP support for multiple return values, it is buggy, so justChris Lattner2009-11-022-0/+3
| | | | | | disable it until I can fix it. llvm-svn: 85810
* improve IPSCCP to be able to propagate the result of "!mayBeOverridden"Chris Lattner2009-11-021-0/+14
| | | | | | | | | function to calls of that function, regardless of whether it has local linkage or has its address taken. Not escaping should only affect whether we make an aggressive assumption about the arguments to a function, not whether we can track the result of it. llvm-svn: 85795
* Use the libanalysis 'ConstantFoldLoadFromConstPtr' functionChris Lattner2009-11-021-2/+9
| | | | | | | instead of reinventing SCCP-specific logic. This gives us new powers. llvm-svn: 85789
* add a real testcase for PR4313Chris Lattner2009-10-201-0/+32
| | | | llvm-svn: 84676
* add a test similar to that needed for PR4313, but that doesn'tChris Lattner2009-10-201-0/+30
| | | | | | fail without the patch. llvm-svn: 84675
* the date on this testcase is wrong, it is unreduced, and it passes without ↵Chris Lattner2009-10-201-716/+0
| | | | | | the fix for PR4313. llvm-svn: 84674
* merge and filecheckizeChris Lattner2009-10-203-47/+67
| | | | llvm-svn: 84672
* merge two tests and convert to filecheck.Chris Lattner2009-10-202-36/+46
| | | | llvm-svn: 84671
* Fix PR4313: IPSCCP was not setting the lattice value for the invoke instructionTorok Edwin2009-10-201-0/+716
| | | | | | | | | | when the invoke had multiple return values: it set the lattice value only on the extractvalue. This caused the invoke's lattice value to remain the default (undefined), and later propagated to extractvalue's operand, which incorrectly introduces undefined behavior. llvm-svn: 84637
* Eliminate more redundant llvm-as calls.Dan Gohman2009-09-117-8/+8
| | | | llvm-svn: 81540
* Change tests from "opt %s" to "opt < %s" so that opt doesn't see theDan Gohman2009-09-1130-35/+35
| | | | | | | | input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. llvm-svn: 81537
* fix a bunch of spurious failures for people whose home directoryChris Lattner2009-09-112-4/+2
| | | | | | is sabre. llvm-svn: 81528
* Use "opt < %s" instead of "opt %s" so that opt doesn't print the testDan Gohman2009-09-081-3/+3
| | | | | | filename in the output, which interferes with the tests' grep lines. llvm-svn: 81263
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-0838-46/+46
| | | | llvm-svn: 81257
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-0837-45/+45
| | | | | | of using llvm-as, now that opt supports this. llvm-svn: 81226
* Split the Add, Sub, and Mul instruction opcodes into separateDan Gohman2009-06-042-4/+4
| | | | | | | | | | | | | | | 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 llvm-svn: 72897
* Use Operands.data() instead of &Operands[0] where Operands is a potentiallyNick Lewycky2009-05-281-0/+10
| | | | | | empty SmallVector. llvm-svn: 72512
* adjust for asmprinter change.Chris Lattner2009-03-011-3/+5
| | | | llvm-svn: 65740
* Fix PR3325, a miscompilation of invokes by IPSCCP. Patch by Jay Foad!Chris Lattner2009-01-141-0/+28
| | | | llvm-svn: 62244
* Fix SCCP's handling of struct value loads and stores. SCCP doesn'tDan Gohman2008-08-131-0/+20
| | | | | | | track individual leaf values in such cases, so it needs to treat struct values as normal values in this case. llvm-svn: 54760
* Enable first-class aggregates support.Dan Gohman2008-07-231-2/+5
| | | | | | | | | | | | Remove the GetResultInst instruction. It is still accepted in LLVM assembly and bitcode, where it is now auto-upgraded to ExtractValueInst. Also, remove support for return instructions with multiple values. These are auto-upgraded to use InsertValueInst instructions. The IRBuilder still accepts multiple-value returns, and auto-upgrades them to InsertValueInst instructions. llvm-svn: 53941
* Fix PR2358 by resolving calls with undef arguments to overdefined.Chris Lattner2008-05-241-0/+14
| | | | llvm-svn: 51535
* 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
* Use loop deletion instead of ADCE in these tests.Owen Anderson2008-05-161-1/+1
| | | | llvm-svn: 51180
* Rewrite multiple return value handling in SCCP. Before, the -sccp passChris Lattner2008-04-231-0/+11
| | | | | | | would turn every getresult instruction into undef. This helps with rdar://5778210 llvm-svn: 50140
* make this test more interesting.Chris Lattner2008-04-231-4/+6
| | | | llvm-svn: 50128
* Upgrade tests to not use llvm-upgrade.Tanya Lattner2008-03-1923-480/+421
| | | | llvm-svn: 48529
* Initial multiple return values support.Devang Patel2008-03-111-0/+12
| | | | llvm-svn: 48210
* Fix PR1938 by forcing the code that uses an undefined value to branch oneChris Lattner2008-01-281-0/+36
| | | | | | | | way or the other. Rewriting the code itself prevents subsequent analysis passes from making contradictory conclusions about the code that could cause an infeasible path to be made feasible. llvm-svn: 46427
* Change all floating constants that are not exactlyDale Johannesen2007-09-052-2/+2
| | | | | | representable to use hex format. llvm-svn: 41722
* Convert .cvsignore filesJohn Criswell2007-06-291-3/+0
| | | | llvm-svn: 37801
* New test.Devang Patel2007-05-171-0/+50
| | | | llvm-svn: 37184
* For PR1319:Reid Spencer2007-04-1529-37/+29
| | | | | | | | | | Upgrade to use new Tcl exec based test harness. This exposes 3 bugs that were previously not being reported: test/Transforms/GlobalDCE/2002-08-17-FunctionDGE.ll test/Transforms/GlobalOpt/memset.ll test/Transforms/IndVarsSimplify/exit_value_tests.llx llvm-svn: 36065
* Add the SCCP regression tests for APInt expressions. These test casesReid Spencer2007-04-1315-0/+360
| | | | | | | | | turned up some regressions that have since been fixed. We don't want to loose the regression tests. Test cases by Guoling Han. llvm-svn: 35974
* 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
OpenPOWER on IntegriCloud