Skip to content

Commit 68f11a1

Browse files
committed
Auto merge of #150089 - JonathanBrouwer:rollup-9nmxze1, r=JonathanBrouwer
Rollup of 3 pull requests Successful merges: - #150008 (Implement va_arg for Hexagon targets) - #150044 (Avoid unhelpful suggestion when crate name is invalid) - #150086 (Port `#[rustc_never_returns_null_ptr]` to attribute parser) r? `@ghost` `@rustbot` modify labels: rollup
2 parents f2c7087 + 84d441f commit 68f11a1

File tree

11 files changed

+159
-15
lines changed

11 files changed

+159
-15
lines changed

compiler/rustc_attr_parsing/src/attributes/rustc_internal.rs

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,21 @@ impl<S: Stage> NoArgsAttributeParser<S> for RustcMainParser {
1313
const CREATE: fn(Span) -> AttributeKind = |_| AttributeKind::RustcMain;
1414
}
1515

16+
pub(crate) struct RustcNeverReturnsNullPointerParser;
17+
18+
impl<S: Stage> NoArgsAttributeParser<S> for RustcNeverReturnsNullPointerParser {
19+
const PATH: &[Symbol] = &[sym::rustc_never_returns_null_ptr];
20+
const ON_DUPLICATE: OnDuplicate<S> = OnDuplicate::Error;
21+
const ALLOWED_TARGETS: AllowedTargets = AllowedTargets::AllowList(&[
22+
Allow(Target::Fn),
23+
Allow(Target::Method(MethodKind::Inherent)),
24+
Allow(Target::Method(MethodKind::Trait { body: false })),
25+
Allow(Target::Method(MethodKind::Trait { body: true })),
26+
Allow(Target::Method(MethodKind::TraitImpl)),
27+
]);
28+
const CREATE: fn(Span) -> AttributeKind = |_| AttributeKind::RustcNeverReturnsNullPointer;
29+
}
30+
1631
pub(crate) struct RustcLayoutScalarValidRangeStartParser;
1732

