src/test/codegen/union-abi.rs

   1 // ignore-emscripten vectors passed directly
   2 // compile-flags: -C no-prepopulate-passes
   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
  20 // CHECK: define void @test_UnionI64x4(<4 x i64>* {{.*}} %_1)
  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
  26 // CHECK: define void @test_UnionI64x4_(<4 x i64>* {{.*}} %_1)
  27 #[no_mangle]
  28 pub fn test_UnionI64x4_(_: UnionI64x4_) { loop {} }
  29
  30 pub union UnionI64x4I64{ a: i64x4, b: i64 }
  31
  32 // CHECK: define void @test_UnionI64x4I64(%UnionI64x4I64* {{.*}} %_1)
  33 #[no_mangle]
  34 pub fn test_UnionI64x4I64(_: UnionI64x4I64) { loop {} }
  35
  36 pub union UnionI64x4Tuple{ a: i64x4, b: (i64, i64, i64, i64) }
  37
  38 // CHECK: define void @test_UnionI64x4Tuple(%UnionI64x4Tuple* {{.*}} %_1)
  39 #[no_mangle]
  40 pub fn test_UnionI64x4Tuple(_: UnionI64x4Tuple) { loop {} }
  41
  42
  43 pub union UnionF32{a:f32}
  44
  45 // CHECK: define float @test_UnionF32(float %_1)
  46 #[no_mangle]
  47 pub fn test_UnionF32(_: UnionF32) -> UnionF32 { loop {} }
  48
  49 pub union UnionF32F32{a:f32, b:f32}
  50
  51 // CHECK: define float @test_UnionF32F32(float %_1)
  52 #[no_mangle]
  53 pub fn test_UnionF32F32(_: UnionF32F32) -> UnionF32F32 { loop {} }
  54
  55 pub union UnionF32U32{a:f32, b:u32}
  56
  57 // CHECK: define i32 @test_UnionF32U32(i32{{( %0)?}})
  58 #[no_mangle]
  59 pub fn test_UnionF32U32(_: UnionF32U32) -> UnionF32U32 { loop {} }
  60
  61 pub union UnionU128{a:u128}
  62 // CHECK: define i128 @test_UnionU128(i128 %_1)
  63 #[no_mangle]
  64 pub fn test_UnionU128(_: UnionU128) -> UnionU128 { loop {} }
  65
  66 pub union UnionU128x2{a:(u128, u128)}
  67 // CHECK: define void @test_UnionU128x2(i128 %_1.0, i128 %_1.1)
  68 #[no_mangle]
  69 pub fn test_UnionU128x2(_: UnionU128x2) { loop {} }
  70
  71 #[repr(C)]
  72 pub union CUnionU128x2{a:(u128, u128)}
  73 // CHECK: define void @test_CUnionU128x2(%CUnionU128x2* {{.*}} %_1)
  74 #[no_mangle]
  75 pub fn test_CUnionU128x2(_: CUnionU128x2) { loop {} }
  76
  77 pub union UnionBool { b:bool }
  78 // CHECK: define zeroext i1 @test_UnionBool(i8 %b)
  79 #[no_mangle]
  80 pub fn test_UnionBool(b: UnionBool) -> bool { unsafe { b.b }  }
  81 // CHECK: %0 = trunc i8 %b to i1