blob: d4ad4a67ad17957fb7bcf63c05660b01f6af8320 [file] [log] [blame]
# Copyright 2015-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 <http://www.gnu.org/licenses/>.
# This testsuite is to test examining memory backward by specifying a negative
# number in the 'x' command.
standard_testfile
if { [prepare_for_testing "failed to prepare for examine-backward" \
${testfile} ${srcfile}] } {
return -1
}
if ![runto_main] {
return -1
}
proc get_first_mapped_address {} {
global gdb_prompt
set addr "0"
gdb_test_multiple "info proc mappings" "info proc mappings" {
-re "objfile\[\r\n\t \]+(0x\[0-9a-fA-F\]+).*\[\r\n\]*$gdb_prompt $" {
set addr $expect_out(1,string)
}
-re "$gdb_prompt $" {
unsupported "current target does not support 'info proc mappings'"
}
}
return ${addr}
}
with_test_prefix "invalid format" {
gdb_test "x/- 10xb main" "Invalid number \"10xb\"\." \
"a whitespace after a leading hyphen"
gdb_test "x/--10xb main" "Invalid number \"10xb\"\." \
"double hyphen"
gdb_test "x/-a10xb main" "Invalid number \"10xb\"\." \
"an alphabet after a leading hyphen"
gdb_test_no_output "x/-0i main" "zero with backward disassemble"
gdb_test_no_output "x/-0sh main" "zero with backward examine string"
}
with_test_prefix "memory page boundary" {
set boundary [get_first_mapped_address]
if {![is_address_zero_readable] && $boundary != 0} {
gdb_test_no_output "set print elements 0"
gdb_test_sequence "x/3s ${boundary}" "take 3 strings forward" {
"0x"
"0x"
"0x"
}
gdb_test_sequence "x/-4s" "take 4 strings backward" {
"Cannot access memory at address 0x"
"0x"
"0x"
"0x"
}
gdb_test_sequence "x/3s ${boundary}" "take 3 strings forward again" {
"0x"
"0x"
"0x"
}
gdb_test_sequence "x/-3s" "take 3 strings backward" {
"Cannot access memory at address 0x"
"0x"
"0x"
"0x"
}
}
}
with_test_prefix "address zero boundary" {
global gdb_prompt
set address_zero "0x0"
set byte "\t0x\[0-9a-f\]+"
set test "examine 3 bytes forward from ${address_zero}"
gdb_test_multiple "x/3xb ${address_zero}" "$test" {
-re "0x\[0-9a-f\]*0.*:${byte}${byte}${byte}\[\r\n\]*$gdb_prompt $" {
pass $test
}
-re "0x\[0-9a-f\]*0.*:\tCannot access memory at address 0x\[0-9a-f\]*0\[\r\n\]*$gdb_prompt $" {
# If we failed to read address 0 then this is fine, so
# long as we're not expecting to be able to read from
# address 0.
if {![is_address_zero_readable]} {
# The next test assumes that the last address examined
# would be 0x2. As we just failed to read address 0x0
# things are going to go wrong unless we now tell GDB
# to examine address 0x2. We assume here that if we
# can't read 0x0 we can't read 0x2 either.
gdb_test "x/3xb 0x2" "Cannot access memory at address 0x\[0-9a-f\]*2" \
"set last examined address to 0x2"
pass $test
} else {
fail $test
}
}
}
set test "examine 6 bytes backward"
gdb_test_multiple "x/-6x" "$test" {
-re "0x\[0-9a-f\]+fd.*:${byte}${byte}${byte}${byte}${byte}${byte}.*\[\r\n\]*$gdb_prompt $" {
pass $test
}
-re "0x\[0-9a-f\]+fd.*:\tCannot access memory at address 0x\[0-9a-f\]+fd.*\[\r\n\]*$gdb_prompt $" {
# We may, or may not have managed to read from address 0x0
# in the previous test, however, being able to read 0x0 is
# no guarantee that we can read from the other end of the
# address space. If we get an error about trying to read
# from the expected address then we count that as a pass,
# GDB did try to read the correct location, and this test
# is (mostly) about does GDB calculate the correct address
# when wrapping around.
pass $test
}
}
set test "examine 3 bytes backward from ${address_zero}"
gdb_test_multiple "x/-3x ${address_zero}" "$test" {
-re "0x\[0-9a-f\]+fd.*:${byte}${byte}${byte}.*\[\r\n\]*$gdb_prompt $" {
pass $test
}
-re "0x\[0-9a-f\]+fd.*:\tCannot access memory at address 0x\[0-9a-f\]+fd.*\[\r\n\]*$gdb_prompt $" {
# See previous test for why this is a pass.
pass $test
}
}
}
gdb_test_no_output "set charset ASCII"
with_test_prefix "char-width=1, print-max=20" {
gdb_test_no_output "set print elements 20"
gdb_test_sequence "x/6s &TestStrings" "take 6 strings forward" {
"\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"\"UVWXYZ\""
"\"\""
"\"\""
"\"[^\"]+\""
"\"01234567890123456789\"\.\.\."
}
gdb_test "x/-1xb" "0x39" "take 1 char backward"
gdb_test_sequence "x/-6s" "take 6 strings backward" {
"\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"\"UVWXYZ\""
"\"\""
"\"\""
"\"[^\"]+\""
"\"01234567890123456789\"\.\.\."
}
gdb_test_sequence "x/6s &TestStrings" "take 6 strings forward again" {
"\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"\"UVWXYZ\""
"\"\""
"\"\""
"\"[^\"]+\""
"\"01234567890123456789\"\.\.\."
}
gdb_test "x/-xb" "0x39" "take 1 char backward again"
gdb_test "x/-s" "\"01234567890123456789\"\.\.\." \
"take 1 string backward (1/6)"
gdb_test "x/-s" "\".+\"" \
"take 1 string backward (2/6)"
gdb_test "x/-s" "\"\"" \
"take 1 string backward (3/6)"
gdb_test "x/-s" "\"\"" \
"take 1 string backward (4/6)"
gdb_test "x/-s" "\"GHIJKLMNOPQRSTUVWXYZ\"" \
"take 1 string backward (5/6)"
gdb_test "x/-s" "\"ABCDEFGHIJKLMNOPQRST\"\.\.\." \
"take 1 string backward (6/6)"
}
with_test_prefix "char-width=2, print-max=20" {
gdb_test_no_output "set print elements 20"
gdb_test_sequence "x/6sh &TestStringsH" "take 6 strings forward" {
"u\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"u\"UVWXYZ\""
"u\"\""
"u\"\""
"u\"[^\"]+\""
"u\"01234567890123456789\"\.\.\."
}
gdb_test "x/-1xh" "0x0039" "take 1 char backward"
gdb_test_sequence "x/-6sh" "take 6 strings backward" {
"u\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"u\"UVWXYZ\""
"u\"\""
"u\"\""
"u\"[^\"]+\""
"u\"01234567890123456789\"\.\.\."
}
gdb_test_sequence "x/6sh &TestStringsH" "take 6 strings forward again" {
"u\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"u\"UVWXYZ\""
"u\"\""
"u\"\""
"u\"[^\"]+\""
"u\"01234567890123456789\"\.\.\."
}
gdb_test "x/-xh" "0x0039" "take 1 char backward again"
gdb_test "x/-sh" "u\"01234567890123456789\"\.\.\." \
"take 1 string backward (1/6)"
gdb_test "x/-sh" "u\".+\"" \
"take 1 string backward (2/6)"
gdb_test "x/-sh" "u\"\"" \
"take 1 string backward (3/6)"
gdb_test "x/-sh" "u\"\"" \
"take 1 string backward (4/6)"
gdb_test "x/-sh" "u\"GHIJKLMNOPQRSTUVWXYZ\"" \
"take 1 string backward (5/6)"
gdb_test "x/-sh" "u\"ABCDEFGHIJKLMNOPQRST\"\.\.\." \
"take 1 string backward (6/6)"
}
with_test_prefix "char-width=4, print-max=20" {
gdb_test_no_output "set print elements 20"
gdb_test_sequence "x/6sw &TestStringsW" "take 6 strings forward" {
"U\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"U\"UVWXYZ\""
"U\"\""
"U\"\""
"U\"[^\"]+\""
"U\"01234567890123456789\"\.\.\."
}
gdb_test "x/-1xw" "0x00000039" "take 1 char backward"
gdb_test_sequence "x/-6sw" "take 6 strings backward" {
"U\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"U\"UVWXYZ\""
"U\"\""
"U\"\""
"U\"[^\"]+\""
"U\"01234567890123456789\"\.\.\."
}
gdb_test_sequence "x/6sw &TestStringsW" "take 6 strings forward again" {
"U\"ABCDEFGHIJKLMNOPQRST\"\.\.\."
"U\"UVWXYZ\""
"U\"\""
"U\"\""
"U\"[^\"]+\""
"U\"01234567890123456789\"\.\.\."
}
gdb_test "x/-xw" "0x00000039" "take 1 char backward again"
gdb_test "x/-sw" "U\"01234567890123456789\"\.\.\." \
"take 1 string backward (1/6)"
gdb_test "x/-sw" "U\".+\"" \
"take 1 string backward (2/6)"
gdb_test "x/-sw" "U\"\"" \
"take 1 string backward (3/6)"
gdb_test "x/-sw" "U\"\"" \
"take 1 string backward (4/6)"
gdb_test "x/-sw" "U\"GHIJKLMNOPQRSTUVWXYZ\"" \
"take 1 string backward (5/6)"
gdb_test "x/-sw" "U\"ABCDEFGHIJKLMNOPQRST\"\.\.\." \
"take 1 string backward (6/6)"
}
with_test_prefix "char-width=2, print-max=0" {
gdb_test_no_output "set print elements 0"
gdb_test_sequence "x/6sh &TestStringsH" "take 6 strings forward" {
"u\"ABCDEFGHIJKLMNOPQRSTUVWXYZ\""
"u\"\""
"u\"\""
"u\"\\\\x307b\\\\x3052\\\\x307b\\\\x3052\""
"u\"012345678901234567890123456789\""
"u\"!!!!!!\""
}
gdb_test "x/-4xh" "0x0021\[\t \]+0x0021\[\t \]+0x0021\[\t \]+0x0000" \
"take 4 characters backward"
gdb_test_sequence "x/-6sh" "take 6 strings backward" {
"u\"ABCDEFGHIJKLMNOPQRSTUVWXYZ\""
"u\"\""
"u\"\""
"u\"[^\"]+\""
"u\"012345678901234567890123456789\""
"u\"!!!!!!\""
}
gdb_test_sequence "x/6sh &TestStringsH" "take 6 strings forward again" {
"u\"ABCDEFGHIJKLMNOPQRSTUVWXYZ\""
"u\"\""
"u\"\""
"u\"\\\\x307b\\\\x3052\\\\x307b\\\\x3052\""
"u\"012345678901234567890123456789\""
"u\"!!!!!!\""
}
gdb_test "x/-xh" "0x0000" "take 1 char backward"
gdb_test "x/-sh" "u\"!!!!!!\"" \
"take 1 string backward (1/6)"
gdb_test "x/-sh" "u\"012345678901234567890123456789\"" \
"take 1 string backward (2/6)"
gdb_test "x/-sh" "u\".+\"" \
"take 1 string backward (3/6)"
gdb_test "x/-sh" "u\"\"" \
"take 1 string backward (4/6)"
gdb_test "x/-sh" "u\"\"" \
"take 1 string backward (5/6)"
gdb_test "x/-sh" "u\"ABCDEFGHIJKLMNOPQRSTUVWXYZ\"" \
"take 1 string backward (6/6)"
}
with_test_prefix "char-width=1, print-max=4" {
gdb_test_no_output "set print elements 4"
gdb_test_sequence "x/9s &TestStrings" "take 9 strings forward" {
"\"ABCD\"\.\.\."
"\"EFGH\"\.\.\."
"\"IJKL\"\.\.\."
"\"MNOP\"\.\.\."
"\"QRST\"\.\.\."
"\"UVWX\"\.\.\."
"\"YZ\""
"\"\""
"\"\""
}
gdb_test "x/-xb" "0x00" "take 1 byte backward"
gdb_test_sequence "x/-4s" "take 4 strings backward (1/2)" {
"\"TUVW\"\.\.\."
"\"XYZ\""
"\"\""
"\"\""
}
gdb_test_sequence "x/-4s" "take 4 strings backward (2/2)" {
"\"CDEF\"\.\.\."
"\"GHIJ\"\.\.\."
"\"KLMN\"\.\.\."
"\"OPQR\"\.\.\."
}
}
with_test_prefix "backward disassemble general" {
set length_to_examine {1 2 3 4 10}
set disassmbly {}
gdb_test_no_output "set print asm-demangle on"
set main_re "main(\\(\\))?"
gdb_test "x/i main" "0x\[0-9a-fA-F\]+ <$main_re>:\t.*" \
"move the current position to main (x/i)"
gdb_test "x/-i" "0x\[0-9a-fA-F\]+ <$main_re>:\t.*" \
"move the current position to main (x/-i)"
for {set i 0} {$i < [llength $length_to_examine]} {incr i} {
set len [lindex $length_to_examine $i]
set instructions [capture_command_output "x/${len}i" ""]
lappend disassmbly $instructions
}
for {set i 0} {$i < [llength $length_to_examine]} {incr i} {
set idx [expr [llength $length_to_examine] - $i - 1]
set len [lindex $length_to_examine $idx]
set actual [capture_command_output "x/-${len}i" ""]
set expected [lindex $disassmbly $idx]
if {$actual == $expected} {
pass "inst:$idx"
} else {
fail "inst:$idx"
}
}
}