gdb/testsuite/gdb.arch/i386-avx512.exp

   1 # Copyright 2014-2022 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
  22 if { ![istarget i?86-*-*] && ![istarget x86_64-*-* ] } {
  23     verbose "Skipping x86 AVX512 tests."
  24     return
  25 }
  26
  27 standard_testfile
  28
  29 set comp_flags "-mavx512f -I${srcdir}/../nat"
  30
  31 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
  32      [list debug nowarnings additional_flags=${comp_flags}]] } {
  33     return -1
  34 }
  35
  36 if ![runto_main] {
  37     return -1
  38 }
  39
  40 set supports_avx512 0
  41
  42 set test "probe AVX512 support"
  43 gdb_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
  53 if { !$supports_avx512 } {
  54     unsupported "processor does not support AVX512"
  55     return
  56 }
  57
  58 gdb_test "break [gdb_get_line_number "first breakpoint here"]" \
  59     "Breakpoint .* at .*i386-avx512.c.*" \
  60     "set first breakpoint in main"
  61 gdb_continue_to_breakpoint "continue to first breakpoint in main"
  62
  63 set nr_regs 8
  64
  65 for { 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
  71 for { 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
  75 gdb_test "break [gdb_get_line_number "second breakpoint here"]" \
  76     "Breakpoint .* at .*i386-avx512.c.*" \
  77     "set second breakpoint in main"
  78 gdb_continue_to_breakpoint "continue to second breakpoint in main"
  79
  80 set nr_regs 7
  81
  82 for { 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
  89 gdb_test "break [gdb_get_line_number "third breakpoint here"]" \
  90     "Breakpoint .* at .*i386-avx512.c.*" \
  91     "set third breakpoint in main"
  92 gdb_continue_to_breakpoint "continue to third breakpoint in main"
  93
  94 if [is_amd64_regs_target] {
  95     set nr_regs 32
  96 } else {
  97     set nr_regs 8
  98 }
  99
 100 for { 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
 121 for { 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
 132 gdb_test "break [gdb_get_line_number "fourth breakpoint here"]" \
 133     "Breakpoint .* at .*i386-avx512.c.*" \
 134     "set fourth breakpoint in main"
 135 gdb_continue_to_breakpoint "continue to fourth breakpoint in main"
 136
 137 for { 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
 143 for { 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
 150 gdb_test "break [gdb_get_line_number "fifth breakpoint here"]" \
 151     "Breakpoint .* at .*i386-avx512.c.*" \
 152     "set fifth breakpoint in main"
 153 gdb_continue_to_breakpoint "continue to fifth breakpoint in main"
 154
 155 for { 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
 161 for { 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
 166 gdb_test "break [gdb_get_line_number "sixth breakpoint here"]" \
 167     "Breakpoint .* at .*i386-avx512.c.*" \
 168     "set sixth breakpoint in main"
 169 gdb_continue_to_breakpoint "continue to sixth breakpoint in main"
 170
 171 for { 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
 177 gdb_test "break [gdb_get_line_number "seventh breakpoint here"]" \
 178     "Breakpoint .* at .*i386-avx512.c.*" \
 179     "set seventh breakpoint in main"
 180 gdb_continue_to_breakpoint "continue to seventh breakpoint in main"
 181 gdb_test "print \$zmm0.v16_int32" "= {-1, -1, -1, -1, 0 <repeats 12 times>}"
 182
 183 if { $nr_regs >= 16 } {
 184     gdb_test "print \$zmm16.v16_int32" "= {-1 <repeats 16 times>}"
 185 }