summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Transforms
Commit message (Collapse)AuthorAgeFilesLines
* New pass to lower switch instructions to branch instructionsChris Lattner2003-04-231-0/+102
| | | | llvm-svn: 5865
* Minor cleanupsChris Lattner2003-04-231-6/+6
| | | | llvm-svn: 5863
* Add warning when linking modules with disagreeing target propertiesChris Lattner2003-04-221-0/+4
| | | | llvm-svn: 5845
* Preserve the new moduleID fieldChris Lattner2003-04-221-1/+1
| | | | llvm-svn: 5835
* Fix bug: 2003-01-30-LinkerRename.llChris Lattner2003-04-211-7/+33
| | | | llvm-svn: 5828
* Fix linking a function with qualifiers to a external function declaration:Chris Lattner2003-04-211-6/+18
| | | | | | Fixed bug: Linker/2003-04-21-Linkage.ll llvm-svn: 5827
* Fix bug where use still existed in dead codeChris Lattner2003-04-211-0/+2
| | | | llvm-svn: 5824
* Implement: FunctionResolve/2003-04-18-ForwardDeclGlobal.llChris Lattner2003-04-191-43/+39
| | | | llvm-svn: 5816
* Fix bug: Mem2reg/2003-04-18-DeadBlockProblem.llChris Lattner2003-04-181-4/+17
| | | | llvm-svn: 5810
* Global constants CAN be externalChris Lattner2003-04-181-3/+3
| | | | llvm-svn: 5808
* Refactor CloneFunction to expose the new CloneBasicBlock functionChris Lattner2003-04-181-13/+22
| | | | llvm-svn: 5806
* New const_cast instead of c style castChris Lattner2003-04-181-1/+1
| | | | llvm-svn: 5805
* Change the interface to constant expressions to allow automatic foldingChris Lattner2003-04-162-2/+2
| | | | llvm-svn: 5793
* Add new linkage types to support a real frontendChris Lattner2003-04-1611-76/+104
| | | | llvm-svn: 5786
* Make help message more clearChris Lattner2003-04-131-2/+4
| | | | llvm-svn: 5775
* * Fix bug: Mem2Reg/2003-04-10-DFNotFound.llChris Lattner2003-04-101-9/+26
| | | | | | | * Make Mem2Reg assign version numbers now for renamed variables instead of .mem2reg suffixes. This produces what people think of as SSA. llvm-svn: 5771
* Initial checkin of PRE on LLVM. This implementation is still lacking inChris Lattner2003-03-311-0/+614
| | | | | | | | | | | | | | | several ways: * Load expressions are not PRE'd well. Alias Analysis should be used to get accurate information when computing anticipatibility. * The expression collection implementation does not handle PHI nodes properly, thus the implementation misses many opportunities to PRE. * This code could be sped up quite a bit Despite these flaws, the code seems to work well, and handles PR's as one would expect. llvm-svn: 5759
* * We now preserve the no-critical-edge pass (because we cannot insert ↵Chris Lattner2003-03-311-11/+17
| | | | | | | | critical edges) * Small modification to be more efficient llvm-svn: 5757
* Move BreakCriticalEdges pass to lib/Transforms/UtilsChris Lattner2003-03-211-155/+0
| | | | llvm-svn: 5754
* Add the following instcombine xforms:Chris Lattner2003-03-111-29/+74
| | | | | | | | - Implement simple reassociation: (A|c1)|(B|c2) == (A|B)|(c1|c2) - (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0 - (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0 llvm-svn: 5743
* Implement: -A*-B == A*BChris Lattner2003-03-101-0/+4
| | | | llvm-svn: 5740
* Add new transformation: // (~A | ~B) == (~(A & B))Chris Lattner2003-03-101-8/+19
| | | | llvm-svn: 5738
* Generalize not and neg comparison testers to allow constant to be considered ↵Chris Lattner2003-03-101-27/+41
| | | | | | | | | | | | | | | | | | | | not'able and neg'able. This allows optimization of this: int %test4(int %A, int %B) { %a = xor int %A, -1 %c = and int %a, 5 ; 5 = ~c2 %d = xor int %c, -1 ret int %d } into this: int %test4(int %A, int %B) { ; No predecessors! %c.demorgan = or int %A, -6 ; <int> [#uses=1] ret int %c.demorgan } llvm-svn: 5736
* Generalize (A+c1)+c2 optimization to work with all associative operatorsChris Lattner2003-03-101-35/+50
| | | | llvm-svn: 5733
* Minor change, no functionality diffChris Lattner2003-03-101-3/+3
| | | | llvm-svn: 5731
* Fix bug: (x << 100) wasn't folded to 0, but (x >> 100) was (when x is unsigned)Chris Lattner2003-03-101-7/+48
| | | | | | Implement new shift optimizations for shifting the result of a shift. llvm-svn: 5729
* Implement: (A|B)^B == A & (~B)Chris Lattner2003-03-101-0/+25
| | | | llvm-svn: 5728
* Fix bug: SimplifyCFG/2003-03-07-DominateProblem.llChris Lattner2003-03-071-2/+19
| | | | llvm-svn: 5722
* Implement %test7 in InstCombine/getelementptr.llChris Lattner2003-03-051-7/+21
| | | | llvm-svn: 5704
* Implement CFGSimplify/PhiBlockMerge*.llChris Lattner2003-03-051-10/+36
| | | | llvm-svn: 5702
* Implement testcase CFGSimplify/EqualPHIEdgeBlockMerge.llChris Lattner2003-03-051-10/+24
| | | | llvm-svn: 5699
* Convert LICM over to use AliasSetTracker. Besides being nicer, this ↵Chris Lattner2003-03-031-164/+45
| | | | | | | | automatically allows LICM to use access sizes to help alias analysis be more precise. llvm-svn: 5693
* Eliminate tons of bogus warningsChris Lattner2003-03-031-8/+10
| | | | llvm-svn: 5686
* Change the mem2reg interface to accept a TargetData argumentChris Lattner2003-03-033-9/+19
| | | | llvm-svn: 5685
* Fix bug: LICM/2003-02-28-PromoteDifferentType.llChris Lattner2003-02-281-2/+8
| | | | llvm-svn: 5675
* Fix bug I introduced yesterday :(Chris Lattner2003-02-281-1/+2
| | | | llvm-svn: 5669
* Fix bug: LICM/2003-02-27-PreheaderExitNodeUpdate.llChris Lattner2003-02-281-1/+5
| | | | llvm-svn: 5667
* Fix bug: 2003-02-27-PreheaderExitNodeUpdate.ll by updating exit node infoChris Lattner2003-02-271-0/+16
| | | | llvm-svn: 5664
* Add a new assertion to check that stuff is happening rightChris Lattner2003-02-271-3/+8
| | | | | | | Ironically the exit block modification code wasn't updating the exit block information itself. Fix this. llvm-svn: 5659
* Fix bug: 2003-02-27-StoreSinkPHIs.llChris Lattner2003-02-271-1/+4
| | | | llvm-svn: 5658
* * Don't forget to update Loop information!Chris Lattner2003-02-271-3/+5
| | | | | | | | * Remove bogus assertion: there may be a single outside predecessor and still need a new loop-preheader if the predecessor has multiple successors. See bug: LICM/2003-02-27-PreheaderProblem.ll llvm-svn: 5655
* Replace assertion with a handler.Chris Lattner2003-02-271-15/+21
| | | | llvm-svn: 5653
* * Significant changes to the preheader insertion pass:Chris Lattner2003-02-271-42/+219
| | | | | | | | | - Now we perform loop exit-block splitting to ensure exit blocks are always dominated by the loop header. - We now preserve dominance frontier information - This fixes bug: LICM/2003-02-26-LoopExitNotDominated.ll llvm-svn: 5652
* Convert to work with new AliasAnalysis interface by conservatively assuming ↵Chris Lattner2003-02-261-6/+6
| | | | | | all pointers are arbitrarily large accesses llvm-svn: 5636
* Rename Instruction::hasSideEffects() -> mayWriteToMemory()Chris Lattner2003-02-243-3/+3
| | | | llvm-svn: 5620
* Initial implementation of Loop invariant memory->scalar promotionChris Lattner2003-02-241-33/+328
| | | | llvm-svn: 5613
* Split mem2reg promotion into two parts: a function which does the work, andChris Lattner2003-02-222-85/+112
| | | | | | a pass which wraps the function. This allows other passes to use the functionality llvm-svn: 5610
* Clean up std namespace referencesChris Lattner2003-02-221-32/+29
| | | | llvm-svn: 5608
* 4 new transformations:Chris Lattner2003-02-181-0/+42
| | | | | | | | | * X*C + X --> X * (C+1) * X + X*C --> X * (C+1) * X - X*C --> X * (1-C) * X*C - X --> X * (C-1) llvm-svn: 5592
* Add a variety of new transformations:Chris Lattner2003-02-181-48/+140
| | | | | | | | | | | | | | | | * A & ~A == 0 * A / (2^c) == A >> c if unsigned * 0 / A == 0 * 1.0 * A == A * A * (2^c) == A << c * A ^ ~A == -1 * A | ~A == -1 * 0 % X = 0 * A % (2^c) == A & (c-1) if unsigned * A - (A & B) == A & ~B * -1 - A == ~A llvm-svn: 5587
OpenPOWER on IntegriCloud