1 # Copyright (C) 2008-2022 Free Software Foundation, Inc.
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.
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.
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/>.
18 # Test the use of VSX registers, for Powerpc.
22 if {![istarget "powerpc*"] || [skip_vsx_tests]} then {
23 verbose "Skipping vsx register tests."
29 set compile_flags {debug nowarnings quiet}
30 if [get_compiler_info] {
31 warning "get_compiler failed"
35 if [test_compiler_info gcc*] {
36 set compile_flags "$compile_flags additional_flags=-maltivec additional_flags=-mabi=altivec"
37 } elseif [test_compiler_info xlc*] {
38 set compile_flags "$compile_flags additional_flags=-qaltivec"
40 warning "unknown compiler"
44 if { [gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile} executable $compile_flags] != "" } {
45 untested "failed to compile"
50 gdb_reinitialize_dir $srcdir/$subdir
53 # Run to `main' where we begin our tests.
55 if ![runto_main] then {
59 set endianness [get_endianness]
61 # Data sets used throughout the test
63 if {$endianness == "big"} {
64 set vector_register1 ".float128 = 0x3ff4cccccccccccd0000000000000000, uint128 = 0x3ff4cccccccccccd0000000000000000, v2_double = .0x3ff4cccccccccccd, 0x0., v4_float = .0x3ff4cccc, 0xcccccccd, 0x0, 0x0., v4_int32 = .0x3ff4cccc, 0xcccccccd, 0x0, 0x0., v8_int16 = .0x3ff4, 0xcccc, 0xcccc, 0xcccd, 0x0, 0x0, 0x0, 0x0., v16_int8 = .0x3f, 0xf4, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcd, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0.."
66 set vector_register1_vr ".uint128 = 0x3ff4cccccccccccd0000000100000001, v4_float = .0x3ff4cccc, 0xcccccccd, 0x1, 0x1., v4_int32 = .0x3ff4cccc, 0xcccccccd, 0x1, 0x1., v8_int16 = .0x3ff4, 0xcccc, 0xcccc, 0xcccd, 0x0, 0x1, 0x0, 0x1., v16_int8 = .0x3f, 0xf4, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcd, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1.."
68 set vector_register2 ".float128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, uint128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, v2_double = .0xdeadbeefdeadbeef, 0xdeadbeefdeadbeef., v4_float = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v4_int32 = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v8_int16 = .0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef., v16_int8 = .0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef.."
70 set vector_register2_vr ".uint128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, v4_float = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v4_int32 = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v8_int16 = .0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef., v16_int8 = .0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef, 0xde, 0xad, 0xbe, 0xef.."
72 set vector_register3 ".float128 = 0x1000000010000000100000001, uint128 = 0x1000000010000000100000001, v2_double = .0x100000001, 0x100000001., v4_float = .0x1, 0x1, 0x1, 0x1., v4_int32 = .0x1, 0x1, 0x1, 0x1., v8_int16 = .0x0, 0x1, 0x0, 0x1, 0x0, 0x1, 0x0, 0x1., v16_int8 = .0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1.."
74 set vector_register3_vr ".uint128 = 0x1000000010000000100000001, v4_float = .0x1, 0x1, 0x1, 0x1., v4_int32 = .0x1, 0x1, 0x1, 0x1., v8_int16 = .0x0, 0x1, 0x0, 0x1, 0x0, 0x1, 0x0, 0x1., v16_int8 = .0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1.."
76 set vector_register1 ".float128 = 0x3ff4cccccccccccd0000000000000000, uint128 = 0x3ff4cccccccccccd0000000000000000, v2_double = .0x0, 0x3ff4cccccccccccd., v4_float = .0x0, 0x0, 0xcccccccd, 0x3ff4cccc., v4_int32 = .0x0, 0x0, 0xcccccccd, 0x3ff4cccc., v8_int16 = .0x0, 0x0, 0x0, 0x0, 0xcccd, 0xcccc, 0xcccc, 0x3ff4., v16_int8 = .0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xcd, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xf4, 0x3f.."
78 set vector_register1_vr ".uint128 = 0x3ff4cccccccccccd0000000100000001, v4_float = .0x1, 0x1, 0xcccccccd, 0x3ff4cccc., v4_int32 = .0x1, 0x1, 0xcccccccd, 0x3ff4cccc., v8_int16 = .0x1, 0x0, 0x1, 0x0, 0xcccd, 0xcccc, 0xcccc, 0x3ff4., v16_int8 = .0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0xcd, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xf4, 0x3f.."
80 set vector_register2 ".float128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, uint128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, v2_double = .0xdeadbeefdeadbeef, 0xdeadbeefdeadbeef., v4_float = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v4_int32 = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v8_int16 = .0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead., v16_int8 = .0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde.."
82 set vector_register2_vr ".uint128 = 0xdeadbeefdeadbeefdeadbeefdeadbeef, v4_float = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v4_int32 = .0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef., v8_int16 = .0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead, 0xbeef, 0xdead., v16_int8 = .0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde, 0xef, 0xbe, 0xad, 0xde.."
84 set vector_register3 ".float128 = 0x1000000010000000100000001, uint128 = 0x1000000010000000100000001, v2_double = .0x100000001, 0x100000001., v4_float = .0x1, 0x1, 0x1, 0x1., v4_int32 = .0x1, 0x1, 0x1, 0x1., v8_int16 = .0x1, 0x0, 0x1, 0x0, 0x1, 0x0, 0x1, 0x0., v16_int8 = .0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0.."
86 set vector_register3_vr ".uint128 = 0x1000000010000000100000001, v4_float = .0x1, 0x1, 0x1, 0x1., v4_int32 = .0x1, 0x1, 0x1, 0x1., v8_int16 = .0x1, 0x0, 0x1, 0x0, 0x1, 0x0, 0x1, 0x0., v16_int8 = .0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0, 0x1, 0x0, 0x0, 0x0.."
89 set float_register ".raw 0xdeadbeefdeadbeef."
91 # Note that the F0-F31 registers are shared with the doubleword 0 portion of
92 # the VS0-VS31 registers, the doubleword 1 portions of VS* remain unchanged
93 # after updates to F*.
94 # Since dl_main uses some VS* registers, and per inspection their values are
95 # no longer zero when our test reaches main(), we need to explicitly
96 # initialize the VS* registers before we run our tests against the values
97 # currently in those registers.
99 # 0: Initialize the (doubleword 0 and 1) portion of the VS0-VS31 registers.
100 for {set i 0} {$i < 32} {incr i 1} {
101 gdb_test_no_output "set \$vs$i.v2_double\[0\] = 0"
102 gdb_test_no_output "set \$vs$i.v2_double\[1\] = 0"
105 # 1: Set F0~F31 registers and check if it reflects on VS0~VS31.
106 for {set i 0} {$i < 32} {incr i 1} {
107 gdb_test_no_output "set \$f$i = 1\.3"
110 for {set i 0} {$i < 32} {incr i 1} {
111 gdb_test "info reg vs$i" "vs$i.*$vector_register1" "info reg vs$i (doubleword 0)"
114 # 2: Set VS0~VS31 registers and check if it reflects on F0~F31.
115 for {set i 0} {$i < 32} {incr i 1} {
116 for {set j 0} {$j < 4} {incr j 1} {
117 gdb_test_no_output "set \$vs$i.v4_int32\[$j\] = 0xdeadbeef"
121 for {set i 0} {$i < 32} {incr i 1} {
122 gdb_test "info reg f$i" "f$i.*$float_register" "info reg f$i"
125 for {set i 0} {$i < 32} {incr i 1} {
126 gdb_test "info reg vs$i" "vs$i.*$vector_register2" "info reg vs$i (doubleword 1)"
129 # Now run the VR0~VR31/VS32~VS63 tests
131 # 1: Set VR0~VR31 registers and check if it reflects on VS32~VS63.
132 for {set i 0} {$i < 32} {incr i 1} {
133 for {set j 0} {$j < 4} {incr j 1} {
134 gdb_test_no_output "set \$vr$i.v4_int32\[$j\] = 1"
138 for {set i 32} {$i < 64} {incr i 1} {
139 gdb_test "info reg vs$i" "vs$i.*$vector_register3" "info reg vs$i"
141 # 2: Set VS32~VS63 registers and check if it reflects on VR0~VR31.
142 for {set i 32} {$i < 64} {incr i 1} {
143 for {set j 0} {$j < 4} {incr j 1} {
144 gdb_test_no_output "set \$vs$i.v4_int32\[$j\] = 1"
148 for {set i 0} {$i < 32} {incr i 1} {
149 gdb_test "info reg vr$i" "vr$i.*$vector_register3_vr" "info reg vr$i"
150 gdb_test "info reg v$i" "v$i.*$vector_register3_vr" "info reg v$i"
153 # Create a core file. We create the core file before the F32~F63/VR0~VR31 test
154 # below because then we'll have more interesting register values to verify
155 # later when loading the core file (i.e., different register values for different
156 # vector register banks).
158 set corefile [standard_output_file vsx-core.test]
159 set core_supported [gdb_gcore_cmd "$corefile" "Save a VSX-enabled corefile"]
161 # Now run the F32~F63/VR0~VR31 tests.
163 # 1: Set F32~F63 registers and check if it reflects on VR0~VR31.
164 for {set i 32} {$i < 64} {incr i 1} {
165 gdb_test_no_output "set \$f$i = 1\.3"
168 for {set i 0} {$i < 32} {incr i 1} {
169 gdb_test "info reg vr$i" "vr$i.*$vector_register1_vr" "info reg vr$i (doubleword 0)"
170 gdb_test "info reg v$i" "v$i.*$vector_register1_vr" "info reg v$i (doubleword 0)"
173 # 2: Set VR0~VR31 registers and check if it reflects on F32~F63.
174 for {set i 0} {$i < 32} {incr i 1} {
175 for {set j 0} {$j < 4} {incr j 1} {
176 gdb_test_no_output "set \$vr$i.v4_int32\[$j\] = 0xdeadbeef"
180 for {set i 32} {$i < 64} {incr i 1} {
181 gdb_test "info reg f$i" "f$i.*$float_register" "info reg f$i"
184 for {set i 0} {$i < 32} {incr i 1} {
185 gdb_test "info reg vr$i" "vr$i.*$vector_register2_vr" "info reg vr$i (doubleword 1)"
186 gdb_test "info reg v$i" "v$i.*$vector_register2_vr" "info reg v$i (doubleword 1)"
189 # Test reading the core file.
191 if {!$core_supported} {
197 gdb_reinitialize_dir $srcdir/$subdir
200 set core_loaded [gdb_core_cmd "$corefile" "re-load generated corefile"]
201 if { $core_loaded == -1 } {
202 # No use proceeding from here.
206 for {set i 0} {$i < 32} {incr i 1} {
207 gdb_test "info reg vs$i" "vs$i.*$vector_register2" "restore vs$i from core file"
210 for {set i 32} {$i < 64} {incr i 1} {
211 gdb_test "info reg vs$i" "vs$i.*$vector_register3" "restore vs$i from core file"