1# This testcase is part of GDB, the GNU debugger.
2
3# Copyright 2002, 2003, 2004 Free Software Foundation, Inc.
4
5# This program is free software; you can redistribute it and/or modify
6# it under the terms of the GNU General Public License as published by
7# the Free Software Foundation; either version 2 of the License, or
8# (at your option) any later version.
9#
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13# GNU General Public License for more details.
14#
15# You should have received a copy of the GNU General Public License
16# along with this program; if not, write to the Free Software
17# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18
19if $tracelevel {
20    strace $tracelevel
21}
22
23#
24# test running programs
25#
26set prms_id 0
27set bug_id 0
28
29set testfile "store"
30set srcfile ${testfile}.c
31set binfile ${objdir}/${subdir}/${testfile}
32if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
33    gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
34}
35
36if [get_compiler_info ${binfile}] {
37    return -1;
38}
39
40gdb_exit
41gdb_start
42gdb_reinitialize_dir $srcdir/$subdir
43gdb_load ${binfile}
44
45#
46# set it up at a breakpoint so we can play with the variable values
47#
48
49if ![runto_main] then {
50    perror "couldn't run to breakpoint"
51    continue
52}
53
54#
55
56proc check_set { t l r new add } {
57    set prefix "var ${t} l"
58    gdb_test "tbreak wack_${t}"
59    gdb_test "continue" "register ${t} l = u, r = v;" \
60	"continue to wack_${t}"
61    gdb_test "next" "l = add_${t} .l, r.;" \
62	"${prefix}; next ${t}"
63    gdb_test "print l" " = ${l}" \
64	"${prefix}; print old l, expecting ${l}"
65    gdb_test "print r" " = ${r}" \
66	"${prefix}; print old r, expecting ${r}"
67    gdb_test "set variable l = 4" "" \
68	"${prefix}; setting l to 4"
69    gdb_test "print l" " = ${new}" \
70	"${prefix}; print new l, expecting ${l}"
71    gdb_test "next" "return l \\+ r;" \
72	"${prefix}; next over add call"
73    gdb_test "print l" " = ${add}" \
74	"${prefix}; print incremented l, expecting ${add}"
75}
76
77check_set "charest" "-1 .*" "-2 .*" "4 ..004." "2 ..002."
78check_set "short" "-1" "-2" "4" "2"
79check_set "int" "-1" "-2" "4" "2"
80check_set "long" "-1" "-2" "4" "2"
81check_set "longest" "-1" "-2" "4" "2"
82check_set "float" "-1" "-2" "4" "2"
83check_set "double" "-1" "-2" "4" "2"
84check_set "doublest" "-1" "-2" "4" "2"
85
86#
87
88proc up_set { t l r new } {
89    set prefix "upvar ${t} l"
90    gdb_test "tbreak add_${t}"
91    gdb_test "continue" "return u . v;" \
92	"continue to add_${t}"
93    gdb_test "up" "l = add_${t} .l, r.;" \
94	"${prefix}; up"
95    gdb_test "print l" " = ${l}" \
96	"${prefix}; print old l, expecting ${l}"
97    gdb_test "print r" " = ${r}" \
98	"${prefix}; print old r, expecting ${r}"
99    gdb_test "set variable l = 4" "" \
100	"${prefix}; set l to 4"
101    gdb_test "print l" " = ${new}" \
102	"${prefix}; print new l, expecting ${new}"
103}
104
105up_set "charest" "-1 .*" "-2 .*" "4 ..004."
106up_set "short" "-1" "-2" "4"
107up_set "int" "-1" "-2" "4"
108up_set "long" "-1" "-2" "4"
109up_set "longest" "-1" "-2" "4"
110up_set "float" "-1" "-2" "4"
111up_set "double" "-1" "-2" "4"
112up_set "doublest" "-1" "-2" "4"
113
114#
115
116proc check_struct { t old new } {
117    set prefix "var struct ${t} u"
118    gdb_test "tbreak wack_struct_${t}"
119    gdb_test "continue" "int i; register struct s_${t} u = z_${t};" \
120	"continue to wack_struct_${t}"
121    gdb_test "next 2" "add_struct_${t} .u.;" \
122	"${prefix}; next to add_struct_${t} call"
123    gdb_test "print u" " = ${old}" \
124	"${prefix}; print old u, expecting ${old}"
125    gdb_test "set variable u = s_${t}" "" \
126	"${prefix}; set u to s_${t}"
127    gdb_test "print u" " = ${new}" \
128	"${prefix}; print new u, expecting ${new}"
129}
130
131check_struct "1" "{s = \\{0}}" "{s = \\{1}}"
132check_struct "2" "{s = \\{0, 0}}" "{s = \\{1, 2}}"
133check_struct "3" "{s = \\{0, 0, 0}}" "{s = \\{1, 2, 3}}"
134check_struct "4" "{s = \\{0, 0, 0, 0}}" "{s = \\{1, 2, 3, 4}}"
135
136proc up_struct { t old new } {
137    set prefix "up struct ${t} u"
138    gdb_test "tbreak add_struct_${t}"
139    gdb_test "continue" "for .i = 0; i < sizeof .s. / sizeof .s.s.0..; i..." \
140	"continue to add_struct_${t}"
141    gdb_test "up" "u = add_struct_${t} .u.;" \
142	"${prefix}; up"
143    gdb_test "print u" " = ${old}" \
144	"${prefix}; print old u, expecting ${old}"
145    gdb_test "set variable u = s_${t}" "" \
146	"${prefix}; set u to s_${t}"
147    gdb_test "print u" " = ${new}" \
148	"${prefix}; print new u, expecting ${new}"
149}
150
151up_struct "1" "{s = \\{0}}" "{s = \\{1}}"
152up_struct "2" "{s = \\{0, 0}}" "{s = \\{1, 2}}"
153up_struct "3" "{s = \\{0, 0, 0}}" "{s = \\{1, 2, 3}}"
154up_struct "4" "{s = \\{0, 0, 0, 0}}" "{s = \\{1, 2, 3, 4}}"
155
156#
157
158proc check_field { t } {
159    global gdb_prompt
160    gdb_test "tbreak wack_field_${t}"
161    gdb_test "continue" "register struct f_${t} u = f_${t};" \
162	    "continue field ${t}"
163
164    # Match either the return statement, or the line immediatly after
165    # it.  The compiler can end up merging the return statement into
166    # the return instruction.
167    gdb_test "next" "(return u;|\})" "next field ${t}"
168
169    gdb_test "print u" " = {i = 1, j = 1, k = 1}" "old field ${t}"
170    gdb_test "set variable u = F_${t}"
171    gdb_test "print u" " = {i = 0, j = 0, k = 0}" "new field ${t}"
172
173    gdb_test "set variable u = F_${t}, u.i = f_${t}.i"
174    gdb_test "print u" " = {i = 1, j = 0, k = 0}" "f_${t}.i"
175
176    gdb_test "set variable u = F_${t}, u.j = f_${t}.j"
177    gdb_test "print u" " = {i = 0, j = 1, k = 0}" "f_${t}.j"
178
179    gdb_test "set variable u = F_${t}, u.k = f_${t}.k"
180    gdb_test "print u" " = {i = 0, j = 0, k = 1}" "f_${t}.k"
181
182    gdb_test "set variable u = f_${t}, u.i = F_${t}.i"
183    gdb_test "print u" " = {i = 0, j = 1, k = 1}" "F_${t}.i"
184
185    gdb_test "set variable u = f_${t}, u.j = F_${t}.j"
186    gdb_test "print u" " = {i = 1, j = 0, k = 1}" "F_${t}.j"
187
188    gdb_test "set variable u = f_${t}, u.k = F_${t}.k"
189    gdb_test "print u" " = {i = 1, j = 1, k = 0}" "F_${t}.k"
190
191}
192
193check_field 1
194check_field 2
195check_field 3
196check_field 4
197
198#
199
200# WANTED: A fairly portable way of convincing the compiler to split a
201# value across memory and registers.
202
203