1 // ignore-emscripten vectors passed directly
2 // compile-flags: -O -C no-prepopulate-passes
4 // This test that using union forward the abi of the inner type, as
10 #[derive(Copy, Clone)]
14 #[derive(Copy, Clone)]
15 pub struct i64x4(i64, i64, i64, i64);
17 #[derive(Copy, Clone)]
18 pub union UnionI64x4{ a:(), b: i64x4 }
20 // CHECK: define void @test_UnionI64x4({{<4 x i64>\*|ptr}} {{.*}} %_1)
22 pub fn test_UnionI64x4(_: UnionI64x4) { loop {} }
24 pub union UnionI64x4_{ a: i64x4, b: (), c:i64x4, d: Unhab, e: ((),()), f: UnionI64x4 }
26 // CHECK: define void @test_UnionI64x4_({{<4 x i64>\*|ptr}} {{.*}} %_1)
28 pub fn test_UnionI64x4_(_: UnionI64x4_) { loop {} }
30 pub union UnionI64x4I64{ a: i64x4, b: i64 }
32 // CHECK: define void @test_UnionI64x4I64({{%UnionI64x4I64\*|ptr}} {{.*}} %_1)
34 pub fn test_UnionI64x4I64(_: UnionI64x4I64) { loop {} }
36 pub union UnionI64x4Tuple{ a: i64x4, b: (i64, i64, i64, i64) }
38 // CHECK: define void @test_UnionI64x4Tuple({{%UnionI64x4Tuple\*|ptr}} {{.*}} %_1)
40 pub fn test_UnionI64x4Tuple(_: UnionI64x4Tuple) { loop {} }
43 pub union UnionF32{a:f32}
45 // CHECK: define float @test_UnionF32(float %_1)
47 pub fn test_UnionF32(_: UnionF32) -> UnionF32 { loop {} }
49 pub union UnionF32F32{a:f32, b:f32}
51 // CHECK: define float @test_UnionF32F32(float %_1)
53 pub fn test_UnionF32F32(_: UnionF32F32) -> UnionF32F32 { loop {} }
55 pub union UnionF32U32{a:f32, b:u32}
57 // CHECK: define i32 @test_UnionF32U32(i32{{( %0)?}})
59 pub fn test_UnionF32U32(_: UnionF32U32) -> UnionF32U32 { loop {} }
61 pub union UnionU128{a:u128}
62 // CHECK: define i128 @test_UnionU128(i128 %_1)
64 pub fn test_UnionU128(_: UnionU128) -> UnionU128 { loop {} }
67 pub union CUnionU128{a:u128}
68 // CHECK: define void @test_CUnionU128({{%CUnionU128\*|ptr}} {{.*}} %_1)
70 pub fn test_CUnionU128(_: CUnionU128) { loop {} }
72 pub union UnionBool { b:bool }
73 // CHECK: define noundef zeroext i1 @test_UnionBool(i8 %b)
75 pub fn test_UnionBool(b: UnionBool) -> bool { unsafe { b.b } }
76 // CHECK: %0 = trunc i8 %b to i1