mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-21 04:42:53 +08:00
c973d0aa4a
(Ref: https://sourceware.org/ml/gdb/2017-06/msg00020.html) Assuming int_t is a typedef to int: typedef int int_t; gdb currently loses this expression's typedef: (gdb) p (int_t) 0 $1 = 0 (gdb) whatis $1 type = int or: (gdb) whatis (int_t) 0 type = int or, to get "whatis" out of the way: (gdb) maint print type (int_t) 0 ... name 'int' code 0x8 (TYPE_CODE_INT) ... This prevents a type printer for "int_t" kicking in, with e.g.: (gdb) p (int_t) 0 From the manual, we can see that that "whatis (int_t) 0" command invocation should have printed "type = int_t": If @var{arg} is a variable or an expression, @code{whatis} prints its literal type as it is used in the source code. If the type was defined using a @code{typedef}, @code{whatis} will @emph{not} print the data type underlying the @code{typedef}. (...) If @var{arg} is a type name that was defined using @code{typedef}, @code{whatis} @dfn{unrolls} only one level of that @code{typedef}. That one-level stripping is currently done here, in gdb/eval.c:evaluate_subexp_standard, handling OP_TYPE: ... else if (noside == EVAL_AVOID_SIDE_EFFECTS) { struct type *type = exp->elts[pc + 1].type; /* If this is a typedef, then find its immediate target. We use check_typedef to resolve stubs, but we ignore its result because we do not want to dig past all typedefs. */ check_typedef (type); if (TYPE_CODE (type) == TYPE_CODE_TYPEDEF) type = TYPE_TARGET_TYPE (type); return allocate_value (type); } However, this stripping is reachable in both: #1 - (gdb) whatis (int_t)0 # ARG is an expression with a cast to # typedef type. #2 - (gdb) whatis int_t # ARG is a type name. while only case #2 should strip the typedef. Removing that code from evaluate_subexp_standard is part of the fix. Instead, we make the "whatis" command implementation itself strip one level of typedefs when the command argument is a type name. We then run into another problem, also fixed by this commit: value_cast always drops any typedefs of the destination type. With all that fixed, "whatis (int_t) 0" now works as expected: (gdb) whatis int_t type = int (gdb) whatis (int_t)0 type = int_t value_cast has many different exit/convertion paths, for handling many different kinds of casts/conversions, and most of them had to be tweaked to construct the value of the right "to" type. The new tests try to exercise most of it, by trying castin of many different combinations of types. With: $ make check TESTS="*/whatis-ptype*.exp */gnu_vector.exp */dfp-test.exp" ... due to combinatorial explosion, the testsuite results for the tests above alone grow like: - # of expected passes 246 + # of expected passes 3811 You'll note that the tests exposed one GCC buglet, filed here: Missing DW_AT_type in DW_TAG_typedef of "typedef of typedef of void" https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81267 gdb/ChangeLog: 2017-08-21 Pedro Alves <palves@redhat.com> * eval.c (evaluate_subexp_standard) <OP_TYPE>: Don't dig past typedefs. * typeprint.c (whatis_exp): If handling "whatis", and expression is OP_TYPE, strip one typedef level. Otherwise don't strip typedefs here. * valops.c (value_cast): Save "to" type before resolving stubs/typedefs. Use that type as resulting value's type. gdb/testsuite/ChangeLog: 2017-08-21 Pedro Alves <palves@redhat.com> * gdb.base/dfp-test.c (d32_t, d64_t, d128_t, d32_t2, d64_t2, d128_t2, v_d32_t, v_d64_t) (v_d128_t, v_d32_t2, v_d64_t2, v_d128_t2): New. * gdb.base/dfp-test.exp: Add whatis/ptype/cast tests. * gdb.base/gnu_vector.exp: Add whatis/ptype/cast tests. * gdb.base/whatis-ptype-typedefs.c: New. * gdb.base/whatis-ptype-typedefs.exp: New. * gdb.python/py-prettyprint.c (int_type, int_type2): New typedefs. (an_int, an_int_type, an_int_type2): New globals. * gdb.python/py-prettyprint.exp (run_lang_tests): Add tests involving typedefs and cast expressions. * gdb.python/py-prettyprint.py (class pp_int_typedef): New. (lookup_typedefs_function): New. (typedefs_pretty_printers_dict): New. (top level): Register lookup_typedefs_function in gdb.pretty_printers.
279 lines
12 KiB
Plaintext
279 lines
12 KiB
Plaintext
# Copyright 2010-2017 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 <http://www.gnu.org/licenses/>. */
|
|
#
|
|
# Contributed by Ken Werner <ken.werner@de.ibm.com>.
|
|
#
|
|
# Tests GDBs support for GNU vectors.
|
|
# http://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html
|
|
|
|
standard_testfile .c
|
|
|
|
# If supported by the compiler, "-mcpu=native" or "-march=native"
|
|
# should enable the highest available vector ABI. Try both, then try
|
|
# without a CPU option. If all variants fail, assume that the
|
|
# compiler can not handle GNU vectors.
|
|
|
|
proc do_compile { {opts {}} } {
|
|
global srcdir subdir srcfile binfile
|
|
set ccopts {debug quiet}
|
|
foreach opt $opts {lappend ccopts "additional_flags=$opt"}
|
|
gdb_compile "${srcdir}/${subdir}/${srcfile}" "$binfile" executable $ccopts
|
|
}
|
|
|
|
if { [do_compile {-mcpu=native}] != ""
|
|
&& [do_compile {-mcpu=native -Wno-psabi}] != ""
|
|
&& [do_compile {-march=native}] != ""
|
|
&& [do_compile] != ""} {
|
|
untested "compiler can't handle vector_size attribute?"
|
|
return -1
|
|
}
|
|
|
|
clean_restart ${binfile}
|
|
|
|
if { ![runto main] } {
|
|
fail "runto main"
|
|
return -1
|
|
}
|
|
|
|
# Get endianess for the scalar->vector casts
|
|
set endian [get_endianness]
|
|
|
|
# Test printing of character vector types
|
|
gdb_test "print c4" "\\\$$decimal = \\{1, 2, 3, 4\\}"
|
|
gdb_test "print c4\[2\]" "\\\$$decimal = 3"
|
|
|
|
# Test operators on integer vector types
|
|
gdb_test "print i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print i4b" "\\\$$decimal = \\{1, 2, 8, 4\\}"
|
|
# Arithmetic operators
|
|
gdb_test "print i4a + i4b" "\\\$$decimal = \\{3, 6, 16, 20\\}"
|
|
gdb_test "print i4a - i4b" "\\\$$decimal = \\{1, 2, 0, 12\\}"
|
|
gdb_test "print i4a * i4b" "\\\$$decimal = \\{2, 8, 64, 64\\}"
|
|
gdb_test "print i4a / i4b" "\\\$$decimal = \\{2, 2, 1, 4\\}"
|
|
gdb_test "print i4a % i4b" "\\\$$decimal = \\{0, 0, 0, 0\\}"
|
|
gdb_test "print i4a++" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print ++i4a" "\\\$$decimal = \\{4, 6, 10, 18\\}"
|
|
gdb_test "print i4a--" "\\\$$decimal = \\{4, 6, 10, 18\\}"
|
|
gdb_test "print --i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print +i4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print -i4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}"
|
|
|
|
# Bitwise operators
|
|
gdb_test "print i4a & i4b" "\\\$$decimal = \\{0, 0, 8, 0\\}"
|
|
gdb_test "print i4a | i4b" "\\\$$decimal = \\{3, 6, 8, 20\\}"
|
|
gdb_test "print i4a ^ i4b" "\\\$$decimal = \\{3, 6, 0, 20\\}"
|
|
gdb_test "print ~i4a" "\\\$$decimal = \\{-3, -5, -9, -17\\}"
|
|
# Shift operators
|
|
gdb_test "print i4a << i4b" "\\\$$decimal = \\{4, 16, 2048, 256\\}"
|
|
gdb_test "print i4a >> i4b" "\\\$$decimal = \\{1, 1, 0, 1\\}"
|
|
|
|
# Test operators on floating point vector types
|
|
gdb_test "print f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print f4b" "\\\$$decimal = \\{1, 2, 8, 4\\}"
|
|
# Arithmetic operators
|
|
gdb_test "print f4a + f4b" "\\\$$decimal = \\{3, 6, 16, 20\\}"
|
|
gdb_test "print f4a - f4b" "\\\$$decimal = \\{1, 2, 0, 12\\}"
|
|
gdb_test "print f4a * f4b" "\\\$$decimal = \\{2, 8, 64, 64\\}"
|
|
gdb_test "print f4a / f4b" "\\\$$decimal = \\{2, 2, 1, 4\\}"
|
|
gdb_test "print +f4a" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print -f4a" "\\\$$decimal = \\{-2, -4, -8, -16\\}"
|
|
|
|
# When casting to vector the input type must have the same length as
|
|
# the total length of the vector.
|
|
gdb_test "print (char4) 0x01010101" "\\\$$decimal = \\{1, 1, 1, 1\\}"
|
|
gdb_test "print (int2) lla" "\\\$$decimal = \\{1, 1\\}"
|
|
|
|
# Check that "whatis" doesn't peel off the destination type's typedef
|
|
# by mistake, in expressions that involve a cast to typedef type.
|
|
gdb_test "whatis (char4) 0x01010101" "type = char4"
|
|
gdb_test "whatis (int2) lla" "type = int2"
|
|
# Check that OTOH "ptype" does peel off the destination type's
|
|
# typedef.
|
|
gdb_test "ptype (char4) 0x01010101" \
|
|
"type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "ptype (int2) lla" \
|
|
"type = int __attribute__ \\(\\(vector_size\\(2\\)\\)\\)"
|
|
|
|
if { ![string compare $endian big] } then {
|
|
gdb_test "print (char4) ia" "\\\$$decimal = \\{0, 0, 0, 2\\}"
|
|
} else {
|
|
gdb_test "print (char4) ia" "\\\$$decimal = \\{2, 0, 0, 0\\}"
|
|
}
|
|
|
|
gdb_test "print (int2) 1" "can only cast scalar to vector of same size"
|
|
gdb_test "print (longlong2) 2" "can only cast scalar to vector of same size"
|
|
gdb_test "print (float2) 3" "can only cast scalar to vector of same size"
|
|
gdb_test "print (double2) 4" "can only cast scalar to vector of same size"
|
|
gdb_test "print (uint4) ia" "can only cast scalar to vector of same size"
|
|
gdb_test "print (int4) -3" "can only cast scalar to vector of same size"
|
|
gdb_test "print (float4) 4" "can only cast scalar to vector of same size"
|
|
|
|
gdb_test "print i4b = ia" "can only cast scalar to vector of same size"
|
|
gdb_test "print i4a = 3" "can only cast scalar to vector of same size"
|
|
gdb_test "print f4a = fb" "can only cast scalar to vector of same size"
|
|
gdb_test "print f4b = 2" "can only cast scalar to vector of same size"
|
|
|
|
gdb_test "print c4 + lla" "conversion of scalar to vector involves truncation"
|
|
gdb_test "print i4a + lla" "conversion of scalar to vector involves truncation"
|
|
gdb_test "print lla + c4" "conversion of scalar to vector involves truncation"
|
|
gdb_test "print lla + i4a" "conversion of scalar to vector involves truncation"
|
|
|
|
gdb_test "print c4 + ib" "\\\$$decimal = \\{2, 3, 4, 5\\}"
|
|
gdb_test "print i4a + ib" "\\\$$decimal = \\{3, 5, 9, 17\\}"
|
|
gdb_test "print i4a + 1" "\\\$$decimal = \\{3, 5, 9, 17\\}"
|
|
gdb_test "print 1 + i4a" "\\\$$decimal = \\{3, 5, 9, 17\\}"
|
|
gdb_test "print fa - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}"
|
|
gdb_test "print 2 - f4b" "\\\$$decimal = \\{1, 0, -6, -2\\}"
|
|
gdb_test "print f4a * fb" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print f4a * 1" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print ia / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}"
|
|
gdb_test "print 2 / i4b" "\\\$$decimal = \\{2, 1, 0, 0\\}"
|
|
gdb_test "print i4a % ib" "\\\$$decimal = \\{0, 0, 0, 0\\}"
|
|
gdb_test "print i4a % 1" "\\\$$decimal = \\{0, 0, 0, 0\\}"
|
|
gdb_test "print ia & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}"
|
|
gdb_test "print 2 & i4b" "\\\$$decimal = \\{0, 2, 0, 0\\}"
|
|
gdb_test "print i4a | ib" "\\\$$decimal = \\{3, 5, 9, 17\\}"
|
|
gdb_test "print i4a | 1" "\\\$$decimal = \\{3, 5, 9, 17\\}"
|
|
gdb_test "print ia ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}"
|
|
gdb_test "print 2 ^ i4b" "\\\$$decimal = \\{3, 0, 10, 6\\}"
|
|
gdb_test "print i4a << ib" "\\\$$decimal = \\{4, 8, 16, 32\\}"
|
|
gdb_test "print i4a << 1" "\\\$$decimal = \\{4, 8, 16, 32\\}"
|
|
gdb_test "print i4a >> ib" "\\\$$decimal = \\{1, 2, 4, 8\\}"
|
|
gdb_test "print i4a >> 1" "\\\$$decimal = \\{1, 2, 4, 8\\}"
|
|
|
|
gdb_test "print i4a = \{2, 4, 8, 16\}" "\\\$$decimal = \\{2, 4, 8, 16\\}"
|
|
gdb_test "print i4a <<= ib" "\\\$$decimal = \\{4, 8, 16, 32\\}"
|
|
|
|
# Test some error scenarios
|
|
gdb_test "print i4a + d2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print d2 + i4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print f4a + ll2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print ll2 + f4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print i2 + ll2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print ll2 + i2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print i4a + ll2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print ll2 + i4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print f4a + d2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print d2 + f4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print ui4 + i4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print i4a + ui4" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print i4a + i2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print i2 + i4a" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print f4a + f2" "Cannot perform operation on vectors with different types"
|
|
gdb_test "print f2 + f4a" "Cannot perform operation on vectors with different types"
|
|
|
|
gdb_test "print (double2) f2" "Cannot convert between vector values of different sizes"
|
|
gdb_test "print (int4) c4" "Cannot convert between vector values of different sizes"
|
|
gdb_test "print (char4) i4a" "Cannot convert between vector values of different sizes"
|
|
|
|
# Test ptype/whatis on vector types/vars.
|
|
gdb_test "ptype c4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis c4" "type = char4"
|
|
|
|
gdb_test "ptype char4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis char4" "type = char __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
|
|
gdb_test "ptype i4a" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis i4a" "type = int4"
|
|
|
|
gdb_test "ptype int4" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis int4" "type = int __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
|
|
gdb_test "ptype f4b" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis f4b" "type = float4"
|
|
|
|
gdb_test "ptype float4" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
gdb_test "whatis float4" "type = float __attribute__ \\(\\(vector_size\\(4\\)\\)\\)"
|
|
|
|
gdb_test "ptype union_with_vector_1" "type = union {\r\n\[\t \]+int i;\r\n\[\t \]+char cv __attribute__ \\(\\(vector_size\\(4\\)\\)\\);\r\n}"
|
|
gdb_test "whatis union_with_vector_1" {type = union {...}}
|
|
|
|
gdb_test "ptype struct_with_vector_1" "type = struct {\r\n\[\t \]+int i;\r\n\[\t \]+char cv __attribute__ \\(\\(vector_size\\(4\\)\\)\\);\r\n\[\t \]+float4 f4;\r\n}"
|
|
gdb_test "whatis struct_with_vector_1" {type = struct {...}}
|
|
|
|
# Test inferior function calls with vector arguments and/or vector
|
|
# return values.
|
|
if { [istarget "i?86-*-*"] || [istarget "x86_64-*-*" ] } {
|
|
# These platforms don't support infcalls with vector arguments
|
|
# and/or vector return values, so skip the remaining tests.
|
|
# See also PR exp/18537.
|
|
unsupported "skip remaining vector ABI tests on this arch"
|
|
return
|
|
}
|
|
gdb_test "print add_some_intvecs(i4a, i4b, 3 * i4a)" "= \\{17, 34, 72, 132\\}" \
|
|
"call add_some_intvecs"
|
|
gdb_test "print add_many_charvecs(c4, c4, c4, c4, c4, c4, c4, c4, c4, c4)" \
|
|
"= \\{10, 20, 30, 40\\}" "call add_many_charvecs"
|
|
gdb_test "print add_various_floatvecs(2, f4a, f4b)" "= \\{3, 6, 16, 20\\}" \
|
|
"call add_various_floatvecs"
|
|
gdb_test "print add_structvecs(i2, (struct just_int2)\{2*i2\}, (struct two_int2)\{3*i2, 4*i2\})" \
|
|
"= \\{i = \\{10, 20\\}\\}" "call add_structvecs"
|
|
gdb_test "print add_singlevecs((char1) \{6\}, (int1) \{12\}, (double1) \{24\})" "= \\{42\\}" \
|
|
"call add_singlevecs"
|
|
|
|
# Test "finish" from vector-valued function.
|
|
gdb_breakpoint "add_some_intvecs"
|
|
gdb_continue "add_some_intvecs"
|
|
set test "finish shows vector return value"
|
|
gdb_test_multiple "finish" $test {
|
|
-re "Value returned is .* = \\{10, 20, 48, 72\\}.*$gdb_prompt $" {
|
|
pass $test
|
|
}
|
|
-re "Value returned has type: .* Cannot determine contents.*$gdb_prompt $" {
|
|
kfail "gdb/8549" $test
|
|
}
|
|
}
|
|
|
|
gdb_continue "add_some_intvecs"
|
|
gdb_test "up" ""
|
|
gdb_test "p res" "\\{10, 20, 48, 72\\}.*"
|
|
gdb_test "down" ""
|
|
|
|
|
|
# Test "return" from vector-valued function.
|
|
set test "return from vector-valued function"
|
|
set should_kfail 0
|
|
gdb_test_multiple "return (int4) \{4, 2, 7, 6\}" $test {
|
|
-re "#0 .* main .*$gdb_prompt $" {
|
|
pass $test
|
|
}
|
|
-re "The location .* is unknown.\r\n.* return value .* will be ignored.\r\n" {
|
|
# This happens, e.g., on s390x unless using the vector ABI.
|
|
set should_kfail 1
|
|
exp_continue
|
|
}
|
|
-re "Make add_some_intvecs return now. .y or n. $" {
|
|
send_gdb "y\n"
|
|
exp_continue
|
|
}
|
|
}
|
|
|
|
gdb_test "next" ""
|
|
set test "verify vector return value"
|
|
gdb_test_multiple "p res" $test {
|
|
-re ".*= \\{4, 2, 7, 6\\}\r\n.*$gdb_prompt $" {
|
|
pass $test
|
|
}
|
|
-re ".*= \\{.*\\}\r\n.*$gdb_prompt $" {
|
|
if { $should_kfail } {
|
|
# GDB had not actually set the return value, likely due to
|
|
# PR 8549. So accept any return value and emit a KFAIL.
|
|
kfail "gdb/8549" $test
|
|
} else {
|
|
fail $test
|
|
}
|
|
}
|
|
}
|