gdb/testsuite/gdb.arch/amd64-disp-step-avx.exp

   1 # Copyright 2009-2019 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 # Test displaced stepping over VEX-encoded RIP-relative AVX
  19 # instructions.
  20
  21 if { ![istarget x86_64-*-* ] || ![is_lp64_target] } {
  22     verbose "Skipping x86_64 displaced stepping tests."
  23     return
  24 }
  25
  26 standard_testfile .S
  27
  28 set options [list debug \
  29                  additional_flags=-static \
  30                  additional_flags=-nostartfiles]
  31 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} $options] } {
  32     return -1
  33 }
  34
  35 # Get things started.
  36
  37 gdb_test "set displaced-stepping on" ""
  38 gdb_test "show displaced-stepping" ".* displaced stepping .* is on.*"
  39
  40 if ![runto_main] then {
  41     fail "can't run to main"
  42     return 0
  43 }
  44
  45 # GDB picks a spare register from this list to hold the RIP-relative
  46 # address.
  47 set rip_regs { "rax" "rbx" "rcx" "rdx" "rbp" "rsi" "rdi" }
  48
  49 # Assign VAL to all the RIP_REGS.
  50
  51 proc set_regs { val } {
  52     global gdb_prompt
  53     global rip_regs
  54
  55     foreach reg ${rip_regs} {
  56         gdb_test_no_output "set \$${reg} = ${val}"
  57     }
  58 }
  59
  60 # Verify all RIP_REGS print as HEX_VAL_RE in hex.
  61
  62 proc verify_regs { hex_val_re } {
  63     global rip_regs
  64
  65     foreach reg ${rip_regs} {
  66         gdb_test "p /x \$${reg}" " = ${hex_val_re}" "${reg} expected value"
  67     }
  68 }
  69
  70 # Set a break at FUNC, which starts with a RIP-relative instruction
  71 # that we want to displaced-step over, and then continue over the
  72 # breakpoint, forcing a displaced-stepping sequence.
  73
  74 proc disp_step_func { func } {
  75     global srcfile
  76
  77     set test_start_label "${func}"
  78     set test_end_label "${func}_end"
  79
  80     gdb_test "break ${test_start_label}" \
  81         "Breakpoint.*at.* file .*$srcfile, line.*" \
  82         "break ${test_start_label}"
  83     gdb_test "break ${test_end_label}" \
  84         "Breakpoint.*at.* file .*$srcfile, line.*" \
  85         "break ${test_end_label}"
  86
  87     gdb_test "continue" \
  88         "Continuing.*Breakpoint.*, ${test_start_label} ().*" \
  89         "continue to ${test_start_label}"
  90
  91     # GDB picks a spare register to hold the RIP-relative address.
  92     # Ensure the spare register value is restored properly (rax-rdi,
  93     # sans rsp).
  94     set value "0xdeadbeefd3adb33f"
  95     set_regs $value
  96
  97     gdb_test "continue" \
  98         "Continuing.*Breakpoint.*, ${test_end_label} ().*" \
  99         "continue to ${test_end_label}"
 100
 101     verify_regs $value
 102 }
 103
 104 # Test a VEX2-encoded RIP-relative instruction.
 105 with_test_prefix "vex2" {
 106     # This test writes to the 'xmm0' register.  As the test is
 107     # statically linked, we know that the XMM registers should all
 108     # have the default value of 0 at this point in time.  We're about
 109     # to run an AVX instruction that will modify $xmm0, but lets first
 110     # confirm that all XMM registers are 0.
 111     for {set i 0 } { $i < 16 } { incr i } {
 112         gdb_test "p /x \$xmm${i}.uint128" " = 0x0" \
 113             "xmm${i} has expected value before"
 114     }
 115
 116     disp_step_func "test_rip_vex2"
 117
 118     # Confirm the instruction's expected side effects.  It should have
 119     # modified xmm0.
 120     gdb_test "p /x \$xmm0.uint128" " = 0x1122334455667788" \
 121         "xmm0 has expected value after"
 122
 123     # And all of the other XMM register should still be 0.
 124     for {set i 1 } { $i < 16 } { incr i } {
 125         gdb_test "p /x \$xmm${i}.uint128" " = 0x0" \
 126             "xmm${i} has expected value after"
 127     }
 128 }
 129
 130 # Test a VEX3-encoded RIP-relative instruction.
 131 with_test_prefix "vex3" {
 132     # This case writes to the 'var128' variable.  Confirm the
 133     # variable's value is what we believe it is before the AVX
 134     # instruction runs.
 135     gdb_test "p /x (unsigned long long \[2\]) var128" \
 136         " = \\{0xaa55aa55aa55aa55, 0x55aa55aa55aa55aa\\}" \
 137         "var128 has expected value before"
 138
 139     # Run the AVX instruction.
 140     disp_step_func "test_rip_vex3"
 141
 142     # Confirm the instruction's expected side effects.  It should have
 143     # modifed the 'var128' variable.
 144     gdb_test "p /x (unsigned long long \[2\]) var128" \
 145         " = \\{0x1122334455667788, 0x0\\}" \
 146         "var128 has expected value after"
 147 }
 148
 149 # Done, run program to exit.
 150 gdb_continue_to_end "amd64-disp-step-avx"