Skip to content

Commit f92ce62

Browse files
powerboat9powerboat9
committed
Allow early resolution to use the language prelude
gcc/rust/ChangeLog: * Make-lang.in (GRS_OBJS): Add "rust-resolve-builtins.o". * resolve/rust-late-name-resolver-2.0.cc: Include "rust-resolve-builtins.h". (next_node_id): Remove function. (next_hir_id): Likewise. (Late::setup_builtin_types): Likewise. (Late::go): Use Builtins::setup_type_ctx instead of Late::setup_builtin_types. * resolve/rust-late-name-resolver-2.0.h (Late::setup_builtin_types): Remove function. * rust-session-manager.cc: Include "rust-resolve-builtins.h". (Session::expansion): Call Builtins::setup_lang_prelude. * resolve/rust-resolve-builtins.cc: New file. * resolve/rust-resolve-builtins.h: New file. gcc/testsuite/ChangeLog: * rust/compile/primitive-import.rs: New test. Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>
1 parent 85ec714 commit f92ce62

7 files changed

Lines changed: 158 additions & 78 deletions

File tree

‎gcc/rust/Make-lang.in‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -149,6 +149,7 @@ GRS_OBJS = \
149149
rust/rust-immutable-name-resolution-context.o \
150150
rust/rust-early-name-resolver.o \
151151
rust/rust-name-resolver.o \
152+
rust/rust-resolve-builtins.o \
152153
rust/rust-ast-resolve.o \
153154
rust/rust-ast-resolve-base.o \
154155
rust/rust-ast-resolve-item.o \

‎gcc/rust/resolve/rust-late-name-resolver-2.0.cc‎

Lines changed: 2 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@
2424
#include "rust-late-name-resolver-2.0.h"
2525
#include "rust-default-resolver.h"
2626
#include "rust-name-resolution-context.h"
27+
#include "rust-resolve-builtins.h"
2728
#include "rust-path.h"
2829
#include "rust-system.h"
2930
#include "rust-tyty.h"
@@ -38,84 +39,10 @@ Late::Late (NameResolutionContext &ctx)
3839
: DefaultResolver (ctx), funny_error (false), block_big_self (false)
3940
{}
4041

41-
static NodeId
42-
next_node_id ()
43-
{
44-
return Analysis::Mappings::get ().get_next_node_id ();
45-
};
46-
47-
static HirId
48-
next_hir_id ()
49-
{
50-
return Analysis::Mappings::get ().get_next_hir_id ();
51-
};
52-
53-
void
54-
Late::setup_builtin_types ()
55-
{
56-
// access the global type context to setup the TyTys
57-
auto &ty_ctx = *Resolver::TypeCheckContext::get ();
58-
59-
// Late builtin type struct helper
60-
struct LType
61-
{
62-
std::string name;
63-
NodeId node_id;
64-
NodeId hir_id;
65-
TyTy::BaseType *type;
66-
67-
explicit LType (std::string name, TyTy::BaseType *type)
68-
: name (name), node_id (next_node_id ()), hir_id (type->get_ref ()),
69-
type (type)
70-
{}
71-
};
72-
73-
static const LType builtins[] = {
74-
{LType ("bool", new TyTy::BoolType (next_hir_id ()))},
75-
{LType ("u8", new TyTy::UintType (next_hir_id (), TyTy::UintType::U8))},
76-
{LType ("u16", new TyTy::UintType (next_hir_id (), TyTy::UintType::U16))},
77-
{LType ("u32", new TyTy::UintType (next_hir_id (), TyTy::UintType::U32))},
78-
{LType ("u64", new TyTy::UintType (next_hir_id (), TyTy::UintType::U64))},
79-
{LType ("u128", new TyTy::UintType (next_hir_id (), TyTy::UintType::U128))},
80-
{LType ("i8", new TyTy::IntType (next_hir_id (), TyTy::IntType::I8))},
81-
{LType ("i16", new TyTy::IntType (next_hir_id (), TyTy::IntType::I16))},
82-
{LType ("i32", new TyTy::IntType (next_hir_id (), TyTy::IntType::I32))},
83-
{LType ("i64", new TyTy::IntType (next_hir_id (), TyTy::IntType::I64))},
84-
{LType ("i128", new TyTy::IntType (next_hir_id (), TyTy::IntType::I128))},
85-
{LType ("f32", new TyTy::FloatType (next_hir_id (), TyTy::FloatType::F32))},
86-
{LType ("f64", new TyTy::FloatType (next_hir_id (), TyTy::FloatType::F64))},
87-
{LType ("usize", new TyTy::USizeType (next_hir_id ()))},
88-
{LType ("isize", new TyTy::ISizeType (next_hir_id ()))},
89-
{LType ("char", new TyTy::CharType (next_hir_id ()))},
90-
{LType ("str", new TyTy::StrType (next_hir_id ()))},
91-
{LType ("!", new TyTy::NeverType (next_hir_id ()))},
92-
93-
// the unit type `()` does not play a part in name-resolution - so we only
94-
// insert it in the type context...
95-
};
96-
97-
// There's a special Rib for putting prelude items, since prelude items need
98-
// to satisfy certain special rules.
99-
ctx.scoped (Rib::Kind::Prelude, 0, [this, &ty_ctx] (void) -> void {
100-
for (const auto &builtin : builtins)
101-
{
102-
auto ok = ctx.types.insert (builtin.name, builtin.node_id);
103-
rust_assert (ok);
104-
105-
ctx.mappings.insert_node_to_hir (builtin.node_id, builtin.hir_id);
106-
ty_ctx.insert_builtin (builtin.hir_id, builtin.node_id, builtin.type);
107-
}
108-
});
109-
110-
// ...here!
111-
auto *unit_type = TyTy::TupleType::get_unit_type ();
112-
ty_ctx.insert_builtin (unit_type->get_ref (), next_node_id (), unit_type);
113-
}
114-
11542
void
11643
Late::go (AST::Crate &crate)
11744
{
118-
setup_builtin_types ();
45+
Builtins::setup_type_ctx ();
11946

12047
visit (crate);
12148
}

