Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | # Copyright 2003-2020 Free Software Foundation, Inc. |
bf6bad4b AC |
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 | |
e22f8b7c | 5 | # the Free Software Foundation; either version 3 of the License, or |
bf6bad4b AC |
6 | # (at your option) any later version. |
7 | # | |
e22f8b7c | 8 | # This program is distributed in the hope that it will be useful, |
bf6bad4b AC |
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. | |
e22f8b7c | 12 | # |
bf6bad4b | 13 | # You should have received a copy of the GNU General Public License |
e22f8b7c | 14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
bf6bad4b | 15 | # |
bf6bad4b AC |
16 | |
17 | # Tests for Powerpc E500 register setting and fetching | |
18 | ||
bf6bad4b AC |
19 | # |
20 | # Test the use of registers, especially E500 registers, for Powerpc. | |
21 | # This file uses e500-regs.c for input. | |
22 | # | |
23 | ||
bf6bad4b | 24 | |
f1e6ae7c | 25 | if ![istarget "powerpc-*eabispe"] then { |
bf6bad4b AC |
26 | verbose "Skipping e500 register tests." |
27 | return | |
28 | } | |
29 | ||
30 | set testfile "e500-regs" | |
31 | set binfile ${objdir}/${subdir}/${testfile} | |
32 | set src1 ${srcdir}/${subdir}/${testfile}.c | |
33 | ||
fc91c6c2 | 34 | if { [gdb_compile ${src1} ${binfile} executable {debug nowarnings}] != "" } { |
5b362f04 | 35 | untested "failed to compile" |
b60f0898 | 36 | return -1 |
bf6bad4b AC |
37 | } |
38 | ||
39 | gdb_start | |
40 | gdb_reinitialize_dir $srcdir/$subdir | |
41 | gdb_load ${binfile} | |
42 | ||
43 | # | |
44 | # Run to `main' where we begin our tests. | |
45 | # | |
46 | ||
47 | if ![runto_main] then { | |
c8ee3f04 PW |
48 | fail "can't run to main" |
49 | return 0 | |
bf6bad4b AC |
50 | } |
51 | ||
52 | # set all the registers integer portions to 1 | |
53 | for {set i 0} {$i < 32} {incr i 1} { | |
54 | for {set j 0} {$j < 2} {incr j 1} { | |
55 | gdb_test "set \$ev$i.v2_int32\[$j\] = 1" "" "set reg ev$i.v4si.f\[$j\]" | |
56 | } | |
57 | } | |
58 | ||
59 | # Now execute some target code, so that GDB's register cache is flushed. | |
60 | ||
61 | #gdb_test "next" "" "" | |
62 | ||
805acca0 | 63 | set endianness [get_endianness] |
bf6bad4b AC |
64 | |
65 | # And then read the E500 registers back, to see that | |
66 | # a) the register write above worked, and | |
67 | # b) the register read (below) also works. | |
68 | ||
69 | if {$endianness == "big"} { | |
f1e6ae7c | 70 | set vector_register ".uint64 = 0x100000001, v2_float = .0x0, 0x0., v2_int32 = .0x1, 0x1., v4_int16 = .0x0, 0x1, 0x0, 0x1., v8_int8 = .0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1.." |
bf6bad4b | 71 | } else { |
f1e6ae7c | 72 | set vector_register ".uint64 = 0x100000001, v2_float = .0x0, 0x0., v2_int32 = .0x1, 0x1., v4_int16 = .0x1, 0x0, 0x1, 0x0., v8_int8 = .0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0.." |
bf6bad4b AC |
73 | } |
74 | ||
75 | for {set i 0} {$i < 32} {incr i 1} { | |
76 | gdb_test "info reg ev$i" "ev$i.*$vector_register" "info reg ev$i" | |
77 | } | |
78 | ||
79 | # Test wether the GPRs are updated accordingly. (GPRs are just the lower | |
80 | # 32 bits of the EV registers.) | |
81 | ||
82 | set general_register "0x1\[ \t\]+1" | |
83 | ||
84 | for {set i 0} {$i < 32} {incr i 1} { | |
85 | gdb_test "info reg r$i" "r$i.*$general_register" "info reg r$i" | |
86 | } | |
87 | ||
88 | # Now redo the same tests, but using the print command. | |
bf6bad4b AC |
89 | |
90 | if {$endianness == "big"} { | |
e2995f8e | 91 | set decimal_vector ".uint64 = 4294967297, v2_float = .1.*e-45, 1.*e-45., v2_int32 = .1, 1., v4_int16 = .0, 1, 0, 1., v8_int8 = .0, 0, 0, 1, 0, 0, 0, 1.." |
bf6bad4b | 92 | } else { |
e2995f8e | 93 | set decimal_vector ".uint64 = 4294967297, v2_float = .1.*e-45, 1.*e-45., v2_int32 = .1, 1., v4_int16 = .1, 0, 1, 0., v8_int8 = .1, 0, 0, 0, 1, 0, 0, 0.." |
bf6bad4b AC |
94 | } |
95 | ||
96 | for {set i 0} {$i < 32} {incr i 1} { | |
97 | gdb_test "print \$ev$i" ".* = $decimal_vector" "print ev$i" | |
98 | } | |
99 | ||
100 | for {set i 0} {$i < 32} {incr i 1} { | |
101 | set pattern$i ".*ev$i.*" | |
102 | append pattern$i $vector_register | |
103 | } | |
104 | ||
105 | send_gdb "info vector\n" | |
106 | gdb_expect_list "info vector" ".*$gdb_prompt $" { | |
107 | [$pattern0] | |
108 | [$pattern1] | |
109 | [$pattern2] | |
110 | [$pattern3] | |
111 | [$pattern4] | |
112 | [$pattern5] | |
113 | [$pattern6] | |
114 | [$pattern7] | |
115 | [$pattern8] | |
116 | [$pattern9] | |
117 | [$pattern10] | |
118 | [$pattern11] | |
119 | [$pattern12] | |
120 | [$pattern13] | |
121 | [$pattern14] | |
122 | [$pattern15] | |
123 | [$pattern16] | |
124 | [$pattern17] | |
125 | [$pattern18] | |
126 | [$pattern19] | |
127 | [$pattern20] | |
128 | [$pattern21] | |
129 | [$pattern22] | |
130 | [$pattern23] | |
131 | [$pattern24] | |
132 | [$pattern25] | |
133 | [$pattern26] | |
134 | [$pattern27] | |
135 | [$pattern28] | |
136 | [$pattern29] | |
137 | [$pattern30] | |
138 | [$pattern31] | |
139 | } | |
140 | ||
141 | # We must restart everything, because we have set important registers to | |
142 | # some unusual values. | |
143 | ||
144 | gdb_exit | |
145 | gdb_start | |
146 | gdb_reinitialize_dir $srcdir/$subdir | |
147 | gdb_load ${binfile} | |
148 | if ![runto_main] then { | |
c8ee3f04 PW |
149 | fail "can't run to main" |
150 | return 0 | |
bf6bad4b AC |
151 | } |
152 | ||
153 | gdb_test "break vector_fun" \ | |
154 | "Breakpoint 2 at.*e500-regs.c, line \[0-9\]+\\." \ | |
bb95117e | 155 | "set breakpoint at vector_fun" |
bf6bad4b AC |
156 | |
157 | # Actually it is nuch easier to see these results printed in hex. | |
158 | # gdb_test "set output-radix 16" \ | |
159 | # "Output radix now set to decimal 16, hex 10, octal 20." \ | |
bb95117e | 160 | # "set output radix to hex" |
bf6bad4b AC |
161 | |
162 | gdb_test "continue" \ | |
163 | "Breakpoint 2, vector_fun .a=.-2, -2., b=.1, 1.*e500-regs.c.*ev_create_s32 .2, 2.;" \ | |
164 | "continue to vector_fun" | |
165 | ||
166 | # Do a next over the assignment to vector 'a'. | |
167 | gdb_test "next" ".*b = \\(vector int\\) __ev_create_s32 \\(3, 3\\);" \ | |
168 | "next (1)" | |
169 | ||
170 | # Do a next over the assignment to vector 'b'. | |
171 | gdb_test "next" "c = __ev_and \\(a, b\\);" \ | |
172 | "next (2)" | |
173 | ||
174 | # Now 'a' should be '0x02020202...' and 'b' should be '0x03030303...' | |
175 | gdb_test "print/x a" \ | |
176 | ".*= .0x2, 0x2." \ | |
177 | "print vector parameter a" | |
178 | ||
179 | gdb_test "print/x b" \ | |
180 | ".*= .0x3, 0x3." \ | |
181 | "print vector parameter b" | |
182 | ||
183 | # If we do an 'up' now, and print 'x' and 'y' we should see the values they | |
184 | # have in main, not the values they have in vector_fun. | |
185 | gdb_test "up" ".1.*main \\(\\) at.*e500-regs.c.*z = vector_fun \\(x, y\\);" \ | |
186 | "up to main" | |
187 | ||
188 | gdb_test "print x" \ | |
189 | ".*= .-2, -2." \ | |
190 | "print vector x" | |
191 | ||
192 | gdb_test "print y" \ | |
193 | ".*= .1, 1." \ | |
194 | "print vector y" | |
195 | ||
196 | # now go back to vector_func and do a finish, to see if we can print the return | |
197 | # value correctly. | |
198 | ||
199 | gdb_test "down" \ | |
200 | ".0 vector_fun \\(a=.2, 2., b=.3, 3.\\) at.*e500-regs.c.*c = __ev_and \\(a, b\\);" \ | |
201 | "down to vector_fun" | |
202 | ||
203 | gdb_test "finish" \ | |
204 | "Run till exit from .0 vector_fun \\(a=.2, 2., b=.3, 3.\\) at.*e500-regs.c.*main \\(\\) at.*e500-regs.c.*z = vector_fun \\(x, y\\);.*Value returned is.*= .2, 2." \ | |
205 | "finish returned correct value" | |
206 | ||
207 | ||
208 |