Skip to content

Commit 7a0f662

Browse files
committed
Apply weak attributes to all intrinsics
Removed the `weak-intrinsics` feature, so that all functions will have the `weak` linkage attribute. Also this fixed the bug in rust-lang/rust#124042. Before this commit, generated code will be ```rust pub extern "C" fn <name>(...) -> ... { // code... } pub mod <name> { #[linkage = "weak"] #[no_mangle] pub extern "C" fn <name>(...) -> ... { super::<name>(...) } } ``` The issue is that there is 2 `weak` linkage, the first one is not required. Along refactoring `weak` attributes, this was fixed.
1 parent 40e9b37 commit 7a0f662

File tree

4 files changed

+16
-106
lines changed

4 files changed

+16
-106
lines changed

src/arm.rs

-18
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@ macro_rules! bl {
2020
intrinsics! {
2121
// NOTE This function and the ones below are implemented using assembly because they are using a
2222
// custom calling convention which can't be implemented using a normal Rust function.
23-
#[cfg_attr(all(not(windows), not(target_vendor="apple")), weak)]
2423
#[naked]
2524
#[cfg(not(target_env = "msvc"))]
2625
pub unsafe extern "C" fn __aeabi_uidivmod() {
@@ -36,7 +35,6 @@ intrinsics! {
3635
);
3736
}
3837

39-
#[cfg_attr(all(not(windows), not(target_vendor="apple")), weak)]
4038
#[naked]
4139
pub unsafe extern "C" fn __aeabi_uldivmod() {
4240
core::arch::asm!(
@@ -53,7 +51,6 @@ intrinsics! {
5351
);
5452
}
5553

56-
#[cfg_attr(all(not(windows), not(target_vendor="apple")), weak)]
5754
#[naked]
5855
pub unsafe extern "C" fn __aeabi_idivmod() {
5956
core::arch::asm!(
@@ -67,7 +64,6 @@ intrinsics! {
6764
);
6865
}
6966

70-
#[cfg_attr(all(not(windows), not(target_vendor="apple")), weak)]
7167
#[naked]
7268
pub unsafe extern "C" fn __aeabi_ldivmod() {
7369
core::arch::asm!(
@@ -84,17 +80,13 @@ intrinsics! {
8480
);
8581
}
8682

87-
// The following functions use weak linkage to allow users to override
88-
// with custom implementation.
8983
// FIXME: The `*4` and `*8` variants should be defined as aliases.
9084

91-
#[weak]
9285
#[cfg(not(target_os = "ios"))]
9386
pub unsafe extern "aapcs" fn __aeabi_memcpy(dest: *mut u8, src: *const u8, n: usize) {
9487
crate::mem::memcpy(dest, src, n);
9588
}
9689

97-
#[weak]
9890
#[cfg(not(target_os = "ios"))]
9991
pub unsafe extern "aapcs" fn __aeabi_memcpy4(dest: *mut u8, src: *const u8, n: usize) {
10092
// We are guaranteed 4-alignment, so accessing at u32 is okay.
@@ -112,38 +104,32 @@ intrinsics! {
112104
__aeabi_memcpy(dest as *mut u8, src as *const u8, n);
113105
}
114106

115-
#[weak]
116107
#[cfg(not(target_os = "ios"))]
117108
pub unsafe extern "aapcs" fn __aeabi_memcpy8(dest: *mut u8, src: *const u8, n: usize) {
118109
__aeabi_memcpy4(dest, src, n);
119110
}
120111

121-
#[weak]
122112
#[cfg(not(target_os = "ios"))]
123113
pub unsafe extern "aapcs" fn __aeabi_memmove(dest: *mut u8, src: *const u8, n: usize) {
124114
crate::mem::memmove(dest, src, n);
125115
}
126116

127-
#[weak]
128117
#[cfg(not(any(target_os = "ios", target_env = "msvc")))]
129118
pub unsafe extern "aapcs" fn __aeabi_memmove4(dest: *mut u8, src: *const u8, n: usize) {
130119
__aeabi_memmove(dest, src, n);
131120
}
132121

133-
#[weak]
134122
#[cfg(not(any(target_os = "ios", target_env = "msvc")))]
135123
pub unsafe extern "aapcs" fn __aeabi_memmove8(dest: *mut u8, src: *const u8, n: usize) {
136124
__aeabi_memmove(dest, src, n);
137125
}
138126

139-
#[weak]
140127
#[cfg(not(target_os = "ios"))]
141128
pub unsafe extern "aapcs" fn __aeabi_memset(dest: *mut u8, n: usize, c: i32) {
142129
// Note the different argument order
143130
crate::mem::memset(dest, c, n);
144131
}
145132

146-
#[weak]
147133
#[cfg(not(target_os = "ios"))]
148134
pub unsafe extern "aapcs" fn __aeabi_memset4(dest: *mut u8, n: usize, c: i32) {
149135
let mut dest = dest as *mut u32;
@@ -161,25 +147,21 @@ intrinsics! {
161147
__aeabi_memset(dest as *mut u8, n, byte as i32);
162148
}
163149

164-
#[weak]
165150
#[cfg(not(target_os = "ios"))]
166151
pub unsafe extern "aapcs" fn __aeabi_memset8(dest: *mut u8, n: usize, c: i32) {
167152
__aeabi_memset4(dest, n, c);
168153
}
169154

170-
#[weak]
171155
#[cfg(not(target_os = "ios"))]
172156
pub unsafe extern "aapcs" fn __aeabi_memclr(dest: *mut u8, n: usize) {
173157
__aeabi_memset(dest, n, 0);
174158
}
175159

176-
#[weak]
177160
#[cfg(not(any(target_os = "ios", target_env = "msvc")))]
178161
pub unsafe extern "aapcs" fn __aeabi_memclr4(dest: *mut u8, n: usize) {
179162
__aeabi_memset4(dest, n, 0);
180163
}
181164

182-
#[weak]
183165
#[cfg(not(any(target_os = "ios", target_env = "msvc")))]
184166
pub unsafe extern "aapcs" fn __aeabi_memclr8(dest: *mut u8, n: usize) {
185167
__aeabi_memset4(dest, n, 0);

src/macros.rs

+16-79
Original file line numberDiff line numberDiff line change
@@ -25,11 +25,14 @@ macro_rules! public_test_dep {
2525
/// platforms need and elsewhere in this library it just looks like normal Rust
2626
/// code.
2727
///
28-
/// When the weak-intrinsics feature is enabled, all intrinsics functions are
29-
/// marked with #[linkage = "weak"] so that they can be replaced by another
30-
/// implementation at link time. This is particularly useful for mixed Rust/C++
31-
/// binaries that want to use the C++ intrinsics, otherwise linking against the
32-
/// Rust stdlib will replace those from the compiler-rt library.
28+
/// All intrinsics functions are marked with #[linkage = "weak"] when
29+
/// `not(windows) and not(target_vendor = "apple")` except `mem` intrinsics, which
30+
/// will only have the `#[linkage = "weak"]` attribute when the `mem-weak-intrinsics`
31+
/// feature is enabled.
32+
/// `weak` linkage attribute is used so that these functions can be replaced
33+
/// by another implementation at link time. This is particularly useful for mixed
34+
/// Rust/C++ binaries that want to use the C++ intrinsics, otherwise linking against
35+
/// the Rust stdlib will replace those from the compiler-rt library.
3336
///
3437
/// This macro is structured to be invoked with a bunch of functions that looks
3538
/// like:
@@ -53,10 +56,6 @@ macro_rules! public_test_dep {
5356
///
5457
/// A quick overview of attributes supported right now are:
5558
///
56-
/// * `weak` - indicates that the function should always be given weak linkage.
57-
/// This attribute must come before other attributes, as the other attributes
58-
/// will generate the final output function and need to have `weak` modify
59-
/// them.
6059
/// * `maybe_use_optimized_c_shim` - indicates that the Rust implementation is
6160
/// ignored if an optimized C version was compiled.
6261
/// * `aapcs_on_arm` - forces the ABI of the function to be `"aapcs"` on ARM and
@@ -128,67 +127,6 @@ macro_rules! intrinsics {
128127
intrinsics!($($rest)*);
129128
);
130129

131-
// Explicit weak linkage gets dropped when weak-intrinsics is on since it
132-
// will be added unconditionally to all intrinsics and would conflict
133-
// otherwise.
134-
(
135-
#[weak]
136-
$(#[$($attr:tt)*])*
137-
pub extern $abi:tt fn $name:ident( $($argname:ident: $ty:ty),* ) $(-> $ret:ty)? {
138-
$($body:tt)*
139-
}
140-
141-
$($rest:tt)*
142-
) => (
143-
#[cfg(feature = "weak-intrinsics")]
144-
intrinsics! {
145-
$(#[$($attr)*])*
146-
pub extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
147-
$($body)*
148-
}
149-
}
150-
151-
#[cfg(not(feature = "weak-intrinsics"))]
152-
intrinsics! {
153-
$(#[$($attr)*])*
154-
#[linkage = "weak"]
155-
pub extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
156-
$($body)*
157-
}
158-
}
159-
160-
intrinsics!($($rest)*);
161-
);
162-
// Same as above but for unsafe.
163-
(
164-
#[weak]
165-
$(#[$($attr:tt)*])*
166-
pub unsafe extern $abi:tt fn $name:ident( $($argname:ident: $ty:ty),* ) $(-> $ret:ty)? {
167-
$($body:tt)*
168-
}
169-
170-
$($rest:tt)*
171-
) => (
172-
#[cfg(feature = "weak-intrinsics")]
173-
intrinsics! {
174-
$(#[$($attr)*])*
175-
pub unsafe extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
176-
$($body)*
177-
}
178-
}
179-
180-
#[cfg(not(feature = "weak-intrinsics"))]
181-
intrinsics! {
182-
$(#[$($attr)*])*
183-
#[linkage = "weak"]
184-
pub unsafe extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
185-
$($body)*
186-
}
187-
}
188-
189-
intrinsics!($($rest)*);
190-
);
191-
192130
// Right now there's a bunch of architecture-optimized intrinsics in the
193131
// stock compiler-rt implementation. Not all of these have been ported over
194132
// to Rust yet so when the `c` feature of this crate is enabled we fall back
@@ -211,7 +149,7 @@ macro_rules! intrinsics {
211149
$($rest:tt)*
212150
) => (
213151
#[cfg($name = "optimized-c")]
214-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
152+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
215153
pub $(unsafe $($empty)? )? extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
216154
extern $abi {
217155
fn $name($($argname: $ty),*) $(-> $ret)?;
@@ -311,15 +249,14 @@ macro_rules! intrinsics {
311249
) => (
312250
#[cfg(all(any(windows, target_os = "uefi"), target_arch = "x86_64"))]
313251
$(#[$($attr)*])*
314-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
315252
pub extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
316253
$($body)*
317254
}
318255

319256
#[cfg(all(any(windows, target_os = "uefi"), target_arch = "x86_64"))]
320257
pub mod $name {
321258
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
322-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
259+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
323260
pub extern $abi fn $name( $($argname: $ty),* )
324261
-> $crate::macros::win64_128bit_abi_hack::U64x2
325262
{
@@ -360,7 +297,7 @@ macro_rules! intrinsics {
360297
#[cfg(target_arch = "arm")]
361298
pub mod $name {
362299
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
363-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
300+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
364301
pub extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
365302
super::$name($($argname),*)
366303
}
@@ -369,7 +306,7 @@ macro_rules! intrinsics {
369306
#[cfg(target_arch = "arm")]
370307
pub mod $alias {
371308
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
372-
#[cfg_attr(any(all(not(windows), not(target_vendor="apple")), feature = "weak-intrinsics"), linkage = "weak")]
309+
#[cfg_attr(all(not(windows), not(target_vendor="apple")), linkage = "weak")]
373310
pub extern "aapcs" fn $alias( $($argname: $ty),* ) $(-> $ret)? {
374311
super::$name($($argname),*)
375312
}
@@ -405,7 +342,7 @@ macro_rules! intrinsics {
405342
pub mod $name {
406343
$(#[$($attr)*])*
407344
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
408-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
345+
#[cfg_attr(all(not(windows), not(target_vendor = "apple"), not(target_env = "gnu"), feature = "mem-weak-intrinsics"), linkage = "weak")]
409346
pub unsafe extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
410347
super::$name($($argname),*)
411348
}
@@ -429,7 +366,7 @@ macro_rules! intrinsics {
429366
#[naked]
430367
$(#[$($attr)*])*
431368
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
432-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
369+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
433370
pub unsafe extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
434371
$($body)*
435372
}
@@ -495,7 +432,7 @@ macro_rules! intrinsics {
495432
pub mod $name {
496433
$(#[$($attr)*])*
497434
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
498-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
435+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
499436
pub extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
500437
super::$name($($argname),*)
501438
}
@@ -521,7 +458,7 @@ macro_rules! intrinsics {
521458
pub mod $name {
522459
$(#[$($attr)*])*
523460
#[cfg_attr(not(feature = "mangled-names"), no_mangle)]
524-
#[cfg_attr(feature = "weak-intrinsics", linkage = "weak")]
461+
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), linkage = "weak")]
525462
pub unsafe extern $abi fn $name( $($argname: $ty),* ) $(-> $ret)? {
526463
super::$name($($argname),*)
527464
}

src/math.rs

-3
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@ macro_rules! no_mangle {
77
($(fn $fun:ident($($iid:ident : $ity:ty),+) -> $oty:ty;)+) => {
88
intrinsics! {
99
$(
10-
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), weak)]
1110
pub extern "C" fn $fun($($iid: $ity),+) -> $oty {
1211
self::libm::$fun($($iid),+)
1312
}
@@ -92,14 +91,12 @@ no_mangle! {
9291
}
9392

9493
intrinsics! {
95-
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), weak)]
9694
pub extern "C" fn lgamma_r(x: f64, s: &mut i32) -> f64 {
9795
let r = self::libm::lgamma_r(x);
9896
*s = r.1;
9997
r.0
10098
}
10199

102-
#[cfg_attr(all(not(windows), not(target_vendor = "apple")), weak)]
103100
pub extern "C" fn lgammaf_r(x: f32, s: &mut i32) -> f32 {
104101
let r = self::libm::lgammaf_r(x);
105102
*s = r.1;

src/mem/mod.rs

-6
Original file line numberDiff line numberDiff line change
@@ -20,14 +20,12 @@ use core::ops::{BitOr, Shl};
2020
mod impls;
2121

2222
intrinsics! {
23-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
2423
#[mem_builtin]
2524
pub unsafe extern "C" fn memcpy(dest: *mut u8, src: *const u8, n: usize) -> *mut u8 {
2625
impls::copy_forward(dest, src, n);
2726
dest
2827
}
2928

30-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
3129
#[mem_builtin]
3230
pub unsafe extern "C" fn memmove(dest: *mut u8, src: *const u8, n: usize) -> *mut u8 {
3331
let delta = (dest as usize).wrapping_sub(src as usize);
@@ -41,26 +39,22 @@ intrinsics! {
4139
dest
4240
}
4341

44-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
4542
#[mem_builtin]
4643
pub unsafe extern "C" fn memset(s: *mut u8, c: crate::mem::c_int, n: usize) -> *mut u8 {
4744
impls::set_bytes(s, c as u8, n);
4845
s
4946
}
5047

51-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
5248
#[mem_builtin]
5349
pub unsafe extern "C" fn memcmp(s1: *const u8, s2: *const u8, n: usize) -> i32 {
5450
impls::compare_bytes(s1, s2, n)
5551
}
5652

57-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
5853
#[mem_builtin]
5954
pub unsafe extern "C" fn bcmp(s1: *const u8, s2: *const u8, n: usize) -> i32 {
6055
memcmp(s1, s2, n)
6156
}
6257

63-
#[cfg_attr(not(all(target_os = "windows", target_env = "gnu")), weak)]
6458
#[mem_builtin]
6559
pub unsafe extern "C" fn strlen(s: *const core::ffi::c_char) -> usize {
6660
impls::c_string_length(s)

0 commit comments

Comments
 (0)