Skip to content

Commit 701fd96

Browse files
committed
Initial support for dynamically linked crates
1 parent 90f5eab commit 701fd96

File tree

64 files changed

+1478
-123
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

64 files changed

+1478
-123
lines changed

compiler/rustc_ast_lowering/src/item.rs

+3-1
Original file line numberDiff line numberDiff line change
@@ -1240,7 +1240,9 @@ impl<'hir> LoweringContext<'_, 'hir> {
12401240
// create a fake body so that the entire rest of the compiler doesn't have to deal with
12411241
// this as a special case.
12421242
return self.lower_fn_body(decl, contract, |this| {
1243-
if attrs.iter().any(|a| a.name_or_empty() == sym::rustc_intrinsic) {
1243+
if attrs.iter().any(|a| a.name_or_empty() == sym::rustc_intrinsic)
1244+
|| this.tcx.is_sdylib_interface_build()
1245+
{
12441246
let span = this.lower_span(span);
12451247
let empty_block = hir::Block {
12461248
hir_id: this.next_id(),

compiler/rustc_ast_passes/src/ast_validation.rs

+6-2
Original file line numberDiff line numberDiff line change
@@ -82,6 +82,8 @@ struct AstValidator<'a> {
8282
/// Used to ban explicit safety on foreign items when the extern block is not marked as unsafe.
8383
extern_mod_safety: Option<Safety>,
8484

85+
is_sdylib_interface: bool,
86+
8587
lint_buffer: &'a mut LintBuffer,
8688
}
8789

@@ -926,7 +928,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
926928

927929
let is_intrinsic =
928930
item.attrs.iter().any(|a| a.name_or_empty() == sym::rustc_intrinsic);
929-
if body.is_none() && !is_intrinsic {
931+
if body.is_none() && !is_intrinsic && !self.is_sdylib_interface {
930932
self.dcx().emit_err(errors::FnWithoutBody {
931933
span: item.span,
932934
replace_span: self.ending_semi_or_hi(item.span),
@@ -1423,7 +1425,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
14231425
});
14241426
}
14251427
AssocItemKind::Fn(box Fn { body, .. }) => {
1426-
if body.is_none() {
1428+
if body.is_none() && !self.is_sdylib_interface {
14271429
self.dcx().emit_err(errors::AssocFnWithoutBody {
14281430
span: item.span,
14291431
replace_span: self.ending_semi_or_hi(item.span),
@@ -1673,6 +1675,7 @@ pub fn check_crate(
16731675
sess: &Session,
16741676
features: &Features,
16751677
krate: &Crate,
1678+
is_sdylib_interface: bool,
16761679
lints: &mut LintBuffer,
16771680
) -> bool {
16781681
let mut validator = AstValidator {
@@ -1684,6 +1687,7 @@ pub fn check_crate(
16841687
outer_impl_trait: None,
16851688
disallow_tilde_const: Some(TildeConstReason::Item),
16861689
extern_mod_safety: None,
1690+
is_sdylib_interface,
16871691
lint_buffer: lints,
16881692
};
16891693
visit::walk_crate(&mut validator, krate);

compiler/rustc_ast_pretty/src/pprust/mod.rs

+3-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,9 @@ use std::borrow::Cow;
77
use rustc_ast as ast;
88
use rustc_ast::token::{Nonterminal, Token, TokenKind};
99
use rustc_ast::tokenstream::{TokenStream, TokenTree};
10-
pub use state::{AnnNode, Comments, PpAnn, PrintState, State, print_crate};
10+
pub use state::{
11+
AnnNode, Comments, PpAnn, PrintState, State, print_crate, print_crate_as_interface,
12+
};
1113

1214
pub fn nonterminal_to_string(nt: &Nonterminal) -> String {
1315
State::new().nonterminal_to_string(nt)

compiler/rustc_ast_pretty/src/pprust/state.rs

+32-4
Original file line numberDiff line numberDiff line change
@@ -221,6 +221,7 @@ pub struct State<'a> {
221221
pub s: pp::Printer,
222222
comments: Option<Comments<'a>>,
223223
ann: &'a (dyn PpAnn + 'a),
224+
is_sdylib_interface: bool,
224225
}
225226

226227
const INDENT_UNIT: isize = 4;
@@ -236,10 +237,39 @@ pub fn print_crate<'a>(
236237
is_expanded: bool,
237238
edition: Edition,
238239
g: &AttrIdGenerator,
240+
) -> String {
241+
let mut s = State {
242+
s: pp::Printer::new(),
243+
comments: Some(Comments::new(sm, filename, input)),
244+
ann,
245+
is_sdylib_interface: false,
246+
};
247+
248+
print_crate_inner(&mut s, krate, is_expanded, edition, g);
249+
250+
s.ann.post(&mut s, AnnNode::Crate(krate));
251+
s.s.eof()
252+
}
253+
254+
pub fn print_crate_as_interface(
255+
krate: &ast::Crate,
256+
edition: Edition,
257+
g: &AttrIdGenerator,
239258
) -> String {
240259
let mut s =
241-
State { s: pp::Printer::new(), comments: Some(Comments::new(sm, filename, input)), ann };
260+
State { s: pp::Printer::new(), comments: None, ann: &NoAnn, is_sdylib_interface: true };
242261

262+
print_crate_inner(&mut s, krate, false, edition, g);
263+
s.s.eof()
264+
}
265+
266+
fn print_crate_inner<'a>(
267+
s: &mut State<'a>,
268+
krate: &ast::Crate,
269+
is_expanded: bool,
270+
edition: Edition,
271+
g: &AttrIdGenerator,
272+
) {
243273
if is_expanded && !krate.attrs.iter().any(|attr| attr.has_name(sym::no_core)) {
244274
// We need to print `#![no_std]` (and its feature gate) so that
245275
// compiling pretty-printed source won't inject libstd again.
@@ -277,8 +307,6 @@ pub fn print_crate<'a>(
277307
s.print_item(item);
278308
}
279309
s.print_remaining_comments();
280-
s.ann.post(&mut s, AnnNode::Crate(krate));
281-
s.s.eof()
282310
}
283311

284312
/// Should two consecutive tokens be printed with a space between them?
@@ -1093,7 +1121,7 @@ impl<'a> PrintState<'a> for State<'a> {
10931121

10941122
impl<'a> State<'a> {
10951123
pub fn new() -> State<'a> {
1096-
State { s: pp::Printer::new(), comments: None, ann: &NoAnn }
1124+
State { s: pp::Printer::new(), comments: None, ann: &NoAnn, is_sdylib_interface: false }
10971125
}
10981126

10991127
fn commasep_cmnt<T, F, G>(&mut self, b: Breaks, elts: &[T], mut op: F, mut get_span: G)

compiler/rustc_ast_pretty/src/pprust/state/item.rs

+10
Original file line numberDiff line numberDiff line change
@@ -150,6 +150,10 @@ impl<'a> State<'a> {
150150

151151
/// Pretty-prints an item.
152152
pub(crate) fn print_item(&mut self, item: &ast::Item) {
153+
if self.is_sdylib_interface && item.span.is_dummy() {
154+
// Do not print prelude for interface files.
155+
return;
156+
}
153157
self.hardbreak_if_not_bol();
154158
self.maybe_print_comment(item.span.lo());
155159
self.print_outer_attributes(&item.attrs);
@@ -670,6 +674,12 @@ impl<'a> State<'a> {
670674
self.nbsp();
671675
self.print_contract(contract);
672676
}
677+
if self.is_sdylib_interface {
678+
self.word(";");
679+
self.end(); // end inner head-block
680+
self.end(); // end outer head-block
681+
return;
682+
}
673683
if let Some(body) = body {
674684
self.nbsp();
675685
self.print_block_with_attrs(body, attrs);

compiler/rustc_codegen_gcc/src/back/lto.rs

+5-1
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,11 @@ use crate::{GccCodegenBackend, GccContext, SyncContext, to_gcc_opt_level};
4444

4545
pub fn crate_type_allows_lto(crate_type: CrateType) -> bool {
4646
match crate_type {
47-
CrateType::Executable | CrateType::Dylib | CrateType::Staticlib | CrateType::Cdylib => true,
47+
CrateType::Executable
48+
| CrateType::Dylib
49+
| CrateType::Staticlib
50+
| CrateType::Cdylib
51+
| CrateType::Sdylib => true,
4852
CrateType::Rlib | CrateType::ProcMacro => false,
4953
}
5054
}

compiler/rustc_codegen_llvm/src/back/lto.rs

+2-1
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,8 @@ fn crate_type_allows_lto(crate_type: CrateType) -> bool {
4141
| CrateType::Dylib
4242
| CrateType::Staticlib
4343
| CrateType::Cdylib
44-
| CrateType::ProcMacro => true,
44+
| CrateType::ProcMacro
45+
| CrateType::Sdylib => true,
4546
CrateType::Rlib => false,
4647
}
4748
}

compiler/rustc_codegen_llvm/src/debuginfo/gdb.rs

+5-1
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,11 @@ pub(crate) fn needs_gdb_debug_scripts_section(cx: &CodegenCx<'_, '_>) -> bool {
9595
// in the `.debug_gdb_scripts` section. For that reason, we make sure that the
9696
// section is only emitted for leaf crates.
9797
let embed_visualizers = cx.tcx.crate_types().iter().any(|&crate_type| match crate_type {
98-
CrateType::Executable | CrateType::Dylib | CrateType::Cdylib | CrateType::Staticlib => {
98+
CrateType::Executable
99+
| CrateType::Dylib
100+
| CrateType::Cdylib
101+
| CrateType::Staticlib
102+
| CrateType::Sdylib => {
99103
// These are crate types for which we will embed pretty printers since they
100104
// are treated as leaf crates.
101105
true

compiler/rustc_codegen_ssa/src/back/link.rs

+9-5
Original file line numberDiff line numberDiff line change
@@ -1050,9 +1050,10 @@ fn link_natively(
10501050
strip_with_external_utility(sess, stripcmd, out_filename, &["--strip-debug"])
10511051
}
10521052
// Per the manpage, `-x` is the maximum safe strip level for dynamic libraries. (#93988)
1053-
(Strip::Symbols, CrateType::Dylib | CrateType::Cdylib | CrateType::ProcMacro) => {
1054-
strip_with_external_utility(sess, stripcmd, out_filename, &["-x"])
1055-
}
1053+
(
1054+
Strip::Symbols,
1055+
CrateType::Dylib | CrateType::Cdylib | CrateType::ProcMacro | CrateType::Sdylib,
1056+
) => strip_with_external_utility(sess, stripcmd, out_filename, &["-x"]),
10561057
(Strip::Symbols, _) => {
10571058
strip_with_external_utility(sess, stripcmd, out_filename, &["--strip-all"])
10581059
}
@@ -1240,8 +1241,10 @@ fn add_sanitizer_libraries(
12401241
// which should be linked to both executables and dynamic libraries.
12411242
// Everywhere else the runtimes are currently distributed as static
12421243
// libraries which should be linked to executables only.
1243-
if matches!(crate_type, CrateType::Dylib | CrateType::Cdylib | CrateType::ProcMacro)
1244-
&& !(sess.target.is_like_osx || sess.target.is_like_msvc)
1244+
if matches!(
1245+
crate_type,
1246+
CrateType::Dylib | CrateType::Cdylib | CrateType::ProcMacro | CrateType::Sdylib
1247+
) && !(sess.target.is_like_osx || sess.target.is_like_msvc)
12451248
{
12461249
return;
12471250
}
@@ -1935,6 +1938,7 @@ fn add_late_link_args(
19351938
codegen_results: &CodegenResults,
19361939
) {
19371940
let any_dynamic_crate = crate_type == CrateType::Dylib
1941+
|| crate_type == CrateType::Sdylib
19381942
|| codegen_results.crate_info.dependency_formats.iter().any(|(ty, list)| {
19391943
*ty == crate_type && list.iter().any(|&linkage| linkage == Linkage::Dynamic)
19401944
});

compiler/rustc_codegen_ssa/src/back/linker.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1814,7 +1814,7 @@ pub(crate) fn linked_symbols(
18141814
crate_type: CrateType,
18151815
) -> Vec<(String, SymbolExportKind)> {
18161816
match crate_type {
1817-
CrateType::Executable | CrateType::Cdylib | CrateType::Dylib => (),
1817+
CrateType::Executable | CrateType::Cdylib | CrateType::Dylib | CrateType::Sdylib => (),
18181818
CrateType::Staticlib | CrateType::ProcMacro | CrateType::Rlib => {
18191819
return Vec::new();
18201820
}

compiler/rustc_codegen_ssa/src/back/symbol_export.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ fn crate_export_threshold(crate_type: CrateType) -> SymbolExportLevel {
2929
CrateType::Executable | CrateType::Staticlib | CrateType::ProcMacro | CrateType::Cdylib => {
3030
SymbolExportLevel::C
3131
}
32-
CrateType::Rlib | CrateType::Dylib => SymbolExportLevel::Rust,
32+
CrateType::Rlib | CrateType::Dylib | CrateType::Sdylib => SymbolExportLevel::Rust,
3333
}
3434
}
3535

@@ -45,7 +45,7 @@ pub fn crates_export_threshold(crate_types: &[CrateType]) -> SymbolExportLevel {
4545
}
4646

4747
fn reachable_non_generics_provider(tcx: TyCtxt<'_>, _: LocalCrate) -> DefIdMap<SymbolExportInfo> {
48-
if !tcx.sess.opts.output_types.should_codegen() {
48+
if !tcx.sess.opts.output_types.should_codegen() && !tcx.is_sdylib_interface_build() {
4949
return Default::default();
5050
}
5151

@@ -173,7 +173,7 @@ fn exported_symbols_provider_local(
173173
tcx: TyCtxt<'_>,
174174
_: LocalCrate,
175175
) -> &[(ExportedSymbol<'_>, SymbolExportInfo)] {
176-
if !tcx.sess.opts.output_types.should_codegen() {
176+
if !tcx.sess.opts.output_types.should_codegen() && !tcx.is_sdylib_interface_build() {
177177
return &[];
178178
}
179179

compiler/rustc_codegen_ssa/src/base.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1024,7 +1024,7 @@ impl CrateInfo {
10241024
}
10251025

10261026
let embed_visualizers = tcx.crate_types().iter().any(|&crate_type| match crate_type {
1027-
CrateType::Executable | CrateType::Dylib | CrateType::Cdylib => {
1027+
CrateType::Executable | CrateType::Dylib | CrateType::Cdylib | CrateType::Sdylib => {
10281028
// These are crate types for which we invoke the linker and can embed
10291029
// NatVis visualizers.
10301030
true

compiler/rustc_driver_impl/src/lib.rs

+5-2
Original file line numberDiff line numberDiff line change
@@ -56,8 +56,8 @@ use rustc_metadata::locator;
5656
use rustc_middle::ty::TyCtxt;
5757
use rustc_parse::{new_parser_from_file, new_parser_from_source_str, unwrap_or_emit_fatal};
5858
use rustc_session::config::{
59-
CG_OPTIONS, ErrorOutputType, Input, OptionDesc, OutFileName, OutputType, UnstableOptions,
60-
Z_OPTIONS, nightly_options, parse_target_triple,
59+
CG_OPTIONS, CrateType, ErrorOutputType, Input, OptionDesc, OutFileName, OutputType,
60+
UnstableOptions, Z_OPTIONS, nightly_options, parse_target_triple,
6161
};
6262
use rustc_session::getopts::{self, Matches};
6363
use rustc_session::lint::{Lint, LintId};
@@ -358,6 +358,8 @@ pub fn run_compiler(at_args: &[String], callbacks: &mut (dyn Callbacks + Send))
358358

359359
passes::write_dep_info(tcx);
360360

361+
passes::write_interface(tcx);
362+
361363
if sess.opts.output_types.contains_key(&OutputType::DepInfo)
362364
&& sess.opts.output_types.len() == 1
363365
{
@@ -794,6 +796,7 @@ fn print_crate_info(
794796
let supported_crate_types = CRATE_TYPES
795797
.iter()
796798
.filter(|(_, crate_type)| !invalid_output_for_target(&sess, *crate_type))
799+
.filter(|(_, crate_type)| *crate_type != CrateType::Sdylib)
797800
.map(|(crate_type_sym, _)| *crate_type_sym)
798801
.collect::<BTreeSet<_>>();
799802
for supported_crate_type in supported_crate_types {

compiler/rustc_feature/src/builtin_attrs.rs

+5
Original file line numberDiff line numberDiff line change
@@ -506,6 +506,11 @@ pub static BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
506506
naked_functions, experimental!(naked)
507507
),
508508

509+
gated!(
510+
export, Normal, template!(Word), WarnFollowing,
511+
EncodeCrossCrate::Yes, experimental!(export)
512+
),
513+
509514
// Testing:
510515
gated!(
511516
test_runner, CrateLevel, template!(List: "path"), ErrorFollowing,

compiler/rustc_feature/src/unstable.rs

+2
Original file line numberDiff line numberDiff line change
@@ -209,6 +209,8 @@ declare_features! (
209209
(internal, compiler_builtins, "1.13.0", None),
210210
/// Allows writing custom MIR
211211
(internal, custom_mir, "1.65.0", None),
212+
/// Allows using `#[export]` which indicates that an item is exportable.
213+
(internal, export, "CURRENT_RUSTC_VERSION", None),
212214
/// Outputs useful `assert!` messages
213215
(unstable, generic_assert, "1.63.0", None),
214216
/// Allows using the `rust-intrinsic`'s "ABI".

compiler/rustc_interface/src/passes.rs

+31-1
Original file line numberDiff line numberDiff line change
@@ -29,10 +29,11 @@ use rustc_resolve::Resolver;
2929
use rustc_session::config::{CrateType, Input, OutFileName, OutputFilenames, OutputType};
3030
use rustc_session::cstore::Untracked;
3131
use rustc_session::output::{collect_crate_types, filename_for_input};
32+
use rustc_session::parse::feature_err;
3233
use rustc_session::search_paths::PathKind;
3334
use rustc_session::{Limit, Session};
3435
use rustc_span::{
35-
ErrorGuaranteed, FileName, SourceFileHash, SourceFileHashAlgorithm, Span, Symbol, sym,
36+
DUMMY_SP, ErrorGuaranteed, FileName, SourceFileHash, SourceFileHashAlgorithm, Span, Symbol, sym,
3637
};
3738
use rustc_target::spec::PanicStrategy;
3839
use rustc_trait_selection::traits;
@@ -235,6 +236,7 @@ fn configure_and_expand(
235236
sess,
236237
features,
237238
&krate,
239+
tcx.is_sdylib_interface_build(),
238240
resolver.lint_buffer(),
239241
)
240242
});
@@ -251,6 +253,9 @@ fn configure_and_expand(
251253
sess.dcx().emit_err(errors::MixedProcMacroCrate);
252254
}
253255
}
256+
if crate_types.contains(&CrateType::Sdylib) && !tcx.features().export() {
257+
feature_err(sess, sym::export, DUMMY_SP, "`sdylib` crate type is unstable").emit();
258+
}
254259

255260
if is_proc_macro_crate && sess.panic_strategy() == PanicStrategy::Abort {
256261
sess.dcx().emit_warn(errors::ProcMacroCratePanicAbort);
@@ -715,6 +720,27 @@ pub fn write_dep_info(tcx: TyCtxt<'_>) {
715720
}
716721
}
717722

723+
pub fn write_interface<'tcx>(tcx: TyCtxt<'tcx>) {
724+
if !tcx.crate_types().contains(&rustc_session::config::CrateType::Sdylib)
725+
|| tcx.is_sdylib_interface_build()
726+
{
727+
return;
728+
}
729+
let _timer = tcx.sess.timer("write_interface");
730+
let (_, krate) = &*tcx.resolver_for_lowering().borrow();
731+
732+
let krate = rustc_ast_pretty::pprust::print_crate_as_interface(
733+
krate,
734+
tcx.sess.psess.edition,
735+
&tcx.sess.psess.attr_id_generator,
736+
);
737+
let export_output = tcx.output_filenames(()).interface_path();
738+
let mut file = fs::File::create_buffered(export_output).unwrap();
739+
if let Err(err) = write!(file, "{}", krate) {
740+
tcx.dcx().fatal(format!("error writing interface file: {}", err));
741+
}
742+
}
743+
718744
pub static DEFAULT_QUERY_PROVIDERS: LazyLock<Providers> = LazyLock::new(|| {
719745
let providers = &mut Providers::default();
720746
providers.analysis = analysis;
@@ -883,6 +909,10 @@ fn run_required_analyses(tcx: TyCtxt<'_>) {
883909
CStore::from_tcx(tcx).report_unused_deps(tcx);
884910
},
885911
{
912+
if tcx.crate_types().contains(&CrateType::Sdylib) {
913+
tcx.ensure_ok().exportable_items(LOCAL_CRATE);
914+
tcx.ensure_ok().stable_order_of_exportable_impls(LOCAL_CRATE);
915+
}
886916
tcx.par_hir_for_each_module(|module| {
887917
tcx.ensure_ok().check_mod_loops(module);
888918
tcx.ensure_ok().check_mod_attrs(module);

0 commit comments

Comments
 (0)