6#include "CompilerConfig.hpp"
12 #error ARG is used as a temporary preprocessor macro
15#define ARG(x) std::declval<x>()
19class AssignmentPartRef;
24concept IsTrue = (B ==
true);
27concept ValueParts =
requires(T a) {
29 { a.count() } -> std::convertible_to<u32>;
32 { a.size_bytes(ARG(u32)) } -> std::convertible_to<u32>;
35 { a.reg_bank(ARG(u32)) } -> std::convertible_to<RegBank>;
39concept ValRefSpecialStruct =
requires(T a) {
41 { a.mode } -> std::same_as<uint8_t &>;
42 requires std::is_standard_layout_v<T>;
43 requires offsetof(T, mode) == 0;
46template <
typename T,
typename Config>
47concept Compiler = CompilerConfig<Config> &&
requires(T a) {
49 { T::NUM_FIXED_ASSIGNMENTS } -> SameBaseAs<u32[Config::NUM_BANKS]>;
52 { a.start_func(ARG(u32)) };
54 { a.gen_func_prolog_and_args(ARG(CCAssigner *)) };
58 { a.finish_func(ARG(u32)) };
61 { a.spill_reg(ARG(
typename Config::AsmReg), ARG(u32), ARG(u32)) };
64 { a.load_from_stack(ARG(
typename Config::AsmReg), ARG(u32), ARG(u32)) };
68 a.mov(ARG(
typename Config::AsmReg), ARG(
typename Config::AsmReg), ARG(u32))
73 a.gval_expr_as_reg(ARG(
typename T::GenericValuePart &))
74 } -> std::same_as<typename Config::AsmReg>;
77 a.select_fixed_assignment_reg(ARG(RegBank), ARG(
typename T::IRValueRef))
78 } -> std::same_as<typename Config::AsmReg>;
83 { a.cur_func_may_emit_calls() } -> std::convertible_to<bool>;
88 a.cur_personality_func()
89 } -> std::same_as<typename Config::Assembler::SymRef>;
94 { a.cur_cc_assigner() } -> std::convertible_to<CCAssigner *>;
97 a.try_force_fixed_assignment(ARG(
typename T::IRValueRef))
98 } -> std::convertible_to<bool>;
100 { a.val_parts(ARG(
typename T::IRValueRef)) } -> ValueParts;
105 requires ValRefSpecialStruct<typename T::ValRefSpecial>;
110 a.val_ref_special(ARG(
typename T::IRValueRef))
111 } -> std::same_as<std::optional<typename T::ValRefSpecial>>;
116 a.val_part_ref_special(ARG(
typename T::ValRefSpecial &), ARG(u32))
117 } -> std::same_as<typename T::ValuePartRef>;
123 { a.define_func_idx(ARG(
typename T::IRFuncRef), ARG(u32)) };
127 requires IsTrue<Config::DEFAULT_VAR_REF_HANDLING> ||
requires {
131 { a.setup_var_ref_assignments() };
137 a.load_address_of_var_reference(ARG(
typename Config::AsmReg),
138 ARG(AssignmentPartRef))
143 a.compile_inst(ARG(
typename T::IRInstRef), ARG(
typename T::InstRange))
144 } -> std::convertible_to<bool>;