src/test/ui/print_type_sizes/packed.rs

   1 // compile-flags: -Z print-type-sizes
   2 // compile-pass
   3 // ignore-pass
   4 // ^-- needed because `--pass check` does not emit the output needed.
   5 //     FIXME: consider using an attribute instead of side-effects.
   6
   7 // This file illustrates how packing is handled; it should cause
   8 // the elimination of padding that would normally be introduced
   9 // to satisfy alignment desirata.
  10 //
  11 // It avoids using u64/i64 because on some targets that is only 4-byte
  12 // aligned (while on most it is 8-byte aligned) and so the resulting
  13 // padding and overall computed sizes can be quite different.
  14
  15 #![allow(dead_code)]
  16 #![feature(start)]
  17
  18 #[derive(Default)]
  19 #[repr(packed)]
  20 struct Packed1 {
  21     a: u8,
  22     b: u8,
  23     g: i32,
  24     c: u8,
  25     h: i16,
  26     d: u8,
  27 }
  28
  29 #[derive(Default)]
  30 #[repr(packed(2))]
  31 struct Packed2 {
  32     a: u8,
  33     b: u8,
  34     g: i32,
  35     c: u8,
  36     h: i16,
  37     d: u8,
  38 }
  39
  40 #[derive(Default)]
  41 #[repr(packed(2))]
  42 #[repr(C)]
  43 struct Packed2C {
  44     a: u8,
  45     b: u8,
  46     g: i32,
  47     c: u8,
  48     h: i16,
  49     d: u8,
  50 }
  51
  52 #[derive(Default)]
  53 struct Padded {
  54     a: u8,
  55     b: u8,
  56     g: i32,
  57     c: u8,
  58     h: i16,
  59     d: u8,
  60 }
  61
  62 #[start]
  63 fn start(_: isize, _: *const *const u8) -> isize {
  64     let _c: Packed1 = Default::default();
  65     let _d: Packed2 = Default::default();
  66     let _e: Packed2C = Default::default();
  67     let _f: Padded = Default::default();
  68     0
  69 }