src/test/debuginfo/generic-struct-style-enum.rs

   1 // ignore-tidy-linelength
   2 // min-lldb-version: 310
   3
   4 // Require LLVM with DW_TAG_variant_part and a gdb that can read it.
   5 // min-system-llvm-version: 8.0
   6 // min-gdb-version: 8.2
   7
   8 // compile-flags:-g
   9
  10 // gdb-command:set print union on
  11 // gdb-command:run
  12
  13 // gdb-command:print case1
  14 // gdbr-check:$1 = generic_struct_style_enum::Regular<u16, u32, i64>::Case1{a: 0, b: 31868, c: 31868, d: 31868, e: 31868}
  15
  16 // gdb-command:print case2
  17 // gdbr-check:$2 = generic_struct_style_enum::Regular<i16, u32, i64>::Case2{a: 0, b: 286331153, c: 286331153}
  18
  19 // gdb-command:print case3
  20 // gdbr-check:$3 = generic_struct_style_enum::Regular<u16, i32, u64>::Case3{a: 0, b: 6438275382588823897}
  21
  22 // gdb-command:print univariant
  23 // gdbr-check:$4 = generic_struct_style_enum::Univariant<i32>::TheOnlyCase{a: -1}
  24
  25
  26 #![feature(omit_gdb_pretty_printer_section)]
  27 #![omit_gdb_pretty_printer_section]
  28
  29 use self::Regular::{Case1, Case2, Case3};
  30 use self::Univariant::TheOnlyCase;
  31
  32 // NOTE: This is a copy of the non-generic test case. The `Txx` type parameters have to be
  33 // substituted with something of size `xx` bits and the same alignment as an integer type of the
  34 // same size.
  35
  36 // The first element is to ensure proper alignment, irrespective of the machines word size. Since
  37 // the size of the discriminant value is machine dependent, this has be taken into account when
  38 // datatype layout should be predictable as in this case.
  39 enum Regular<T16, T32, T64> {
  40     Case1 { a: T64, b: T16, c: T16, d: T16, e: T16},
  41     Case2 { a: T64, b: T32, c: T32},
  42     Case3 { a: T64, b: T64 }
  43 }
  44
  45 enum Univariant<T> {
  46     TheOnlyCase { a: T }
  47 }
  48
  49 fn main() {
  50
  51     // In order to avoid endianness trouble all of the following test values consist of a single
  52     // repeated byte. This way each interpretation of the union should look the same, no matter if
  53     // this is a big or little endian machine.
  54
  55     // 0b0111110001111100011111000111110001111100011111000111110001111100 = 8970181431921507452
  56     // 0b01111100011111000111110001111100 = 2088533116
  57     // 0b0111110001111100 = 31868
  58     // 0b01111100 = 124
  59     let case1: Regular<u16, u32, i64> = Case1 { a: 0, b: 31868, c: 31868, d: 31868, e: 31868 };
  60
  61     // 0b0001000100010001000100010001000100010001000100010001000100010001 = 1229782938247303441
  62     // 0b00010001000100010001000100010001 = 286331153
  63     // 0b0001000100010001 = 4369
  64     // 0b00010001 = 17
  65     let case2: Regular<i16, u32, i64>  = Case2 { a: 0, b: 286331153, c: 286331153 };
  66
  67     // 0b0101100101011001010110010101100101011001010110010101100101011001 = 6438275382588823897
  68     // 0b01011001010110010101100101011001 = 1499027801
  69     // 0b0101100101011001 = 22873
  70     // 0b01011001 = 89
  71     let case3: Regular<u16, i32, u64>  = Case3 { a: 0, b: 6438275382588823897 };
  72
  73     let univariant = TheOnlyCase { a: -1 };
  74
  75     zzz(); // #break
  76 }
  77
  78 fn zzz() {()}