‎gcc/rust/resolve/rust-late-name-resolver-2.0.h‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -75,9 +75,6 @@ class Late : public DefaultResolver
7575
private:
7676
void resolve_label (AST::Lifetime &lifetime);
7777

78-
/* Setup Rust's builtin types (u8, i32, !...) in the resolver */
79-
void setup_builtin_types ();
80-
8178
bool funny_error;
8279

8380
/* used to prevent "impl Self {}", "impl (Self, i32) {}", etc */

‎gcc/rust/resolve/rust-resolve-builtins.cc‎

Lines changed: 107 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,107 @@
1+
// Copyright (C) 2025 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+
#include "rust-resolve-builtins.h"
20+
#include "rust-name-resolution-context.h"
21+
#include "rust-tyty.h"
22+
#include "rust-hir-type-check.h"
23+
24+
namespace Rust {
25+
namespace Resolver2_0 {
26+
namespace Builtins {
27+
28+
class TypeBuilder
29+
{
30+
public:
31+
constexpr TypeBuilder (const char *name, TyTy::BaseType *(*type_gen) (HirId))
32+
: name (name), type_gen (type_gen)
33+
{}
34+
35+
std::string create_name () const { return name; }
36+
37+
TyTy::BaseType *create_type (HirId hir_id) const { return type_gen (hir_id); }
38+
39+
private:
40+
const char *name;
41+
TyTy::BaseType *(*type_gen) (HirId);
42+
};
43+
44+
#define GEN_DEF(name, expr) \
45+
TypeBuilder ((name), [] (HirId hir_id) -> TyTy::BaseType * { return (expr); })
46+
47+
static constexpr TypeBuilder builtins[]
48+
= {GEN_DEF ("bool", new TyTy::BoolType (hir_id)),
49+
GEN_DEF ("u8", new TyTy::UintType (hir_id, TyTy::UintType::U8)),
50+
GEN_DEF ("u16", new TyTy::UintType (hir_id, TyTy::UintType::U16)),
51+
GEN_DEF ("u32", new TyTy::UintType (hir_id, TyTy::UintType::U32)),
52+
GEN_DEF ("u64", new TyTy::UintType (hir_id, TyTy::UintType::U64)),
53+
GEN_DEF ("u128", new TyTy::UintType (hir_id, TyTy::UintType::U128)),
54+
GEN_DEF ("i8", new TyTy::IntType (hir_id, TyTy::IntType::I8)),
55+
GEN_DEF ("i16", new TyTy::IntType (hir_id, TyTy::IntType::I16)),
56+
GEN_DEF ("i32", new TyTy::IntType (hir_id, TyTy::IntType::I32)),
57+
GEN_DEF ("i64", new TyTy::IntType (hir_id, TyTy::IntType::I64)),
58+
GEN_DEF ("i128", new TyTy::IntType (hir_id, TyTy::IntType::I128)),
59+
GEN_DEF ("f32", new TyTy::FloatType (hir_id, TyTy::FloatType::F32)),
60+
GEN_DEF ("f64", new TyTy::FloatType (hir_id, TyTy::FloatType::F64)),
61+
GEN_DEF ("usize", new TyTy::USizeType (hir_id)),
62+
GEN_DEF ("isize", new TyTy::ISizeType (hir_id)),
63+
GEN_DEF ("char", new TyTy::CharType (hir_id)),
64+
GEN_DEF ("str", new TyTy::StrType (hir_id)),
65+
GEN_DEF ("!", new TyTy::NeverType (hir_id))};
66+
67+
static NodeId builtin_node_ids[sizeof (builtins) / sizeof (TypeBuilder)];
68+
69+
void
70+
setup_lang_prelude (NameResolutionContext &ctx)
71+
{
72+
auto &mappings = Analysis::Mappings::get ();
73+
74+
// insert into prelude rib
75+
ctx.scoped (Rib::Kind::Prelude, 0, [&mappings, &ctx] (void) -> void {
76+
for (size_t i = 0; i < sizeof (builtins) / sizeof (TypeBuilder); i++)
77+
{
78+
NodeId node_id = mappings.get_next_node_id ();
79+
rust_assert (ctx.types.insert (builtins[i].create_name (), node_id));
80+
builtin_node_ids[i] = node_id;
81+
}
82+
});
83+
}
84+
85+
void
86+
setup_type_ctx ()
87+
{
88+
auto &mappings = Analysis::Mappings::get ();
89+
auto &ty_ctx = *Resolver::TypeCheckContext::get ();
90+
91+
for (size_t i = 0; i < sizeof (builtins) / sizeof (TypeBuilder); i++)
92+
{
93+
NodeId node_id = builtin_node_ids[i];
94+
HirId hir_id = mappings.get_next_hir_id ();
95+
mappings.insert_node_to_hir (node_id, hir_id);
96+
ty_ctx.insert_builtin (hir_id, node_id, builtins[i].create_type (hir_id));
97+
}
98+
99+
// handle unit type separately
100+
auto *unit_type = TyTy::TupleType::get_unit_type ();
101+
ty_ctx.insert_builtin (unit_type->get_ref (), mappings.get_next_node_id (),
102+
unit_type);
103+
}
104+
105+
} // namespace Builtins
106+
} // namespace Resolver2_0
107+
} // namespace Rust

