blob: 78dae81f596e1ab01252d6de6df8cd1bfe09688f [file] [log] [blame]
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01001//===- lib/CodeGen/CalcSpillWeights.h ---------------------------*- C++ -*-===//
2//
Andrew Walbran16937d02019-10-22 13:54:20 +01003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01006//
7//===----------------------------------------------------------------------===//
8
9#ifndef LLVM_CODEGEN_CALCSPILLWEIGHTS_H
10#define LLVM_CODEGEN_CALCSPILLWEIGHTS_H
11
12#include "llvm/ADT/DenseMap.h"
13#include "llvm/CodeGen/SlotIndexes.h"
14
15namespace llvm {
16
17class LiveInterval;
18class LiveIntervals;
19class MachineBlockFrequencyInfo;
20class MachineFunction;
21class MachineLoopInfo;
22class VirtRegMap;
23
Andrew Scullcdfcccc2018-10-05 20:58:37 +010024 /// Normalize the spill weight of a live interval
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010025 ///
26 /// The spill weight of a live interval is computed as:
27 ///
28 /// (sum(use freq) + sum(def freq)) / (K + size)
29 ///
30 /// @param UseDefFreq Expected number of executed use and def instructions
31 /// per function call. Derived from block frequencies.
32 /// @param Size Size of live interval as returnexd by getSize()
33 /// @param NumInstr Number of instructions using this live interval
34 static inline float normalizeSpillWeight(float UseDefFreq, unsigned Size,
35 unsigned NumInstr) {
36 // The constant 25 instructions is added to avoid depending too much on
37 // accidental SlotIndex gaps for small intervals. The effect is that small
38 // intervals have a spill weight that is mostly proportional to the number
39 // of uses, while large intervals get a spill weight that is closer to a use
40 // density.
41 return UseDefFreq / (Size + 25*SlotIndex::InstrDist);
42 }
43
Andrew Scullcdfcccc2018-10-05 20:58:37 +010044 /// Calculate auxiliary information for a virtual register such as its
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010045 /// spill weight and allocation hint.
46 class VirtRegAuxInfo {
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010047 MachineFunction &MF;
48 LiveIntervals &LIS;
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020049 const VirtRegMap &VRM;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010050 const MachineLoopInfo &Loops;
51 const MachineBlockFrequencyInfo &MBFI;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010052
53 public:
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020054 VirtRegAuxInfo(MachineFunction &MF, LiveIntervals &LIS,
55 const VirtRegMap &VRM, const MachineLoopInfo &Loops,
56 const MachineBlockFrequencyInfo &MBFI)
57 : MF(MF), LIS(LIS), VRM(VRM), Loops(Loops), MBFI(MBFI) {}
58
59 virtual ~VirtRegAuxInfo() = default;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010060
Andrew Scullcdfcccc2018-10-05 20:58:37 +010061 /// (re)compute li's spill weight and allocation hint.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020062 void calculateSpillWeightAndHint(LiveInterval &LI);
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010063
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020064 /// Compute future expected spill weight of a split artifact of LI
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010065 /// that will span between start and end slot indexes.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020066 /// \param LI The live interval to be split.
67 /// \param Start The expected beginning of the split artifact. Instructions
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010068 /// before start will not affect the weight.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020069 /// \param End The expected end of the split artifact. Instructions
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010070 /// after end will not affect the weight.
71 /// \return The expected spill weight of the split artifact. Returns
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020072 /// negative weight for unspillable LI.
73 float futureWeight(LiveInterval &LI, SlotIndex Start, SlotIndex End);
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010074
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020075 /// Compute spill weights and allocation hints for all virtual register
76 /// live intervals.
77 void calculateSpillWeightsAndHints();
78
79 protected:
Andrew Scullcdfcccc2018-10-05 20:58:37 +010080 /// Helper function for weight calculations.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020081 /// (Re)compute LI's spill weight and allocation hint, or, for non null
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010082 /// start and end - compute future expected spill weight of a split
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020083 /// artifact of LI that will span between start and end slot indexes.
84 /// \param LI The live interval for which to compute the weight.
85 /// \param Start The expected beginning of the split artifact. Instructions
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010086 /// before start will not affect the weight. Relevant for
87 /// weight calculation of future split artifact.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020088 /// \param End The expected end of the split artifact. Instructions
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010089 /// after end will not affect the weight. Relevant for
90 /// weight calculation of future split artifact.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020091 /// \return The spill weight. Returns negative weight for unspillable LI.
92 float weightCalcHelper(LiveInterval &LI, SlotIndex *Start = nullptr,
93 SlotIndex *End = nullptr);
94
95 /// Weight normalization function.
96 virtual float normalize(float UseDefFreq, unsigned Size,
97 unsigned NumInstr) {
98 return normalizeSpillWeight(UseDefFreq, Size, NumInstr);
99 }
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100100 };
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100101} // end namespace llvm
102
103#endif // LLVM_CODEGEN_CALCSPILLWEIGHTS_H