Skip to content

Commit f12a4fe

Browse files
authored
Unrolled build for #149180
Rollup merge of #149180 - bjorn3:lto_refactors9, r=dianqk Couple of refactors to SharedEmitter I was trying to get rid of a dedicated `inline_asm_error` method in favor the regular error methods on `DiagCtxt` to allow replacing `SharedEmitter` with `sess.dcx()` when running on the main thread, but the `sess.source_map().new_source_file()` for the inline asm snippets prevents doing this. I'm going to solve the original motivating problem in a different way for this reason, but I figured these refactors do improve things a tiny bit.
2 parents 4b1b6dd + 2a28013 commit f12a4fe

File tree

3 files changed

+34
-26
lines changed

3 files changed

+34
-26
lines changed

compiler/rustc_codegen_llvm/src/back/write.rs

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@ use libc::{c_char, c_int, c_void, size_t};
99
use rustc_codegen_ssa::back::link::ensure_removed;
1010
use rustc_codegen_ssa::back::versioned_llvm_target;
1111
use rustc_codegen_ssa::back::write::{
12-
BitcodeSection, CodegenContext, EmitObj, ModuleConfig, TargetMachineFactoryConfig,
13-
TargetMachineFactoryFn,
12+
BitcodeSection, CodegenContext, EmitObj, InlineAsmError, ModuleConfig,
13+
TargetMachineFactoryConfig, TargetMachineFactoryFn,
1414
};
1515
use rustc_codegen_ssa::base::wants_wasm_eh;
1616
use rustc_codegen_ssa::traits::*;
@@ -434,7 +434,7 @@ fn report_inline_asm(
434434
level: llvm::DiagnosticLevel,
435435
cookie: u64,
436436
source: Option<(String, Vec<InnerSpan>)>,
437-
) {
437+
) -> InlineAsmError {
438438
// In LTO build we may get srcloc values from other crates which are invalid
439439
// since they use a different source map. To be safe we just suppress these
440440
// in LTO builds.
@@ -454,7 +454,7 @@ fn report_inline_asm(
454454
llvm::DiagnosticLevel::Note | llvm::DiagnosticLevel::Remark => Level::Note,
455455
};
456456
let msg = msg.trim_prefix("error: ").to_string();
457-
cgcx.diag_emitter.inline_asm_error(span, msg, level, source);
457+
InlineAsmError { span, msg, level, source }
458458
}
459459

