1 // Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // ignore-tidy-linelength
13 // Require LLVM with DW_TAG_variant_part and a gdb and lldb that can
15 // min-system-llvm-version: 7.0
16 // min-gdb-version: 8.2
21 // === GDB TESTS ===================================================================================
23 // gdb-command:set print union on
26 // gdb-command:print case1
27 // gdbr-check:$1 = generic_tuple_style_enum::Regular<u16, u32, u64>::Case1(0, 31868, 31868, 31868, 31868)
29 // gdb-command:print case2
30 // gdbr-check:$2 = generic_tuple_style_enum::Regular<i16, i32, i64>::Case2(0, 286331153, 286331153)
32 // gdb-command:print case3
33 // gdbr-check:$3 = generic_tuple_style_enum::Regular<i16, i32, i64>::Case3(0, 6438275382588823897)
35 // gdb-command:print univariant
36 // gdbr-check:$4 = generic_tuple_style_enum::Univariant<i64>::TheOnlyCase(-1)
39 // === LLDB TESTS ==================================================================================
43 // lldb-command:print case1
44 // lldbr-check:(generic_tuple_style_enum::Regular<u16, u32, u64>::Case1) case1 = { __0 = 0 __1 = 31868 __2 = 31868 __3 = 31868 __4 = 31868 }
46 // lldb-command:print case2
47 // lldbr-check:(generic_tuple_style_enum::Regular<i16, i32, i64>::Case2) case2 = Regular<i16, i32, i64>::Case2 { Case1: 0, Case2: 286331153, Case3: 286331153 }
49 // lldb-command:print case3
50 // lldbr-check:(generic_tuple_style_enum::Regular<i16, i32, i64>::Case3) case3 = Regular<i16, i32, i64>::Case3 { Case1: 0, Case2: 6438275382588823897 }
52 // lldb-command:print univariant
53 // lldbr-check:(generic_tuple_style_enum::Univariant<i64>) univariant = Univariant<i64> { TheOnlyCase: Univariant<i64>::TheOnlyCase(-1) }
55 #![feature(omit_gdb_pretty_printer_section)]
56 #![omit_gdb_pretty_printer_section]
58 use self::Regular::{Case1, Case2, Case3};
59 use self::Univariant::TheOnlyCase;
61 // NOTE: This is a copy of the non-generic test case. The `Txx` type parameters have to be
62 // substituted with something of size `xx` bits and the same alignment as an integer type of the
65 // The first element is to ensure proper alignment, irrespective of the machines word size. Since
66 // the size of the discriminant value is machine dependent, this has be taken into account when
67 // datatype layout should be predictable as in this case.
68 enum Regular<T16, T32, T64> {
69 Case1(T64, T16, T16, T16, T16),
74 enum Univariant<T64> {
80 // In order to avoid endianness trouble all of the following test values consist of a single
81 // repeated byte. This way each interpretation of the union should look the same, no matter if
82 // this is a big or little endian machine.
84 // 0b0111110001111100011111000111110001111100011111000111110001111100 = 8970181431921507452
85 // 0b01111100011111000111110001111100 = 2088533116
86 // 0b0111110001111100 = 31868
88 let case1: Regular<u16, u32, u64> = Case1(0_u64, 31868_u16, 31868_u16, 31868_u16, 31868_u16);
90 // 0b0001000100010001000100010001000100010001000100010001000100010001 = 1229782938247303441
91 // 0b00010001000100010001000100010001 = 286331153
92 // 0b0001000100010001 = 4369
94 let case2: Regular<i16, i32, i64> = Case2(0_i64, 286331153_i32, 286331153_i32);
96 // 0b0101100101011001010110010101100101011001010110010101100101011001 = 6438275382588823897
97 // 0b01011001010110010101100101011001 = 1499027801
98 // 0b0101100101011001 = 22873
100 let case3: Regular<i16, i32, i64> = Case3(0_i64, 6438275382588823897_i64);
102 let univariant = TheOnlyCase(-1_i64);