diff options
| author | Richard-Qin-X <richard.qin.001@gmail.com> | 2026-08-01 16:07:24 +0800 |
|---|---|---|
| committer | Richard-Qin-X <richard.qin.001@gmail.com> | 2026-08-01 16:07:24 +0800 |
| commit | 924dcd36ebed84f04729de05ec08b311a36a04c1 (patch) | |
| tree | 300af742968d4d48915ef178855741f7087fc979 /backend/include/rcc/CodeGen/MachineVerifier.h | |
| parent | cfdbcc469f9691bd9dce3b0b86982a63d86ca6b7 (diff) | |
| download | rcc-project-924dcd36ebed84f04729de05ec08b311a36a04c1.tar.gz rcc-project-924dcd36ebed84f04729de05ec08b311a36a04c1.tar.xz | |
[CodeGen] Add target register descriptions
Introduce an immutable register topology for units, subregisters, classes, banks, and preserved masks. Bind instruction descriptors to this topology through TargetDescription so builders, cloning, and verification share one target-aware contract. Add the test-only TestTarget model and positive and negative target fact coverage.
Diffstat (limited to 'backend/include/rcc/CodeGen/MachineVerifier.h')
| -rw-r--r-- | backend/include/rcc/CodeGen/MachineVerifier.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/include/rcc/CodeGen/MachineVerifier.h b/backend/include/rcc/CodeGen/MachineVerifier.h index b1035a2..efe430e 100644 --- a/backend/include/rcc/CodeGen/MachineVerifier.h +++ b/backend/include/rcc/CodeGen/MachineVerifier.h @@ -3,7 +3,7 @@ #ifndef RCC_CODEGEN_MACHINEVERIFIER_H #define RCC_CODEGEN_MACHINEVERIFIER_H -#include "rcc/CodeGen/InstructionDescriptor.h" +#include "rcc/CodeGen/TargetDescription.h" #include "rcc/Support/Error.h" #include <cstdint> @@ -27,7 +27,7 @@ struct MachineVerifierOptions final { class MachineVerifier final { public: [[nodiscard]] static Expected<void> verify(const MachineFunction &Function, - const InstructionSet &Instructions, + const TargetDescription &Target, MachineVerifierOptions Options = {}); }; |
