src/test/codegen/repr-transparent-aggregates-1.rs

   1 // compile-flags: -C no-prepopulate-passes
   2 // ignore-tidy-linelength
   3
   4 // min-system-llvm-version: 9.0
   5 // ignore-arm
   6 // ignore-mips
   7 // ignore-mips64
   8 // ignore-powerpc
   9 // ignore-powerpc64
  10 // ignore-windows
  11 // See repr-transparent.rs
  12
  13 #![feature(transparent_enums, transparent_unions)]
  14
  15 #![crate_type="lib"]
  16
  17
  18 #[derive(Clone, Copy)]
  19 #[repr(C)]
  20 pub struct BigS([u32; 16]);
  21
  22 #[repr(transparent)]
  23 pub struct TsBigS(BigS);
  24
  25 #[repr(transparent)]
  26 pub union TuBigS {
  27     field: BigS,
  28 }
  29
  30 #[repr(transparent)]
  31 pub enum TeBigS {
  32     Variant(BigS),
  33 }
  34
  35 // CHECK: define void @test_BigS(%BigS* [[BIGS_RET_ATTRS:.*]], %BigS* [[BIGS_ARG_ATTRS1:.*]] byval(%BigS) [[BIGS_ARG_ATTRS2:.*]])
  36 #[no_mangle]
  37 pub extern fn test_BigS(_: BigS) -> BigS { loop {} }
  38
  39 // CHECK: define void @test_TsBigS(%TsBigS* [[BIGS_RET_ATTRS]], %TsBigS* [[BIGS_ARG_ATTRS1]] byval(%TsBigS) [[BIGS_ARG_ATTRS2:.*]])
  40 #[no_mangle]
  41 pub extern fn test_TsBigS(_: TsBigS) -> TsBigS { loop {} }
  42
  43 // CHECK: define void @test_TuBigS(%TuBigS* [[BIGS_RET_ATTRS]], %TuBigS* [[BIGS_ARG_ATTRS1]] byval(%TuBigS) [[BIGS_ARG_ATTRS2:.*]])
  44 #[no_mangle]
  45 pub extern fn test_TuBigS(_: TuBigS) -> TuBigS { loop {} }
  46
  47 // CHECK: define void @test_TeBigS(%"TeBigS::Variant"* [[BIGS_RET_ATTRS]], %"TeBigS::Variant"* [[BIGS_ARG_ATTRS1]] byval(%"TeBigS::Variant") [[BIGS_ARG_ATTRS2]])
  48 #[no_mangle]
  49 pub extern fn test_TeBigS(_: TeBigS) -> TeBigS { loop {} }
  50
  51
  52 #[derive(Clone, Copy)]
  53 #[repr(C)]
  54 pub union BigU {
  55     foo: [u32; 16],
  56 }
  57
  58 #[repr(transparent)]
  59 pub struct TsBigU(BigU);
  60
  61 #[repr(transparent)]
  62 pub union TuBigU {
  63     field: BigU,
  64 }
  65
  66 #[repr(transparent)]
  67 pub enum TeBigU {
  68     Variant(BigU),
  69 }
  70
  71 // CHECK: define void @test_BigU(%BigU* [[BIGU_RET_ATTRS:.*]], %BigU* [[BIGU_ARG_ATTRS1:.*]] byval(%BigU) [[BIGU_ARG_ATTRS2:.*]])
  72 #[no_mangle]
  73 pub extern fn test_BigU(_: BigU) -> BigU { loop {} }
  74
  75 // CHECK: define void @test_TsBigU(%TsBigU* [[BIGU_RET_ATTRS:.*]], %TsBigU* [[BIGU_ARG_ATTRS1]] byval(%TsBigU) [[BIGU_ARG_ATTRS2]])
  76 #[no_mangle]
  77 pub extern fn test_TsBigU(_: TsBigU) -> TsBigU { loop {} }
  78
  79 // CHECK: define void @test_TuBigU(%TuBigU* [[BIGU_RET_ATTRS]], %TuBigU* [[BIGU_ARG_ATTRS1]] byval(%TuBigU) [[BIGU_ARG_ATTRS2]])
  80 #[no_mangle]
  81 pub extern fn test_TuBigU(_: TuBigU) -> TuBigU { loop {} }
  82
  83 // CHECK: define void @test_TeBigU(%"TeBigU::Variant"* [[BIGU_RET_ATTRS]], %"TeBigU::Variant"* [[BIGU_ARG_ATTRS1]] byval(%"TeBigU::Variant") [[BIGU_ARG_ATTRS2]])
  84 #[no_mangle]
  85 pub extern fn test_TeBigU(_: TeBigU) -> TeBigU { loop {} }