1 // compile-flags: -C no-prepopulate-passes
10 // ignore-riscv64 see codegen/riscv-abi
12 // See repr-transparent.rs
14 #![feature(transparent_unions)]
19 #[derive(Clone, Copy)]
21 pub struct BigS([u32; 16]);
24 pub struct TsBigS(BigS);
36 // CHECK: define{{.*}}void @test_BigS(%BigS* [[BIGS_RET_ATTRS1:.*]] sret(%BigS) [[BIGS_RET_ATTRS2:.*]], %BigS* [[BIGS_ARG_ATTRS1:.*]] byval(%BigS) [[BIGS_ARG_ATTRS2:.*]])
38 pub extern "C" fn test_BigS(_: BigS) -> BigS { loop {} }
40 // CHECK: define{{.*}}void @test_TsBigS(%TsBigS* [[BIGS_RET_ATTRS1]] sret(%TsBigS) [[BIGS_RET_ATTRS2]], %TsBigS* [[BIGS_ARG_ATTRS1]] byval(%TsBigS) [[BIGS_ARG_ATTRS2:.*]])
42 pub extern "C" fn test_TsBigS(_: TsBigS) -> TsBigS { loop {} }
44 // CHECK: define{{.*}}void @test_TuBigS(%TuBigS* [[BIGS_RET_ATTRS1]] sret(%TuBigS) [[BIGS_RET_ATTRS2]], %TuBigS* [[BIGS_ARG_ATTRS1]] byval(%TuBigS) [[BIGS_ARG_ATTRS2:.*]])
46 pub extern "C" fn test_TuBigS(_: TuBigS) -> TuBigS { loop {} }
48 // CHECK: define{{.*}}void @test_TeBigS(%"TeBigS::Variant"* [[BIGS_RET_ATTRS1]] sret(%"TeBigS::Variant") [[BIGS_RET_ATTRS2]], %"TeBigS::Variant"* [[BIGS_ARG_ATTRS1]] byval(%"TeBigS::Variant") [[BIGS_ARG_ATTRS2]])
50 pub extern "C" fn test_TeBigS(_: TeBigS) -> TeBigS { loop {} }
53 #[derive(Clone, Copy)]
60 pub struct TsBigU(BigU);
72 // CHECK: define{{.*}}void @test_BigU(%BigU* [[BIGU_RET_ATTRS1:.*]] sret(%BigU) [[BIGU_RET_ATTRS2:.*]], %BigU* [[BIGU_ARG_ATTRS1:.*]] byval(%BigU) [[BIGU_ARG_ATTRS2:.*]])
74 pub extern "C" fn test_BigU(_: BigU) -> BigU { loop {} }
76 // CHECK: define{{.*}}void @test_TsBigU(%TsBigU* [[BIGU_RET_ATTRS1:.*]] sret(%TsBigU) [[BIGU_RET_ATTRS2:.*]], %TsBigU* [[BIGU_ARG_ATTRS1]] byval(%TsBigU) [[BIGU_ARG_ATTRS2]])
78 pub extern "C" fn test_TsBigU(_: TsBigU) -> TsBigU { loop {} }
80 // CHECK: define{{.*}}void @test_TuBigU(%TuBigU* [[BIGU_RET_ATTRS1]] sret(%TuBigU) [[BIGU_RET_ATTRS2:.*]], %TuBigU* [[BIGU_ARG_ATTRS1]] byval(%TuBigU) [[BIGU_ARG_ATTRS2]])
82 pub extern "C" fn test_TuBigU(_: TuBigU) -> TuBigU { loop {} }
84 // CHECK: define{{.*}}void @test_TeBigU(%"TeBigU::Variant"* [[BIGU_RET_ATTRS1]] sret(%"TeBigU::Variant") [[BIGU_RET_ATTRS2:.*]], %"TeBigU::Variant"* [[BIGU_ARG_ATTRS1]] byval(%"TeBigU::Variant") [[BIGU_ARG_ATTRS2]])
86 pub extern "C" fn test_TeBigU(_: TeBigU) -> TeBigU { loop {} }