binutils-gdb/gdb/testsuite/gdb.arch/amd64-disp-step.exp
Andrew Burgess 1d506c26d9 Update copyright year range in header of all files managed by GDB
This commit is the result of the following actions:

  - Running gdb/copyright.py to update all of the copyright headers to
    include 2024,

  - Manually updating a few files the copyright.py script told me to
    update, these files had copyright headers embedded within the
    file,

  - Regenerating gdbsupport/Makefile.in to refresh it's copyright
    date,

  - Using grep to find other files that still mentioned 2023.  If
    these files were updated last year from 2022 to 2023 then I've
    updated them this year to 2024.

I'm sure I've probably missed some dates.  Feel free to fix them up as
you spot them.
2024-01-12 15:49:57 +00:00

266 lines
7.8 KiB
Plaintext

# Copyright 2009-2024 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 file is part of the gdb testsuite.
# Test amd64 displaced stepping.
require is_x86_64_m64_target
set newline "\[\r\n\]*"
set opts {debug nopie}
standard_testfile .S -signal.c
if { [prepare_for_testing "failed to prepare" $testfile "$srcfile $srcfile2" $opts] } {
return -1
}
gdb_test "set displaced-stepping on" ""
gdb_test "show displaced-stepping" ".* displaced stepping .* is on.*"
if {![runto_main]} {
return 0
}
##########################################
# Test call/ret.
gdb_test "break test_call" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_call_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_ret" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_ret_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_call ().*" \
"continue to test_call"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_call_end ().*" \
"continue to test_call_end"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_ret ().*" \
"continue to test_ret"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_ret_end ().*" \
"continue to test_ret_end"
##########################################
# Test abs-jmp/rep-ret.
gdb_test "break test_abs_jmp" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_abs_jmp_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_rep_ret" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_rep_ret_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_abs_jmp ().*" \
"continue to test_abs_jmp"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_abs_jmp_end ().*" \
"continue to test_abs_jmp_end"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_rep_ret ().*" \
"continue to test_rep_ret"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_rep_ret_end ().*" \
"continue to test_rep_ret_end"
##########################################
# Test syscall.
gdb_test "break test_syscall" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_syscall_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_syscall ().*" \
"continue to test_syscall"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_syscall_end ().*" \
"continue to test_syscall_end"
##########################################
# int3 (with prefixes)
# These don't occur in normal code, but gdb should still DTRT.
gdb_test "break test_int3" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break test_int3_end" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_int3 ().*" \
"continue to test_int3"
gdb_test "continue" \
"Continuing.*Breakpoint.*, test_int3_end ().*" \
"continue to test_int3_end"
##########################################
# Test rip-relative.
# GDB picks a spare register to hold the rip-relative address.
# Exercise all the possibilities (rax-rdi, sans rsp).
# The order must much the order in srcfile.
set rip_regs { "rax" "rbx" "rcx" "rdx" "rbp" "rsi" "rdi" }
# Assign val to all specified regs.
proc set_regs { regs val } {
global gdb_prompt
foreach reg ${regs} {
# Use send_gdb/gdb_expect so that these aren't logged as pass/fail.
send_gdb "set \$${reg} = ${val}\n"
gdb_expect 10 {
-re "$gdb_prompt $" {
verbose "Setting ${reg} to ${val}." 2
}
timeout {
warning "Couldn't set ${reg} to ${val}."
}
}
}
}
# Verify all REGS equal VAL, except EXCEPT_REG which equals
# EXCEPT_REG_VAL.
#
# It is fine for EXCEPT_REG to be the empty string, in which case no
# register will be checked for EXCEPT_REG_VAL.
proc_with_prefix verify_regs { regs val except_reg except_reg_val } {
global newline
foreach reg ${regs} {
set expected ${val}
if { "${reg}" == "${except_reg}" } {
set expected ${except_reg_val}
}
# The cast to (int) is because RBP is printed as a pointer.
gdb_test "p (int) \$${reg}" " = ${expected}${newline}" "${reg} expected value"
}
}
# Run the rip-relative tests.
#
# TEST_START_LABEL and TEST_END_LABEL are two labels that delimit the
# test in the srcfile.
#
# REG is either the name of a register which is the destination
# location (when testing the add instruction), otherwise REG should be
# the empty string, when testing the 'jmpq*' instruction.
#
# SIGNAL_MODES is a list which always contains 'off' and optionally
# might also contain 'on'. The 'on' value is only included if the
# target supports sending SIGALRM to the inferior. The test is
# repeated for each signal mode. With signal mode 'on' we send a
# signal to the inferior while it is performing a displaced step.
proc rip_test { reg test_start_label test_end_label signal_modes } {
global srcfile rip_regs
gdb_test "break ${test_start_label}" \
"Breakpoint.*at.* file .*$srcfile, line.*"
gdb_test "break ${test_end_label}" \
"Breakpoint.*at.* file .*$srcfile, line.*"
foreach_with_prefix send_signal $signal_modes {
if {$send_signal eq [lindex $signal_modes 0]} {
# The first time through we can just continue to the
# breakpoint.
gdb_test "continue" \
"Continuing.*Breakpoint.*, ${test_start_label} ().*" \
"continue to ${test_start_label}"
} else {
# For the second time through the test we need to jump
# back to the beginning.
gdb_test "jump ${test_start_label}" \
"Breakpoint.*, ${test_start_label} ().*" \
"jump back to ${test_start_label}"
}
set_regs ${rip_regs} 0
if {$send_signal} {
# The signal sending tests require that the signal appear to
# arrive from an outside source, i.e. we can't use GDB's 'signal'
# command to deliver it.
#
# The signal must arrive while GDB is processing the displaced
# step instruction.
#
# If we use 'signal' to send the signal GDB doesn't actually do
# the displaced step, but instead just delivers the signal.
set inferior_pid [get_inferior_pid]
# Ensure that $inferior_pid refers to a single process.
gdb_assert {[expr $inferior_pid > 0]} \
"check for a sane inferior pid"
if {$inferior_pid > 0} {
remote_exec target "kill -ALRM $inferior_pid"
}
}
gdb_test "continue" \
"Continuing.*Breakpoint.*, ${test_end_label} ().*" \
"continue to ${test_end_label}"
verify_regs ${rip_regs} 0 ${reg} 42
}
}
if {![target_info exists gdb,nosignals] && ![istarget "*-*-mingw*"]} {
# Only targets that support SIGALRM can run the signal tests.
set signal_modes { off on }
} else {
set signal_modes { off }
}
# The rip-relative add instructions. There's a test writing to
# each register in RIP_REGS in turn.
foreach reg ${rip_regs} {
with_test_prefix "add into ${reg}" {
rip_test $reg "test_rip_${reg}" "test_rip_${reg}_end" $signal_modes
}
}
# Now test the rip-relative 'jmpq*' instruction.
with_test_prefix "rip-relative jmpq*" {
rip_test "" "test_jmp" "test_jmp_end" $signal_modes
}
##########################################
# Done, run program to exit.
gdb_continue_to_end "amd64-disp-step"