2013-05-06 14:04:46 +00:00
|
|
|
# This testcase is part of GDB, the GNU debugger.
|
|
|
|
|
#
|
2015-01-01 09:32:14 +00:00
|
|
|
# Copyright 2013-2015 Free Software Foundation, Inc.
|
2013-05-06 14:04:46 +00:00
|
|
|
#
|
|
|
|
|
# Contributed by Intel Corp. <markus.t.metzger@intel.com>
|
|
|
|
|
#
|
|
|
|
|
# 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/>.
|
|
|
|
|
|
|
|
|
|
# check for btrace support
|
|
|
|
|
if { [skip_btrace_tests] } { return -1 }
|
|
|
|
|
|
|
|
|
|
# start inferior
|
|
|
|
|
standard_testfile x86-record_goto.S
|
|
|
|
|
if [prepare_for_testing next.exp $testfile $srcfile] {
|
|
|
|
|
return -1
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if ![runto_main] {
|
|
|
|
|
return -1
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# trace the call to the test function
|
|
|
|
|
gdb_test_no_output "record btrace"
|
|
|
|
|
gdb_test "next"
|
|
|
|
|
|
|
|
|
|
proc check_replay_at { insn } {
|
|
|
|
|
gdb_test "info record" [join [list \
|
|
|
|
|
"Active record target: record-btrace" \
|
2013-11-28 14:44:13 +00:00
|
|
|
"Recording format: .*" \
|
record-btrace: indicate gaps
Indicate gaps in the trace due to decode errors. Internally, a gap is
represented as a btrace function segment without instructions and with a
non-zero format-specific error code.
Show the gap when traversing the instruction or function call history.
Also indicate gaps in "info record".
It looks like this:
(gdb) info record
Active record target: record-btrace
Recording format: Branch Trace Store.
Buffer size: 64KB.
Recorded 32 instructions in 5 functions (1 gaps) for thread 1 (process 7182).
(gdb) record function-call-history /cli
1 fib inst 1,9 at src/fib.c:9,14
2 fib inst 10,20 at src/fib.c:6,14
3 [decode error (1): instruction overflow]
4 fib inst 21,28 at src/fib.c:11,14
5 fib inst 29,33 at src/fib.c:6,9
(gdb) record instruction-history 20,22
20 0x000000000040062f <fib+47>: sub $0x1,%rax
[decode error (1): instruction overflow]
21 0x0000000000400613 <fib+19>: add $0x1,%rax
22 0x0000000000400617 <fib+23>: mov %rax,0x200a3a(%rip)
(gdb)
Gaps are ignored during reverse execution and replay.
2015-02-09 Markus Metzger <markus.t.metzger@intel.com>
* btrace.c (ftrace_find_call): Skip gaps.
(ftrace_new_function): Initialize level.
(ftrace_new_call, ftrace_new_tailcall, ftrace_new_return)
(ftrace_new_switch): Update
level computation.
(ftrace_new_gap): New.
(ftrace_update_function): Create new function after gap.
(btrace_compute_ftrace_bts): Create gap on error.
(btrace_stitch_bts): Update parameters. Clear trace if it
becomes empty.
(btrace_stitch_trace): Update parameters. Update callers.
(btrace_clear): Reset the number of gaps.
(btrace_insn_get): Return NULL if the iterator points to a gap.
(btrace_insn_number): Return zero if the iterator points to a gap.
(btrace_insn_end): Allow gaps at the end.
(btrace_insn_next, btrace_insn_prev, btrace_insn_cmp): Handle gaps.
(btrace_find_insn_by_number): Assert that the found iterator does
not point to a gap.
(btrace_call_next, btrace_call_prev): Assert that the last function
is not a gap.
* btrace.h (btrace_bts_error): New.
(btrace_function): Update comment.
(btrace_function) <insn, insn_offset, number>: Update comment.
(btrace_function) <errcode>: New.
(btrace_thread_info) <ngaps>: New.
(btrace_thread_info) <replay>: Update comment.
(btrace_insn_get): Update comment.
* record-btrace.c (btrace_ui_out_decode_error): New.
(record_btrace_info): Print number of gaps.
(btrace_insn_history, btrace_call_history): Call
btrace_ui_out_decode_error for gaps.
(record_btrace_step_thread, record_btrace_start_replaying): Skip gaps.
testsuite/
* gdb.btrace/buffer-size.exp: Update "info record" output.
* gdb.btrace/delta.exp: Update "info record" output.
* gdb.btrace/enable.exp: Update "info record" output.
* gdb.btrace/finish.exp: Update "info record" output.
* gdb.btrace/instruction_history.exp: Update "info record" output.
* gdb.btrace/next.exp: Update "info record" output.
* gdb.btrace/nexti.exp: Update "info record" output.
* gdb.btrace/step.exp: Update "info record" output.
* gdb.btrace/stepi.exp: Update "info record" output.
* gdb.btrace/nohist.exp: Update "info record" output.
2014-01-30 08:51:10 +00:00
|
|
|
"Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for .*" \
|
2013-05-06 14:04:46 +00:00
|
|
|
"Replay in progress\. At instruction $insn\." \
|
|
|
|
|
] "\r\n"]
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# we start with stepping to make sure that the trace is fetched automatically
|
|
|
|
|
# the call is outside of our trace
|
|
|
|
|
gdb_test "reverse-next" ".*main\.2.*"
|
|
|
|
|
with_test_prefix "reverse-next - 1" { check_replay_at 1 }
|
|
|
|
|
|
|
|
|
|
# we can't reverse-step any further
|
|
|
|
|
gdb_test "reverse-next" "No more reverse-execution history\.\r\n.*main\.2.*"
|
|
|
|
|
with_test_prefix "reverse-next - 2" { check_replay_at 1 }
|
|
|
|
|
|
|
|
|
|
# but we can step back again
|
|
|
|
|
gdb_test "next" ".*main\.3.*"
|
|
|
|
|
gdb_test "info record" [join [list \
|
|
|
|
|
"Active record target: record-btrace" \
|
2013-11-28 14:44:13 +00:00
|
|
|
"Recording format: .*" \
|
record-btrace: indicate gaps
Indicate gaps in the trace due to decode errors. Internally, a gap is
represented as a btrace function segment without instructions and with a
non-zero format-specific error code.
Show the gap when traversing the instruction or function call history.
Also indicate gaps in "info record".
It looks like this:
(gdb) info record
Active record target: record-btrace
Recording format: Branch Trace Store.
Buffer size: 64KB.
Recorded 32 instructions in 5 functions (1 gaps) for thread 1 (process 7182).
(gdb) record function-call-history /cli
1 fib inst 1,9 at src/fib.c:9,14
2 fib inst 10,20 at src/fib.c:6,14
3 [decode error (1): instruction overflow]
4 fib inst 21,28 at src/fib.c:11,14
5 fib inst 29,33 at src/fib.c:6,9
(gdb) record instruction-history 20,22
20 0x000000000040062f <fib+47>: sub $0x1,%rax
[decode error (1): instruction overflow]
21 0x0000000000400613 <fib+19>: add $0x1,%rax
22 0x0000000000400617 <fib+23>: mov %rax,0x200a3a(%rip)
(gdb)
Gaps are ignored during reverse execution and replay.
2015-02-09 Markus Metzger <markus.t.metzger@intel.com>
* btrace.c (ftrace_find_call): Skip gaps.
(ftrace_new_function): Initialize level.
(ftrace_new_call, ftrace_new_tailcall, ftrace_new_return)
(ftrace_new_switch): Update
level computation.
(ftrace_new_gap): New.
(ftrace_update_function): Create new function after gap.
(btrace_compute_ftrace_bts): Create gap on error.
(btrace_stitch_bts): Update parameters. Clear trace if it
becomes empty.
(btrace_stitch_trace): Update parameters. Update callers.
(btrace_clear): Reset the number of gaps.
(btrace_insn_get): Return NULL if the iterator points to a gap.
(btrace_insn_number): Return zero if the iterator points to a gap.
(btrace_insn_end): Allow gaps at the end.
(btrace_insn_next, btrace_insn_prev, btrace_insn_cmp): Handle gaps.
(btrace_find_insn_by_number): Assert that the found iterator does
not point to a gap.
(btrace_call_next, btrace_call_prev): Assert that the last function
is not a gap.
* btrace.h (btrace_bts_error): New.
(btrace_function): Update comment.
(btrace_function) <insn, insn_offset, number>: Update comment.
(btrace_function) <errcode>: New.
(btrace_thread_info) <ngaps>: New.
(btrace_thread_info) <replay>: Update comment.
(btrace_insn_get): Update comment.
* record-btrace.c (btrace_ui_out_decode_error): New.
(record_btrace_info): Print number of gaps.
(btrace_insn_history, btrace_call_history): Call
btrace_ui_out_decode_error for gaps.
(record_btrace_step_thread, record_btrace_start_replaying): Skip gaps.
testsuite/
* gdb.btrace/buffer-size.exp: Update "info record" output.
* gdb.btrace/delta.exp: Update "info record" output.
* gdb.btrace/enable.exp: Update "info record" output.
* gdb.btrace/finish.exp: Update "info record" output.
* gdb.btrace/instruction_history.exp: Update "info record" output.
* gdb.btrace/next.exp: Update "info record" output.
* gdb.btrace/nexti.exp: Update "info record" output.
* gdb.btrace/step.exp: Update "info record" output.
* gdb.btrace/stepi.exp: Update "info record" output.
* gdb.btrace/nohist.exp: Update "info record" output.
2014-01-30 08:51:10 +00:00
|
|
|
"Recorded 40 instructions in 16 functions \\\(0 gaps\\\) for \[^\\\r\\\n\]*" \
|
2013-05-06 14:04:46 +00:00
|
|
|
] "\r\n"] "next back"
|
|
|
|
|
|
|
|
|
|
# let's go somewhere where we can step some more
|
|
|
|
|
gdb_test "record goto 22" ".*fun3\.2.*"
|
|
|
|
|
with_test_prefix "goto 22" { check_replay_at 22 }
|
|
|
|
|
|
|
|
|
|
gdb_test "next" ".*fun3\.3.*"
|
|
|
|
|
with_test_prefix "next to 27" { check_replay_at 27 }
|
|
|
|
|
|
|
|
|
|
gdb_test "next" ".*fun3\.4.*"
|
|
|
|
|
with_test_prefix "next to 37" { check_replay_at 37 }
|
|
|
|
|
|
|
|
|
|
# and back again
|
|
|
|
|
gdb_test "reverse-next" ".*fun3\.3.*"
|
|
|
|
|
with_test_prefix "reverse-next to 27" { check_replay_at 27 }
|
|
|
|
|
|
|
|
|
|
gdb_test "reverse-next" ".*fun3\.2.*"
|
|
|
|
|
with_test_prefix "reverse-next to 22" { check_replay_at 22 }
|
