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 21if { ![istarget x86_64-*-* ] || ![is_lp64_target] } { 22 verbose "Skipping x86_64 displaced stepping tests." 23 return 24} 25 26standard_testfile .S 27 28set options [list debug \ 29 additional_flags=-static \ 30 additional_flags=-nostartfiles] 31if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} $options] } { 32 return -1 33} 34 35# Get things started. 36 37gdb_test "set displaced-stepping on" "" 38gdb_test "show displaced-stepping" ".* displaced stepping .* is on.*" 39 40if ![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. 47set rip_regs { "rax" "rbx" "rcx" "rdx" "rbp" "rsi" "rdi" } 48 49# Assign VAL to all the RIP_REGS. 50 51proc 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 62proc 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 74proc 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. 105with_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. 131with_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. 150gdb_continue_to_end "amd64-disp-step-avx" 151