forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#130466 - davidtwco:aarch64-transparent-test, r=jieyouxu tests: add repr/transparent test for aarch64 Fixes rust-lang#74396. Moves `transparent-struct-ptr.rs` to `transparent-byval-struct-ptr.rs` and then adds a new `transparent-opaque-ptr.rs` for aarch64.
- Loading branch information
Showing
3 changed files
with
116 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,111 @@ | ||
//@ revisions: aarch64-linux aarch64-darwin | ||
//@ compile-flags: -O -C no-prepopulate-passes | ||
|
||
//@[aarch64-linux] compile-flags: --target aarch64-unknown-linux-gnu | ||
//@[aarch64-linux] needs-llvm-components: aarch64 | ||
//@[aarch64-darwin] compile-flags: --target aarch64-apple-darwin | ||
//@[aarch64-darwin] needs-llvm-components: aarch64 | ||
|
||
// See ./transparent.rs | ||
// Some platforms pass large aggregates using immediate arrays in LLVMIR | ||
// Other platforms pass large aggregates using by-value struct pointer in LLVMIR | ||
// Yet more platforms pass large aggregates using opaque pointer in LLVMIR | ||
// This covers the "opaque pointer" case. | ||
|
||
#![feature(no_core, lang_items, transparent_unions)] | ||
#![crate_type = "lib"] | ||
#![no_std] | ||
#![no_core] | ||
|
||
#[lang = "sized"] | ||
trait Sized {} | ||
#[lang = "freeze"] | ||
trait Freeze {} | ||
#[lang = "copy"] | ||
trait Copy {} | ||
|
||
impl Copy for [u32; 16] {} | ||
impl Copy for BigS {} | ||
impl Copy for BigU {} | ||
|
||
#[repr(C)] | ||
pub struct BigS([u32; 16]); | ||
|
||
#[repr(transparent)] | ||
pub struct TsBigS(BigS); | ||
|
||
#[repr(transparent)] | ||
pub union TuBigS { | ||
field: BigS, | ||
} | ||
|
||
#[repr(transparent)] | ||
pub enum TeBigS { | ||
Variant(BigS), | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_BigS(ptr [[BIGS_RET_ATTRS1:.*]] sret([64 x i8]) [[BIGS_RET_ATTRS2:.*]], ptr [[BIGS_ARG_ATTRS1:.*]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_BigS(_: BigS) -> BigS { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TsBigS(ptr [[BIGS_RET_ATTRS1]] sret([64 x i8]) [[BIGS_RET_ATTRS2]], ptr [[BIGS_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TsBigS(_: TsBigS) -> TsBigS { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TuBigS(ptr [[BIGS_RET_ATTRS1]] sret([64 x i8]) [[BIGS_RET_ATTRS2]], ptr [[BIGS_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TuBigS(_: TuBigS) -> TuBigS { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TeBigS(ptr [[BIGS_RET_ATTRS1]] sret([64 x i8]) [[BIGS_RET_ATTRS2]], ptr [[BIGS_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TeBigS(_: TeBigS) -> TeBigS { | ||
loop {} | ||
} | ||
|
||
#[repr(C)] | ||
pub union BigU { | ||
foo: [u32; 16], | ||
} | ||
|
||
#[repr(transparent)] | ||
pub struct TsBigU(BigU); | ||
|
||
#[repr(transparent)] | ||
pub union TuBigU { | ||
field: BigU, | ||
} | ||
|
||
#[repr(transparent)] | ||
pub enum TeBigU { | ||
Variant(BigU), | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_BigU(ptr [[BIGU_RET_ATTRS1:.*]] sret([64 x i8]) [[BIGU_RET_ATTRS2:.*]], ptr [[BIGU_ARG_ATTRS1:.*]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_BigU(_: BigU) -> BigU { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TsBigU(ptr [[BIGU_RET_ATTRS1:.*]] sret([64 x i8]) [[BIGU_RET_ATTRS2:.*]], ptr [[BIGU_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TsBigU(_: TsBigU) -> TsBigU { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TuBigU(ptr [[BIGU_RET_ATTRS1]] sret([64 x i8]) [[BIGU_RET_ATTRS2:.*]], ptr [[BIGU_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TuBigU(_: TuBigU) -> TuBigU { | ||
loop {} | ||
} | ||
|
||
// CHECK: define{{.*}}void @test_TeBigU(ptr [[BIGU_RET_ATTRS1]] sret([64 x i8]) [[BIGU_RET_ATTRS2:.*]], ptr [[BIGU_ARG_ATTRS1]]) | ||
#[no_mangle] | ||
pub extern "C" fn test_TeBigU(_: TeBigU) -> TeBigU { | ||
loop {} | ||
} |