]>
Commit | Line | Data |
---|---|---|
1d506c26 | 1 | // Copyright (C) 2016-2024 Free Software Foundation, Inc. |
67218854 TT |
2 | |
3 | // This program is free software; you can redistribute it and/or modify | |
4 | // it under the terms of the GNU General Public License as published by | |
5 | // the Free Software Foundation; either version 3 of the License, or | |
6 | // (at your option) any later version. | |
7 | // | |
8 | // This program is distributed in the hope that it will be useful, | |
9 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | // GNU General Public License for more details. | |
12 | // | |
13 | // You should have received a copy of the GNU General Public License | |
14 | // along with this program. If not, see <http://www.gnu.org/licenses/>. | |
15 | ||
16 | #![allow(dead_code)] | |
17 | #![allow(unused_variables)] | |
18 | #![allow(unused_assignments)] | |
19 | ||
20 | ||
21 | pub struct HiBob { | |
22 | pub field1: i32, | |
23 | field2: u64, | |
24 | } | |
25 | ||
26 | struct ByeBob(i32, u64); | |
27 | ||
28 | enum Something { | |
29 | One, | |
30 | Two, | |
31 | Three | |
32 | } | |
33 | ||
34 | enum MoreComplicated { | |
35 | One, | |
36 | Two(i32), | |
37 | Three(HiBob), | |
38 | Four{this: bool, is: u8, a: char, struct_: u64, variant: u32}, | |
39 | } | |
40 | ||
fccb08f8 MG |
41 | // tests the nonzero optimization, but fields are reversed |
42 | enum NonZeroOptimized { | |
43 | Empty, | |
44 | Value(String), | |
45 | } | |
46 | ||
67218854 TT |
47 | fn diff2(x: i32, y: i32) -> i32 { |
48 | x - y | |
49 | } | |
50 | ||
921d8f54 MG |
51 | // Empty function, should not have "void" |
52 | // or "()" in its return type | |
53 | fn empty() { | |
54 | ||
55 | } | |
56 | ||
67218854 TT |
57 | pub struct Unit; |
58 | ||
59 | // This triggers the non-zero optimization that yields a different | |
60 | // enum representation in the debug info. | |
61 | enum SpaceSaver { | |
62 | Thebox(u8, Box<i32>), | |
63 | Nothing, | |
64 | } | |
65 | ||
51a789c3 MG |
66 | enum Univariant { |
67 | Foo {a: u8} | |
68 | } | |
69 | enum UnivariantAnon { | |
70 | Foo(u8) | |
71 | } | |
72 | ||
73 | enum ParametrizedEnum<T> { | |
74 | Val { val: T }, | |
75 | Empty, | |
76 | } | |
77 | ||
78 | struct ParametrizedStruct<T> { | |
79 | next: ParametrizedEnum<Box<ParametrizedStruct<T>>>, | |
80 | value: T | |
81 | } | |
82 | ||
80062eb9 AB |
83 | struct StringAtOffset { |
84 | pub field1: &'static str, | |
85 | pub field2: i32, | |
86 | pub field3: &'static str, | |
87 | } | |
88 | ||
a33ccfc7 TT |
89 | // A simple structure whose layout won't be changed by the compiler, |
90 | // so that ptype/o testing will work on any platform. | |
91 | struct SimpleLayout { | |
92 | f1: u16, | |
93 | f2: u16 | |
94 | } | |
95 | ||
098b2108 TT |
96 | enum EmptyEnum {} |
97 | ||
08410482 DE |
98 | #[derive(Debug)] |
99 | struct EnumWithNonzeroOffset { | |
100 | a: Option<u8>, | |
101 | b: Option<u8>, | |
102 | } | |
103 | ||
67218854 TT |
104 | fn main () { |
105 | let a = (); | |
106 | let b : [i32; 0] = []; | |
107 | ||
108 | let mut c = 27; | |
109 | let d = c = 99; | |
110 | ||
111 | let e = MoreComplicated::Two(73); | |
112 | let e2 = MoreComplicated::Four {this: true, is: 8, a: 'm', | |
113 | struct_: 100, variant: 10}; | |
114 | ||
115 | let f = "hi bob"; | |
116 | let g = b"hi bob"; | |
117 | let h = b'9'; | |
118 | ||
45320ffa TT |
119 | let fslice = &f[3..]; |
120 | ||
67218854 TT |
121 | let i = ["whatever"; 8]; |
122 | ||
123 | let j = Unit; | |
12df5c00 | 124 | let j2 = Unit{}; |
67218854 TT |
125 | |
126 | let k = SpaceSaver::Nothing; | |
127 | let l = SpaceSaver::Thebox(9, Box::new(1729)); | |
128 | ||
129 | let v = Something::Three; | |
130 | let w = [1,2,3,4]; | |
42d94011 | 131 | let w_ptr = &w[0]; |
67218854 TT |
132 | let x = (23, 25.5); |
133 | let y = HiBob {field1: 7, field2: 8}; | |
134 | let z = ByeBob(7, 8); | |
135 | ||
92630041 TT |
136 | let field1 = 77; |
137 | let field2 = 88; | |
92630041 | 138 | |
51a789c3 MG |
139 | let univariant = Univariant::Foo {a : 1}; |
140 | let univariant_anon = UnivariantAnon::Foo(1); | |
141 | ||
67218854 TT |
142 | let slice = &w[2..3]; |
143 | let fromslice = slice[0]; | |
144 | let slice2 = &slice[0..1]; | |
145 | ||
146 | let all1 = &w[..]; | |
147 | let all2 = &slice[..]; | |
148 | ||
149 | let from1 = &w[1..]; | |
150 | let from2 = &slice[1..]; | |
151 | ||
152 | let to1 = &w[..3]; | |
153 | let to2 = &slice[..1]; | |
154 | ||
80062eb9 AB |
155 | let st = StringAtOffset { field1: "hello", field2: 1, field3: "world" }; |
156 | ||
fccb08f8 MG |
157 | // tests for enum optimizations |
158 | ||
159 | let str_some = Some("hi".to_string()); | |
160 | let str_none = None::<String>; | |
161 | let box_some = Some(Box::new(1u8)); | |
162 | let box_none = None::<Box<u8>>; | |
163 | let int_some = Some(1u8); | |
164 | let int_none = None::<u8>; | |
165 | let custom_some = NonZeroOptimized::Value("hi".into()); | |
166 | let custom_none = NonZeroOptimized::Empty; | |
167 | ||
51a789c3 MG |
168 | let parametrized = ParametrizedStruct { |
169 | next: ParametrizedEnum::Val { | |
170 | val: Box::new(ParametrizedStruct { | |
171 | next: ParametrizedEnum::Empty, | |
172 | value: 1, | |
173 | }) | |
174 | }, | |
175 | value: 0, | |
176 | }; | |
177 | ||
aef9346c | 178 | let simplelayout = SimpleLayout { f1: 8, f2: 9 }; |
a037790e | 179 | |
994b876a | 180 | let empty_enum_value: EmptyEnum; |
098b2108 | 181 | |
08410482 DE |
182 | let nonzero_offset = EnumWithNonzeroOffset { a: Some(1), b: None }; |
183 | ||
67218854 TT |
184 | println!("{}, {}", x.0, x.1); // set breakpoint here |
185 | println!("{}", diff2(92, 45)); | |
921d8f54 | 186 | empty(); |
67218854 | 187 | } |