]>
Commit | Line | Data |
---|---|---|
42a4f53d | 1 | # Copyright 2018-2019 Free Software Foundation, Inc. |
2ddeaf8a 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 | # Test DW_TAG_variant_part and DW_TAG_variant. | |
17 | ||
18 | load_lib dwarf.exp | |
19 | ||
20 | # This test can only be run on targets which support DWARF-2 and use | |
21 | # gas. | |
22 | if {![dwarf2_support]} { | |
23 | return 0 | |
24 | } | |
25 | ||
26 | standard_testfile .c variant.S | |
27 | ||
28 | # Make some DWARF for the test. | |
29 | set asm_file [standard_output_file $srcfile2] | |
30 | Dwarf::assemble $asm_file { | |
31 | upvar cu_lang cu_lang | |
32 | ||
33 | declare_labels uinteger_label float_label int8_label | |
34 | declare_labels discr_1_label discr_2_label discr_3_label | |
35 | declare_labels one_label two_label | |
36 | ||
37 | # Creating a CU with 4-byte addresses lets this test link on | |
38 | # both 32- and 64-bit machines. | |
39 | cu { addr_size 4 } { | |
40 | compile_unit { | |
41 | {name file1.txt} | |
42 | {language @DW_LANG_Rust} | |
43 | } { | |
44 | uinteger_label: DW_TAG_base_type { | |
45 | {DW_AT_byte_size 4 DW_FORM_sdata} | |
46 | {DW_AT_encoding @DW_ATE_unsigned} | |
47 | {DW_AT_name {unsigned integer}} | |
48 | } | |
49 | ||
50 | int8_label: DW_TAG_base_type { | |
51 | {DW_AT_byte_size 1 DW_FORM_sdata} | |
52 | {DW_AT_encoding @DW_ATE_signed} | |
53 | {DW_AT_name i8} | |
54 | } | |
55 | ||
56 | float_label: base_type { | |
57 | {name float} | |
58 | {encoding @DW_ATE_float} | |
59 | {byte_size 4 DW_FORM_sdata} | |
60 | } | |
61 | ||
62 | one_label: structure_type { | |
63 | {name One} | |
64 | {byte_size 4 DW_FORM_sdata} | |
65 | } { | |
66 | member { | |
67 | {name __0} | |
68 | {type :$uinteger_label} | |
69 | {data_member_location 0 data1} | |
70 | } | |
71 | } | |
72 | ||
73 | two_label: structure_type { | |
74 | {name Two} | |
75 | {byte_size 4 DW_FORM_sdata} | |
76 | } { | |
77 | member { | |
78 | {name __0} | |
79 | {type :$float_label} | |
80 | {data_member_location 0 data1} | |
81 | } | |
82 | } | |
83 | ||
84 | structure_type { | |
85 | {name Simple} | |
86 | {byte_size 8 DW_FORM_sdata} | |
87 | } { | |
88 | variant_part { | |
89 | {discr :$discr_1_label DW_FORM_ref4} | |
90 | } { | |
91 | discr_1_label: member { | |
92 | {type :$uinteger_label} | |
93 | {data_member_location 0 data1} | |
94 | } | |
95 | ||
96 | variant { | |
97 | {discr_value 23 udata} | |
98 | } { | |
99 | member { | |
100 | {type :$one_label} | |
101 | {data_member_location 4 data1} | |
102 | } | |
103 | } | |
104 | ||
105 | variant { | |
106 | {discr_value 1 udata} | |
107 | } { | |
108 | member { | |
109 | {type :$two_label} | |
110 | {data_member_location 4 data1} | |
111 | } | |
112 | } | |
113 | } | |
114 | } | |
115 | ||
116 | structure_type { | |
117 | {name Defaulted} | |
118 | {byte_size 8 DW_FORM_sdata} | |
119 | } { | |
120 | variant_part { | |
121 | {discr :$discr_2_label DW_FORM_ref4} | |
122 | } { | |
123 | discr_2_label: member { | |
124 | {type :$uinteger_label} | |
125 | {data_member_location 0 data1} | |
126 | } | |
127 | ||
128 | variant { | |
129 | } { | |
130 | member { | |
131 | {type :$one_label} | |
132 | {data_member_location 4 data1} | |
133 | } | |
134 | } | |
135 | ||
136 | variant { | |
137 | {discr_value 1 udata} | |
138 | } { | |
139 | member { | |
140 | {type :$two_label} | |
141 | {data_member_location 4 data1} | |
142 | } | |
143 | } | |
144 | } | |
145 | } | |
146 | ||
147 | structure_type { | |
148 | {name Univariant} | |
149 | {byte_size 8 DW_FORM_sdata} | |
150 | } { | |
151 | variant_part { | |
152 | } { | |
153 | variant { | |
154 | } { | |
155 | member { | |
156 | {type :$one_label} | |
157 | {data_member_location 4 data1} | |
158 | } | |
159 | } | |
160 | } | |
161 | } | |
162 | ||
163 | # Rust won't emit a negative discriminant like this, but | |
164 | # we want to test the code path anyway. | |
165 | structure_type { | |
166 | {name Negative} | |
167 | {byte_size 8 DW_FORM_sdata} | |
168 | } { | |
169 | variant_part { | |
170 | {discr :$discr_3_label DW_FORM_ref4} | |
171 | } { | |
172 | discr_3_label: member { | |
173 | {type :$int8_label} | |
174 | {data_member_location 0 data1} | |
175 | } | |
176 | ||
177 | variant { | |
178 | {discr_value -1 sdata} | |
179 | } { | |
180 | member { | |
181 | {type :$one_label} | |
182 | {data_member_location 4 data1} | |
183 | } | |
184 | } | |
185 | ||
186 | # Make this the default value so we'll see an | |
187 | # incorrect result if we mishandle signed | |
188 | # discriminants. | |
189 | variant { | |
190 | } { | |
191 | member { | |
192 | {type :$two_label} | |
193 | {data_member_location 4 data1} | |
194 | } | |
195 | } | |
196 | } | |
197 | } | |
198 | } | |
199 | } | |
200 | } | |
201 | ||
202 | if { [prepare_for_testing "failed to prepare" ${testfile} \ | |
203 | [list $srcfile $asm_file] debug] } { | |
204 | return -1 | |
205 | } | |
206 | ||
207 | if ![runto func] { | |
208 | return -1 | |
209 | } | |
210 | ||
211 | # Get the values into history so we can use it from Rust. | |
212 | gdb_test "print (void *) buffer" "\\\$1 = .void .. $hex .buffer." | |
213 | gdb_test "print (void *) buffer2" "\\\$2 = .void .. $hex .buffer2." | |
214 | ||
215 | gdb_test "set language rust" | |
216 | gdb_test "print *(\$1 as *mut Simple)" " = One\\(23\\)" \ | |
217 | "print as Simple" | |
218 | gdb_test "print *(\$1 as *mut Defaulted)" " = One\\(23\\)" \ | |
219 | "print as Defaulted" | |
220 | gdb_test "print *(\$1 as *mut Univariant)" " = One\\(23\\)" \ | |
221 | "print as Univariant" | |
222 | ||
223 | gdb_test "print *(\$2 as *mut Negative)" " = One\\(23\\)" \ | |
224 | "print as Negative" |