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
|
/*
* MRustC - Rust Compiler
* - By John Hodge (Mutabah/thePowersGang)
*
* trans/target.hpp
* - Target-specific information
*/
#pragma once
#include <cstddef>
#include <hir/type.hpp>
#include <hir_typeck/static.hpp>
enum class CodegenMode
{
Gnu11,
Msvc,
};
struct TargetArch
{
::std::string m_name;
unsigned m_pointer_bits;
bool m_big_endian;
struct {
bool u8;
bool u16;
bool u32;
bool u64;
bool ptr;
} m_atomics;
};
struct BackendOptsC
{
CodegenMode m_codegen_mode;
::std::string m_c_compiler; // MSVC arch / GNU triplet
::std::vector< ::std::string> m_compiler_opts;
::std::vector< ::std::string> m_linker_opts;
};
struct TargetSpec
{
::std::string m_family;
::std::string m_os_name;
::std::string m_env_name;
BackendOptsC m_backend_c;
TargetArch m_arch;
};
struct TypeRepr
{
size_t align = 0;
size_t size = 0;
struct FieldPath {
size_t index;
size_t size;
::std::vector<size_t> sub_fields;
};
TAGGED_UNION(VariantMode, None,
(None, struct {
}),
// Tag is a fixed set of values in an offset.
(Values, struct {
FieldPath field;
::std::vector<uint64_t> values;
}),
// Tag is based on a range of values
//(Ranges, struct {
// size_t offset;
// size_t size;
// ::std::vector<::std::pair<uint64_t,uint64_t>> values;
// }),
// Tag is a boolean based on if a region is zero/non-zero
// Only valid for two-element enums
(NonZero, struct {
FieldPath field;
uint8_t zero_variant;
})
);
VariantMode variants;
struct Field {
size_t offset;
::HIR::TypeRef ty;
};
::std::vector<Field> fields;
};
extern const TargetSpec& Target_GetCurSpec();
extern void Target_SetCfg(const ::std::string& target_name);
extern void Target_ExportCurSpec(const ::std::string& filename);
extern bool Target_GetSizeOf(const Span& sp, const StaticTraitResolve& resolve, const ::HIR::TypeRef& ty, size_t& out_size);
extern bool Target_GetAlignOf(const Span& sp, const StaticTraitResolve& resolve, const ::HIR::TypeRef& ty, size_t& out_align);
extern bool Target_GetSizeAndAlignOf(const Span& sp, const StaticTraitResolve& resolve, const ::HIR::TypeRef& ty, size_t& out_size, size_t& out_align);
extern const TypeRepr* Target_GetTypeRepr(const Span& sp, const StaticTraitResolve& resolve, const ::HIR::TypeRef& ty);
extern const ::HIR::TypeRef& Target_GetInnerType(const Span& sp, const StaticTraitResolve& resolve, const TypeRepr& repr, size_t idx, const ::std::vector<size_t>& sub_fields={}, size_t ofs=0);
|