blob: c3d811d587973bf8e631b40e074733d741ddb591 (
plain)
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
|
// SPDX-License-Identifier: GPL-3.0-or-later
#ifndef RCC_CODEGEN_MACROFUSION_H
#define RCC_CODEGEN_MACROFUSION_H
#include "rcc/CodeGen/MachineIRTypes.h"
#include "rcc/Support/Error.h"
#include <cstdint>
#include <limits>
#include <span>
#include <string_view>
namespace rcc {
class MachineInstr;
class ScheduleDAG;
class TargetDescription;
enum class MacroFusionInstruction : std::uint8_t {
First,
Second,
};
struct MacroFusionOpcodePair final {
Opcode First;
Opcode Second;
};
struct MacroFusionImmediatePredicate final {
MacroFusionInstruction Instruction = MacroFusionInstruction::First;
std::uint32_t OperandIndex = 0;
std::int64_t Minimum = 0;
std::int64_t Maximum = 0;
};
struct MacroFusionRegisterInequality final {
MacroFusionInstruction Instruction = MacroFusionInstruction::First;
std::uint32_t LeftOperand = 0;
std::uint32_t RightOperand = 0;
};
struct MacroFusionImmediateRelation final {
std::uint32_t FirstOperand = 0;
std::uint32_t SecondOperand = 0;
};
struct MacroFusionRule final {
static constexpr std::uint32_t NoOperand = std::numeric_limits<std::uint32_t>::max();
std::string_view Name;
std::string_view Feature;
std::span<const Opcode> FirstOpcodes;
std::span<const Opcode> SecondOpcodes;
std::span<const MacroFusionOpcodePair> OpcodePairs;
std::span<const MacroFusionImmediatePredicate> ImmediatePredicates;
std::span<const MacroFusionRegisterInequality> RegisterInequalities;
std::span<const MacroFusionImmediateRelation> ImmediateRelations;
std::uint32_t FirstDefinitionOperand = 0;
std::uint32_t SecondUseOperand = 1;
std::uint32_t SecondDefinitionOperand = 0;
std::uint32_t CommutableSecondUseOperand = NoOperand;
bool RequireSingleNonDebugUse = false;
bool RequireSecondDestinationTie = false;
};
[[nodiscard]] bool matchesMacroFusion(const MacroFusionRule &Rule, const MachineInstr *First,
const MachineInstr &Second) noexcept;
[[nodiscard]] Expected<void> applyMacroFusion(ScheduleDAG &DAG,
std::span<const MacroFusionRule> Rules,
const TargetDescription &Target,
bool EmitDebugOutput);
} // namespace rcc
#endif // RCC_CODEGEN_MACROFUSION_H
|
