1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
// SPDX-License-Identifier: GPL-3.0-or-later
#ifndef RCC_CODEGEN_LIVEVARIABLES_H
#define RCC_CODEGEN_LIVEVARIABLES_H
#include "rcc/CodeGen/LiveRegUnits.h"
#include "rcc/CodeGen/MachinePassManager.h"
#include "rcc/CodeGen/Register.h"
#include "rcc/Support/Error.h"
#include <cstddef>
#include <cstdint>
#include <string_view>
#include <unordered_map>
namespace rcc {
class MachineBasicBlock;
class MachineFunction;
class TargetDescription;
class RegisterLaneSet final {
public:
[[nodiscard]] LaneMask lanes(Register Reg) const noexcept;
[[nodiscard]] bool contains(Register Reg, LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool intersects(Register Reg, LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool empty() const noexcept {
return Values.empty();
}
void add(Register Reg, LaneMask Lanes);
void remove(Register Reg, LaneMask Lanes);
void unite(const RegisterLaneSet &Other);
void subtract(const RegisterLaneSet &Other);
[[nodiscard]] const std::unordered_map<Register, LaneMask> &entries() const noexcept {
return Values;
}
friend bool operator==(const RegisterLaneSet &, const RegisterLaneSet &) = default;
private:
std::unordered_map<Register, LaneMask> Values;
};
struct MachineBlockLiveness final {
RegisterLaneSet VirtualUses;
RegisterLaneSet VirtualDefs;
RegisterLaneSet VirtualLiveIn;
RegisterLaneSet VirtualLiveOut;
LiveRegUnits PhysicalUses;
LiveRegUnits PhysicalDefs;
LiveRegUnits PhysicalLiveIn;
LiveRegUnits PhysicalLiveOut;
};
class LiveVariablesAnalysis final {
public:
class Result final {
public:
[[nodiscard]] MachineBlockLiveness &getOrCreateBlock(const MachineBasicBlock &Block);
[[nodiscard]] const MachineBlockLiveness *block(const MachineBasicBlock &Block) const noexcept;
[[nodiscard]] bool isLiveIn(const MachineBasicBlock &Block, Register Reg,
LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool isLiveOut(const MachineBasicBlock &Block, Register Reg,
LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool isUnitLiveIn(const MachineBasicBlock &Block, RegisterUnitID Unit,
LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool isUnitLiveOut(const MachineBasicBlock &Block, RegisterUnitID Unit,
LaneMask Lanes = LaneMask::all()) const noexcept;
[[nodiscard]] bool invalidate(const MachineFunction &,
const PreservedAnalyses &Preserved) const noexcept;
private:
std::unordered_map<const MachineBasicBlock *, MachineBlockLiveness> Blocks;
friend class LiveVariablesAnalysis;
};
[[nodiscard]] static constexpr std::string_view name() noexcept {
return "LiveVariables";
}
[[nodiscard]] static Expected<Result> run(MachineFunction &Function,
const TargetDescription &Target,
MachineFunctionAnalysisManager &Analyses);
};
class RebuildMachineLivenessPass final : public MachineFunctionPass {
public:
[[nodiscard]] const MachinePassContract &contract() const noexcept override;
[[nodiscard]] Expected<MachinePassResult> run(MachineFunction &Function,
const TargetDescription &Target,
MachineFunctionAnalysisManager &Analyses) override;
};
[[nodiscard]] Expected<void> verifyTrackedMachineLiveness(const MachineFunction &Function,
const TargetDescription &Target);
[[nodiscard]] Expected<bool> rebuildMachineLiveness(MachineFunction &Function,
const TargetDescription &Target);
} // namespace rcc
#endif // RCC_CODEGEN_LIVEVARIABLES_H
|