460460
unsafe extern "C" fn diagnostic_handler(info: &DiagnosticInfo, user: *mut c_void) {
@@ -466,7 +466,13 @@ unsafe extern "C" fn diagnostic_handler(info: &DiagnosticInfo, user: *mut c_void
466466

467467
match unsafe { llvm::diagnostic::Diagnostic::unpack(info) } {
468468
llvm::diagnostic::InlineAsm(inline) => {
469-
report_inline_asm(cgcx, inline.message, inline.level, inline.cookie, inline.source);
469+
cgcx.diag_emitter.inline_asm_error(report_inline_asm(
470+
cgcx,
471+
inline.message,
472+
inline.level,
473+
inline.cookie,
474+
inline.source,
475+
));
470476
}
471477

472478
llvm::diagnostic::Optimization(opt) => {

compiler/rustc_codegen_ssa/src/back/write.rs

Lines changed: 23 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1208,6 +1208,7 @@ pub struct CguMessage;
12081208
// - `is_lint`: lints aren't relevant during codegen.
12091209
// - `emitted_at`: not used for codegen diagnostics.
12101210
struct Diagnostic {
1211+
span: Vec<SpanData>,
12111212
level: Level,
12121213
messages: Vec<(DiagMessage, Style)>,
12131214
code: Option<ErrCode>,
@@ -1218,7 +1219,7 @@ struct Diagnostic {
12181219
// A cut-down version of `rustc_errors::Subdiag` that impls `Send`. It's
12191220
// missing the following fields from `rustc_errors::Subdiag`.
12201221
// - `span`: it doesn't impl `Send`.
1221-
pub(crate) struct Subdiagnostic {
1222+
struct Subdiagnostic {
12221223
level: Level,
12231224
messages: Vec<(DiagMessage, Style)>,
12241225
}
@@ -1897,10 +1898,17 @@ fn spawn_thin_lto_work<'a, B: ExtraBackendMethods>(
18971898

18981899
enum SharedEmitterMessage {
18991900
Diagnostic(Diagnostic),
1900-
InlineAsmError(SpanData, String, Level, Option<(String, Vec<InnerSpan>)>),
1901+
InlineAsmError(InlineAsmError),
19011902
Fatal(String),
19021903
}
19031904

1905+
pub struct InlineAsmError {
1906+
pub span: SpanData,
1907+
pub msg: String,
1908+
pub level: Level,
1909+
pub source: Option<(String, Vec<InnerSpan>)>,
1910+
}
1911+
19041912
#[derive(Clone)]
19051913
pub struct SharedEmitter {
19061914
sender: Sender<SharedEmitterMessage>,
@@ -1917,14 +1925,8 @@ impl SharedEmitter {
19171925
(SharedEmitter { sender }, SharedEmitterMain { receiver })
19181926
}
19191927

1920-
pub fn inline_asm_error(
1921-
&self,
1922-
span: SpanData,
1923-
msg: String,
1924-
level: Level,
1925-
source: Option<(String, Vec<InnerSpan>)>,
1926-
) {
1927-
drop(self.sender.send(SharedEmitterMessage::InlineAsmError(span, msg, level, source)));
1928+
pub fn inline_asm_error(&self, err: InlineAsmError) {
1929+
drop(self.sender.send(SharedEmitterMessage::InlineAsmError(err)));
19281930
}
19291931

19301932
fn fatal(&self, msg: &str) {
@@ -1940,7 +1942,7 @@ impl Emitter for SharedEmitter {
19401942
) {
19411943
// Check that we aren't missing anything interesting when converting to
19421944
// the cut-down local `DiagInner`.
1943-
assert_eq!(diag.span, MultiSpan::new());
1945+
assert!(!diag.span.has_span_labels());
19441946
assert_eq!(diag.suggestions, Suggestions::Enabled(vec![]));
19451947
assert_eq!(diag.sort_span, rustc_span::DUMMY_SP);
19461948
assert_eq!(diag.is_lint, None);
@@ -1949,6 +1951,7 @@ impl Emitter for SharedEmitter {
19491951
let args = mem::replace(&mut diag.args, DiagArgMap::default());
19501952
drop(
19511953
self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
1954+
span: diag.span.primary_spans().iter().map(|span| span.data()).collect::<Vec<_>>(),
19521955
level: diag.level(),
19531956
messages: diag.messages,
19541957
code: diag.code,
@@ -1993,6 +1996,9 @@ impl SharedEmitterMain {
19931996
let dcx = sess.dcx();
19941997
let mut d =
19951998
rustc_errors::DiagInner::new_with_messages(diag.level, diag.messages);
1999+
d.span = MultiSpan::from_spans(
2000+
diag.span.into_iter().map(|span| span.span()).collect(),
2001+
);
19962002
d.code = diag.code; // may be `None`, that's ok
19972003
d.children = diag
19982004
.children
@@ -2007,15 +2013,15 @@ impl SharedEmitterMain {
20072013
dcx.emit_diagnostic(d);
20082014
sess.dcx().abort_if_errors();
20092015
}
2010-
Ok(SharedEmitterMessage::InlineAsmError(span, msg, level, source)) => {
2011-
assert_matches!(level, Level::Error | Level::Warning | Level::Note);
2012-
let mut err = Diag::<()>::new(sess.dcx(), level, msg);
2013-
if !span.is_dummy() {
2014-
err.span(span.span());
2016+
Ok(SharedEmitterMessage::InlineAsmError(inner)) => {
2017+
assert_matches!(inner.level, Level::Error | Level::Warning | Level::Note);
2018+
let mut err = Diag::<()>::new(sess.dcx(), inner.level, inner.msg);
2019+
if !inner.span.is_dummy() {
2020+
err.span(inner.span.span());
20152021
}
20162022

20172023
// Point to the generated assembly if it is available.
2018-
if let Some((buffer, spans)) = source {
2024+
if let Some((buffer, spans)) = inner.source {
20192025
let source = sess
20202026
.source_map()
20212027
.new_source_file(FileName::inline_asm_source_code(&buffer), buffer);

compiler/rustc_error_messages/src/lib.rs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -455,10 +455,6 @@ impl MultiSpan {
455455
replacements_occurred
456456
}
457457

458-
pub fn pop_span_label(&mut self) -> Option<(Span, DiagMessage)> {
459-
self.span_labels.pop()
460-
}
461-
462458
/// Returns the strings to highlight. We always ensure that there
463459
/// is an entry for each of the primary spans -- for each primary
464460
/// span `P`, if there is at least one label with span `P`, we return

0 commit comments

Comments
 (0)