projects / thirdparty / binutils-gdb.git / blame
| Commit | Line | Data |
|---|---|---|
| fe5f7374 AK |
1 | # This testcase is part of GDB, the GNU debugger. |
| 2 | ||
| 213516ef | 3 | # Copyright 2017-2023 Free Software Foundation, Inc. |
| fe5f7374 AK |
4 | |
| 5 | # This program is free software; you can redistribute it and/or modify | |
| 6 | # it under the terms of the GNU General Public License as published by | |
| 7 | # the Free Software Foundation; either version 3 of the License, or | |
| 8 | # (at your option) any later version. | |
| 9 | # | |
| 10 | # This program is distributed in the hope that it will be useful, | |
| 11 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 12 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 13 | # GNU General Public License for more details. | |
| 14 | # | |
| 15 | # You should have received a copy of the GNU General Public License | |
| 16 | # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
| 17 | ||
| 75b6f386 | 18 | if {![istarget "arc*-*-*"]} { |
| fe5f7374 AK |
19 | verbose "Skipping ARC prologue test." |
| 20 | return | |
| 21 | } | |
| 22 | ||
| 23 | standard_testfile .S | |
| 24 | ||
| 25 | if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } { | |
| 26 | return -1 | |
| 27 | } | |
| 28 | ||
| 29 | if ![runto_main] { | |
| fe5f7374 AK |
30 | return 0 |
| 31 | } | |
| 32 | ||
| 33 | # Convert list of saved registers and their offsets to a GDB string. | |
| 34 | proc saved_regs_to_str { savedregs funcname } { | |
| 35 | set str "" | |
| 36 | # If blink is stored, that it is present twice in saved regs - as blink and | |
| 37 | # as pc. | |
| 38 | set has_blink 0 | |
| 39 | set blink_addr 0 | |
| 40 | foreach r $savedregs { | |
| 41 | if { [llength $r] == 1 } { | |
| 42 | append str ".*$r at.*" | |
| 43 | } else { | |
| 44 | set name [lindex $r 0] | |
| 45 | set offset [lindex $r 1] | |
| 46 | set addr [get_hexadecimal_valueof "\$sp+$offset" 0 \ | |
| 47 | "get value of $name@sp+$offset in $funcname"] | |
| 48 | append str "\\s*$name at $addr,?" | |
| 49 | if { $name == "blink" } { | |
| 50 | set has_blink 1 | |
| 51 | set blink_addr $addr | |
| 52 | } | |
| 53 | } | |
| 54 | } | |
| 55 | if { $has_blink == 1 } { | |
| 56 | append str "\\s*pc at $blink_addr" | |
| 57 | } | |
| 58 | return $str | |
| 59 | } | |
| 60 | ||
| 61 | # Arguments: | |
| 62 | # funcname - name of function to test | |
| 63 | # savedregs - list of register saved in the frame. Each entry can be either | |
| 64 | # a string, where it is a register name, or it is a list of two | |
| 65 | # items - name of register and it's offset relatively to SP in | |
| 66 | # the memory. SP value is at the moment of prologue end. | |
| 67 | # fp_offset - if not an empty string, then proc will test that FP register | |
| 68 | # has a value that is (SP + offset). | |
| 69 | ||
| 70 | proc prologue_test {funcname {savedregs ""} {fp_offset ""} } { | |
| 71 | global hex | |
| 72 | gdb_breakpoint $funcname temporary | |
| 73 | gdb_continue_to_breakpoint $funcname | |
| 74 | gdb_test "backtrace 10" \ | |
| 75 | "#0\[ \t\]*$hex in $funcname .*\r\n#1\[ \t\]*$hex in main.*" \ | |
| 76 | "backtrace in $funcname" | |
| 77 | if { $savedregs != "" } { | |
| 78 | set str [saved_regs_to_str $savedregs $funcname] | |
| 79 | gdb_test "info frame" \ | |
| 80 | ".*Saved registers:$str" \ | |
| 81 | "saved registers in $funcname" | |
| 82 | } | |
| 83 | if { $fp_offset != "" } { | |
| 84 | set sp [get_integer_valueof \$sp -1 "get value of sp in $funcname"] | |
| 85 | set fp_val [expr $sp + $fp_offset] | |
| 86 | set fp_real_val \ | |
| 87 | [get_integer_valueof \$fp 0 "get value of fp in $funcname"] | |
| 88 | if { $fp_real_val != $fp_val } { | |
| 89 | fail "check FP value in $funcname" | |
| 90 | } else { | |
| 91 | pass "check FP value in $funcname" | |
| 92 | } | |
| 93 | } | |
| 94 | } | |
| 95 | ||
| 96 | ||
| 97 | prologue_test "standard_prologue" { {r13 0} {r14 4} {r18 8} {blink 12} } | |
| 98 | prologue_test "mini_prologue" { {r13 0} {r14 8} {r15 4} {blink 12} } | |
| 99 | prologue_test "no_subsp_prologue" { {r13 8} {r20 4} {r25 0} {blink 12} } | |
| 100 | prologue_test "leaf_prologue" { {r13 0} {r15 4} } | |
| 101 | prologue_test "pushfp_prologue" { {r13 8} {r14 4} {fp 0} } 0 | |
| 102 | prologue_test "fp_prologue_with_store" { {r13 12} {r14 8} {r15 0} {fp 4} } 4 | |
| 103 | prologue_test "noncallee_saved_regs_r12_st" { {r12 0} {r13 4} } | |
| 104 | # Register offset is specified relatively to SP at the prologue end, so | |
| 105 | # "push r12" hasn't been executed at this moment. | |
| 106 | prologue_test "noncallee_saved_regs_r12_push" { {r12 0} {r13 4} } | |
| 107 | prologue_test "noncallee_saved_regs_r2_push" { {r2 0} {r13 4} } | |
| 108 | prologue_test "noncallee_saved_regs_gp_push" { {r25 4} {gp 0} } | |
| 109 | prologue_test "noncallee_saved_regs_lp_count" { {r25 4} {lp_count 0} } | |
| 110 | prologue_test "noncallee_saved_regs_blink_out_of_prologue" { {r25 8} {gp 4} \ | |
| 111 | {blink 0}} | |
| 112 | # Argument registers are not reported as "saved" regs. | |
| 113 | prologue_test "arg_regs_fp" { {r0 12} {r1 8} {r7 4} {r8 0} {fp 16} } 16 | |
| 114 | prologue_test "arg_regs_fp_mov_s" { {r0 4} {r8 0} {fp 8} } 8 | |
| 115 | prologue_test "arg_regs_sp" { {r0 0} {r1 4} {r7 8} {r8 12} {r13 16} {r14 20} } | |
| 116 | prologue_test "enter_s_nop" | |
| 117 | prologue_test "enter_s_blink" { {blink 0} } | |
| 118 | prologue_test "enter_s_fp" { {fp 0} } 0 | |
| 119 | # Layout of registers as stored by enter_s doesn't conform to ARC ABI. | |
| 120 | prologue_test "enter_s_r13" { {r13 4} {fp 8} {blink 0} } 0 | |
| 121 | prologue_test "enter_s_r15" { {r13 0} {r14 4} {r15 8} } 0 | |
| 122 | # This enter_s saves GP, however because it is not a "calle-saved register", | |
| 123 | # GDB will not report it as "saved register" (but maybe it should). GP is at | |
| 124 | # offset 56. | |
| 125 | prologue_test "enter_s_all" { {r13 4} {r14 8} {r15 12} {r16 16} {r17 20} \ | |
| 126 | {r18 24} {r19 28} {r20 32} {r21 36} {r22 40} {r23 44} {r24 48} {r25 52} \ | |
| 127 | {gp 56} {fp 60} {blink 0} } 0 | |
| 128 | ||
| 129 | # Test more levels of backtrace. | |
| 130 | gdb_breakpoint nested_prologue_inner temporary | |
| 131 | gdb_continue_to_breakpoint nested_prologue_inner | |
| 132 | gdb_test "backtrace 10" \ | |
| 133 | "#0\[ \t\]*$hex in nested_prologue_inner .*\r\n#1\[ \t\]*$hex in nested_prologue_outer .*\r\n#2\[ \t\]*$hex in main.*" \ | |
| 134 | "backtrace in nested_prologue_inner" | |
| 135 | set regs [saved_regs_to_str {r13 r18} "nested_prologue_inner"] | |
| 136 | gdb_test "info frame" ".*Saved registers:$regs" \ | |
| 137 | "saved registers in nested_prologue_inner" | |
| 138 | set regs [saved_regs_to_str {r14 r15 blink} "nested_prologue_inner"] | |
| 139 | gdb_test "info frame 1" ".*Saved registers:$regs" \ | |
| 140 | "saved registers in nested_prologue_outer" | |
| 141 | ||
| 142 | # sub sp,sp for local variables is part of prologue, hence should be added to | |
| 143 | # all of those offsets. | |
| 144 | prologue_test "max_length_prologue" { {r0 72} {r1 76} {r2 80} {r3 84} {r4 88} \ | |
| 145 | {r5 92} {r6 96} {r7 100} {r13 20} {r14 24} {r15 28} {r16 32} \ | |
| 146 | {r17 36} {r18 40} {r19 44} {r20 48} {r21 52} {r22 56} {r23 60} {r24 64} \ | |
| 147 | {r25 68} {fp 16} {blink 104} } | |
| 148 | ||
| 149 | prologue_test "branch_in_prologue" { {r13 0} } | |
| 150 | prologue_test "cond_branch_in_prologue" { {r13 4} } | |
| 151 | prologue_test "jump_in_prologue" { {r13 0} } | |
| 152 | prologue_test "cond_jump_in_prologue" { {r13 4} } | |
| 153 | prologue_test "predicated_insn" { {r13 8} {r15 0} } | |
| 154 | prologue_test "loop_in_prologue" { {r25 4} {lp_count 0} } | |
| 155 | prologue_test "store_constant" { {r13 8} {r14 4} } | |
| 156 | prologue_test "st_c_limm" { {r15 0} } | |
| 157 | prologue_test "st_ab_writeback" { {r13 8} {r14 4} {r15 0} } | |
| 158 | prologue_test "st_as_writeback" { {r13 8} {r14 4} {r15 0} } | |
| 159 | prologue_test "sth_as_writeback" { {r13 8} {r15 0} } | |
| 160 | prologue_test "std_as_writeback" { {r13 12} {r14 4} {r15 8} {r16 0} } | |
| 161 | prologue_test "st_halfword" { {r13 8} {r15 0} } | |
| 162 | prologue_test "sts_halfword" { {r13 8} {r15 0} } | |
| 163 | prologue_test "st_byte" { {r13 8} {r15 0} } | |
| 164 | prologue_test "sts_byte" { {r13 8} {r15 0} } | |
| 165 | prologue_test "sts_byte_sp" { {r13 8} {r15 0} } | |
| 166 | prologue_test "st_double" { {r14 16} {r15 20} {r18 8} {r19 12}} | |
| 167 | prologue_test "r_relative_store" { {r13 8} {r14 4} {r15 0} } | |
| 168 | prologue_test "r_relative_sub_store" { {r13 8} {r14 4} {r15 0} } | |
| 169 | prologue_test "r_relative_store_st_s" { {r13 8} {r14 0} {r15 4} } | |
| 170 | prologue_test "r_relative_store_unknown" { {r13 8} } | |
| 171 | prologue_test "st_s_r0gp" { {r13 8} } | |
| 172 | prologue_test "push_s_prologue" { {r0 28} {r1 16} {r2 4} {r3 24} {r12 32} \ | |
| 173 | {r13 20} {r14 12} {r15 8} {blink 0}} | |
| 174 | prologue_test "sub_s_cbu3" { {r13 4} {r14 0} } | |
| 175 | prologue_test "sub_s_bbc" { {r1 4} {r13 12} {r14 0} } | |
| 176 | prologue_test "sub_s_bbu5" { {r13 8} {r14 0} } | |
| 177 | prologue_test "sub_0bc" { {r13 4} {r14 0} } | |
| 178 | prologue_test "sub_alimmb" { {r13 4} {r14 0} } | |
| 179 | prologue_test "sub_s_ne_bbb" { {r13 0} } | |
| 180 | prologue_test "mov_limm" { {r13 4} {r14 0} } | |
| 181 | prologue_test "mov0c_limm" { {r13 4} {r14 0} } | |
| 182 | prologue_test "mov_s_hs3" { {r13 4} {r14 0} } | |
| 183 | prologue_test "mov_s_bu8" { {r13 4} {r14 0} } | |
| 184 | prologue_test "mov_s_ne_bh" { {r13 0} } | |
| 185 | prologue_test "unstored_reg" { {r13 0} {r14 4} } | |
| 186 | prologue_test "double_store" { {r14 0} } | |
| 187 | ||
| 188 | # alloca() tests | |
| 189 | gdb_breakpoint alloca_inner temporary | |
| 190 | gdb_continue_to_breakpoint alloca_inner | |
| 191 | gdb_test "backtrace 3" \ | |
| 192 | "#0\[ \t\]*$hex in alloca_inner .*\r\n#1\[ \t\]*$hex in alloca_outer .*\r\n#2\[ \t\]*$hex in main.*" \ | |
| 193 | "backtrace in alloca_inner" | |
| 194 | set regs [saved_regs_to_str {r13 r14} alloca_inner] | |
| 195 | gdb_test "info frame 0" ".*Saved registers:$regs" \ | |
| 196 | "saved registers in alloca_inner" | |
| 197 | set regs [saved_regs_to_str {fp blink} alloca_inner] | |
| 198 | gdb_test "info frame 1" ".*Saved registers:$regs" \ | |
| 199 | "saved registers in alloca_outer" | |
| 200 |