SplitKit.h revision 0960a650b7047373da25bee6ec2eb73889c3b7bb
114e8d71cc945034d4ee6e76be00e00f14efac62fAndrew Trick//===-------- SplitKit.cpp - Toolkit for splitting live ranges --*- C++ -*-===// 28ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// 38ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// The LLVM Compiler Infrastructure 48ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// 58ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// This file is distributed under the University of Illinois Open Source 68ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// License. See LICENSE.TXT for details. 78ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// 88ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen//===----------------------------------------------------------------------===// 98ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// 108ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// This file contains the SplitAnalysis class as well as mutator functions for 118ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// live range splitting. 128ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen// 138ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen//===----------------------------------------------------------------------===// 148ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 158ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen#include "llvm/ADT/SmallPtrSet.h" 168ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen#include "llvm/ADT/DenseMap.h" 17f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen#include "llvm/CodeGen/SlotIndexes.h" 188ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 198ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesennamespace llvm { 208ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 218ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass LiveInterval; 228ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass LiveIntervals; 23a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesenclass LiveRangeEdit; 248ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass MachineInstr; 258ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass MachineLoop; 268ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass MachineLoopInfo; 27f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass MachineRegisterInfo; 286a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesenclass TargetInstrInfo; 29f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass VirtRegMap; 30f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass VNInfo; 31532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesenclass raw_ostream; 328ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 33f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// SplitAnalysis - Analyze a LiveInterval, looking for live range splitting 34f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// opportunities. 358ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass SplitAnalysis { 3608e93b14c37277ab40b835de340f89ba357d3332Jakob Stoklund Olesenpublic: 378ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineFunction &mf_; 388ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const LiveIntervals &lis_; 398ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineLoopInfo &loops_; 406a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen const TargetInstrInfo &tii_; 418ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 428ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // Instructions using the the current register. 438ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen typedef SmallPtrSet<const MachineInstr*, 16> InstrPtrSet; 448ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen InstrPtrSet usingInstrs_; 458ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 468ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // The number of instructions using curli in each basic block. 478ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen typedef DenseMap<const MachineBasicBlock*, unsigned> BlockCountMap; 488ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen BlockCountMap usingBlocks_; 498ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 502dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen // The number of basic block using curli in each loop. 512dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen typedef DenseMap<const MachineLoop*, unsigned> LoopCountMap; 522dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen LoopCountMap usingLoops_; 538ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 54f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesenprivate: 55f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen // Current live interval. 56f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen const LiveInterval *curli_; 57f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 588ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // Sumarize statistics by counting instructions using curli_. 59abff28087fd6be8150ff0e69def7de7312b2f76bJakob Stoklund Olesen void analyzeUses(); 608ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 616a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// canAnalyzeBranch - Return true if MBB ends in a branch that can be 626a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// analyzed. 636a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen bool canAnalyzeBranch(const MachineBasicBlock *MBB); 646a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 658ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenpublic: 66f2c6e367c1c0d8797e62e58a3ccdb8cceee27987Jakob Stoklund Olesen SplitAnalysis(const MachineFunction &mf, const LiveIntervals &lis, 67f2c6e367c1c0d8797e62e58a3ccdb8cceee27987Jakob Stoklund Olesen const MachineLoopInfo &mli); 688ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 698ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// analyze - set curli to the specified interval, and analyze how it may be 708ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// split. 718ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen void analyze(const LiveInterval *li); 728ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 738ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// clear - clear all data structures so SplitAnalysis is ready to analyze a 748ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// new interval. 758ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen void clear(); 768ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 776a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen typedef SmallPtrSet<const MachineBasicBlock*, 16> BlockPtrSet; 782dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen typedef SmallPtrSet<const MachineLoop*, 16> LoopPtrSet; 796a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 80532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen // Print a set of blocks with use counts. 81532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen void print(const BlockPtrSet&, raw_ostream&) const; 82532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen 836a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen // Sets of basic blocks surrounding a machine loop. 846a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen struct LoopBlocks { 856a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Loop; // Blocks in the loop. 866a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Preds; // Loop predecessor blocks. 876a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Exits; // Loop exit blocks. 886a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 896a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void clear() { 906a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Loop.clear(); 916a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Preds.clear(); 926a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Exits.clear(); 936a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen } 946a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen }; 956a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 96532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen // Print loop blocks with use counts. 97532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen void print(const LoopBlocks&, raw_ostream&) const; 98532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen 996a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen // Calculate the block sets surrounding the loop. 1006a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void getLoopBlocks(const MachineLoop *Loop, LoopBlocks &Blocks); 1016a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1028ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// LoopPeripheralUse - how is a variable used in and around a loop? 1038ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// Peripheral blocks are the loop predecessors and exit blocks. 1048ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen enum LoopPeripheralUse { 1058ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen ContainedInLoop, // All uses are inside the loop. 1068ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen SinglePeripheral, // At most one instruction per peripheral block. 1078ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen MultiPeripheral, // Multiple instructions in some peripheral blocks. 1088ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen OutsideLoop // Uses outside loop periphery. 1098ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen }; 1108ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1118ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// analyzeLoopPeripheralUse - Return an enum describing how curli_ is used in 1128ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// and around the Loop. 1136a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen LoopPeripheralUse analyzeLoopPeripheralUse(const LoopBlocks&); 1146a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1156a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// getCriticalExits - It may be necessary to partially break critical edges 1166a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// leaving the loop if an exit block has phi uses of curli. Collect the exit 1176a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// blocks that need special treatment into CriticalExits. 1186a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void getCriticalExits(const LoopBlocks &Blocks, BlockPtrSet &CriticalExits); 1196a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1206a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// canSplitCriticalExits - Return true if it is possible to insert new exit 1216a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// blocks before the blocks in CriticalExits. 1226a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen bool canSplitCriticalExits(const LoopBlocks &Blocks, 1236a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet &CriticalExits); 1248ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1250960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// getCriticalPreds - Get the set of loop predecessors with critical edges to 1260960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// blocks outside the loop that have curli live in. We don't have to break 1270960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// these edges, but they do require special treatment. 1280960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen void getCriticalPreds(const LoopBlocks &Blocks, BlockPtrSet &CriticalPreds); 1290960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen 1308ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// getBestSplitLoop - Return the loop where curli may best be split to a 1318ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// separate register, or NULL. 1328ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineLoop *getBestSplitLoop(); 133f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 134f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// getMultiUseBlocks - Add basic blocks to Blocks that may benefit from 135f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// having curli split to a new live interval. Return true if Blocks can be 136f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// passed to SplitEditor::splitSingleBlocks. 137f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen bool getMultiUseBlocks(BlockPtrSet &Blocks); 138fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen 139fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// getBlockForInsideSplit - If curli is contained inside a single basic block, 140fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// and it wou pay to subdivide the interval inside that block, return it. 141fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// Otherwise return NULL. The returned block can be passed to 142fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// SplitEditor::splitInsideBlock. 143fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen const MachineBasicBlock *getBlockForInsideSplit(); 1448ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen}; 1458ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1461407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1471407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// LiveIntervalMap - Map values from a large LiveInterval into a small 1481407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// interval that is a subset. Insert phi-def values as needed. This class is 1491407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// used by SplitEditor to create new smaller LiveIntervals. 1501407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// 1511407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// parentli_ is the larger interval, li_ is the subset interval. Every value 1521407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// in li_ corresponds to exactly one value in parentli_, and the live range 1531407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// of the value is contained within the live range of the parentli_ value. 1541407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// Values in parentli_ may map to any number of openli_ values, including 0. 1551407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesenclass LiveIntervalMap { 1561407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen LiveIntervals &lis_; 1571407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1581407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // The parent interval is never changed. 1591407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen const LiveInterval &parentli_; 1601407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1611407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // The child interval's values are fully contained inside parentli_ values. 1629ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen LiveInterval *li_; 1631407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1641407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen typedef DenseMap<const VNInfo*, VNInfo*> ValueMap; 1651407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1661407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // Map parentli_ values to simple values in li_ that are defined at the same 1671407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // SlotIndex, or NULL for parentli_ values that have complex li_ defs. 1681407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // Note there is a difference between values mapping to NULL (complex), and 1691407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // values not present (unknown/unmapped). 1701407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen ValueMap valueMap_; 1711407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1721407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesenpublic: 1731407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen LiveIntervalMap(LiveIntervals &lis, 1749ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen const LiveInterval &parentli) 1759ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen : lis_(lis), parentli_(parentli), li_(0) {} 1769ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen 1779ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen /// reset - clear all data structures and start a new live interval. 1789ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen void reset(LiveInterval *); 1799ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen 1809ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen /// getLI - return the current live interval. 1819ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen LiveInterval *getLI() const { return li_; } 1821407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1831407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// defValue - define a value in li_ from the parentli_ value VNI and Idx. 1841407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// Idx does not have to be ParentVNI->def, but it must be contained within 1851407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// ParentVNI's live range in parentli_. 1861407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// Return the new li_ value. 1871407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen VNInfo *defValue(const VNInfo *ParentVNI, SlotIndex Idx); 1881407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1891407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// mapValue - map ParentVNI to the corresponding li_ value at Idx. It is 1901407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// assumed that ParentVNI is live at Idx. 1911407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// If ParentVNI has not been defined by defValue, it is assumed that 1921407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// ParentVNI->def dominates Idx. 1931407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// If ParentVNI has been defined by defValue one or more times, a value that 1941407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// dominates Idx will be returned. This may require creating extra phi-def 1951407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// values and adding live ranges to li_. 1965fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// If simple is not NULL, *simple will indicate if ParentVNI is a simply 1975fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// mapped value. 1985fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen VNInfo *mapValue(const VNInfo *ParentVNI, SlotIndex Idx, bool *simple = 0); 1995fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 200fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // extendTo - Find the last li_ value defined in MBB at or before Idx. The 201fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // parentli is assumed to be live at Idx. Extend the live range to include 202fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // Idx. Return the found VNInfo, or NULL. 203fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen VNInfo *extendTo(MachineBasicBlock *MBB, SlotIndex Idx); 204fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen 2055fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// isMapped - Return true is ParentVNI is a known mapped value. It may be a 2065fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// simple 1-1 mapping or a complex mapping to later defs. 2075fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool isMapped(const VNInfo *ParentVNI) const { 2085fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen return valueMap_.count(ParentVNI); 2095fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen } 2105fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2115fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// isComplexMapped - Return true if ParentVNI has received new definitions 2125fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// with defValue. 2135fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool isComplexMapped(const VNInfo *ParentVNI) const; 2145fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2155fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen // addSimpleRange - Add a simple range from parentli_ to li_. 2165fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen // ParentVNI must be live in the [Start;End) interval. 2175fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen void addSimpleRange(SlotIndex Start, SlotIndex End, const VNInfo *ParentVNI); 2181407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 2191407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// addRange - Add live ranges to li_ where [Start;End) intersects parentli_. 2201407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// All needed values whose def is not inside [Start;End) must be defined 2211407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// beforehand so mapValue will work. 2221407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen void addRange(SlotIndex Start, SlotIndex End); 223f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen 224f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen /// defByCopyFrom - Insert a copy from Reg to li, assuming that Reg carries 225f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen /// ParentVNI. Add a minimal live range for the new value and return it. 226f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen VNInfo *defByCopyFrom(unsigned Reg, 227f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen const VNInfo *ParentVNI, 228f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen MachineBasicBlock &MBB, 229f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen MachineBasicBlock::iterator I); 230f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen 2311407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen}; 2321407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 2331407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 234f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// SplitEditor - Edit machine code and LiveIntervals for live range 235f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// splitting. 236f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// 2375eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen/// - Create a SplitEditor from a SplitAnalysis. 2387536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Start a new live interval with openIntv. 2397536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the places where the new interval is entered using enterIntv* 2407536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the ranges where the new interval is used with useIntv* 2417536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the places where the interval is exited with exitIntv*. 2427536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Finish the current interval with closeIntv and repeat from 2. 2437466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen/// - Rewrite instructions with finish(). 244f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// 245f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass SplitEditor { 246f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen SplitAnalysis &sa_; 247f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen LiveIntervals &lis_; 248f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen VirtRegMap &vrm_; 249f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen MachineRegisterInfo &mri_; 250f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen const TargetInstrInfo &tii_; 251f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 252a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen /// edit_ - The current parent register and new intervals created. 253a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen LiveRangeEdit &edit_; 254a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen 2555eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// dupli_ - Created as a copy of curli_, ranges are carved out as new 2565eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// intervals get added through openIntv / closeIntv. This is used to avoid 2575eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// editing curli_. 258dd9f3fdc77b77b10710c27050d508d7c7fb40c25Jakob Stoklund Olesen LiveIntervalMap dupli_; 259f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 260f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// Currently open LiveInterval. 261dd9f3fdc77b77b10710c27050d508d7c7fb40c25Jakob Stoklund Olesen LiveIntervalMap openli_; 262f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2635fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// intervalsLiveAt - Return true if any member of intervals_ is live at Idx. 2645fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool intervalsLiveAt(SlotIndex Idx) const; 2655fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2665fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// Values in curli whose live range has been truncated when entering an open 2675fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// li. 2685fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen SmallPtrSet<const VNInfo*, 8> truncatedValues; 2695fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2705fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// addTruncSimpleRange - Add the given simple range to dupli_ after 2715fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// truncating any overlap with intervals_. 2725fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen void addTruncSimpleRange(SlotIndex Start, SlotIndex End, VNInfo *VNI); 273f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2747466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// computeRemainder - Compute the dupli liveness as the complement of all the 2757466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// new intervals. 2767466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void computeRemainder(); 2777466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen 2787466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// rewrite - Rewrite all uses of reg to use the new registers. 2797466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void rewrite(unsigned reg); 2807466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen 281f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenpublic: 282f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// Create a new SplitEditor for editing the LiveInterval analyzed by SA. 2837536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Newly created intervals will be appended to newIntervals. 284a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen SplitEditor(SplitAnalysis &SA, LiveIntervals&, VirtRegMap&, LiveRangeEdit&); 285f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2865eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// getAnalysis - Get the corresponding analysis. 2875eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen SplitAnalysis &getAnalysis() { return sa_; } 288f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2897536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Create a new virtual register and live interval. 2907536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void openIntv(); 291f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 292f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// enterIntvBefore - Enter openli before the instruction at Idx. If curli is 293f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// not live before Idx, a COPY is not inserted. 294f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen void enterIntvBefore(SlotIndex Idx); 295f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 2967536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// enterIntvAtEnd - Enter openli at the end of MBB. 297f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen void enterIntvAtEnd(MachineBasicBlock &MBB); 298f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2997536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// useIntv - indicate that all instructions in MBB should use openli. 3007536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void useIntv(const MachineBasicBlock &MBB); 301f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3027536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// useIntv - indicate that all instructions in range should use openli. 3037536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void useIntv(SlotIndex Start, SlotIndex End); 304f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 305f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// leaveIntvAfter - Leave openli after the instruction at Idx. 306f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen void leaveIntvAfter(SlotIndex Idx); 307f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 3087536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// leaveIntvAtTop - Leave the interval at the top of MBB. 3097536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Currently, only one value can leave the interval. 3107536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void leaveIntvAtTop(MachineBasicBlock &MBB); 311f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3127536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// closeIntv - Indicate that we are done editing the currently open 313f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// LiveInterval, and ranges can be trimmed. 3147536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void closeIntv(); 315f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3167466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// finish - after all the new live ranges have been created, compute the 3177466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// remaining live range, and rewrite instructions to use the new registers. 3187466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void finish(); 319f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 320f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen // ===--- High level methods ---=== 321f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 322f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// splitAroundLoop - Split curli into a separate live interval inside 32357d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// the loop. 32457d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitAroundLoop(const MachineLoop*); 325f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 326f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// splitSingleBlocks - Split curli into a separate live interval inside each 32757d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// basic block in Blocks. 32857d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitSingleBlocks(const SplitAnalysis::BlockPtrSet &Blocks); 32957d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen 33057d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// splitInsideBlock - Split curli into multiple intervals inside MBB. 33157d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitInsideBlock(const MachineBasicBlock *); 332fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen}; 3338ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 3348ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen} 335