| # Copyright 2002 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 2 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, write to the Free Software |
| # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
| |
| # This file was written by Jason Molenda (jmolenda@apple.com) |
| |
| # This file looks at $pc via different mechanisms as we go up and down the |
| # stack. If the pc is consistently wrong, this test won't flag any failures, |
| # but if the pc is reported differently, we can catch that. |
| |
| if $tracelevel then { |
| strace $tracelevel |
| } |
| |
| set prms_id 0 |
| set bug_id 0 |
| |
| set testfile "pc-verify" |
| set srcfile ${testfile}.c |
| set binfile ${objdir}/${subdir}/${testfile} |
| |
| global hex |
| |
| if { [gdb_compile "${srcdir}/${subdir}/$srcfile" "${binfile}" executable {debug}] != "" } { |
| gdb_suppress_entire_file "Testcase compile failed, so all tests in this fil |
| e will automatically fail." |
| } |
| |
| # Start with a fresh gdb |
| |
| gdb_exit |
| gdb_start |
| gdb_reinitialize_dir $srcdir/$subdir |
| gdb_load ${binfile} |
| |
| if ![runto_main] then { |
| fail "pc-verify tests suppressed" |
| return -1 |
| } |
| |
| ##### |
| ##### Gather some information in main() before we call into a subroutine. |
| ##### |
| |
| gdb_test "next" ".*factorial.*" "next over boring line" |
| send_gdb "info line\n" |
| gdb_expect { |
| -re ".*Line.*starts at address ($hex) .*ends at ($hex) <main.$decimal>.\[\r\n\]*$gdb_prompt $" { |
| set main_info_line_start $expect_out(1,string) |
| set main_info_line_end $expect_out(2,string) |
| pass "info line in main()." |
| } |
| -re ".*$gdb_prompt $" { |
| fail "info line in main()." |
| } |
| timeout { fail "info line in main(). (timeout)" } |
| } |
| |
| #warning "got pc value of $main_info_line_start\n" |
| |
| send_gdb "p/x \$pc\n" |
| gdb_expect { |
| -re ".*$decimal = ($hex)\[\r\n\]*$gdb_prompt $" { |
| set main_cur_pc $expect_out(1,string) |
| pass "Get pc value in main() #1" |
| } |
| -re ".*$gdb_prompt $" { |
| fail "Get pc value in main() #1" |
| } |
| timeout { fail "Get pc value in main() #1 (timeout)" } |
| } |
| |
| send_gdb "p/x \$fp\n" |
| gdb_expect { |
| -re ".*$decimal = ($hex)\[\r\n\]*$gdb_prompt $" { |
| set main_cur_fp $expect_out(1,string) |
| pass "Get fp value in main() #1" |
| } |
| -re ".*$gdb_prompt $" { |
| fail "Get fp value in main() #1" |
| } |
| timeout { fail "Get fp value in main() #1 (timeout)" } |
| } |
| |
| send_gdb "info fr\n" |
| gdb_expect { |
| -re ".*Stack level 0, frame at ($hex):.*(pc|eip|rip) = ($hex) in main.*$gdb_prompt $" { |
| set main_current_fp_from_info_frame $expect_out(1,string) |
| set main_current_pc_from_info_frame $expect_out(3,string) |
| pass "info frame in main #1." |
| } |
| -re ".*$gdb_prompt $" { |
| fail "info frame in main #1." |
| } |
| timeout { fail "info frame in main #1. (timeout)" } |
| } |
| |
| if {$main_current_pc_from_info_frame != $main_cur_pc} then { |
| fail "p/x \$pc returns the same as info frame's \$pc" |
| } else { |
| pass "p/x \$pc returns the same as info frame's \$pc" |
| } |
| |
| # on x86, $fp (aka EBP) points two words into the stack frame. |
| # info frame will report the correct frame address, which starts |
| # with the saved EIP, then the saved ESP. EBP points to the |
| # space below that. So for the sake of this comparison add the |
| # offset to EBP so it matches info frame's output. |
| |
| if [istarget "i\[3-6\]86-apple-darwin*"] { |
| set offset 8 |
| } else { |
| set offset 0 |
| } |
| if {$main_current_fp_from_info_frame != $main_cur_fp + $offset} then { |
| fail "p/x \$fp returns the same as info frame's \$fp" |
| } else { |
| pass "p/x \$fp returns the same as info frame's \$fp" |
| } |
| |
| |
| ##### |
| ##### Call into factorial(), see if the numbers make sense down there. |
| ##### |
| |
| gdb_test "step" ".*factorial.*" "step into factorial" |
| |
| send_gdb "bt\n" |
| gdb_expect { |
| -re ".*#0 *factorial.*#1 *($hex) in main.*$gdb_prompt $" { |
| set main_calling_pc_from_backtrace $expect_out(1,string) |
| pass "backtrace in factorial level 1." |
| } |
| -re ".*$gdb_prompt $" { |
| fail "backtrace in factorial level 1." |
| } |
| timeout { fail "backtrace in factorial level 1. (timeout)" } |
| } |
| |
| if { $main_calling_pc_from_backtrace < $main_info_line_start || \ |
| $main_calling_pc_from_backtrace > $main_info_line_end } then { |
| fail "pc from backtrace is within info line range" |
| } else { |
| pass "pc from backtrace is within info line range" |
| } |
| |
| send_gdb "info fr\n" |
| gdb_expect { |
| -re "Stack level 0, frame at ($hex).*(pc|eip|rip) = ($hex) in factorial.*saved (pc|eip|rip) ($hex).*$gdb_prompt $" { |
| set factorial_info_frame_fp $expect_out(1,string) |
| set factorial_info_frame_pc $expect_out(3,string) |
| set factorial_info_frame_saved_pc $expect_out(5,string) |
| pass "info frame in factorial" |
| } |
| -re ".*$gdb_prompt $" { |
| fail "info frame in factorial" |
| } |
| timeout { fail info frame in factorial. (timeout)" } |
| } |
| |
| if { $factorial_info_frame_saved_pc < $main_info_line_start || \ |
| $factorial_info_frame_saved_pc > $main_info_line_end } then { |
| fail "pc from info frame in factorial is within info line range" |
| } else { |
| pass "pc from info frame in factorial is within info line range" |
| } |
| |
| gdb_test "up" ".*in main.*" "change frame back to main" |
| |
| send_gdb "p/x \$pc\n" |
| gdb_expect { |
| -re ".*$decimal = ($hex)\[\r\n\]*$gdb_prompt $" { |
| set new_main_pc $expect_out(1,string) |
| pass "Get pc value in main() #2" |
| } |
| -re ".*$gdb_prompt $" { |
| fail "Get pc value in main() #2" |
| } |
| timeout { fail "Get pc value in main() #2 (timeout)" } |
| } |
| |
| if {$new_main_pc == $factorial_info_frame_saved_pc} then { |
| pass "\$pc in main is the same as the saved pc from factorial" |
| } else { |
| fail "\$pc in main is the same as the saved pc from factorial" |
| } |
| |
| if { $new_main_pc < $main_info_line_start || \ |
| $new_main_pc > $main_info_line_end } then { |
| fail "p/x \$pc at stack level 1 reports pc within correct range" |
| } else { |
| pass "p/x \$pc at stack level 1 reports pc within correct range" |
| } |
| |
| gdb_exit |
| return 0 |
