src/test/ui/type-sizes.rs

   1 // run-pass
   2
   3 #![allow(non_camel_case_types)]
   4 #![allow(dead_code)]
   5 #![feature(never_type)]
   6
   7 use std::mem::size_of;
   8
   9 struct t {a: u8, b: i8}
  10 struct u {a: u8, b: i8, c: u8}
  11 struct v {a: u8, b: i8, c: v2, d: u32}
  12 struct v2 {u: char, v: u8}
  13 struct w {a: isize, b: ()}
  14 struct x {a: isize, b: (), c: ()}
  15 struct y {x: isize}
  16
  17 enum e1 {
  18     a(u8, u32), b(u32), c
  19 }
  20 enum e2 {
  21     a(u32), b
  22 }
  23
  24 #[repr(C, u8)]
  25 enum e3 {
  26     a([u16; 0], u8), b
  27 }
  28
  29 struct ReorderedStruct {
  30     a: u8,
  31     b: u16,
  32     c: u8
  33 }
  34
  35 enum ReorderedEnum {
  36     A(u8, u16, u8),
  37     B(u8, u16, u8),
  38 }
  39
  40 enum ReorderedEnum2 {
  41     A(u8, u32, u8),
  42     B(u16, u8, u16, u8),
  43
  44     // 0x100 niche variants.
  45     _00, _01, _02, _03, _04, _05, _06, _07, _08, _09, _0A, _0B, _0C, _0D, _0E, _0F,
  46     _10, _11, _12, _13, _14, _15, _16, _17, _18, _19, _1A, _1B, _1C, _1D, _1E, _1F,
  47     _20, _21, _22, _23, _24, _25, _26, _27, _28, _29, _2A, _2B, _2C, _2D, _2E, _2F,
  48     _30, _31, _32, _33, _34, _35, _36, _37, _38, _39, _3A, _3B, _3C, _3D, _3E, _3F,
  49     _40, _41, _42, _43, _44, _45, _46, _47, _48, _49, _4A, _4B, _4C, _4D, _4E, _4F,
  50     _50, _51, _52, _53, _54, _55, _56, _57, _58, _59, _5A, _5B, _5C, _5D, _5E, _5F,
  51     _60, _61, _62, _63, _64, _65, _66, _67, _68, _69, _6A, _6B, _6C, _6D, _6E, _6F,
  52     _70, _71, _72, _73, _74, _75, _76, _77, _78, _79, _7A, _7B, _7C, _7D, _7E, _7F,
  53     _80, _81, _82, _83, _84, _85, _86, _87, _88, _89, _8A, _8B, _8C, _8D, _8E, _8F,
  54     _90, _91, _92, _93, _94, _95, _96, _97, _98, _99, _9A, _9B, _9C, _9D, _9E, _9F,
  55     _A0, _A1, _A2, _A3, _A4, _A5, _A6, _A7, _A8, _A9, _AA, _AB, _AC, _AD, _AE, _AF,
  56     _B0, _B1, _B2, _B3, _B4, _B5, _B6, _B7, _B8, _B9, _BA, _BB, _BC, _BD, _BE, _BF,
  57     _C0, _C1, _C2, _C3, _C4, _C5, _C6, _C7, _C8, _C9, _CA, _CB, _CC, _CD, _CE, _CF,
  58     _D0, _D1, _D2, _D3, _D4, _D5, _D6, _D7, _D8, _D9, _DA, _DB, _DC, _DD, _DE, _DF,
  59     _E0, _E1, _E2, _E3, _E4, _E5, _E6, _E7, _E8, _E9, _EA, _EB, _EC, _ED, _EE, _EF,
  60     _F0, _F1, _F2, _F3, _F4, _F5, _F6, _F7, _F8, _F9, _FA, _FB, _FC, _FD, _FE, _FF,
  61 }
  62
  63 enum EnumEmpty {}
  64
  65 enum EnumSingle1 {
  66     A,
  67 }
  68
  69 enum EnumSingle2 {
  70     A = 42 as isize,
  71 }
  72
  73 enum EnumSingle3 {
  74     A,
  75     B(!),
  76 }
  77
  78 #[repr(u8)]
  79 enum EnumSingle4 {
  80     A,
  81 }
  82
  83 #[repr(u8)]
  84 enum EnumSingle5 {
  85     A = 42 as u8,
  86 }
  87
  88 enum EnumWithMaybeUninhabitedVariant<T> {
  89     A(&'static ()),
  90     B(&'static (), T),
  91     C,
  92 }
  93
  94 enum NicheFilledEnumWithAbsentVariant {
  95     A(&'static ()),
  96     B((), !),
  97     C,
  98 }
  99
 100 enum Option2<A, B> {
 101     Some(A, B),
 102     None
 103 }
 104
 105 pub fn main() {
 106     assert_eq!(size_of::<u8>(), 1 as usize);
 107     assert_eq!(size_of::<u32>(), 4 as usize);
 108     assert_eq!(size_of::<char>(), 4 as usize);
 109     assert_eq!(size_of::<i8>(), 1 as usize);
 110     assert_eq!(size_of::<i32>(), 4 as usize);
 111     assert_eq!(size_of::<t>(), 2 as usize);
 112     assert_eq!(size_of::<u>(), 3 as usize);
 113     // Alignment causes padding before the char and the u32.
 114
 115     assert_eq!(size_of::<v>(),
 116                 16 as usize);
 117     assert_eq!(size_of::<isize>(), size_of::<usize>());
 118     assert_eq!(size_of::<w>(), size_of::<isize>());
 119     assert_eq!(size_of::<x>(), size_of::<isize>());
 120     assert_eq!(size_of::<isize>(), size_of::<y>());
 121
 122     // Make sure enum types are the appropriate size, mostly
 123     // around ensuring alignment is handled properly
 124
 125     assert_eq!(size_of::<e1>(), 8 as usize);
 126     assert_eq!(size_of::<e2>(), 8 as usize);
 127     assert_eq!(size_of::<e3>(), 4 as usize);
 128     assert_eq!(size_of::<ReorderedStruct>(), 4);
 129     assert_eq!(size_of::<ReorderedEnum>(), 6);
 130     assert_eq!(size_of::<ReorderedEnum2>(), 8);
 131
 132
 133     assert_eq!(size_of::<EnumEmpty>(), 0);
 134     assert_eq!(size_of::<EnumSingle1>(), 0);
 135     assert_eq!(size_of::<EnumSingle2>(), 0);
 136     assert_eq!(size_of::<EnumSingle3>(), 0);
 137     assert_eq!(size_of::<EnumSingle4>(), 1);
 138     assert_eq!(size_of::<EnumSingle5>(), 1);
 139
 140     assert_eq!(size_of::<EnumWithMaybeUninhabitedVariant<!>>(),
 141                size_of::<EnumWithMaybeUninhabitedVariant<()>>());
 142     assert_eq!(size_of::<NicheFilledEnumWithAbsentVariant>(), size_of::<&'static ()>());
 143
 144     assert_eq!(size_of::<Option<Option<(bool, &())>>>(), size_of::<(bool, &())>());
 145     assert_eq!(size_of::<Option<Option<(&(), bool)>>>(), size_of::<(bool, &())>());
 146     assert_eq!(size_of::<Option<Option2<bool, &()>>>(), size_of::<(bool, &())>());
 147     assert_eq!(size_of::<Option<Option2<&(), bool>>>(), size_of::<(bool, &())>());
 148 }