From 0b99a66053fa1e93a984f75a7a3d5343c74882fb Mon Sep 17 00:00:00 2001 From: Felix Willgerodt Date: Fri, 9 Jul 2021 15:39:41 +0200 Subject: gdb: Enable finish command and inferior calls for _Float16 on amd64 and i386. Values of type _Float16 and _Float16 _Complex can now be used on CPUs with AVX512-FP16 support. Return values of those types are located in XMM0. Compiler support for gcc and clang is in progress, see e.g.: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574117.html gdb/ChangeLog: 2021-07-21 Felix Willgerodt * amd64-tdep.c (amd64_classify): Classify _Float16 and _Float16 _Complex as AMD64_SSE. * i386-tdep.c (i386_extract_return_value): Read _Float16 and _Float16 _Complex from xmm0. gdb/testsuite/ChangeLog: 2021-07-21 Felix Willgerodt * gdb.arch/x86-avx512fp16-abi.c: New file. * gdb.arch/x86-avx512fp16-abi.exp: New file. --- gdb/testsuite/gdb.arch/x86-avx512fp16-abi.c | 38 ++++++++++++++++ gdb/testsuite/gdb.arch/x86-avx512fp16-abi.exp | 63 +++++++++++++++++++++++++++ 2 files changed, 101 insertions(+) create mode 100644 gdb/testsuite/gdb.arch/x86-avx512fp16-abi.c create mode 100644 gdb/testsuite/gdb.arch/x86-avx512fp16-abi.exp (limited to 'gdb/testsuite') diff --git a/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.c b/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.c new file mode 100644 index 0000000..9192ebf --- /dev/null +++ b/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.c @@ -0,0 +1,38 @@ +/* Test program for _Float16 parameters and return values. + + Copyright 2021 Free Software Foundation, Inc. + + This file is part of GDB. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ +#include + +_Float16 +square (_Float16 num) { + return num * num; /* BP1. */ +} + +_Float16 _Complex +plus (_Float16 _Complex num) { + return num + (2.5 + 0.5I); /* BP2. */ +} + +int +main () +{ + _Float16 a = square (1.25); + _Float16 _Complex b = 6.25 + I; + _Float16 _Complex ret = plus (b); /* BP3. */ + return 0; +} diff --git a/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.exp b/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.exp new file mode 100644 index 0000000..61cd189 --- /dev/null +++ b/gdb/testsuite/gdb.arch/x86-avx512fp16-abi.exp @@ -0,0 +1,63 @@ +# Copyright 2021 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +# Test support for _Float16 parameters and return values. + +if { [skip_avx512fp16_tests] } { + unsupported "target does not support AVX512fp16" + return -1 +} + +standard_testfile + +if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \ + {debug additional_flags="-mavx512fp16"}] } { + return -1 +} + +if { ![runto_main] } { + unsupported "could not run to main" + return -1 +} + +gdb_test "p square(2.2)" "= 4\\.8359" + +set line1 [gdb_get_line_number "BP1"] +set line2 [gdb_get_line_number "BP2"] +set line3 [gdb_get_line_number "BP3"] +gdb_breakpoint $line1 +gdb_breakpoint $line3 + +gdb_continue_to_breakpoint "line1" ".*$srcfile:$line1.*" + +with_test_prefix "real" { + gdb_test "p num" "= 1\\.25" + gdb_test "ptype num" "type = _Float16" + gdb_test "finish" "Value returned is.*= 1\\.5625" +} + +gdb_continue_to_breakpoint "line3" ".*$srcfile:$line3.*" +gdb_test "p plus(b)" "= 8\\.75 \\+ 1\\.5i" + +gdb_breakpoint $line2 +gdb_continue_to_breakpoint "line2" ".*$srcfile:$line2.*" + +with_test_prefix "complex" { + gdb_test "p num" "= 6\\.25 \\+ 1i" + gdb_test "ptype num" "type = complex _Float16" + gdb_test "finish" "Value returned is.*= 8\\.75 \\+ 1\\.5i" +} + +gdb_continue_to_end -- cgit v1.1