gdb/testsuite/gdb.arch/amd64-entry-value.exp

   1 # Copyright (C) 2011-2024 Free Software Foundation, Inc.
   2
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 standard_testfile .s
  17 set opts {nopie}
  18
  19 if [info exists COMPILE] {
  20     # make check RUNTESTFLAGS="gdb.arch/amd64-entry-value.exp COMPILE=1"
  21     set srcfile ${testfile}.cc
  22     lappend opts debug optimize=-O2
  23 } else {
  24     require is_x86_64_m64_target
  25 }
  26
  27 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} $opts] } {
  28     return -1
  29 }
  30
  31 if ![runto_main] {
  32     return -1
  33 }
  34
  35 gdb_breakpoint "breakhere"
  36 gdb_breakpoint "breakhere_locexpr"
  37 gdb_breakpoint "stacktest"
  38 gdb_breakpoint "breakhere_stacktest"
  39 gdb_breakpoint "different"
  40 gdb_breakpoint "breakhere_different"
  41 gdb_breakpoint "breakhere_validity"
  42 gdb_breakpoint "breakhere_invalid"
  43 gdb_breakpoint "reference"
  44 gdb_breakpoint "breakhere_reference"
  45
  46
  47 # Test @entry values for register passed parameters.
  48
  49 gdb_continue_to_breakpoint "entry: breakhere"
  50
  51 gdb_test "bt" \
  52     [multi_line \
  53          "^#0 +d *\\(i=31, i@entry=30, j=31\\.5, j@entry=30\\.5\\) \[^\r\n\]*" \
  54          "#1 +0x\[0-9a-f\]+ in main .*"] \
  55     "entry: bt"
  56 gdb_test "p i" " = 31" "entry: p i"
  57 gdb_test "p i@entry" " = 30" "entry: p i@entry"
  58 gdb_test "p j" { = 31\.5} "entry: p j"
  59 gdb_test "p j@entry" { = 30\.5} "entry: p j@entry"
  60
  61
  62 # Test @entry values when parameter in function is locexpr (and not loclist).
  63
  64 gdb_continue_to_breakpoint "entry_locexpr: breakhere_locexpr"
  65 gdb_test "p i" " = 30" "entry_locexpr: p i"
  66 gdb_test_no_output "set variable i = 0" "entry_locexpr: set variable i = 0"
  67 gdb_test "bt" \
  68     [multi_line \
  69          "^#0 +locexpr *\\(i=0, i@entry=30\\) \[^\r\n\]*" \
  70          "#1 +0x\[0-9a-f\]+ in main .*"] \
  71     "entry_locexpr: bt"
  72
  73
  74 # Test @entry values for stack passed parameters.
  75
  76 gdb_continue_to_breakpoint "entry_stack: stacktest"
  77
  78 gdb_test "bt" \
  79     [multi_line \
  80          "^#0 +stacktest *\\(r1=r1@entry=1, r2=r2@entry=2, \[^\r\n\]+, s1=3, s1@entry=11, s2=4, s2@entry=12, \[^\r\n\]+, d9=3\\.5, d9@entry=11\\.5, da=4\\.5, da@entry=12\\.5\\) \[^\r\n\]*" \
  81          "#1 +0x\[0-9a-f\]+ in main .*"] \
  82     "entry_stack: bt at entry"
  83
  84 gdb_continue_to_breakpoint "entry_stack: breakhere_stacktest"
  85
  86 gdb_test "bt" \
  87     [multi_line \
  88          "^#0 +stacktest *\\(r1=r1@entry=1, r2=r2@entry=2, \[^\r\n\]+, s1=3, s1@entry=11, s2=4, s2@entry=12, \[^\r\n\]+, d9=3\\.5, d9@entry=11\\.5, da=4\\.5, da@entry=12\\.5\\) \[^\r\n\]*" \
  89          "#1 +0x\[0-9a-f\]+ in main .*"] \
  90     "entry_stack: bt"
  91
  92 gdb_test "p s1" " = 3" "entry_stack: p s1"
  93 gdb_test "p s1@entry" " = 11" "entry_stack: p s1@entry"
  94 gdb_test "p s2" " = 4" "entry_stack: p s2"
  95 gdb_test "p s2@entry" " = 12" "entry_stack: p s2@entry"
  96 gdb_test "p d9" " = 3\\.5" "entry_stack: p d9"
  97 gdb_test "p d9@entry" " = 11\\.5" "entry_stack: p d9@entry"
  98 gdb_test "p da" " = 4\\.5" "entry_stack: p da"
  99 gdb_test "p da@entry" " = 12\\.5" "entry_stack: p da@entry"
 100
 101 # Test @entry values for a static file scoped variable, and for an
 102 # unknown symbol.  Both of these should give an error.
 103 gdb_test "p v@entry" \
 104     "@entry can be used only for function parameters, not for \"v\"" \
 105     "attempt to print global v@entry"
 106 gdb_test "p unknown@entry" \
 107     "@entry can be used only for function parameters, not for \"unknown\"" \
 108     "attempt to print unknown@entry"
 109
 110 # Test various kinds of `set print entry-values'.
 111
 112 gdb_continue_to_breakpoint "entry_equal: breakhere"
 113
 114 gdb_test_no_output "set print entry-values no" "entry_equal: set print entry-values no"
 115 gdb_test "frame" {\(val=5\).*} "entry_equal: frame: no"
 116 gdb_test_no_output "set print entry-values only" "entry_equal: set print entry-values only"
 117 gdb_test "frame" {\(val@entry=5\).*} "entry_equal: frame: only"
 118 gdb_test_no_output "set print entry-values preferred" "entry_equal: set print entry-values preferred"
 119 gdb_test "frame" {\(val@entry=5\).*} "entry_equal: frame: preferred"
 120 gdb_test_no_output "set print entry-values if-needed" "entry_equal: set print entry-values if-needed"
 121 gdb_test "frame" {\(val=5\).*} "entry_equal: frame: if-needed"
 122 gdb_test_no_output "set print entry-values both" "entry_equal: set print entry-values both"
 123 gdb_test "frame" {\(val=5, val@entry=5\).*} "entry_equal: frame: both"
 124 gdb_test_no_output "set print entry-values compact" "entry_equal: set print entry-values compact"
 125 gdb_test "frame" {\(val=val@entry=5\).*} "entry_equal: frame: compact"
 126 gdb_test_no_output "set print entry-values default" "entry_equal: set print entry-values default"
 127 gdb_test "frame" {\(val=val@entry=5\).*} "entry_equal: frame: default"
 128
 129 gdb_continue_to_breakpoint "entry_different: breakhere"
 130
 131 gdb_test_no_output "set print entry-values no" "entry_different: set print entry-values no"
 132 gdb_test "frame" {\(val=6\).*} "entry_different: frame: no"
 133 gdb_test_no_output "set print entry-values only" "entry_different: set print entry-values only"
 134 gdb_test "frame" {\(val@entry=5\).*} "entry_different: frame: only"
 135 gdb_test_no_output "set print entry-values preferred" "entry_different: set print entry-values preferred"
 136 gdb_test "frame" {\(val@entry=5\).*} "entry_different: frame: preferred"
 137 gdb_test_no_output "set print entry-values if-needed" "entry_different: set print entry-values if-needed"
 138 gdb_test "frame" {\(val=6\).*} "entry_different: frame: if-needed"
 139 gdb_test_no_output "set print entry-values both" "entry_different: set print entry-values both"
 140 gdb_test "frame" {\(val=6, val@entry=5\).*} "entry_different: frame: both"
 141 gdb_test_no_output "set print entry-values compact" "entry_different: set print entry-values compact"
 142 gdb_test "frame" {\(val=6, val@entry=5\).*} "entry_different: frame: compact"
 143 gdb_test_no_output "set print entry-values default" "entry_different: set print entry-values default"
 144 gdb_test "frame" {\(val=6, val@entry=5\).*} "entry_different: frame: default"
 145
 146 gdb_continue_to_breakpoint "entry_validity: breakhere"
 147
 148 gdb_test_no_output "set print entry-values no" "entry_validity: set print entry-values no"
 149 gdb_test "frame" {\(lost=<optimized out>, born=10\).*} "entry_validity: frame: no"
 150 gdb_test_no_output "set print entry-values only" "entry_validity: set print entry-values only"
 151 gdb_test "frame" {\(lost@entry=5, born@entry=<optimized out>\).*} "entry_validity: frame: only"
 152 gdb_test_no_output "set print entry-values preferred" "entry_validity: set print entry-values preferred"
 153 gdb_test "frame" {\(lost@entry=5, born=10\).*} "entry_validity: frame: preferred"
 154 gdb_test_no_output "set print entry-values if-needed" "entry_validity: set print entry-values if-needed"
 155 gdb_test "frame" {\(lost@entry=5, born=10\).*} "entry_validity: frame: if-needed"
 156 gdb_test_no_output "set print entry-values both" "entry_validity: set print entry-values both"
 157 gdb_test "frame" {\(lost=<optimized out>, lost@entry=5, born=10, born@entry=<optimized out>\).*} "entry_validity: frame: both"
 158 gdb_test_no_output "set print entry-values compact" "entry_validity: set print entry-values compact"
 159 gdb_test "frame" {\(lost@entry=5, born=10\).*} "entry_validity: frame: compact"
 160 gdb_test_no_output "set print entry-values default" "entry_validity: set print entry-values default"
 161 gdb_test "frame" {\(lost=<optimized out>, lost@entry=5, born=10\).*} "entry_validity: frame: default"
 162
 163 gdb_continue_to_breakpoint "entry_invalid: breakhere"
 164
 165 gdb_test_no_output "set print entry-values no" "entry_invalid: set print entry-values no"
 166 gdb_test "frame" {\(inv=<optimized out>\).*} "entry_invalid: frame: no"
 167 gdb_test_no_output "set print entry-values only" "entry_invalid: set print entry-values only"
 168 gdb_test "frame" {\(inv@entry=<optimized out>\).*} "entry_invalid: frame: only"
 169 gdb_test_no_output "set print entry-values preferred" "entry_invalid: set print entry-values preferred"
 170 gdb_test "frame" {\(inv@entry=<optimized out>\).*} "entry_invalid: frame: preferred"
 171 gdb_test_no_output "set print entry-values if-needed" "entry_invalid: set print entry-values if-needed"
 172 gdb_test "frame" {\(inv=<optimized out>\).*} "entry_invalid: frame: if-needed"
 173 gdb_test_no_output "set print entry-values both" "entry_invalid: set print entry-values both"
 174 gdb_test "frame" {\(inv=<optimized out>, inv@entry=<optimized out>\).*} "entry_invalid: frame: both"
 175 gdb_test_no_output "set print entry-values compact" "entry_invalid: set print entry-values compact"
 176 gdb_test "frame" {\(inv=<optimized out>\).*} "entry_invalid: frame: compact"
 177 gdb_test_no_output "set print entry-values default" "entry_invalid: set print entry-values default"
 178 gdb_test "frame" {\(inv=<optimized out>\).*} "entry_invalid: frame: default"
 179
 180
 181 # Test @entry values for DW_AT_call_data_value parameters.
 182
 183 gdb_continue_to_breakpoint "entry_reference: reference"
 184
 185 # GCC PR debug/49980: Missing stackparam1@entry and stackparam2@entry.
 186 gdb_test "bt" "#0 +reference \\(regparam=regparam@entry=@0x\[0-9a-f\]+: 1, nodataparam=@0x\[0-9a-f\]+: 2, \[^\r\n\]+, stackparam1=@0x\[0-9a-f\]+: 11, stackparam2=@0x\[0-9a-f\]+: 12\\) \[^\r\n\]*\r\n#1 +0x\[0-9a-f\]+ in main \\(\\) \[^\r\n\]*" \
 187          "entry_reference: bt at entry"
 188
 189 gdb_continue_to_breakpoint "entry_reference: breakhere_reference"
 190
 191 # GCC PR debug/49980: Missing stackparam1@entry and stackparam2@entry.
 192 gdb_test "bt" "#0 +reference \\(regparam=@0x\[0-9a-f\]+: 21, regparam@entry=@0x\[0-9a-f\]+: 1, nodataparam=@0x\[0-9a-f\]+: 22, \[^\r\n\]+, stackparam1=@0x\[0-9a-f\]+: 31, stackparam2=@0x\[0-9a-f\]+: 32\\) \[^\r\n\]*\r\n#1 +0x\[0-9a-f\]+ in main \\(\\) \[^\r\n\]*" \
 193          "entry_reference: bt"
 194 gdb_test "ptype regparam" " = int &" "entry_reference: ptype regparam"
 195
 196 set test "entry_reference: p regparam"
 197 set addr ""
 198 gdb_test_multiple "p regparam" $test {
 199     -re " = \\(int &\\) @(0x\[0-9a-f\]+): 21\r\n$gdb_prompt $" {
 200         set addr $expect_out(1,string)
 201         pass $test
 202     }
 203 }
 204
 205 gdb_test "ptype regparam@entry" " = int &" "entry_reference: ptype regparam@entry"
 206 gdb_test "p regparam@entry" " = \\(int &\\) @$addr: 1" "entry_reference: p regparam@entry"
 207 gdb_test "p &regparam@entry" " = \\(int \\*\\) $addr" "entry_reference: p &regparam@entry"
 208 gdb_test "p regcopy" " = 1" "entry_reference: p regcopy"
 209 gdb_test "p nodataparam" " = \\(int &\\) @0x\[0-9a-f\]+: 22" "entry_reference: p nodataparam"
 210 gdb_test "p nodataparam@entry" "Cannot resolve DW_AT_call_data_value" "entry_reference: p nodataparam@entry"
 211
 212
 213 # Test virtual tail call frames.
 214
 215 gdb_continue_to_breakpoint "tailcall: breakhere"
 216
 217 gdb_test "bt" \
 218     [multi_line \
 219          "^#0 +d *\\(i=71, i@entry=70, j=73\\.5, j@entry=72\\.5\\) \[^\r\n\]*" \
 220          "#1 +0x\[0-9a-f\]+ in c \\(i=i@entry=7, j=j@entry=7\\.25\\) \[^\r\n\]*" \
 221          "#2 +0x\[0-9a-f\]+ in b \\(i=i@entry=5, j=j@entry=5\\.25\\) \[^\r\n\]*" \
 222          "#3 +0x\[0-9a-f\]+ in main \[^\r\n\]*"] \
 223     "tailcall: bt"
 224 gdb_test "p i" " = 71" "tailcall: p i"
 225 gdb_test "p i@entry" " = 70" "tailcall: p i@entry"
 226 gdb_test "p j" " = 73\\.5" "tailcall: p j"
 227 gdb_test "p j@entry" " = 72\\.5" "tailcall: p j@entry"
 228
 229 # Test $sp simulation for tail call frames.
 230 #gdb_test {p/x $sp} " = 0x.*"
 231 #gdb_test {p/x $pc} " = 0x.*"
 232 gdb_test_no_output {set $sp0=$sp}
 233 gdb_test "up" "\r\n#1 .*"
 234 #gdb_test {p/x $sp} " = 0x.*"
 235 gdb_test {p $sp0 == $sp} " = true"
 236 gdb_test "frame 3" "\r\n#3 .*"
 237 gdb_test {p $sp0 + sizeof (void *) == $sp} " = true"
 238
 239 # Test $pc adjustment which is now right after the function end.
 240 # Also verify the current PC indicator "=> " is not displayed anywhere.
 241 gdb_test "down" "\r\n#2 .*"
 242 set test "disassemble"
 243 gdb_test_multiple $test $test {
 244     -re "^$test\r\n" {
 245         exp_continue
 246     }
 247     -re "^Dump of assembler code for function b\\(int, double\\):\r\n" {
 248         exp_continue
 249     }
 250     -re "^   0x\[^\r\n\]*\r\n" {
 251         exp_continue
 252     }
 253     -re "^End of assembler dump\\.\r\n$gdb_prompt $" {
 254         pass $test
 255     }
 256 }
 257
 258
 259 # Test partial-ambiguous virtual tail call frames chain.
 260
 261 gdb_continue_to_breakpoint "ambiguous: breakhere"
 262
 263 gdb_test "bt" \
 264     [multi_line \
 265          "^#0 +d \\(i=<optimized out>, j=<optimized out>\\)\[^\r\n\]*" \
 266          "#1 +0x\[0-9a-f\]+ in amb_z \\(i=<optimized out>\\)\[^\r\n\]*" \
 267          "#2 +0x\[0-9a-f\]+ in amb_y \\(i=<optimized out>\\)\[^\r\n\]*" \
 268          "#3 +0x\[0-9a-f\]+ in amb_x \\(i=<optimized out>\\)\[^\r\n\]*" \
 269          "#4 +0x\[0-9a-f\]+ in amb_b \\(i=i@entry=101\\)\[^\r\n\]*" \
 270          "#5 +0x\[0-9a-f\]+ in amb_a \\(i=i@entry=100\\)\[^\r\n\]*" \
 271          "#6 +0x\[0-9a-f\]+ in main \\(\\)\[^\r\n\]*"] \
 272     "ambiguous: bt"
 273
 274
 275 # Test self tail calls verification.
 276 # GDB should not print the real value as it is ambiguous.
 277
 278 gdb_continue_to_breakpoint "self: breakhere"
 279
 280 gdb_test "bt" \
 281     [multi_line \
 282          "^#0 +d \\(i=<optimized out>, j=<optimized out>\\)\[^\r\n\]*" \
 283          "#1 +0x\[0-9a-f\]+ in self \\(i=<optimized out>\\)\[^\r\n\]*" \
 284          "#2 +0x\[0-9a-f\]+ in self2 \\(i=<optimized out>\\)\[^\r\n\]*" \
 285          "#3 +0x\[0-9a-f\]+ in self \\(i=<optimized out>\\)\[^\r\n\]*" \
 286          "#4 +0x\[0-9a-f\]+ in main \\(\\)\[^\r\n\]*"] \
 287     "self: bt"
 288
 289 gdb_test_no_output "set debug entry-values 1"
 290 gdb_test "bt" "DW_OP_entry_value resolving has found function \"self\\(int\\)\" at 0x\[0-9a-f\]+ can call itself via tail calls\r\n.*" \
 291          "self: bt debug entry-values"