1# Copyright 2003, 2004 Free Software Foundation, Inc.
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 2 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, write to the Free Software
15# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
16#
17# Please email any bugs, comments, and/or additions to this file to:
18# bug-gdb@prep.ai.mit.edu
19#
20
21# Tests for Powerpc E500 register setting and fetching
22
23if $tracelevel then {
24    strace $tracelevel
25}
26
27#
28# Test the use of registers, especially E500 registers, for Powerpc.
29# This file uses e500-regs.c for input.
30#
31
32set prms_id 0
33set bug_id 0
34
35if ![istarget "powerpc-*eabispe"] then {
36    verbose "Skipping e500 register tests."
37    return
38}
39
40set testfile "e500-regs"
41set binfile ${objdir}/${subdir}/${testfile}
42set src1 ${srcdir}/${subdir}/${testfile}.c
43
44if  { [gdb_compile ${src1} ${binfile} executable {debug additional_flags=-w}] != "" } {
45     gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
46}
47
48gdb_start
49gdb_reinitialize_dir $srcdir/$subdir
50gdb_load ${binfile}
51
52#
53# Run to `main' where we begin our tests.
54#
55
56if ![runto_main] then {
57    gdb_suppress_tests
58}
59
60# set all the registers integer portions to 1
61for {set i 0} {$i < 32} {incr i 1} {
62        for {set j 0} {$j < 2} {incr j 1} {
63           gdb_test "set \$ev$i.v2_int32\[$j\] = 1" "" "set reg ev$i.v4si.f\[$j\]"
64        }
65}
66
67# Now execute some target code, so that GDB's register cache is flushed.
68
69#gdb_test "next" "" ""
70
71send_gdb "show endian\n"
72gdb_expect {
73    -re "(The target endianness is set automatically .currently )(big|little)( endian.*)$gdb_prompt $" {
74        pass "endianness"
75	set endianness $expect_out(2,string)
76    }
77    -re ".*$gdb_prompt $" {
78	fail "couldn't get endianness"
79    }
80    timeout		{ fail "(timeout) endianness" }
81}
82
83# And then read the E500 registers back, to see that
84# a) the register write above worked, and
85# b) the register read (below) also works.
86
87if {$endianness == "big"} {
88set 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.."
89} else {
90set 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.."
91}
92
93for {set i 0} {$i < 32} {incr i 1} {
94        gdb_test "info reg ev$i" "ev$i.*$vector_register" "info reg ev$i"
95}
96
97# Test wether the GPRs are updated accordingly. (GPRs are just the lower
98# 32 bits of the EV registers.)
99
100set general_register "0x1\[ \t\]+1"
101
102for {set i 0} {$i < 32} {incr i 1} {
103        gdb_test "info reg r$i" "r$i.*$general_register" "info reg r$i"
104}
105
106# Now redo the same tests, but using the print command.
107# Note: in LE case, the char array is printed WITHOUT the last character.
108# Gdb treats the terminating null char in the array like the terminating
109# null char in a string and doesn't print it. This is not a failure, but
110# the way gdb works.
111
112if {$endianness == "big"} {
113     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 = ..000.000.000.001.000.000.000.001.."
114} else {
115     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 = ..001.000.000.000.001.000.000.."
116}
117
118for {set i 0} {$i < 32} {incr i 1} {
119        gdb_test "print \$ev$i" ".* = $decimal_vector" "print ev$i"
120}
121
122for {set i 0} {$i < 32} {incr i 1} {
123         set pattern$i ".*ev$i.*"
124         append pattern$i $vector_register
125}
126
127send_gdb "info vector\n"
128gdb_expect_list "info vector" ".*$gdb_prompt $" {
129[$pattern0]
130[$pattern1]
131[$pattern2]
132[$pattern3]
133[$pattern4]
134[$pattern5]
135[$pattern6]
136[$pattern7]
137[$pattern8]
138[$pattern9]
139[$pattern10]
140[$pattern11]
141[$pattern12]
142[$pattern13]
143[$pattern14]
144[$pattern15]
145[$pattern16]
146[$pattern17]
147[$pattern18]
148[$pattern19]
149[$pattern20]
150[$pattern21]
151[$pattern22]
152[$pattern23]
153[$pattern24]
154[$pattern25]
155[$pattern26]
156[$pattern27]
157[$pattern28]
158[$pattern29]
159[$pattern30]
160[$pattern31]
161}
162
163# We must restart everything, because we have set important registers to
164# some unusual values.
165
166gdb_exit
167gdb_start
168gdb_reinitialize_dir $srcdir/$subdir
169gdb_load ${binfile}
170if ![runto_main] then {
171    gdb_suppress_tests
172}
173
174gdb_test "break vector_fun" \
175 "Breakpoint 2 at.*e500-regs.c, line \[0-9\]+\\." \
176 "Set breakpoint at vector_fun"
177
178# Actually it is nuch easier to see these results printed in hex.
179# gdb_test "set output-radix 16" \
180#   "Output radix now set to decimal 16, hex 10, octal 20." \
181#   "Set output radix to hex"
182
183gdb_test "continue" \
184  "Breakpoint 2, vector_fun .a=.-2, -2., b=.1, 1.*e500-regs.c.*ev_create_s32 .2, 2.;" \
185  "continue to vector_fun"
186
187# Do a next over the assignment to vector 'a'.
188gdb_test "next" ".*b = \\(vector int\\) __ev_create_s32 \\(3, 3\\);" \
189  "next (1)"
190
191# Do a next over the assignment to vector 'b'.
192gdb_test "next" "c = __ev_and \\(a, b\\);" \
193  "next (2)"
194
195# Now 'a' should be '0x02020202...' and 'b' should be '0x03030303...'
196gdb_test "print/x a" \
197  ".*= .0x2, 0x2." \
198  "print vector parameter a"
199
200gdb_test "print/x b" \
201  ".*= .0x3, 0x3." \
202  "print vector parameter b"
203
204# If we do an 'up' now, and print 'x' and 'y' we should see the values they
205# have in main, not the values they have in vector_fun.
206gdb_test "up" ".1.*main \\(\\) at.*e500-regs.c.*z = vector_fun \\(x, y\\);" \
207  "up to main"
208
209gdb_test "print x" \
210  ".*= .-2, -2." \
211  "print vector x"
212
213gdb_test "print y" \
214  ".*= .1, 1." \
215  "print vector y"
216
217# now go back to vector_func and do a finish, to see if we can print the return
218# value correctly.
219
220gdb_test "down" \
221  ".0  vector_fun \\(a=.2, 2., b=.3, 3.\\) at.*e500-regs.c.*c = __ev_and \\(a, b\\);" \
222  "down to vector_fun"
223
224gdb_test "finish" \
225  "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." \
226  "finish returned correct value"
227
228
229
230