SplitKit.h revision d68f458244b9d9a6644a9550dd5cee60331c9e7d
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; 25d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesenclass MachineDominatorTree; 268ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass MachineLoop; 278ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass MachineLoopInfo; 28f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass MachineRegisterInfo; 296a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesenclass TargetInstrInfo; 30f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass VirtRegMap; 31f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass VNInfo; 32532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesenclass raw_ostream; 338ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 34f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// SplitAnalysis - Analyze a LiveInterval, looking for live range splitting 35f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// opportunities. 368ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenclass SplitAnalysis { 3708e93b14c37277ab40b835de340f89ba357d3332Jakob Stoklund Olesenpublic: 388ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineFunction &mf_; 398ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const LiveIntervals &lis_; 408ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineLoopInfo &loops_; 416a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen const TargetInstrInfo &tii_; 428ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 438ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // Instructions using the the current register. 448ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen typedef SmallPtrSet<const MachineInstr*, 16> InstrPtrSet; 458ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen InstrPtrSet usingInstrs_; 468ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 478ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // The number of instructions using curli in each basic block. 488ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen typedef DenseMap<const MachineBasicBlock*, unsigned> BlockCountMap; 498ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen BlockCountMap usingBlocks_; 508ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 512dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen // The number of basic block using curli in each loop. 522dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen typedef DenseMap<const MachineLoop*, unsigned> LoopCountMap; 532dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen LoopCountMap usingLoops_; 548ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 55f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesenprivate: 56f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen // Current live interval. 57f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen const LiveInterval *curli_; 58f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 598ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen // Sumarize statistics by counting instructions using curli_. 60abff28087fd6be8150ff0e69def7de7312b2f76bJakob Stoklund Olesen void analyzeUses(); 618ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 626a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// canAnalyzeBranch - Return true if MBB ends in a branch that can be 636a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// analyzed. 646a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen bool canAnalyzeBranch(const MachineBasicBlock *MBB); 656a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 668ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesenpublic: 67f2c6e367c1c0d8797e62e58a3ccdb8cceee27987Jakob Stoklund Olesen SplitAnalysis(const MachineFunction &mf, const LiveIntervals &lis, 68f2c6e367c1c0d8797e62e58a3ccdb8cceee27987Jakob Stoklund Olesen const MachineLoopInfo &mli); 698ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 708ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// analyze - set curli to the specified interval, and analyze how it may be 718ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// split. 728ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen void analyze(const LiveInterval *li); 738ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 748ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// clear - clear all data structures so SplitAnalysis is ready to analyze a 758ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// new interval. 768ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen void clear(); 778ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 786a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen typedef SmallPtrSet<const MachineBasicBlock*, 16> BlockPtrSet; 792dee7a527b083e259f9e826c57c1e5dab9540798Jakob Stoklund Olesen typedef SmallPtrSet<const MachineLoop*, 16> LoopPtrSet; 806a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 81532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen // Print a set of blocks with use counts. 82532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen void print(const BlockPtrSet&, raw_ostream&) const; 83532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen 846a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen // Sets of basic blocks surrounding a machine loop. 856a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen struct LoopBlocks { 866a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Loop; // Blocks in the loop. 876a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Preds; // Loop predecessor blocks. 886a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet Exits; // Loop exit blocks. 896a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 906a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void clear() { 916a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Loop.clear(); 926a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Preds.clear(); 936a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen Exits.clear(); 946a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen } 956a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen }; 966a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 97532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen // Print loop blocks with use counts. 98532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen void print(const LoopBlocks&, raw_ostream&) const; 99532de3dc6ea98387368954c0ac0e07b0adca8b62Jakob Stoklund Olesen 1006a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen // Calculate the block sets surrounding the loop. 1016a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void getLoopBlocks(const MachineLoop *Loop, LoopBlocks &Blocks); 1026a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1038ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// LoopPeripheralUse - how is a variable used in and around a loop? 1048ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// Peripheral blocks are the loop predecessors and exit blocks. 1058ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen enum LoopPeripheralUse { 1068ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen ContainedInLoop, // All uses are inside the loop. 1078ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen SinglePeripheral, // At most one instruction per peripheral block. 1088ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen MultiPeripheral, // Multiple instructions in some peripheral blocks. 1098ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen OutsideLoop // Uses outside loop periphery. 1108ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen }; 1118ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1128ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// analyzeLoopPeripheralUse - Return an enum describing how curli_ is used in 1138ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// and around the Loop. 1146a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen LoopPeripheralUse analyzeLoopPeripheralUse(const LoopBlocks&); 1156a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1166a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// getCriticalExits - It may be necessary to partially break critical edges 1176a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// leaving the loop if an exit block has phi uses of curli. Collect the exit 1186a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// blocks that need special treatment into CriticalExits. 1196a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen void getCriticalExits(const LoopBlocks &Blocks, BlockPtrSet &CriticalExits); 1206a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen 1216a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// canSplitCriticalExits - Return true if it is possible to insert new exit 1226a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen /// blocks before the blocks in CriticalExits. 1236a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen bool canSplitCriticalExits(const LoopBlocks &Blocks, 1246a0dc079efe7acf7e71cc4c0948fe814f35ba091Jakob Stoklund Olesen BlockPtrSet &CriticalExits); 1258ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1260960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// getCriticalPreds - Get the set of loop predecessors with critical edges to 1270960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// blocks outside the loop that have curli live in. We don't have to break 1280960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen /// these edges, but they do require special treatment. 1290960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen void getCriticalPreds(const LoopBlocks &Blocks, BlockPtrSet &CriticalPreds); 1300960a650b7047373da25bee6ec2eb73889c3b7bbJakob Stoklund Olesen 1318ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// getBestSplitLoop - Return the loop where curli may best be split to a 1328ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen /// separate register, or NULL. 1338ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen const MachineLoop *getBestSplitLoop(); 134f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 135f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// getMultiUseBlocks - Add basic blocks to Blocks that may benefit from 136f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// having curli split to a new live interval. Return true if Blocks can be 137f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// passed to SplitEditor::splitSingleBlocks. 138f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen bool getMultiUseBlocks(BlockPtrSet &Blocks); 139fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen 140fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// getBlockForInsideSplit - If curli is contained inside a single basic block, 141fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// and it wou pay to subdivide the interval inside that block, return it. 142fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// Otherwise return NULL. The returned block can be passed to 143fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen /// SplitEditor::splitInsideBlock. 144fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen const MachineBasicBlock *getBlockForInsideSplit(); 1458ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen}; 1468ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 1471407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1481407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// LiveIntervalMap - Map values from a large LiveInterval into a small 1491407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// interval that is a subset. Insert phi-def values as needed. This class is 1501407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// used by SplitEditor to create new smaller LiveIntervals. 1511407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// 1521407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// parentli_ is the larger interval, li_ is the subset interval. Every value 1531407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// in li_ corresponds to exactly one value in parentli_, and the live range 1541407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// of the value is contained within the live range of the parentli_ value. 1551407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen/// Values in parentli_ may map to any number of openli_ values, including 0. 1561407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesenclass LiveIntervalMap { 1571407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen LiveIntervals &lis_; 158d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesen MachineDominatorTree &mdt_; 1591407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1601407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // The parent interval is never changed. 1611407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen const LiveInterval &parentli_; 1621407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1631407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // The child interval's values are fully contained inside parentli_ values. 1649ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen LiveInterval *li_; 1651407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1661407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen typedef DenseMap<const VNInfo*, VNInfo*> ValueMap; 1671407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1681407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // Map parentli_ values to simple values in li_ that are defined at the same 1691407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // SlotIndex, or NULL for parentli_ values that have complex li_ defs. 1701407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // Note there is a difference between values mapping to NULL (complex), and 1711407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen // values not present (unknown/unmapped). 1721407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen ValueMap valueMap_; 1731407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1741407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesenpublic: 1751407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen LiveIntervalMap(LiveIntervals &lis, 176d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesen MachineDominatorTree &mdt, 1779ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen const LiveInterval &parentli) 178d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesen : lis_(lis), mdt_(mdt), parentli_(parentli), li_(0) {} 1799ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen 1809ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen /// reset - clear all data structures and start a new live interval. 1819ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen void reset(LiveInterval *); 1829ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen 1839ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen /// getLI - return the current live interval. 1849ca2aeb2d223d11fd01b0bb8f13fe7f3a969714dJakob Stoklund Olesen LiveInterval *getLI() const { return li_; } 1851407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1861407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// defValue - define a value in li_ from the parentli_ value VNI and Idx. 1871407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// Idx does not have to be ParentVNI->def, but it must be contained within 1881407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// ParentVNI's live range in parentli_. 1891407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// Return the new li_ value. 1901407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen VNInfo *defValue(const VNInfo *ParentVNI, SlotIndex Idx); 1911407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 1921407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// mapValue - map ParentVNI to the corresponding li_ value at Idx. It is 1931407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// assumed that ParentVNI is live at Idx. 1941407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// If ParentVNI has not been defined by defValue, it is assumed that 1951407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// ParentVNI->def dominates Idx. 1961407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// If ParentVNI has been defined by defValue one or more times, a value that 1971407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// dominates Idx will be returned. This may require creating extra phi-def 1981407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// values and adding live ranges to li_. 1995fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// If simple is not NULL, *simple will indicate if ParentVNI is a simply 2005fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// mapped value. 2015fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen VNInfo *mapValue(const VNInfo *ParentVNI, SlotIndex Idx, bool *simple = 0); 2025fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 203fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // extendTo - Find the last li_ value defined in MBB at or before Idx. The 204fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // parentli is assumed to be live at Idx. Extend the live range to include 205fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen // Idx. Return the found VNInfo, or NULL. 206c95c1465fdba059f6cbf24d1d9fd84f442c60fe4Jakob Stoklund Olesen VNInfo *extendTo(const MachineBasicBlock *MBB, SlotIndex Idx); 207fc60d7729bb5b63b7d61e370e51bd05e9a18b8bcJakob Stoklund Olesen 2085fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// isMapped - Return true is ParentVNI is a known mapped value. It may be a 2095fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// simple 1-1 mapping or a complex mapping to later defs. 2105fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool isMapped(const VNInfo *ParentVNI) const { 2115fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen return valueMap_.count(ParentVNI); 2125fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen } 2135fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2145fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// isComplexMapped - Return true if ParentVNI has received new definitions 2155fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// with defValue. 2165fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool isComplexMapped(const VNInfo *ParentVNI) const; 2175fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2185fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen // addSimpleRange - Add a simple range from parentli_ to li_. 2195fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen // ParentVNI must be live in the [Start;End) interval. 2205fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen void addSimpleRange(SlotIndex Start, SlotIndex End, const VNInfo *ParentVNI); 2211407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 2221407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// addRange - Add live ranges to li_ where [Start;End) intersects parentli_. 2231407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// All needed values whose def is not inside [Start;End) must be defined 2241407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen /// beforehand so mapValue will work. 2251407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen void addRange(SlotIndex Start, SlotIndex End); 226f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen 227f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen /// defByCopyFrom - Insert a copy from Reg to li, assuming that Reg carries 228f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen /// ParentVNI. Add a minimal live range for the new value and return it. 229f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen VNInfo *defByCopyFrom(unsigned Reg, 230f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen const VNInfo *ParentVNI, 231f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen MachineBasicBlock &MBB, 232f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen MachineBasicBlock::iterator I); 233f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen 2341407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen}; 2351407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 2361407c84242688dbcdbaa5b0296c18f46d102f25aJakob Stoklund Olesen 237f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// SplitEditor - Edit machine code and LiveIntervals for live range 238f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// splitting. 239f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// 2405eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen/// - Create a SplitEditor from a SplitAnalysis. 2417536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Start a new live interval with openIntv. 2427536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the places where the new interval is entered using enterIntv* 2437536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the ranges where the new interval is used with useIntv* 2447536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Mark the places where the interval is exited with exitIntv*. 2457536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen/// - Finish the current interval with closeIntv and repeat from 2. 2467466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen/// - Rewrite instructions with finish(). 247f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen/// 248f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenclass SplitEditor { 249f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen SplitAnalysis &sa_; 250f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen LiveIntervals &lis_; 251f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen VirtRegMap &vrm_; 252f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen MachineRegisterInfo &mri_; 253f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen const TargetInstrInfo &tii_; 254f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 255a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen /// edit_ - The current parent register and new intervals created. 256a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen LiveRangeEdit &edit_; 257a17768f5822ab62bc18608e5ba473187bf726b84Jakob Stoklund Olesen 2585eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// dupli_ - Created as a copy of curli_, ranges are carved out as new 2595eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// intervals get added through openIntv / closeIntv. This is used to avoid 2605eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// editing curli_. 261dd9f3fdc77b77b10710c27050d508d7c7fb40c25Jakob Stoklund Olesen LiveIntervalMap dupli_; 262f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 263f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// Currently open LiveInterval. 264dd9f3fdc77b77b10710c27050d508d7c7fb40c25Jakob Stoklund Olesen LiveIntervalMap openli_; 265f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2665fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// intervalsLiveAt - Return true if any member of intervals_ is live at Idx. 2675fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen bool intervalsLiveAt(SlotIndex Idx) const; 2685fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2695fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// Values in curli whose live range has been truncated when entering an open 2705fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// li. 2715fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen SmallPtrSet<const VNInfo*, 8> truncatedValues; 2725fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen 2735fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// addTruncSimpleRange - Add the given simple range to dupli_ after 2745fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen /// truncating any overlap with intervals_. 2755fa42a45a1845046dde84089fb4d8e1e1b329b65Jakob Stoklund Olesen void addTruncSimpleRange(SlotIndex Start, SlotIndex End, VNInfo *VNI); 276f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 277c95c1465fdba059f6cbf24d1d9fd84f442c60fe4Jakob Stoklund Olesen /// criticalPreds_ - Set of basic blocks where both dupli and openli should be 278c95c1465fdba059f6cbf24d1d9fd84f442c60fe4Jakob Stoklund Olesen /// live out because of a critical edge. 279c95c1465fdba059f6cbf24d1d9fd84f442c60fe4Jakob Stoklund Olesen SplitAnalysis::BlockPtrSet criticalPreds_; 280c95c1465fdba059f6cbf24d1d9fd84f442c60fe4Jakob Stoklund Olesen 2817466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// computeRemainder - Compute the dupli liveness as the complement of all the 2827466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// new intervals. 2837466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void computeRemainder(); 2847466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen 2857466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// rewrite - Rewrite all uses of reg to use the new registers. 2867466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void rewrite(unsigned reg); 2877466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen 288f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesenpublic: 289f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// Create a new SplitEditor for editing the LiveInterval analyzed by SA. 2907536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Newly created intervals will be appended to newIntervals. 291d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesen SplitEditor(SplitAnalysis &SA, LiveIntervals&, VirtRegMap&, 292d68f458244b9d9a6644a9550dd5cee60331c9e7dJakob Stoklund Olesen MachineDominatorTree&, LiveRangeEdit&); 293f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2945eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen /// getAnalysis - Get the corresponding analysis. 2955eb308b9448ee5b14fac26c0533eac481bc28471Jakob Stoklund Olesen SplitAnalysis &getAnalysis() { return sa_; } 296f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 2977536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Create a new virtual register and live interval. 2987536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void openIntv(); 299f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 300f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// enterIntvBefore - Enter openli before the instruction at Idx. If curli is 301f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// not live before Idx, a COPY is not inserted. 302f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen void enterIntvBefore(SlotIndex Idx); 303f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 3047536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// enterIntvAtEnd - Enter openli at the end of MBB. 305f6a129a24b866635c3c51edf08749755f952b5f2Jakob Stoklund Olesen void enterIntvAtEnd(MachineBasicBlock &MBB); 306f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3077536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// useIntv - indicate that all instructions in MBB should use openli. 3087536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void useIntv(const MachineBasicBlock &MBB); 309f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3107536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// useIntv - indicate that all instructions in range should use openli. 3117536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void useIntv(SlotIndex Start, SlotIndex End); 312f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 313f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// leaveIntvAfter - Leave openli after the instruction at Idx. 314f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen void leaveIntvAfter(SlotIndex Idx); 315f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen 3167536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// leaveIntvAtTop - Leave the interval at the top of MBB. 3177536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// Currently, only one value can leave the interval. 3187536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void leaveIntvAtTop(MachineBasicBlock &MBB); 319f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3207536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen /// closeIntv - Indicate that we are done editing the currently open 321f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// LiveInterval, and ranges can be trimmed. 3227536f72a97ad25c3652fdfe26d392fd78b6ea7b9Jakob Stoklund Olesen void closeIntv(); 323f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 3247466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// finish - after all the new live ranges have been created, compute the 3257466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen /// remaining live range, and rewrite instructions to use the new registers. 3267466927b1af264b359c860cb9f7d1f3b275cc5cdJakob Stoklund Olesen void finish(); 327f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 328f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen // ===--- High level methods ---=== 329f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 330f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen /// splitAroundLoop - Split curli into a separate live interval inside 33157d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// the loop. 33257d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitAroundLoop(const MachineLoop*); 333f0179004e94259a8adab6c48f295ea9ab18af4c3Jakob Stoklund Olesen 334f1b05f2b0ef48cb80b064e2f792b38c626822fc0Jakob Stoklund Olesen /// splitSingleBlocks - Split curli into a separate live interval inside each 33557d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// basic block in Blocks. 33657d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitSingleBlocks(const SplitAnalysis::BlockPtrSet &Blocks); 33757d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen 33857d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen /// splitInsideBlock - Split curli into multiple intervals inside MBB. 33957d0f2deb0afefe69770a28937a4363e7b1f9753Jakob Stoklund Olesen void splitInsideBlock(const MachineBasicBlock *); 340fc412d85c46a8656361fe1e9197ea85922e2cd61Jakob Stoklund Olesen}; 3418ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen 3428ae0263471cc29c5f8278ee1ea5b678042ec6dceJakob Stoklund Olesen} 343