| //===-- LiveRangeUtils.h - Live Range modification utilities ----*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| /// \file |
| /// This file contains helper functions to modify live ranges. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef LLVM_LIB_CODEGEN_LIVERANGEUTILS_H |
| #define LLVM_LIB_CODEGEN_LIVERANGEUTILS_H |
| |
| #include "llvm/CodeGen/LiveInterval.h" |
| |
| namespace llvm { |
| |
| /// Helper function that distributes live range value numbers and the |
| /// corresponding segments of a primary live range \p LR to a list of newly |
| /// created live ranges \p SplitLRs. \p VNIClasses maps each value number in \p |
| /// LR to 0 meaning it should stay or to 1..N meaning it should go to a specific |
| /// live range in the \p SplitLRs array. |
| template<typename LiveRangeT, typename EqClassesT> |
| static void DistributeRange(LiveRangeT &LR, LiveRangeT *SplitLRs[], |
| EqClassesT VNIClasses) { |
| // Move segments to new intervals. |
| typename LiveRangeT::iterator J = LR.begin(), E = LR.end(); |
| while (J != E && VNIClasses[J->valno->id] == 0) |
| ++J; |
| for (typename LiveRangeT::iterator I = J; I != E; ++I) { |
| if (unsigned eq = VNIClasses[I->valno->id]) { |
| assert((SplitLRs[eq-1]->empty() || SplitLRs[eq-1]->expiredAt(I->start)) && |
| "New intervals should be empty"); |
| SplitLRs[eq-1]->segments.push_back(*I); |
| } else |
| *J++ = *I; |
| } |
| LR.segments.erase(J, E); |
| |
| // Transfer VNInfos to their new owners and renumber them. |
| unsigned j = 0, e = LR.getNumValNums(); |
| while (j != e && VNIClasses[j] == 0) |
| ++j; |
| for (unsigned i = j; i != e; ++i) { |
| VNInfo *VNI = LR.getValNumInfo(i); |
| if (unsigned eq = VNIClasses[i]) { |
| VNI->id = SplitLRs[eq-1]->getNumValNums(); |
| SplitLRs[eq-1]->valnos.push_back(VNI); |
| } else { |
| VNI->id = j; |
| LR.valnos[j++] = VNI; |
| } |
| } |
| LR.valnos.resize(j); |
| } |
| |
| } // End llvm namespace |
| |
| #endif |