Commit | Line | Data |
---|---|---|
618f726f | 1 | # Copyright 2009-2016 Free Software Foundation, Inc. |
35669430 DE |
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 amd64 displaced stepping. | |
19 | ||
35669430 | 20 | |
add265ae | 21 | if { ![istarget x86_64-*-* ] || ![is_lp64_target] } { |
35669430 DE |
22 | verbose "Skipping x86_64 displaced stepping tests." |
23 | return | |
24 | } | |
25 | ||
26 | set newline "\[\r\n\]*" | |
27 | ||
de5f37e1 | 28 | standard_testfile .S |
35669430 DE |
29 | |
30 | set additional_flags "-Wa,-g" | |
31 | ||
32 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } { | |
33 | untested amd64-disp-step.exp | |
34 | return -1 | |
35 | } | |
36 | ||
37 | # Get things started. | |
38 | ||
39 | gdb_exit | |
40 | gdb_start | |
41 | gdb_reinitialize_dir $srcdir/$subdir | |
42 | gdb_load ${binfile} | |
43 | ||
44 | gdb_test "set displaced-stepping on" "" | |
45 | gdb_test "show displaced-stepping" ".* displaced stepping .* is on.*" | |
46 | ||
47 | if ![runto_main] then { | |
bc6c7af4 | 48 | fail "can't run to main" |
35669430 DE |
49 | return 0 |
50 | } | |
51 | ||
52 | ########################################## | |
53 | ||
54 | # Test call/ret. | |
55 | ||
56 | gdb_test "break test_call" \ | |
57 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
58 | "break test_call" | |
59 | gdb_test "break test_call_end" \ | |
60 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
61 | "break test_call_end" | |
62 | ||
63 | gdb_test "break test_ret" \ | |
64 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
65 | "break test_ret" | |
66 | gdb_test "break test_ret_end" \ | |
67 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
68 | "break test_ret_end" | |
69 | ||
70 | gdb_test "continue" \ | |
71 | "Continuing.*Breakpoint.*, test_call ().*" \ | |
72 | "continue to test_call" | |
73 | gdb_test "continue" \ | |
74 | "Continuing.*Breakpoint.*, test_call_end ().*" \ | |
75 | "continue to test_call_end" | |
76 | ||
77 | gdb_test "continue" \ | |
78 | "Continuing.*Breakpoint.*, test_ret ().*" \ | |
79 | "continue to test_ret" | |
80 | gdb_test "continue" \ | |
81 | "Continuing.*Breakpoint.*, test_ret_end ().*" \ | |
82 | "continue to test_ret_end" | |
83 | ||
84 | ########################################## | |
85 | ||
86 | # Test abs-jmp/rep-ret. | |
87 | ||
88 | gdb_test "break test_abs_jmp" \ | |
89 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
90 | "break test_abs_jmp" | |
91 | gdb_test "break test_abs_jmp_end" \ | |
92 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
93 | "break test_abs_jmp_end" | |
94 | ||
95 | gdb_test "break test_rep_ret" \ | |
96 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
97 | "break test_rep_ret" | |
98 | gdb_test "break test_rep_ret_end" \ | |
99 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
100 | "break test_rep_ret_end" | |
101 | ||
102 | gdb_test "continue" \ | |
103 | "Continuing.*Breakpoint.*, test_abs_jmp ().*" \ | |
104 | "continue to test_abs_jmp" | |
105 | gdb_test "continue" \ | |
106 | "Continuing.*Breakpoint.*, test_abs_jmp_end ().*" \ | |
107 | "continue to test_abs_jmp_end" | |
108 | ||
109 | gdb_test "continue" \ | |
110 | "Continuing.*Breakpoint.*, test_rep_ret ().*" \ | |
111 | "continue to test_rep_ret" | |
112 | gdb_test "continue" \ | |
113 | "Continuing.*Breakpoint.*, test_rep_ret_end ().*" \ | |
114 | "continue to test_rep_ret_end" | |
115 | ||
116 | ########################################## | |
117 | ||
118 | # Test syscall. | |
119 | ||
120 | gdb_test "break test_syscall" \ | |
121 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
122 | "break test_syscall" | |
123 | gdb_test "break test_syscall_end" \ | |
124 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
125 | "break test_syscall_end" | |
126 | ||
127 | gdb_test "continue" \ | |
128 | "Continuing.*Breakpoint.*, test_syscall ().*" \ | |
129 | "continue to test_syscall" | |
130 | gdb_test "continue" \ | |
131 | "Continuing.*Breakpoint.*, test_syscall_end ().*" \ | |
132 | "continue to test_syscall_end" | |
133 | ||
134 | ########################################## | |
135 | ||
1903f0e6 DE |
136 | # int3 (with prefixes) |
137 | # These don't occur in normal code, but gdb should still DTRT. | |
138 | ||
139 | gdb_test "break test_int3" \ | |
140 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
141 | "break test_int3" | |
142 | gdb_test "break test_int3_end" \ | |
143 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
144 | "break test_int3_end" | |
145 | ||
146 | gdb_test "continue" \ | |
147 | "Continuing.*Breakpoint.*, test_int3 ().*" \ | |
148 | "continue to test_int3" | |
149 | ||
150 | gdb_test "continue" \ | |
151 | "Continuing.*Breakpoint.*, test_int3_end ().*" \ | |
152 | "continue to test_int3_end" | |
153 | ||
154 | ########################################## | |
155 | ||
35669430 DE |
156 | # Test rip-relative. |
157 | # GDB picks a spare register to hold the rip-relative address. | |
158 | # Exercise all the possibilities (rax-rdi, sans rsp). | |
159 | ||
160 | # The order must much the order in srcfile. | |
161 | set rip_regs { "rax" "rbx" "rcx" "rdx" "rbp" "rsi" "rdi" } | |
162 | ||
163 | # Assign val to all specified regs. | |
164 | ||
165 | proc set_regs { regs val } { | |
166 | global gdb_prompt | |
167 | ||
168 | foreach reg ${regs} { | |
169 | # Use send_gdb/gdb_expect so that these aren't logged as pass/fail. | |
170 | send_gdb "set \$${reg} = ${val}\n" | |
171 | gdb_expect 10 { | |
172 | -re "$gdb_prompt $" { | |
173 | verbose "Setting ${reg} to ${val}." 2 | |
174 | } | |
175 | timeout { | |
176 | warning "Couldn't set ${reg} to ${val}." | |
177 | } | |
178 | } | |
179 | } | |
180 | } | |
181 | ||
182 | # Verify all REGS equal VAL, except REG which equals REG_VAL. | |
183 | ||
184 | proc verify_regs { test_name regs val except_reg except_reg_val } { | |
185 | global newline | |
186 | ||
187 | foreach reg ${regs} { | |
188 | set expected ${val} | |
189 | if { "${reg}" == "${except_reg}" } { | |
190 | set expected ${except_reg_val} | |
191 | } | |
192 | # The cast to (int) is because RBP is printed as a pointer. | |
193 | gdb_test "p (int) \$${reg}" " = ${expected}${newline}" "${test_name} ${reg} expected value" | |
194 | } | |
195 | } | |
196 | ||
197 | proc rip_test { reg } { | |
198 | global srcfile rip_regs | |
199 | ||
200 | set test_start_label "test_rip_${reg}" | |
201 | set test_end_label "test_rip_${reg}_end" | |
202 | ||
203 | gdb_test "break ${test_start_label}" \ | |
204 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
205 | "break ${test_start_label}" | |
206 | gdb_test "break ${test_end_label}" \ | |
207 | "Breakpoint.*at.* file .*$srcfile, line.*" \ | |
208 | "break ${test_end_label}" | |
209 | ||
210 | gdb_test "continue" \ | |
211 | "Continuing.*Breakpoint.*, ${test_start_label} ().*" \ | |
212 | "continue to ${test_start_label}" | |
213 | ||
214 | set_regs ${rip_regs} 0 | |
215 | ||
216 | gdb_test "continue" \ | |
217 | "Continuing.*Breakpoint.*, ${test_end_label} ().*" \ | |
218 | "continue to ${test_end_label}" | |
219 | ||
220 | verify_regs "test rip w/${reg}" ${rip_regs} 0 ${reg} 42 | |
221 | } | |
222 | ||
223 | foreach reg ${rip_regs} { | |
224 | rip_test $reg | |
225 | } | |
226 | ||
227 | ########################################## | |
228 | ||
229 | # Done, run program to exit. | |
230 | ||
231 | gdb_continue_to_end "amd64-disp-step" |