]>
Commit | Line | Data |
---|---|---|
e74abb32 | 1 | // ignore-emscripten vectors passed directly |
5e7ed085 | 2 | // compile-flags: -O -C no-prepopulate-passes |
a1dfa0c6 XL |
3 | |
4 | // This test that using union forward the abi of the inner type, as | |
5 | // discussed in #54668 | |
6 | ||
7 | #![crate_type="lib"] | |
8 | #![feature(repr_simd)] | |
9 | ||
10 | #[derive(Copy, Clone)] | |
11 | pub enum Unhab {} | |
12 | ||
13 | #[repr(simd)] | |
14 | #[derive(Copy, Clone)] | |
15 | pub struct i64x4(i64, i64, i64, i64); | |
16 | ||
17 | #[derive(Copy, Clone)] | |
18 | pub union UnionI64x4{ a:(), b: i64x4 } | |
19 | ||
923072b8 | 20 | // CHECK: define void @test_UnionI64x4({{<4 x i64>\*|ptr}} {{.*}} %_1) |
a1dfa0c6 XL |
21 | #[no_mangle] |
22 | pub fn test_UnionI64x4(_: UnionI64x4) { loop {} } | |
23 | ||
24 | pub union UnionI64x4_{ a: i64x4, b: (), c:i64x4, d: Unhab, e: ((),()), f: UnionI64x4 } | |
25 | ||
923072b8 | 26 | // CHECK: define void @test_UnionI64x4_({{<4 x i64>\*|ptr}} {{.*}} %_1) |
a1dfa0c6 XL |
27 | #[no_mangle] |
28 | pub fn test_UnionI64x4_(_: UnionI64x4_) { loop {} } | |
29 | ||
30 | pub union UnionI64x4I64{ a: i64x4, b: i64 } | |
31 | ||
923072b8 | 32 | // CHECK: define void @test_UnionI64x4I64({{%UnionI64x4I64\*|ptr}} {{.*}} %_1) |
a1dfa0c6 XL |
33 | #[no_mangle] |
34 | pub fn test_UnionI64x4I64(_: UnionI64x4I64) { loop {} } | |
35 | ||
36 | pub union UnionI64x4Tuple{ a: i64x4, b: (i64, i64, i64, i64) } | |
37 | ||
923072b8 | 38 | // CHECK: define void @test_UnionI64x4Tuple({{%UnionI64x4Tuple\*|ptr}} {{.*}} %_1) |
a1dfa0c6 XL |
39 | #[no_mangle] |
40 | pub fn test_UnionI64x4Tuple(_: UnionI64x4Tuple) { loop {} } | |
41 | ||
42 | ||
43 | pub union UnionF32{a:f32} | |
44 | ||
e1599b0c | 45 | // CHECK: define float @test_UnionF32(float %_1) |
a1dfa0c6 XL |
46 | #[no_mangle] |
47 | pub fn test_UnionF32(_: UnionF32) -> UnionF32 { loop {} } | |
48 | ||
49 | pub union UnionF32F32{a:f32, b:f32} | |
50 | ||
e1599b0c | 51 | // CHECK: define float @test_UnionF32F32(float %_1) |
a1dfa0c6 XL |
52 | #[no_mangle] |
53 | pub fn test_UnionF32F32(_: UnionF32F32) -> UnionF32F32 { loop {} } | |
54 | ||
55 | pub union UnionF32U32{a:f32, b:u32} | |
56 | ||
dfeec247 | 57 | // CHECK: define i32 @test_UnionF32U32(i32{{( %0)?}}) |
a1dfa0c6 XL |
58 | #[no_mangle] |
59 | pub fn test_UnionF32U32(_: UnionF32U32) -> UnionF32U32 { loop {} } | |
60 | ||
61 | pub union UnionU128{a:u128} | |
e1599b0c | 62 | // CHECK: define i128 @test_UnionU128(i128 %_1) |
a1dfa0c6 XL |
63 | #[no_mangle] |
64 | pub fn test_UnionU128(_: UnionU128) -> UnionU128 { loop {} } | |
65 | ||
66 | #[repr(C)] | |
5e7ed085 | 67 | pub union CUnionU128{a:u128} |
923072b8 | 68 | // CHECK: define void @test_CUnionU128({{%CUnionU128\*|ptr}} {{.*}} %_1) |
a1dfa0c6 | 69 | #[no_mangle] |
5e7ed085 | 70 | pub fn test_CUnionU128(_: CUnionU128) { loop {} } |
a1dfa0c6 XL |
71 | |
72 | pub union UnionBool { b:bool } | |
5099ac24 | 73 | // CHECK: define noundef zeroext i1 @test_UnionBool(i8 %b) |
a1dfa0c6 XL |
74 | #[no_mangle] |
75 | pub fn test_UnionBool(b: UnionBool) -> bool { unsafe { b.b } } | |
76 | // CHECK: %0 = trunc i8 %b to i1 |