1833
impl<S: Stage> SingleAttributeParser<S> for RustcLayoutScalarValidRangeStartParser {

compiler/rustc_attr_parsing/src/context.rs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -61,8 +61,9 @@ use crate::attributes::prototype::CustomMirParser;
6161
use crate::attributes::repr::{AlignParser, AlignStaticParser, ReprParser};
6262
use crate::attributes::rustc_internal::{
6363
RustcLayoutScalarValidRangeEndParser, RustcLayoutScalarValidRangeStartParser,
64-
RustcLegacyConstGenericsParser, RustcMainParser, RustcObjectLifetimeDefaultParser,
65-
RustcScalableVectorParser, RustcSimdMonomorphizeLaneLimitParser,
64+
RustcLegacyConstGenericsParser, RustcMainParser, RustcNeverReturnsNullPointerParser,
65+
RustcObjectLifetimeDefaultParser, RustcScalableVectorParser,
66+
RustcSimdMonomorphizeLaneLimitParser,
6667
};
6768
use crate::attributes::semantics::MayDangleParser;
6869
use crate::attributes::stability::{
@@ -255,6 +256,7 @@ attribute_parsers!(
255256
Single<WithoutArgs<PubTransparentParser>>,
256257
Single<WithoutArgs<RustcCoherenceIsCoreParser>>,
257258
Single<WithoutArgs<RustcMainParser>>,
259+
Single<WithoutArgs<RustcNeverReturnsNullPointerParser>>,
258260
Single<WithoutArgs<RustcPassIndirectlyInNonRusticAbisParser>>,
259261
Single<WithoutArgs<RustcShouldNotBeCalledOnConstItems>>,
260262
Single<WithoutArgs<SpecializationTraitParser>>,

compiler/rustc_codegen_llvm/src/va_arg.rs

Lines changed: 131 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use rustc_codegen_ssa::traits::{
77
};
88
use rustc_middle::ty::Ty;
99
use rustc_middle::ty::layout::{HasTyCtxt, LayoutOf};
10-
use rustc_target::spec::{Abi, Arch};
10+
use rustc_target::spec::{Abi, Arch, Env};
1111

1212
use crate::builder::Builder;
1313
use crate::llvm::{Type, Value};
@@ -782,6 +782,129 @@ fn x86_64_sysv64_va_arg_from_memory<'ll, 'tcx>(
782782
mem_addr
783783
}
784784

785+
fn emit_hexagon_va_arg_musl<'ll, 'tcx>(
786+
bx: &mut Builder<'_, 'll, 'tcx>,
787+
list: OperandRef<'tcx, &'ll Value>,
788+
target_ty: Ty<'tcx>,
789+
) -> &'ll Value {
790+
// Implementation of va_arg for Hexagon musl target.
791+
// Based on LLVM's HexagonBuiltinVaList implementation.
792+
//
793+
// struct __va_list_tag {
794+
// void *__current_saved_reg_area_pointer;
795+
// void *__saved_reg_area_end_pointer;
796+
// void *__overflow_area_pointer;
797+
// };
798+
//
799+
// All variadic arguments are passed on the stack, but the musl implementation
800+
// uses a register save area for compatibility.
801+
let va_list_addr = list.immediate();
802+
let layout = bx.cx.layout_of(target_ty);
803+
let ptr_align_abi = bx.tcx().data_layout.pointer_align().abi;
804+
let ptr_size = bx.tcx().data_layout.pointer_size().bytes();
805+
806+
// Check if argument fits in register save area
807+
let maybe_reg = bx.append_sibling_block("va_arg.maybe_reg");
808+
let from_overflow = bx.append_sibling_block("va_arg.from_overflow");
809+
let end = bx.append_sibling_block("va_arg.end");
810+
811+
// Load the three pointers from va_list
812+
let current_ptr_addr = va_list_addr;
813+
let end_ptr_addr = bx.inbounds_ptradd(va_list_addr, bx.const_usize(ptr_size));
814+
let overflow_ptr_addr = bx.inbounds_ptradd(va_list_addr, bx.const_usize(2 * ptr_size));
815+
816+
let current_ptr = bx.load(bx.type_ptr(), current_ptr_addr, ptr_align_abi);
817+
let end_ptr = bx.load(bx.type_ptr(), end_ptr_addr, ptr_align_abi);
818+
let overflow_ptr = bx.load(bx.type_ptr(), overflow_ptr_addr, ptr_align_abi);
819+
820+
// Align current pointer based on argument type size (following LLVM's implementation)
821+
// Arguments <= 32 bits (4 bytes) use 4-byte alignment, > 32 bits use 8-byte alignment
822+
let type_size_bits = bx.cx.size_of(target_ty).bits();
823+
let arg_align = if type_size_bits > 32 {
824+
Align::from_bytes(8).unwrap()
825+
} else {
826+
Align::from_bytes(4).unwrap()
827+
};
828+
let aligned_current = round_pointer_up_to_alignment(bx, current_ptr, arg_align, bx.type_ptr());
829+
830+
// Calculate next pointer position (following LLVM's logic)
831+
// Arguments <= 32 bits take 4 bytes, > 32 bits take 8 bytes
832+
let arg_size = if type_size_bits > 32 { 8 } else { 4 };
833+
let next_ptr = bx.inbounds_ptradd(aligned_current, bx.const_usize(arg_size));
834+
835+
// Check if argument fits in register save area
836+
let fits_in_regs = bx.icmp(IntPredicate::IntULE, next_ptr, end_ptr);
837+
bx.cond_br(fits_in_regs, maybe_reg, from_overflow);
838+
839+
// Load from register save area
840+
bx.switch_to_block(maybe_reg);
841+
let reg_value_addr = aligned_current;
842+
// Update current pointer
843+
bx.store(next_ptr, current_ptr_addr, ptr_align_abi);
844+
bx.br(end);
845+
846+
// Load from overflow area (stack)
847+
bx.switch_to_block(from_overflow);
848+
849+
// Align overflow pointer using the same alignment rules
850+
let aligned_overflow =
851+
round_pointer_up_to_alignment(bx, overflow_ptr, arg_align, bx.type_ptr());
852+
853+
let overflow_value_addr = aligned_overflow;
854+
// Update overflow pointer - use the same size calculation
855+
let next_overflow = bx.inbounds_ptradd(aligned_overflow, bx.const_usize(arg_size));
856+
bx.store(next_overflow, overflow_ptr_addr, ptr_align_abi);
857+
858+
// IMPORTANT: Also update the current saved register area pointer to match
859+
// This synchronizes the pointers when switching to overflow area
860+
bx.store(next_overflow, current_ptr_addr, ptr_align_abi);
861+
bx.br(end);
862+
863+
// Return the value
864+
bx.switch_to_block(end);
865+
let value_addr =
866+
bx.phi(bx.type_ptr(), &[reg_value_addr, overflow_value_addr], &[maybe_reg, from_overflow]);
867+
bx.load(layout.llvm_type(bx), value_addr, layout.align.abi)
868+
}
869+
870+
fn emit_hexagon_va_arg_bare_metal<'ll, 'tcx>(
871+
bx: &mut Builder<'_, 'll, 'tcx>,
872+
list: OperandRef<'tcx, &'ll Value>,
873+
target_ty: Ty<'tcx>,
874+
) -> &'ll Value {
875+
// Implementation of va_arg for Hexagon bare-metal (non-musl) targets.
876+
// Based on LLVM's EmitVAArgForHexagon implementation.
877+
//
878+
// va_list is a simple pointer (char *)
879+
let va_list_addr = list.immediate();
880+
let layout = bx.cx.layout_of(target_ty);
881+
let ptr_align_abi = bx.tcx().data_layout.pointer_align().abi;
882+
883+
// Load current pointer from va_list
884+
let current_ptr = bx.load(bx.type_ptr(), va_list_addr, ptr_align_abi);
885+
886+
// Handle address alignment for types with alignment > 4 bytes
887+
let ty_align = layout.align.abi;
888+
let aligned_ptr = if ty_align.bytes() > 4 {
889+
// Ensure alignment is a power of 2
890+
debug_assert!(ty_align.bytes().is_power_of_two(), "Alignment is not power of 2!");
891+
round_pointer_up_to_alignment(bx, current_ptr, ty_align, bx.type_ptr())
892+
} else {
893+
current_ptr
894+
};
895+
896+
// Calculate offset: round up type size to 4-byte boundary (minimum stack slot size)
897+
let type_size = layout.size.bytes();
898+
let offset = type_size.next_multiple_of(4); // align to 4 bytes
899+
900+
// Update va_list to point to next argument
901+
let next_ptr = bx.inbounds_ptradd(aligned_ptr, bx.const_usize(offset));
902+
bx.store(next_ptr, va_list_addr, ptr_align_abi);
903+
904+
// Load and return the argument value
905+
bx.load(layout.llvm_type(bx), aligned_ptr, layout.align.abi)
906+
}
907+
785908
fn emit_xtensa_va_arg<'ll, 'tcx>(
786909
bx: &mut Builder<'_, 'll, 'tcx>,
787910
list: OperandRef<'tcx, &'ll Value>,
@@ -966,6 +1089,13 @@ pub(super) fn emit_va_arg<'ll, 'tcx>(
9661089
// This includes `target.is_like_darwin`, which on x86_64 targets is like sysv64.
9671090
Arch::X86_64 => emit_x86_64_sysv64_va_arg(bx, addr, target_ty),
9681091
Arch::Xtensa => emit_xtensa_va_arg(bx, addr, target_ty),
1092+
Arch::Hexagon => {
1093+
if target.env == Env::Musl {
1094+
emit_hexagon_va_arg_musl(bx, addr, target_ty)
1095+
} else {
1096+
emit_hexagon_va_arg_bare_metal(bx, addr, target_ty)
1097+
}
1098+
}
9691099
// For all other architecture/OS combinations fall back to using
9701100
// the LLVM va_arg instruction.
9711101
// https://llvm.org/docs/LangRef.html#va-arg-instruction

compiler/rustc_hir/src/attrs/data_structures.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -878,6 +878,9 @@ pub enum AttributeKind {
878878
/// Represents `#[rustc_main]`.
879879
RustcMain,
880880

881+
/// Represents `#[rustc_never_returns_null_ptr]`
882+
RustcNeverReturnsNullPointer,
883+
881884
/// Represents `#[rustc_object_lifetime_default]`.
882885
RustcObjectLifetimeDefault,
883886

compiler/rustc_hir/src/attrs/encode_cross_crate.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,6 +95,7 @@ impl AttributeKind {
9595
RustcLayoutScalarValidRangeStart(..) => Yes,
9696
RustcLegacyConstGenerics { .. } => Yes,
9797
RustcMain => No,
98+
RustcNeverReturnsNullPointer => Yes,
9899
RustcObjectLifetimeDefault => No,
99100
RustcPassIndirectlyInNonRusticAbis(..) => No,
100101
RustcScalableVector { .. } => Yes,

compiler/rustc_lint/src/ptr_nulls.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
use rustc_ast::LitKind;
2-
use rustc_hir::{BinOpKind, Expr, ExprKind, TyKind};
2+
use rustc_hir::attrs::AttributeKind;
3+
use rustc_hir::{BinOpKind, Expr, ExprKind, TyKind, find_attr};
34
use rustc_middle::ty::RawPtr;
45
use rustc_session::{declare_lint, declare_lint_pass};
56
use rustc_span::{Span, sym};
@@ -72,14 +73,14 @@ fn useless_check<'a, 'tcx: 'a>(
7273
e = e.peel_blocks();
7374
if let ExprKind::MethodCall(_, _expr, [], _) = e.kind
7475
&& let Some(def_id) = cx.typeck_results().type_dependent_def_id(e.hir_id)
75-
&& cx.tcx.has_attr(def_id, sym::rustc_never_returns_null_ptr)
76+
&& find_attr!(cx.tcx.get_all_attrs(def_id), AttributeKind::RustcNeverReturnsNullPointer)
7677
&& let Some(fn_name) = cx.tcx.opt_item_ident(def_id)
7778
{
7879
return Some(UselessPtrNullChecksDiag::FnRet { fn_name });
7980
} else if let ExprKind::Call(path, _args) = e.kind
8081
&& let ExprKind::Path(ref qpath) = path.kind
8182
&& let Some(def_id) = cx.qpath_res(qpath, path.hir_id).opt_def_id()
82-
&& cx.tcx.has_attr(def_id, sym::rustc_never_returns_null_ptr)
83+
&& find_attr!(cx.tcx.get_all_attrs(def_id), AttributeKind::RustcNeverReturnsNullPointer)
8384
&& let Some(fn_name) = cx.tcx.opt_item_ident(def_id)
8485
{
8586
return Some(UselessPtrNullChecksDiag::FnRet { fn_name });

compiler/rustc_passes/src/check_attr.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -257,6 +257,7 @@ impl<'tcx> CheckAttrVisitor<'tcx> {
257257
| AttributeKind::NoLink
258258
| AttributeKind::RustcLayoutScalarValidRangeStart(..)
259259
| AttributeKind::RustcLayoutScalarValidRangeEnd(..)
260+
| AttributeKind::RustcNeverReturnsNullPointer
260261
| AttributeKind::RustcScalableVector { .. }
261262
| AttributeKind::RustcSimdMonomorphizeLaneLimit(..)
262263
| AttributeKind::RustcShouldNotBeCalledOnConstItems(..)
@@ -307,9 +308,6 @@ impl<'tcx> CheckAttrVisitor<'tcx> {
307308
[sym::rustc_no_implicit_autorefs, ..] => {
308309
self.check_applied_to_fn_or_method(hir_id, attr.span(), span, target)
309310
}
310-
[sym::rustc_never_returns_null_ptr, ..] => {
311-
self.check_applied_to_fn_or_method(hir_id, attr.span(), span, target)
312-
}
313311
[sym::rustc_lint_query_instability, ..] => {
314312
self.check_applied_to_fn_or_method(hir_id, attr.span(), span, target)
315313
}

compiler/rustc_session/messages.ftl

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,6 @@ session_int_literal_too_large = integer literal is too large
5757
.note = value exceeds limit of `{$limit}`
5858
5959
session_invalid_character_in_crate_name = invalid character {$character} in crate name: `{$crate_name}`
60-
.help = you can either pass `--crate-name` on the command line or add `#![crate_name = "…"]` to set the crate name
6160
6261
session_invalid_float_literal_suffix = invalid suffix `{$suffix}` for float literal
6362
.label = invalid suffix `{$suffix}`

compiler/rustc_session/src/errors.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -238,8 +238,6 @@ pub(crate) struct InvalidCharacterInCrateName {
238238
pub(crate) span: Option<Span>,
239239
pub(crate) character: char,
240240
pub(crate) crate_name: Symbol,
241-
#[help]
242-
pub(crate) help: Option<()>,
243241
}
244242

245243
#[derive(Subdiagnostic)]

compiler/rustc_session/src/output.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,6 @@ pub fn validate_crate_name(sess: &Session, crate_name: Symbol, span: Option<Span
6969
span,
7070
character: c,
7171
crate_name,
72-
help: span.is_none().then_some(()),
7372
}));
7473
}
7574

0 commit comments

Comments
 (0)