]>
Commit | Line | Data |
---|---|---|
4a94e368 | 1 | # Copyright 2010-2022 Free Software Foundation, Inc. |
177321bd DJ |
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 | # Test single stepping over Thumb-2 IT blocks. | |
17 | ||
75b6f386 | 18 | if {![istarget arm*-*eabi*]} { |
177321bd DJ |
19 | verbose "Skipping Thumb-2 tests." |
20 | return | |
21 | } | |
22 | ||
ffd19d61 | 23 | standard_testfile .S |
177321bd DJ |
24 | |
25 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable debug] != "" } { | |
5b362f04 | 26 | untested "failed to compile" |
177321bd DJ |
27 | return -1 |
28 | } | |
29 | ||
30 | gdb_exit | |
31 | gdb_start | |
32 | gdb_reinitialize_dir $srcdir/$subdir | |
33 | gdb_load ${binfile} | |
34 | ||
75b6f386 | 35 | if {![runto_main]} { |
177321bd DJ |
36 | return -1 |
37 | } | |
38 | ||
39 | # Make sure that the compiler options allow Thumb-2. | |
40 | gdb_test_multiple "list" "list main" { | |
41 | -re ".*@ No Thumb-2.*$gdb_prompt $" { | |
42 | pass "list main" | |
5b362f04 | 43 | untested "skipping tests due to lack of Thumb-2" |
177321bd DJ |
44 | return -1 |
45 | } | |
46 | -re ".*@ Thumb-2 OK.*$gdb_prompt $" { | |
47 | pass "list main" | |
48 | } | |
49 | } | |
50 | ||
51 | proc test_it_block { func } { | |
52 | global gdb_prompt | |
53 | global software_step | |
54 | ||
55 | if { ! [gdb_breakpoint "*${func}"] } { | |
56 | unresolved "$func, IT block tests" | |
57 | return | |
58 | } | |
59 | ||
8f8f8152 | 60 | gdb_test "call (int) ${func}()" "Breakpoint.*@ Setup.*" "$func, call" |
177321bd DJ |
61 | |
62 | set expected 0 | |
63 | set reached 0 | |
64 | set steps 0 | |
65 | set ok 1 | |
66 | while { $ok } { | |
67 | set ok 0 | |
68 | set msg "$func, stepi $steps" | |
69 | gdb_test_multiple "stepi" "$msg" { | |
70 | -re ".*@ Setup.*$gdb_prompt $" { | |
71 | pass "$msg" | |
72 | set ok 1 | |
73 | } | |
74 | -re ".*@ IT instruction, Expected == (\[0-9\]*)\r\n$gdb_prompt $" { | |
75 | set expected $expect_out(1,string) | |
76 | pass "$msg" | |
77 | set ok 1 | |
78 | } | |
79 | -re ".*@ Reached.*$gdb_prompt $" { | |
80 | incr reached | |
81 | pass "$msg" | |
82 | set ok 1 | |
83 | if { [regexp {@ Reached, Set ([^\r\n]*)\r\n} $expect_out(0,string) dummy change] } { | |
84 | gdb_test "set $change" "" "$func, set $change" | |
85 | } | |
86 | } | |
87 | -re ".*@ Not reached.*$gdb_prompt $" { | |
88 | # An instruction in an IT block whose predicate is false when | |
89 | # we reach it. If using software single step, we should not | |
90 | # stop here. | |
91 | if { $software_step } { | |
92 | fail "$msg" | |
93 | } else { | |
94 | pass "$msg" | |
95 | set ok 1 | |
96 | } | |
97 | } | |
98 | -re ".*@ Never reached.*$gdb_prompt $" { | |
99 | # An instruction that should be branched over. | |
100 | fail "$msg" | |
101 | } | |
102 | -re ".*@ Done.*$gdb_prompt $" { | |
103 | pass "$msg" | |
104 | if { $reached == $expected } { | |
105 | pass "$func, correct instructions reached" | |
106 | } else { | |
107 | fail "$func, correct instructions reached" | |
108 | } | |
109 | if { [regexp {@ Done, Check ([^\r\n]*)\r\n} $expect_out(0,string) dummy check] } { | |
110 | gdb_test "print $check" ".* = 1" "$func, $check" | |
111 | } | |
112 | } | |
113 | } | |
114 | if { ! $ok } { | |
115 | break | |
116 | } | |
117 | incr steps | |
118 | continue | |
119 | } | |
120 | ||
121 | gdb_test "continue" "" "$func, continue" | |
122 | return | |
123 | } | |
124 | ||
f9d67f43 | 125 | proc test_it_break { ndx } { |
bb391223 DJ |
126 | global software_step |
127 | ||
f9d67f43 DJ |
128 | set line [gdb_get_line_number "@ Break ${ndx}"] |
129 | ||
130 | if { ! [gdb_breakpoint "${line}"] } { | |
131 | unresolved "continue to breakpoint: test ${ndx}" | |
132 | return | |
133 | } | |
134 | ||
bb391223 DJ |
135 | if { $software_step } { |
136 | gdb_continue_to_breakpoint "test ${ndx}" ".*@ Location ${ndx}.*" | |
137 | } else { | |
138 | gdb_continue_to_breakpoint "test ${ndx}" ".*@ Break ${ndx}.*" | |
139 | } | |
f9d67f43 DJ |
140 | } |
141 | ||
177321bd DJ |
142 | # If we are using software single-stepping in GDB, then GDB will not |
143 | # stop at conditional instructions with a false predicate during stepi. | |
144 | # If we are using a simulator or debug interface with hardware single | |
145 | # step, then GDB will stop at such instructions. | |
146 | if { [istarget arm*-linux*] } { | |
147 | set software_step 1 | |
148 | } else { | |
149 | set software_step 0 | |
150 | } | |
151 | ||
152 | for { set i 1 } { $i <= 8 } { incr i } { | |
153 | test_it_block it_${i} | |
154 | } | |
f9d67f43 DJ |
155 | |
156 | gdb_breakpoint "*it_breakpoints" | |
8f8f8152 | 157 | gdb_test "call (int) it_breakpoints()" "Breakpoint.*" |
f9d67f43 DJ |
158 | for { set i 1 } { $i <= 7 } { incr i } { |
159 | test_it_break ${i} | |
160 | } |