‎gcc/rust/resolve/rust-resolve-builtins.h‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
// Copyright (C) 2025 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_RESOLVE_BUILTINS_H
20+
#define RUST_RESOLVE_BUILTINS_H
21+
22+
namespace Rust {
23+
namespace Resolver2_0 {
24+
25+
// forward declare
26+
class NameResolutionContext;
27+
28+
namespace Builtins {
29+
30+
void setup_lang_prelude (NameResolutionContext &ctx);
31+
void setup_type_ctx ();
32+
33+
} // namespace Builtins
34+
} // namespace Resolver2_0
35+
} // namespace Rust
36+
37+
#endif // RUST_RESOLVE_BUILTINS_H

‎gcc/rust/rust-session-manager.cc‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@
5050
#include "rust-name-resolution-context.h"
5151
#include "rust-early-name-resolver-2.0.h"
5252
#include "rust-late-name-resolver-2.0.h"
53+
#include "rust-resolve-builtins.h"
5354
#include "rust-cfg-strip.h"
5455
#include "rust-expand-visitor.h"
5556
#include "rust-unicode.h"
@@ -936,6 +937,9 @@ Session::expansion (AST::Crate &crate, Resolver2_0::NameResolutionContext &ctx)
936937
MacroExpander expander (crate, cfg, *this);
937938
std::vector<Error> macro_errors;
938939

940+
if (flag_name_resolution_2_0)
941+
Builtins::setup_lang_prelude (ctx);
942+
939943
while (!fixed_point_reached && iterations < cfg.recursion_limit)
940944
{
941945
CfgStrip ().go (crate);

‎gcc/testsuite/rust/compile/primitive-import.rs‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
mod primitive {
2+
pub use i32;
3+
}
4+
5+
pub fn foo() -> primitive::i32 {
6+
1
7+
}

0 commit comments

Comments
 (0)