summaryrefslogtreecommitdiffstats
path: root/llvm/lib/CodeGen/LiveIntervals.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [NFC] fix trivial typos in documents and commentsHiroshi Inoue2018-04-121-1/+1
| | | | | | "is is" -> "is", "if if" -> "if", "or or" -> "or" llvm-svn: 329878
* [LiveIntervals] Handle moving up dead partial writeTim Renouf2018-02-261-0/+30
| | | | | | | | | | | | | | | | | | | | | | | Summary: In the test case, the machine scheduler moves a dead write to a subreg up into the middle of a segment of the overall reg's live range, where the segment had liveness only for other subregs in the reg. handleMoveUp created an invalid live range, causing an assert a bit later. This commit fixes it to handle that situation. The segment is split in two at the insertion point, and the part after the split, and any subsequent segments up to the old position, are changed to be defined by the moved def. V2: Better test. Subscribers: MatzeB, nhaehnle, llvm-commits Differential Revision: https://reviews.llvm.org/D43478 Change-Id: Ibc42445ddca84e79ad1f616401015d22bc63832e llvm-svn: 326087
* Rename LiveIntervalAnalysis.h to LiveIntervals.hMatthias Braun2017-12-131-0/+1598
| | | | | | | | | | Headers/Implementation files should be named after the class they declare/define. Also eliminated an `#include "llvm/CodeGen/LiveIntervalAnalysis.h"` in favor of `class LiveIntarvals;` llvm-svn: 320546
* Rename LiveIntervals.(cpp|h) -> LiveIntervalAnalysis.(cpp|h)Chris Lattner2004-07-231-674/+0
| | | | llvm-svn: 15135
* Pull the LiveRange and LiveInterval classes out of LiveIntervals.h (whichChris Lattner2004-07-231-164/+25
| | | | | | | | | | | | will soon be renamed) into their own file. The new file should not emit DEBUG output or have other side effects. The LiveInterval class also now doesn't know whether its working on registers or some other thing. In the future we will want to use the LiveInterval class and friends to do stack packing. In addition to a code simplification, this will allow us to do it more easily. llvm-svn: 15134
* Improve comments a bitChris Lattner2004-07-231-50/+45
| | | | | | | | | | | | | | | | | | | | | | | | | Use an explicit LiveRange class to represent ranges instead of an std::pair. This is a minor cleanup, but is really intended to make a future patch simpler and less invasive. Alkis, could you please take a look at LiveInterval::liveAt? I suspect that you can add an operator<(unsigned) to LiveRange, allowing us to speed up the upper_bound call by quite a bit (this would also apply to other callers of upper/lower_bound). I would do it myself, but I still don't understand that crazy liveAt function, despite the comment. :) Basically I would like to see this: LiveRange dummy(index, index+1); Ranges::const_iterator r = std::upper_bound(ranges.begin(), ranges.end(), dummy); Turn into: Ranges::const_iterator r = std::upper_bound(ranges.begin(), ranges.end(), index); llvm-svn: 15130
* Force coallescing of live ranges that have a single definition, even if theyChris Lattner2004-07-231-9/+29
| | | | | | | | | | | | | | | | | | | | | | | | interfere. Because these intervals have a single definition, and one of them is a copy instruction, they are always safe to merge even if their lifetimes interfere. This slightly reduces the amount of spill code, for example on 252.eon, from: 12837 spiller - Number of loads added 7604 spiller - Number of stores added 5842 spiller - Number of register spills 18155 liveintervals - Number of identity moves eliminated after coalescing to: 12754 spiller - Number of loads added 7585 spiller - Number of stores added 5803 spiller - Number of register spills 18262 liveintervals - Number of identity moves eliminated after coalescing The much much bigger win would be to merge intervals with multiple definitions (aka phi nodes) but this is not that day. llvm-svn: 15124
* Fix broken -debug printingChris Lattner2004-07-221-0/+1
| | | | llvm-svn: 15115
* Sorting is now handled by both linearscan and iterative scan so liveAlkis Evlogimenos2004-07-221-10/+0
| | | | | | | intervals need not be sorted anymore. Removing this redundant step improves LiveIntervals running time by 5% on 176.gcc. llvm-svn: 15106
* That funny 2-address lowering pass can also cause multiple definitions,Chris Lattner2004-07-221-8/+18
| | | | | | | fortunately, they are easy to handle if we know about them. This patch fixes some serious pessimization of code produced by the linscan register allocator. llvm-svn: 15092
* These files don't need to include <iostream> since they include ↵Brian Gaeke2004-07-211-1/+0
| | | | | | "Support/Debug.h". llvm-svn: 15089
* Remove unneeded functor. LiveInterval has a < operator.Alkis Evlogimenos2004-07-201-11/+1
| | | | llvm-svn: 15031
* Fix a bug that occurs when the last instruction in a range is deadChris Lattner2004-07-191-3/+6
| | | | llvm-svn: 15005
* When joining intervals, join intervals in deeply nested loops first. ThisChris Lattner2004-07-191-4/+34
| | | | | | | is a simple change, but seems to improve code a little. For example, on 256.bzip2, we went from 75.0s -> 73.33s (2% speedup). llvm-svn: 15004
* Split joinIntervals into two methodsChris Lattner2004-07-191-84/+85
| | | | llvm-svn: 15003
* There is no need to store the MBB along with the MI any more, we can nowChris Lattner2004-07-191-6/+6
| | | | | | ask instructions for their parent. llvm-svn: 14998
* Simplify the interface to LiveVariables::addVirtualRegister(Killed|Dead)Chris Lattner2004-07-191-1/+1
| | | | llvm-svn: 14997
* Two changes, both very significant:Chris Lattner2004-07-191-11/+2
| | | | | | | | | | * vreg <-> vreg joining now works, enable it unconditionally when joining is enabled (which is the default). * Fix a serious pessimization of spill code where we were saying that a spilled DEF operand was live into the subsequent instruction. This allows for substantially better code when spilling starts to happen. llvm-svn: 14993
* See comments. The live intervals were not coming out of the spiller in sortedChris Lattner2004-07-191-1/+20
| | | | | | | | | order, causing the inactive list in the linearscan list to get unsorted, which basically fuxored everything up severely. These seems to fix the joiner, so with more testing I will enable it by default. llvm-svn: 14992
* remove the mbbi2mbbMap_, which was just keeping track of mbb order anyway.Chris Lattner2004-07-191-54/+73
| | | | | | | | | | Heavily refactor handleVirtualRegisterDef, adding comments and making it more efficient. It is also much easier to follow and convince ones self that it is correct :) Add -debug output to the joine, showing the result of joining the intervals. llvm-svn: 14989
* It looks like physref->virtreg joining is working fine. Enable it by defaultChris Lattner2004-07-171-10/+19
| | | | | | but make virtreg->virtreg joining stay off by default llvm-svn: 14916
* Fix typo.Alkis Evlogimenos2004-07-091-1/+1
| | | | llvm-svn: 14720
* Improve code comments.Alkis Evlogimenos2004-07-091-5/+11
| | | | llvm-svn: 14719
* Disable coalescing.Alkis Evlogimenos2004-07-071-1/+1
| | | | llvm-svn: 14655
* Do not crash when joining two intervals of registers of differentAlkis Evlogimenos2004-07-061-1/+10
| | | | | | | classes: just ignore that move. Thanks to Vladimir Prus who found the bug! llvm-svn: 14644
* Revert patches 1.79 and 1.80 which had to do with dead MBB's. Now that theyChris Lattner2004-07-021-6/+4
| | | | | | don't exist, we don't have to pretend to handle them. llvm-svn: 14567
* Now that MachineFunction/MachineBasicBlock keep a mapping of blocks to ID #'sChris Lattner2004-07-011-1/+1
| | | | | | use them instead of a local LiveVariables numbering llvm-svn: 14523
* Start using MBB numbers directly instead of going through the live variablesChris Lattner2004-07-011-1/+1
| | | | | | map. llvm-svn: 14518
* In line with the previous patch, do not assert out if analyzing a dead basic ↵Chris Lattner2004-06-291-1/+4
| | | | | | block. llvm-svn: 14475
* Do not dereference end iterators. It hurts when you do that.Chris Lattner2004-06-291-3/+2
| | | | llvm-svn: 14474
* Made a fix so that you can print out MachineInstrs that belong to a ↵Tanya Lattner2004-06-251-3/+3
| | | | | | MachineBasicBlock that is not yet attached to a MachineFunction. This change includes changing the third operand (TargetMachine) to a pointer for the MachineInstr::print function. llvm-svn: 14389
* Rename Interval class to LiveInterval to avoid conflicting with the alreadyChris Lattner2004-06-211-24/+27
| | | | | | | | | existing llvm::Interval class. Patch contributed by Vladimir Prus! http://mail.cs.uiuc.edu/pipermail/llvmbugs/2004-June/000710.html llvm-svn: 14281
* Adjust to new TargetMachine interfaceChris Lattner2004-06-021-5/+4
| | | | llvm-svn: 13956
* Pull Interval class out of LiveIntervals.Alkis Evlogimenos2004-05-301-19/+15
| | | | llvm-svn: 13910
* When spilling an register, introduce a new temporary for each of itsAlkis Evlogimenos2004-05-301-13/+32
| | | | | | | spills. This allows for more flexibility when allocating registers for spill code. llvm-svn: 13907
* Remove defs vector from live intervals.Alkis Evlogimenos2004-05-291-18/+0
| | | | llvm-svn: 13892
* Remove unneeded headerAlkis Evlogimenos2004-05-081-1/+0
| | | | llvm-svn: 13416
* numeric_limits::infinity() apparently does not work on all systems. As aChris Lattner2004-05-061-6/+4
| | | | | | workaround, use the C HUGE_VAL macro instead. llvm-svn: 13377
* Operate on the Machine CFG instead of on the LLVM CFGChris Lattner2004-05-011-9/+8
| | | | llvm-svn: 13302
* Fix bug introduced in previous commit.Alkis Evlogimenos2004-04-121-1/+1
| | | | llvm-svn: 12872
* Correctly compute spill weightsAlkis Evlogimenos2004-04-121-18/+19
| | | | llvm-svn: 12869
* Print def lists a bit more compactlyAlkis Evlogimenos2004-04-121-1/+1
| | | | llvm-svn: 12866
* Add definition list to each live interval.Alkis Evlogimenos2004-04-091-43/+54
| | | | llvm-svn: 12791
* Change MRegisterInfo::foldMemoryOperand to return the foldedAlkis Evlogimenos2004-03-141-7/+9
| | | | | | instruction to make the API more flexible. llvm-svn: 12386
* Add the long awaited memory operand folding support for linear scanAlkis Evlogimenos2004-03-011-19/+35
| | | | llvm-svn: 12058
* Uncomment assertions that register# != 0 on calls toAlkis Evlogimenos2004-02-261-2/+2
| | | | | | | MRegisterInfo::is{Physical,Virtual}Register. Apply appropriate fixes to relevant files. llvm-svn: 11882
* Move LiveIntervals.h up to be the first included headerAlkis Evlogimenos2004-02-231-1/+1
| | | | llvm-svn: 11721
* Move LiveIntervals.h to lib/CodeGen since it shouldn't be exposed to other ↵Alkis Evlogimenos2004-02-231-1/+1
| | | | | | parts of the compiler llvm-svn: 11719
* Print basic block boundaries in machine instruction debug output.Alkis Evlogimenos2004-02-221-4/+7
| | | | llvm-svn: 11704
* Abstract merging of ranges away from number of slots per instruction.Alkis Evlogimenos2004-02-221-3/+7
| | | | | | | Also make it less aggressive as the current implementation breaks in some cases. llvm-svn: 11696
OpenPOWER on IntegriCloud