diff options
author | Yao Qi <yao.qi@linaro.org> | 2016-02-26 15:00:36 +0000 |
---|---|---|
committer | Yao Qi <yao.qi@linaro.org> | 2016-02-26 15:00:36 +0000 |
commit | ce90fefec908ee50ae5a3b22b03447df638a54c1 (patch) | |
tree | 19d7cfd0deb4345c0b1c705a50ab9c1f2aac11a5 /gdb/testsuite/gdb.reverse/insn-reverse.exp | |
parent | 3263bceb4f76b783a44aeea417a9fb69dab26ee5 (diff) | |
download | gdb-ce90fefec908ee50ae5a3b22b03447df638a54c1.zip gdb-ce90fefec908ee50ae5a3b22b03447df638a54c1.tar.gz gdb-ce90fefec908ee50ae5a3b22b03447df638a54c1.tar.bz2 |
Rename gdb.reverse/aarch64.{exp,c} to gdb.reverse/insn-reverse.{exp,c}
gdb/testsuite:
2016-02-26 Yao Qi <yao.qi@linaro.org>
* gdb.reverse/aarch64.c: Rename to ...
* gdb.reverse/insn-reverse.c: ... it.
* gdb.reverse/aarch64.exp: Rename to ...
* gdb.reverse/insn-reverse.exp: ... it.
Diffstat (limited to 'gdb/testsuite/gdb.reverse/insn-reverse.exp')
-rw-r--r-- | gdb/testsuite/gdb.reverse/insn-reverse.exp | 130 |
1 files changed, 130 insertions, 0 deletions
diff --git a/gdb/testsuite/gdb.reverse/insn-reverse.exp b/gdb/testsuite/gdb.reverse/insn-reverse.exp new file mode 100644 index 0000000..f52b40c --- /dev/null +++ b/gdb/testsuite/gdb.reverse/insn-reverse.exp @@ -0,0 +1,130 @@ +# Copyright (C) 2015-2016 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +if ![supports_reverse] { + return +} + +standard_testfile + +if {[prepare_for_testing $testfile.exp $testfile $srcfile \ + [list debug]]} { + untested ${testfile}.exp + return -1 +} +if { ![runto main] } then { + fail "run to main" + return +} + +# Read function name from testcases[N]. + +proc read_testcase { n } { + global gdb_prompt + + set result -1 + gdb_test_multiple "print testcases\[${n}\]" "read name of test case ${n}" { + -re "\[$\].*= .*<(.*)>.*$gdb_prompt $" { + set result $expect_out(1,string) + } + -re "$gdb_prompt $" { } + } + + return $result +} + +# In each function FUNC, GDB turns on process record, and single step +# until program goes to the end of the function. Then, single step +# backward. In each of forward single step and backward single step, +# the contents of registers are saved, and test compares them. If +# there is any differences, a FAIL is emitted. + +proc test { func } { + global hex decimal + global gdb_prompt + + with_test_prefix "$func" { + gdb_breakpoint $func + gdb_test "continue" + + set last_insn "" + set test "disassemble $func" + gdb_test_multiple $test $test { + -re ".*($hex) <\\+$decimal>:\[^\r\n\]+\r\nEnd of assembler dump\.\r\n$gdb_prompt $" { + set last_insn $expect_out(1,string) + } + } + if { $last_insn == "" } { + fail "find the last instruction of function $func" + } + + # Activate process record/replay + gdb_test_no_output "record" "Turn on process record" + + # Registers contents before each forward single step. + set count 0 + for {} {$count < 500} {incr count} { + gdb_test_multiple "x/i \$pc" "" { + -re ".* ($hex) <.*>:\[ \t\]*(.*)\r\n$gdb_prompt $" { + set insn_addr $expect_out(1,string) + + if [expr {$last_insn == $insn_addr}] { + break + } + + set insn_array($count) $expect_out(2,string) + } + } + + set pre_regs($count) [capture_command_output "info all-registers" ""] + gdb_test "si" "" "" + } + + incr count -1 + # Registers contents after each backward single step. + for {set i $count} {$i >= 0} {incr i -1} { + gdb_test "reverse-stepi" "" "" + set post_regs($i) [capture_command_output "info all-registers" ""] + } + + # Compare the register contents. + for {set i 0} {$i < $count} {incr i} { + if { ![gdb_assert { [string compare $pre_regs($i) $post_regs($i)] == 0 } \ + "compare registers on insn $i:$insn_array($i)"] } { + + foreach pre_line [split $pre_regs($i) \n] post_line [split $post_regs($i) \n] { + if { [string compare $pre_line $post_line] } { + verbose -log " -:$pre_line" + verbose -log " +:$post_line" + } + } + } + } + gdb_test "record stop" + } +} + +set n_testcases [get_integer_valueof "n_testcases" 0] + +if { ${n_testcases} == 0 } { + untested "No test" + return 1 +} + +for { set i 0 } { ${i} < ${n_testcases} } { incr i } { + set testcase [read_testcase $i] + + test $testcase +} |