2013-03-11 09:59:00 +01:00
|
|
|
# This testcase is part of GDB, the GNU debugger.
|
|
|
|
|
#
|
2015-01-01 10:32:14 +01:00
|
|
|
# Copyright 2013-2015 Free Software Foundation, Inc.
|
2013-03-11 09:59:00 +01:00
|
|
|
#
|
|
|
|
|
# Contributed by Intel Corp. <christian.himpel@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 }
|
|
|
|
|
|
|
|
|
|
# compile and run to main
|
|
|
|
|
standard_testfile .c .S
|
|
|
|
|
if [prepare_for_testing $testfile.exp $testfile "$srcfile $srcfile2" {debug}] {
|
|
|
|
|
return -1
|
|
|
|
|
}
|
|
|
|
|
if ![runto_main] {
|
|
|
|
|
return -1
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# set bp before loop and continue
|
|
|
|
|
set bp_location [gdb_get_line_number "bp.1" $srcfile2]
|
|
|
|
|
gdb_breakpoint $srcfile2:$bp_location
|
|
|
|
|
gdb_continue_to_breakpoint "cont to $bp_location" ".*$srcfile2:$bp_location.*"
|
|
|
|
|
|
|
|
|
|
# start btrace
|
|
|
|
|
gdb_test_no_output "record btrace"
|
|
|
|
|
|
|
|
|
|
# set bp after loop and continue
|
|
|
|
|
set bp_location [gdb_get_line_number "bp.2" $srcfile2]
|
|
|
|
|
gdb_breakpoint $srcfile2:$bp_location
|
|
|
|
|
gdb_continue_to_breakpoint "cont to $bp_location" ".*$srcfile2:$bp_location.*"
|
|
|
|
|
|
|
|
|
|
# The following test cases test if "browsing" through the
|
|
|
|
|
# instruction history works as expected. So for the tests
|
|
|
|
|
# it is necessary to count the number of lines that are
|
|
|
|
|
# shown by the "record instruction-history" command.
|
|
|
|
|
|
btrace: change branch trace data structure
The branch trace is represented as 3 vectors:
- a block vector
- a instruction vector
- a function vector
Each vector (except for the first) is computed from the one above.
Change this into a graph where a node represents a sequence of instructions
belonging to the same function and where we have three types of edges to connect
the function segments:
- control flow
- same function (instance)
- call stack
This allows us to navigate in the branch trace. We will need this for "record
goto" and reverse execution.
This patch introduces the data structure and computes the control flow edges.
It also introduces iterator structs to simplify iterating over the branch trace
in control-flow order.
It also fixes PR gdb/15240 since now recursive calls are handled correctly.
Fix the test that got the number of expected fib instances and also the
function numbers wrong.
The current instruction had been part of the branch trace. This will look odd
once we start support for reverse execution. Remove it. We still keep it in
the trace itself to allow extending the branch trace more easily in the future.
2014-01-16 Markus Metzger <markus.t.metzger@intel.com>
* btrace.h (struct btrace_func_link): New.
(enum btrace_function_flag): New.
(struct btrace_inst): Rename to ...
(struct btrace_insn): ...this. Update all users.
(struct btrace_func) <ibegin, iend>: Remove.
(struct btrace_func_link): New.
(struct btrace_func): Rename to ...
(struct btrace_function): ...this. Update all users.
(struct btrace_function) <segment, flow, up, insn, insn_offset)
(number, level, flags>: New.
(struct btrace_insn_iterator): Rename to ...
(struct btrace_insn_history): ...this.
Update all users.
(struct btrace_insn_iterator, btrace_call_iterator): New.
(struct btrace_target_info) <btrace, itrace, ftrace>: Remove.
(struct btrace_target_info) <begin, end, level>
<insn_history, call_history>: New.
(btrace_insn_get, btrace_insn_number, btrace_insn_begin)
(btrace_insn_end, btrace_insn_prev, btrace_insn_next)
(btrace_insn_cmp, btrace_find_insn_by_number, btrace_call_get)
(btrace_call_number, btrace_call_begin, btrace_call_end)
(btrace_call_prev, btrace_call_next, btrace_call_cmp)
(btrace_find_function_by_number, btrace_set_insn_history)
(btrace_set_call_history): New.
* btrace.c (btrace_init_insn_iterator)
(btrace_init_func_iterator, compute_itrace): Remove.
(ftrace_print_function_name, ftrace_print_filename)
(ftrace_skip_file): Change
parameter to const.
(ftrace_init_func): Remove.
(ftrace_debug): Use new btrace_function fields.
(ftrace_function_switched): Also consider gaining and
losing symbol information).
(ftrace_print_insn_addr, ftrace_new_call, ftrace_new_return)
(ftrace_new_switch, ftrace_find_caller, ftrace_new_function)
(ftrace_update_caller, ftrace_fixup_caller, ftrace_new_tailcall):
New.
(ftrace_new_function): Move. Remove debug print.
(ftrace_update_lines, ftrace_update_insns): New.
(ftrace_update_function): Check for call, ret, and jump.
(compute_ftrace): Renamed to ...
(btrace_compute_ftrace): ...this. Rewritten to compute call
stack.
(btrace_fetch, btrace_clear): Updated.
(btrace_insn_get, btrace_insn_number, btrace_insn_begin)
(btrace_insn_end, btrace_insn_prev, btrace_insn_next)
(btrace_insn_cmp, btrace_find_insn_by_number, btrace_call_get)
(btrace_call_number, btrace_call_begin, btrace_call_end)
(btrace_call_prev, btrace_call_next, btrace_call_cmp)
(btrace_find_function_by_number, btrace_set_insn_history)
(btrace_set_call_history): New.
* record-btrace.c (require_btrace): Use new btrace thread
info fields.
(record_btrace_info, btrace_insn_history)
(record_btrace_insn_history, record_btrace_insn_history_range):
Use new btrace thread info fields and new iterator.
(btrace_func_history_src_line): Rename to ...
(btrace_call_history_src_line): ...this. Use new btrace
thread info fields.
(btrace_func_history): Rename to ...
(btrace_call_history): ...this. Use new btrace thread info
fields and new iterator.
(record_btrace_call_history, record_btrace_call_history_range):
Use new btrace thread info fields and new iterator.
testsuite/
* gdb.btrace/function_call_history.exp: Fix expected function
trace.
* gdb.btrace/instruction_history.exp: Initialize traced.
Remove traced_functions.
2013-03-22 14:32:47 +01:00
|
|
|
set traced {}
|
2013-03-11 09:59:00 +01:00
|
|
|
set testname "determine number of recorded instructions"
|
|
|
|
|
gdb_test_multiple "info record" $testname {
|
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 09:51:10 +01:00
|
|
|
-re "Active record target: record-btrace\r\n.*\r\nRecorded \(\[0-9\]*\) instructions in \(\[0-9\]*\) functions \\\(0 gaps\\\) for thread 1 .*\\.\r\n$gdb_prompt $" {
|
2013-03-11 09:59:00 +01:00
|
|
|
set traced $expect_out(1,string)
|
|
|
|
|
pass $testname
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2013-09-10 12:27:14 +02:00
|
|
|
# we have exactly 11 instructions here
|
|
|
|
|
set message "exactly 11 instructions"
|
|
|
|
|
if { $traced != 11 } {
|
2013-03-11 09:59:00 +01:00
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# test that we see the expected instructions
|
2013-09-10 12:27:14 +02:00
|
|
|
gdb_test "record instruction-history 3,7" [join [list \
|
|
|
|
|
"3\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"4\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tdec %eax" \
|
|
|
|
|
"5\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tjmp 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"6\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tcmp \\\$0x0,%eax" \
|
|
|
|
|
"7\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>\r" \
|
2013-05-13 14:57:42 +02:00
|
|
|
] "\r\n"]
|
|
|
|
|
|
2013-09-10 12:27:14 +02:00
|
|
|
gdb_test "record instruction-history /f 3,+5" [join [list \
|
|
|
|
|
"3\t 0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"4\t 0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tdec %eax" \
|
|
|
|
|
"5\t 0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tjmp 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"6\t 0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tcmp \\\$0x0,%eax" \
|
|
|
|
|
"7\t 0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>\r" \
|
2013-05-13 14:57:42 +02:00
|
|
|
] "\r\n"]
|
|
|
|
|
|
2013-09-10 12:27:14 +02:00
|
|
|
gdb_test "record instruction-history /p 7,-5" [join [list \
|
|
|
|
|
"3\t0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"4\t0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tdec %eax" \
|
|
|
|
|
"5\t0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tjmp 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"6\t0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tcmp \\\$0x0,%eax" \
|
|
|
|
|
"7\t0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>\r" \
|
2013-05-13 14:57:42 +02:00
|
|
|
] "\r\n"]
|
|
|
|
|
|
2013-09-10 12:27:14 +02:00
|
|
|
gdb_test "record instruction-history /pf 3,7" [join [list \
|
|
|
|
|
"3\t0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"4\t0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tdec %eax" \
|
|
|
|
|
"5\t0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tjmp 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>" \
|
|
|
|
|
"6\t0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tcmp \\\$0x0,%eax" \
|
|
|
|
|
"7\t0x\[0-9a-f\]+ <\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>\r" \
|
2013-05-13 14:57:42 +02:00
|
|
|
] "\r\n"]
|
2013-03-11 09:59:00 +01:00
|
|
|
|
2013-09-10 12:27:14 +02:00
|
|
|
gdb_test "record instruction-history 3,3" "3\t 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>:\tje 0x\[0-9a-f\]+ <loop\\+\[0-9\]+>\r"
|
2013-04-17 09:39:43 +02:00
|
|
|
|
2013-03-11 09:59:00 +01:00
|
|
|
# the following tests are checking the iterators
|
|
|
|
|
# to avoid lots of regexps, we just check the number of lines that
|
|
|
|
|
# were printed during command execution.
|
|
|
|
|
|
|
|
|
|
# test_lines_output returns the output lines from command as a list.
|
|
|
|
|
proc test_lines_output { command message } {
|
|
|
|
|
global gdb_prompt
|
|
|
|
|
set message "test_lines_output: $message"
|
|
|
|
|
gdb_test_multiple $command $message {
|
|
|
|
|
-re "\n\(.*\)\r\n$gdb_prompt $" {
|
|
|
|
|
return [split [string trim $expect_out(1,string)] "\n"]
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# test_lines_length returns the number of lines from command.
|
|
|
|
|
proc test_lines_length { command message } {
|
|
|
|
|
return [llength [test_lines_output $command $message]]
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# show instruction history with unlimited size, we expect to see
|
|
|
|
|
# all $traced instructions
|
|
|
|
|
gdb_test_no_output "set record instruction-history-size 0"
|
|
|
|
|
set message "record instruction-history - unlimited"
|
2013-05-13 14:57:42 +02:00
|
|
|
set lines [test_lines_length "record instruction-history 1" $message]
|
2013-03-11 09:59:00 +01:00
|
|
|
if { $traced != $lines } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
gdb_test_no_output "set record instruction-history-size $traced"
|
|
|
|
|
set message "record instruction-history - traced"
|
2013-05-13 14:57:42 +02:00
|
|
|
set lines [test_lines_length "record instruction-history 1" $message]
|
2013-03-11 09:59:00 +01:00
|
|
|
if { $traced != $lines } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# test that the iterator works
|
2013-09-10 12:27:14 +02:00
|
|
|
set history_size 4
|
2013-03-11 09:59:00 +01:00
|
|
|
gdb_test_no_output "set record instruction-history-size $history_size"
|
|
|
|
|
set message "browse history forward start"
|
2013-05-13 14:57:42 +02:00
|
|
|
set lines [test_lines_length "record instruction-history 1" $message]
|
2013-03-11 09:59:00 +01:00
|
|
|
if { $lines != $history_size } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set message "browse history forward middle"
|
|
|
|
|
set lines [test_lines_length "record instruction-history +" $message]
|
|
|
|
|
if { $lines != $history_size } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set message "browse history forward last"
|
|
|
|
|
set lines [test_lines_length "record instruction-history +" $message]
|
2013-09-10 12:27:14 +02:00
|
|
|
if { $lines != 3 } {
|
2013-03-11 09:59:00 +01:00
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
gdb_test "record instruction-history" "At the end of the branch trace record\\." "browse history forward beyond 1"
|
|
|
|
|
|
|
|
|
|
# make sure we cannot move further
|
|
|
|
|
gdb_test "record instruction-history" "At the end of the branch trace record\\." "browse history forward beyond 2"
|
|
|
|
|
|
|
|
|
|
set message "browse history backward last"
|
|
|
|
|
set lines [test_lines_length "record instruction-history -" $message]
|
|
|
|
|
if { $lines != $history_size } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set message "browse history backward middle"
|
|
|
|
|
set lines [test_lines_length "record instruction-history -" $message]
|
|
|
|
|
if { $lines != $history_size } {
|
|
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set message "browse history backward first"
|
|
|
|
|
set lines [test_lines_length "record instruction-history -" $message]
|
2013-09-10 12:27:14 +02:00
|
|
|
if { $lines != 3 } {
|
2013-03-11 09:59:00 +01:00
|
|
|
fail $message
|
|
|
|
|
} else {
|
|
|
|
|
pass $message
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
gdb_test "record instruction-history -" "At the start of the branch trace record\\." "browse history backward beyond 1"
|
|
|
|
|
|
|
|
|
|
# make sure we cannot move further back
|
|
|
|
|
gdb_test "record instruction-history -" "At the start of the branch trace record\\." "browse history backward beyond 2"
|
