Line data Source code
1 : // Copyright (C) 2020-2026 Free Software Foundation, Inc.
2 :
3 : // This file is part of GCC.
4 :
5 : // GCC is free software; you can redistribute it and/or modify it under
6 : // the terms of the GNU General Public License as published by the Free
7 : // Software Foundation; either version 3, or (at your option) any later
8 : // version.
9 :
10 : // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
11 : // WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 : // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 : // for more details.
14 :
15 : // You should have received a copy of the GNU General Public License
16 : // along with GCC; see the file COPYING3. If not see
17 : // <http://www.gnu.org/licenses/>.
18 :
19 : #ifndef RUST_COMPILE_BASE
20 : #define RUST_COMPILE_BASE
21 :
22 : #include "rust-compile-context.h"
23 :
24 : namespace Rust {
25 : namespace Compile {
26 :
27 : class HIRCompileBase
28 : {
29 : public:
30 270254 : virtual ~HIRCompileBase () {}
31 :
32 : static tree address_expression (tree expr, location_t locus,
33 : tree ptrty = NULL_TREE);
34 :
35 : static tree compile_constant_expr (
36 : Context *ctx, HirId coercion_id, TyTy::BaseType *resolved_type,
37 : TyTy::BaseType *expected_type,
38 : const Resolver::CanonicalPath &canonical_path, HIR::Expr &const_value_expr,
39 : location_t locus, location_t expr_locus);
40 :
41 : static tree query_compile_const_expr (Context *ctx, TyTy::BaseType *expr_ty,
42 : HIR::Expr &const_value_expr);
43 :
44 : protected:
45 85569 : HIRCompileBase (Context *ctx) : ctx (ctx) {}
46 :
47 : Context *ctx;
48 :
49 : protected:
50 : Context *get_context () { return ctx; }
51 :
52 : tree coercion_site (HirId id, tree rvalue, TyTy::BaseType *actual,
53 : TyTy::BaseType *expected, location_t lvalue_locus,
54 : location_t rvalue_locus);
55 : tree coercion_site1 (tree rvalue, TyTy::BaseType *actual,
56 : TyTy::BaseType *expected, location_t lvalue_locus,
57 : location_t rvalue_locus);
58 :
59 : tree coerce_to_dyn_object (tree compiled_ref, TyTy::BaseType *actual,
60 : const TyTy::DynamicObjectType *ty,
61 : location_t locus);
62 :
63 : tree compute_address_for_trait_item (
64 : const Resolver::TraitItemReference *ref,
65 : const TyTy::TypeBoundPredicate *predicate,
66 : std::vector<std::pair<Resolver::TraitReference *, HIR::ImplBlock *>>
67 : &receiver_bounds,
68 : const TyTy::BaseType *receiver, const TyTy::BaseType *root,
69 : location_t locus);
70 :
71 : bool verify_array_capacities (tree ltype, tree rtype, location_t ltype_locus,
72 : location_t rtype_locus);
73 :
74 : tree query_compile (HirId ref, TyTy::BaseType *lookup,
75 : const HIR::PathIdentSegment &final_segment,
76 : const Analysis::NodeMapping &mappings,
77 : location_t expr_locus, bool is_qualified_path);
78 :
79 : tree resolve_adjustements (std::vector<Resolver::Adjustment> &adjustments,
80 : tree expression, location_t locus);
81 :
82 : tree resolve_deref_adjustment (Resolver::Adjustment &adjustment,
83 : tree expression, location_t locus);
84 :
85 : tree resolve_indirection_adjustment (Resolver::Adjustment &adjustment,
86 : tree expression, location_t locus);
87 :
88 : tree resolve_unsized_adjustment (Resolver::Adjustment &adjustment,
89 : tree expression, location_t locus);
90 :
91 : tree resolve_unsized_slice_adjustment (Resolver::Adjustment &adjustment,
92 : tree expression, location_t locus);
93 :
94 : tree resolve_unsized_dyn_adjustment (Resolver::Adjustment &adjustment,
95 : tree expression, location_t locus);
96 :
97 : tree resolve_method_address (TyTy::FnType *fntype, TyTy::BaseType *receiver,
98 : location_t expr_locus);
99 :
100 : void compile_function_body (tree fndecl, HIR::BlockExpr &function_body,
101 : TyTy::BaseType *fn_return_ty);
102 :
103 : tree compile_constant_item (HirId coercion_id, TyTy::BaseType *resolved_type,
104 : TyTy::BaseType *expected_type,
105 : const Resolver::CanonicalPath &canonical_path,
106 : HIR::Expr &const_value_expr, location_t locus,
107 : location_t expr_locus);
108 :
109 : tree compile_function (bool is_root_item, const std::string &fn_name,
110 : tl::optional<HIR::SelfParam> &self_param,
111 : std::vector<HIR::FunctionParam> &function_params,
112 : const HIR::FunctionQualifiers &qualifiers,
113 : HIR::Visibility &visibility, AST::AttrVec &outer_attrs,
114 : location_t locus, HIR::BlockExpr *function_body,
115 : const Resolver::CanonicalPath &canonical_path,
116 : TyTy::FnType *fntype);
117 :
118 : tree unit_expression (location_t locus);
119 :
120 : void setup_fndecl (tree fndecl, bool is_main_entry_point, bool is_generic_fn,
121 : HIR::Visibility &visibility,
122 : const HIR::FunctionQualifiers &qualifiers,
123 : const AST::AttrVec &attrs);
124 :
125 : static void handle_inline_attribute_on_fndecl (tree fndecl,
126 : const AST::Attribute &attr);
127 :
128 : void handle_bang_proc_macro_attribute_on_fndecl (tree fndecl,
129 : const AST::Attribute &attr);
130 :
131 : void
132 : handle_attribute_proc_macro_attribute_on_fndecl (tree fndecl,
133 : const AST::Attribute &attr);
134 :
135 : void
136 : handle_derive_proc_macro_attribute_on_fndecl (tree fndecl,
137 : const AST::Attribute &attr);
138 :
139 : static void handle_cold_attribute_on_fndecl (tree fndecl,
140 : const AST::Attribute &attr);
141 :
142 : static void handle_must_use_attribute_on_fndecl (tree fndecl,
143 : const AST::Attribute &attr);
144 :
145 : static void
146 : handle_link_section_attribute_on_fndecl (tree fndecl,
147 : const AST::Attribute &attr);
148 : static void
149 : handle_deprecated_attribute_on_fndecl (tree fndecl,
150 : const AST::Attribute &attr);
151 :
152 : static void handle_no_mangle_attribute_on_fndecl (tree fndecl,
153 : const AST::Attribute &attr);
154 :
155 : static void setup_abi_options (tree fndecl, ABI abi);
156 :
157 : static tree indirect_expression (tree expr, location_t locus);
158 :
159 : static bool mark_addressable (tree, location_t);
160 :
161 : static tree named_constant_expression (tree type_tree,
162 : const std::string &name,
163 : tree const_val, location_t location);
164 : };
165 :
166 : } // namespace Compile
167 : } // namespace Rust
168 :
169 : #endif // RUST_COMPILE_BASE
|
