xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.arch/i386-avx512.exp (revision 8e33eff89e26cf71871ead62f0d5063e1313c33a) 
1# Copyright 2014-2023 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 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# Please email any bugs, comments, and/or additions to this file to:
17# bug-gdb@gnu.org
18
19# This file is part of the gdb testsuite.
20
21
22if { ![istarget i?86-*-*] && ![istarget x86_64-*-* ] } {
23    verbose "Skipping x86 AVX512 tests."
24    return
25}
26
27standard_testfile
28
29set comp_flags "-mavx512f -I${srcdir}/../nat"
30
31if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
32     [list debug nowarnings additional_flags=${comp_flags}]] } {
33    return -1
34}
35
36if ![runto_main] {
37    return -1
38}
39
40set supports_avx512 0
41
42set test "probe AVX512 support"
43gdb_test_multiple "print have_avx512()" $test {
44    -re ".. = 1\r\n$gdb_prompt $" {
45        pass $test
46        set supports_avx512 1
47    }
48    -re ".. = 0\r\n$gdb_prompt $" {
49        pass $test
50    }
51}
52
53if { !$supports_avx512 } {
54    unsupported "processor does not support AVX512"
55    return
56}
57
58gdb_test "break [gdb_get_line_number "first breakpoint here"]" \
59    "Breakpoint .* at .*i386-avx512.c.*" \
60    "set first breakpoint in main"
61gdb_continue_to_breakpoint "continue to first breakpoint in main"
62
63set nr_regs 8
64
65for { set r 1 } { $r < $nr_regs } { incr r } {
66    gdb_test "print/x \$k$r" \
67        ".. = 0x[format %x $r]2[format %x $r]1" \
68        "check contents of %k$r"
69}
70
71for { set r 1 } { $r < $nr_regs } { incr r } {
72    gdb_test "set var \$k$r = 0x$r$r$r$r" "" "set %k$r"
73}
74
75gdb_test "break [gdb_get_line_number "second breakpoint here"]" \
76    "Breakpoint .* at .*i386-avx512.c.*" \
77    "set second breakpoint in main"
78gdb_continue_to_breakpoint "continue to second breakpoint in main"
79
80set nr_regs 7
81
82for { set r 0 } { $r < $nr_regs } { incr r } {
83    set val [expr $r + 1]
84    gdb_test "print/x k_data\[$r\]" \
85        ".. = 0x$val$val$val$val" \
86        "check contents of k_data\[$r\]"
87}
88
89gdb_test "break [gdb_get_line_number "third breakpoint here"]" \
90    "Breakpoint .* at .*i386-avx512.c.*" \
91    "set third breakpoint in main"
92gdb_continue_to_breakpoint "continue to third breakpoint in main"
93
94if [is_amd64_regs_target] {
95    set nr_regs 32
96} else {
97    set nr_regs 8
98}
99
100for { set r 0 } { $r < $nr_regs } { incr r } {
101    gdb_test "print \$zmm$r.v8_double" \
102        ".. = \\{$r, $r.125, $r.25, $r.375, $r.5, $r.625, $r.75, $r.875\\}.*" \
103        "check double contents of %zmm$r"
104    gdb_test "print \$zmm$r.v32_int16" \
105        ".. = \\{(-?\[0-9\]+, ){31}-?\[0-9\]+\\}.*" \
106        "check int16 contents of %zmm$r"
107    gdb_test "print \$ymm$r.v4_double" \
108        ".. = \\{$r, $r.125, $r.25, $r.375\\}.*" \
109        "check float contents of %ymm$r"
110    gdb_test "print \$ymm$r.v16_int16" \
111        ".. = \\{(-?\[0-9\]+, ){15}-?\[0-9\]+\\}.*" \
112        "check int16 contents of %ymm$r"
113    gdb_test "print \$xmm$r.v2_double" \
114        ".. = \\{$r, $r.125\\}.*" \
115        "check float contents of %xmm$r"
116    gdb_test "print \$xmm$r.v8_int16" \
117        ".. = \\{(-?\[0-9\]+, ){7}-?\[0-9\]+\\}.*" \
118        "check int16 contents of %xmm$r"
119}
120
121for { set r 0 } { $r < $nr_regs } { incr r } {
122    gdb_test "set var \$zmm$r.v8_double\[0\] = $r + 10" "" "set %zmm$r.v8_double\[0\]"
123    gdb_test "set var \$zmm$r.v8_double\[1\] = $r + 10.125" "" "set %zmm$r.v8_double\[1\]"
124    gdb_test "set var \$zmm$r.v8_double\[2\] = $r + 10.25" "" "set %zmm$r.v8_double\[2\]"
125    gdb_test "set var \$zmm$r.v8_double\[3\] = $r + 10.375" "" "set %zmm$r.v8_double\[3\]"
126    gdb_test "set var \$zmm$r.v8_double\[4\] = $r + 10.5" "" "set %zmm$r.v8_double\[4\]"
127    gdb_test "set var \$zmm$r.v8_double\[5\] = $r + 10.625" "" "set %zmm$r.v8_double\[5\]"
128    gdb_test "set var \$zmm$r.v8_double\[6\] = $r + 10.75" "" "set %zmm$r.v8_double\[6\]"
129    gdb_test "set var \$zmm$r.v8_double\[7\] = $r + 10.875" "" "set %zmm$r.v8_double\[7\]"
130}
131
132gdb_test "break [gdb_get_line_number "fourth breakpoint here"]" \
133    "Breakpoint .* at .*i386-avx512.c.*" \
134    "set fourth breakpoint in main"
135gdb_continue_to_breakpoint "continue to fourth breakpoint in main"
136
137for { set r 0 } { $r < $nr_regs } { incr r } {
138    gdb_test "print zmm_data\[$r\]" \
139        ".. = \\{f = \\{[expr $r + 10], [expr $r.125 + 10], [expr $r.25 + 10], [expr $r.375 + 10], [expr $r.5 + 10], [expr $r.625 + 10], [expr $r.75 + 10], [expr $r.875 + 10]\\}\\}.*" \
140        "check contents of zmm_data\[$r\] after writing ZMM regs"
141}
142
143for { set r 0 } { $r < $nr_regs } { incr r } {
144    gdb_test "set var \$ymm$r.v4_double\[0\] = $r + 20" "" "set %ymm$r.v4_double\[0\]"
145    gdb_test "set var \$ymm$r.v4_double\[1\] = $r + 20.125" "" "set %ymm$r.v4_double\[1\]"
146    gdb_test "set var \$ymm$r.v4_double\[2\] = $r + 20.25" "" "set %ymm$r.v4_double\[2\]"
147    gdb_test "set var \$ymm$r.v4_double\[3\] = $r + 20.375" "" "set %ymm$r.v4_double\[3\]"
148}
149
150gdb_test "break [gdb_get_line_number "fifth breakpoint here"]" \
151    "Breakpoint .* at .*i386-avx512.c.*" \
152    "set fifth breakpoint in main"
153gdb_continue_to_breakpoint "continue to fifth breakpoint in main"
154
155for { set r 0 } { $r < $nr_regs } { incr r } {
156    gdb_test "print zmm_data\[$r\]" \
157        ".. = \\{f = \\{[expr $r + 20], [expr $r.125 + 20], [expr $r.25 + 20], [expr $r.375 + 20], [expr $r.5 + 10], [expr $r.625 + 10], [expr $r.75 + 10], [expr $r.875 + 10]\\}\\}.*" \
158        "check contents of zmm_data\[$r\] after writing YMM regs"
159}
160
161for { set r 0 } { $r < $nr_regs } { incr r } {
162    gdb_test "set var \$xmm$r.v2_double\[0\] = $r + 30" "" "set %xmm$r.v2_double\[0\]"
163    gdb_test "set var \$xmm$r.v2_double\[1\] = $r + 30.125" "" "set %xmm$r.v2_double\[1\]"
164}
165
166gdb_test "break [gdb_get_line_number "sixth breakpoint here"]" \
167    "Breakpoint .* at .*i386-avx512.c.*" \
168    "set sixth breakpoint in main"
169gdb_continue_to_breakpoint "continue to sixth breakpoint in main"
170
171for { set r 0 } { $r < $nr_regs } { incr r } {
172    gdb_test "print zmm_data\[$r\]" \
173        ".. = \\{f = \\{[expr $r + 30], [expr $r.125 + 30], [expr $r.25 + 20], [expr $r.375 + 20], [expr $r.5 + 10], [expr $r.625 + 10], [expr $r.75 + 10], [expr $r.875 + 10]\\}\\}.*" \
174        "check contents of zmm_data\[$r\] after writing XMM regs"
175}
176
177gdb_test "break [gdb_get_line_number "seventh breakpoint here"]" \
178    "Breakpoint .* at .*i386-avx512.c.*" \
179    "set seventh breakpoint in main"
180gdb_continue_to_breakpoint "continue to seventh breakpoint in main"
181gdb_test "print \$zmm0.v16_int32" "= {-1, -1, -1, -1, 0 <repeats 12 times>}"
182
183if { $nr_regs >= 16 } {
184    gdb_test "print \$zmm16.v16_int32" "= {-1 <repeats 16 times>}"
185}
186