gdb/testsuite/gdb.arch/aarch64-fp.exp

   1 # Copyright 2008-2024 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 # This file is part of the gdb testsuite.
  17
  18 # PR server/17457
  19 # Test aarch64 floating point registers q0, q1, v0, v1, fpsr, fpcr
  20
  21 require is_aarch64_target
  22
  23 standard_testfile
  24 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile}] } {
  25     return -1
  26 }
  27
  28 if ![runto_main] {
  29     return -1
  30 }
  31
  32 set endianness [get_endianness]
  33
  34 gdb_test "break ${srcfile}:[gdb_get_line_number "return"]" \
  35     "Breakpoint $decimal at 0x\[0-9a-fA-F\]+: file .*${srcfile}.*\\\." \
  36     "set the breakpoint after setting the fp registers"
  37
  38 gdb_test "continue" \
  39     "Continuing.*Breakpoint $decimal.*" \
  40     "continue until breakpoint"
  41
  42 if {$endianness == "little"} {
  43     set reg_value0 "0x1f1e1d1c1b1a19181716151413121110"
  44     set reg_value1 "0x2f2e2d2c2b2a29282726252423222120"
  45 } else {
  46     set reg_value0 "0x101112131415161718191a1b1c1d1e1f"
  47     set reg_value1 "0x202122232425262728292a2b2c2d2e2f"
  48 }
  49
  50 gdb_test "p/x \$q0" \
  51     "q0.*{u = $reg_value0, s = $reg_value0.*" \
  52     "check register q0 value"
  53
  54 gdb_test "p/x \$q1" \
  55     "q1.*{u = $reg_value1, s = $reg_value1.*" \
  56     "check register q1 value"
  57
  58 gdb_test "p/x \$v0" \
  59     "v0.*$reg_value0}}}" \
  60     "check register v0 value"
  61
  62 gdb_test "p/x \$v1" \
  63     "v1.*$reg_value1}}}" \
  64     "check register v1 value"
  65
  66 gdb_test "p/x \$fpsr" \
  67     "fpsr.*0x\[0-9a-fA-F\].*" \
  68     "check register fpsr value"
  69
  70 gdb_test "p/x \$fpcr" \
  71     "fpcr.*0x\[0-9a-fA-F\].*" \
  72     "check register fpcr value"
  73
  74 with_test_prefix "bfloat16" {
  75     gdb_test "set \$h0.bf = 1.185e-38" \
  76     ".*" \
  77     "set h0.bf to 129"
  78
  79     gdb_test "p \$h0" \
  80     "h0.*{bf = 1.185e-38, f = 7.689e-06, u = 129, s = 129}" \
  81     "h0 fields are valid"
  82
  83     gdb_test "set \$v0.h.bf\[0\] = 0" \
  84     "v0.* = 0" \
  85     "set v0.h.bf\[0\] to 0"
  86
  87     gdb_test "p \$v0.h.s\[0\]" \
  88     "v0.* = 0" \
  89     "v0.h.s\[0\] is 0"
  90
  91     gdb_test "set \$v0.h.bf\[0\] = 1.185e-38" \
  92     "v0.* = 1.185e-38" \
  93     "set v0.h.bf\[0\] to 129"
  94
  95     gdb_test "p \$v0.h.s\[0\]" \
  96     "v0.* = 129" \
  97     "v0.h.s\[0\] is 129"
  98 }