Commit | Line | Data |
---|---|---|
e2882c85 | 1 | // Copyright (C) 2016-2018 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 | ||
67218854 TT |
83 | fn main () { |
84 | let a = (); | |
85 | let b : [i32; 0] = []; | |
86 | ||
87 | let mut c = 27; | |
88 | let d = c = 99; | |
89 | ||
90 | let e = MoreComplicated::Two(73); | |
91 | let e2 = MoreComplicated::Four {this: true, is: 8, a: 'm', | |
92 | struct_: 100, variant: 10}; | |
93 | ||
94 | let f = "hi bob"; | |
95 | let g = b"hi bob"; | |
96 | let h = b'9'; | |
97 | ||
45320ffa TT |
98 | let fslice = &f[3..]; |
99 | ||
67218854 TT |
100 | let i = ["whatever"; 8]; |
101 | ||
102 | let j = Unit; | |
12df5c00 | 103 | let j2 = Unit{}; |
67218854 TT |
104 | |
105 | let k = SpaceSaver::Nothing; | |
106 | let l = SpaceSaver::Thebox(9, Box::new(1729)); | |
107 | ||
108 | let v = Something::Three; | |
109 | let w = [1,2,3,4]; | |
42d94011 | 110 | let w_ptr = &w[0]; |
67218854 TT |
111 | let x = (23, 25.5); |
112 | let y = HiBob {field1: 7, field2: 8}; | |
113 | let z = ByeBob(7, 8); | |
114 | ||
51a789c3 MG |
115 | let univariant = Univariant::Foo {a : 1}; |
116 | let univariant_anon = UnivariantAnon::Foo(1); | |
117 | ||
67218854 TT |
118 | let slice = &w[2..3]; |
119 | let fromslice = slice[0]; | |
120 | let slice2 = &slice[0..1]; | |
121 | ||
122 | let all1 = &w[..]; | |
123 | let all2 = &slice[..]; | |
124 | ||
125 | let from1 = &w[1..]; | |
126 | let from2 = &slice[1..]; | |
127 | ||
128 | let to1 = &w[..3]; | |
129 | let to2 = &slice[..1]; | |
130 | ||
fccb08f8 MG |
131 | // tests for enum optimizations |
132 | ||
133 | let str_some = Some("hi".to_string()); | |
134 | let str_none = None::<String>; | |
135 | let box_some = Some(Box::new(1u8)); | |
136 | let box_none = None::<Box<u8>>; | |
137 | let int_some = Some(1u8); | |
138 | let int_none = None::<u8>; | |
139 | let custom_some = NonZeroOptimized::Value("hi".into()); | |
140 | let custom_none = NonZeroOptimized::Empty; | |
141 | ||
51a789c3 MG |
142 | let parametrized = ParametrizedStruct { |
143 | next: ParametrizedEnum::Val { | |
144 | val: Box::new(ParametrizedStruct { | |
145 | next: ParametrizedEnum::Empty, | |
146 | value: 1, | |
147 | }) | |
148 | }, | |
149 | value: 0, | |
150 | }; | |
151 | ||
67218854 TT |
152 | println!("{}, {}", x.0, x.1); // set breakpoint here |
153 | println!("{}", diff2(92, 45)); | |
921d8f54 | 154 | empty(); |
67218854 | 155 | } |