1# Copyright (C) 2015-2020 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 16if ![supports_reverse] { 17 return 18} 19 20standard_testfile 21 22if {[prepare_for_testing "failed to prepare" $testfile $srcfile \ 23 [list debug]]} { 24 return -1 25} 26if { ![runto main] } then { 27 fail "run to main" 28 return 29} 30 31# Read function name from testcases[N]. 32 33proc read_testcase { n } { 34 global gdb_prompt 35 36 set result -1 37 gdb_test_multiple "print testcases\[${n}\]" "read name of test case ${n}" { 38 -re "\[$\].*= .*<(.*)>.*$gdb_prompt $" { 39 set result $expect_out(1,string) 40 } 41 -re "$gdb_prompt $" { } 42 } 43 44 return $result 45} 46 47# In each function FUNC, GDB turns on process record, and single step 48# until program goes to the end of the function. Then, single step 49# backward. In each of forward single step and backward single step, 50# the contents of registers are saved, and test compares them. If 51# there is any differences, a FAIL is emitted. 52 53proc test { func } { 54 global hex decimal 55 global gdb_prompt 56 57 with_test_prefix "$func" { 58 gdb_breakpoint $func 59 gdb_test "continue" 60 61 set last_insn "" 62 set test "disassemble $func" 63 gdb_test_multiple $test $test { 64 -re ".*($hex) <\\+$decimal>:\[^\r\n\]+\r\nEnd of assembler dump\.\r\n$gdb_prompt $" { 65 set last_insn $expect_out(1,string) 66 } 67 } 68 if { $last_insn == "" } { 69 fail "find the last instruction of function $func" 70 } 71 72 # Activate process record/replay 73 gdb_test_no_output "record" "turn on process record" 74 75 # Registers contents before each forward single step. 76 set count 0 77 for {} {$count < 500} {incr count} { 78 gdb_test_multiple "x/i \$pc" "" { 79 -re ".* ($hex) <.*>:\[ \t\]*(.*)\r\n$gdb_prompt $" { 80 set insn_addr $expect_out(1,string) 81 82 if [expr {$last_insn == $insn_addr}] { 83 break 84 } 85 86 set insn_array($count) $expect_out(2,string) 87 } 88 } 89 90 set pre_regs($count) [capture_command_output "info all-registers" ""] 91 gdb_test "si" "" "" 92 } 93 94 incr count -1 95 # Registers contents after each backward single step. 96 for {set i $count} {$i >= 0} {incr i -1} { 97 gdb_test "reverse-stepi" "" "" 98 set post_regs($i) [capture_command_output "info all-registers" ""] 99 } 100 101 # Compare the register contents. 102 for {set i 0} {$i < $count} {incr i} { 103 if { ![gdb_assert { [string compare $pre_regs($i) $post_regs($i)] == 0 } \ 104 "compare registers on insn $i:$insn_array($i)"] } { 105 106 foreach pre_line [split $pre_regs($i) \n] post_line [split $post_regs($i) \n] { 107 if { [string compare $pre_line $post_line] } { 108 verbose -log " -:$pre_line" 109 verbose -log " +:$post_line" 110 } 111 } 112 } 113 } 114 gdb_test "record stop" 115 } 116} 117 118set n_testcases [get_integer_valueof "n_testcases" 0] 119 120if { ${n_testcases} == 0 } { 121 untested "no test" 122 return 1 123} 124 125for { set i 0 } { ${i} < ${n_testcases} } { incr i } { 126 set testcase [read_testcase $i] 127 128 test $testcase 129} 130