mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #129239 - DianQK:codegen-rustc_intrinsic, r=saethlin

Browse Source 
Don't generate functions with the `rustc_intrinsic_must_be_overridden` attribute

Functions with the attribute `rustc_intrinsic_must_be_overridden` never be called.

r? compiler
This commit is contained in:
bors 2024-08-20 14:15:50 +00:00
commit 4d5b3b1962
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_monomorphize/src/collector.rs
View File

@ -888,7 +888,9 @@ fn visit_instance_use<'tcx>(
if tcx.should_codegen_locally(panic_instance) { if tcx.should_codegen_locally(panic_instance) {
output.push(create_fn_mono_item(tcx, panic_instance, source)); output.push(create_fn_mono_item(tcx, panic_instance, source));
} }
} else if tcx.has_attr(def_id, sym::rustc_intrinsic) { } else if tcx.has_attr(def_id, sym::rustc_intrinsic)
&& !tcx.has_attr(def_id, sym::rustc_intrinsic_must_be_overridden)
{
// Codegen the fallback body of intrinsics with fallback bodies // Codegen the fallback body of intrinsics with fallback bodies
let instance = ty::Instance::new(def_id, instance.args); let instance = ty::Instance::new(def_id, instance.args);
if tcx.should_codegen_locally(instance) { if tcx.should_codegen_locally(instance) {

14
tests/codegen/intrinsics/rustc_intrinsic_must_be_overridden.rs Normal file
View File

@ -0,0 +1,14 @@
//@ revisions: OPT0 OPT1
//@ [OPT0] compile-flags: -Copt-level=0
//@ [OPT1] compile-flags: -Copt-level=1
//@ compile-flags: -Cno-prepopulate-passes
#![crate_type = "lib"]
#![feature(core_intrinsics)]
// CHECK-NOT: core::intrinsics::size_of_val
#[no_mangle]
pub unsafe fn size_of_val(ptr: *const i32) -> usize {
core::intrinsics::size_of_val(ptr)
}