gdb/testsuite/gdb.arch/i386-mpx.exp

   1 # Copyright 2013-2024 Free Software Foundation, Inc.
   2 #
   3 # Contributed by Intel Corp. <walfred.tedeschi@intel.com>
   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
  18 require {is_any_target i?86-*-* x86_64-*-*}
  19
  20 standard_testfile
  21
  22 require {is_any_target i?86-*-* x86_64-*-*}
  23
  24 require supports_mpx_check_pointer_bounds have_mpx
  25
  26 set comp_flags "-mmpx -fcheck-pointer-bounds -I${srcdir}/../nat/"
  27
  28 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
  29      [list debug nowarnings additional_flags=${comp_flags}]] } {
  30     return -1
  31 }
  32
  33 if ![runto_main] {
  34     return -1
  35 }
  36
  37 # Test bndcfg register and bndstatus at startup
  38 set test_string "\\\{raw = 0x\[0-9a-f\]+, config = \\\{base = \[0-9\]+,\
  39 reserved = \[0-9\]+, preserved = \[0-9\]+, enabled = \[0-9\]+\\\}\\\}"
  40
  41 gdb_test "print \$bndcfgu" $test_string "bndcfgu formating"
  42 gdb_test "print \$bndcfgu.config.enabled" "= 1" "test if bndstatus is enabled"
  43 gdb_test "print \$bndstatus" "\\\{raw = 0x0, status = \\\{bde = 0, error = 0\\\}\\\}" \
  44                 "bndstatus formating"
  45 gdb_test "print \$bndstatus.raw" "= \\\(void \\\*\\\) 0x0" "bndstatus is zero by startup"
  46
  47 # Read values from pseudo registers.
  48 gdb_breakpoint [ gdb_get_line_number "break here" ]
  49 gdb_continue_to_breakpoint "break here" ".*break here.*"
  50
  51 set test_string ".*\\\{lbound = 0xa, ubound = 0x13\\\}.*"
  52 gdb_test "info register bnd0" ".*bnd0$test_string" "pure bnd0 register"
  53
  54 set test_string ".*\\\{lbound = 0x14, ubound = 0x1d\\\}.*"
  55 gdb_test "info register bnd1" ".*bnd1$test_string" "pure bnd1 register"
  56
  57 set test_string ".*\\\{lbound = 0x1e, ubound = 0x27\\\}.*"
  58 gdb_test "info register bnd2" ".*bnd2$test_string" "pure bnd2 register"
  59
  60 set test_string ".*\\\{lbound = 0x28, ubound = 0x31\\\}.*"
  61 gdb_test "info register bnd3" ".*bnd3$test_string" "pure bnd3 register"
  62
  63 # Read value from registers bndrs.
  64
  65 set test_string ".*\\\{lbound = 0xa, ubound_raw = 0x\[f\]+ec\\\}.*"
  66 gdb_test "info register bnd0raw" ".*bnd0$test_string" "pure bnd0r register"
  67
  68 set test_string ".*\\\{lbound = 0x14, ubound_raw = 0x\[f\]+e2\\\}.*"
  69 gdb_test "info register bnd1raw" ".*bnd1$test_string" "pure bnd1r register"
  70
  71 set test_string ".*\\\{lbound = 0x1e, ubound_raw = 0x\[f\]+d8\\\}.*"
  72 gdb_test "info register bnd2raw" ".*bnd2$test_string" "pure bnd2r register"
  73
  74 set test_string ".*\\\{lbound = 0x28, ubound_raw = 0x\[f\]+ce\\\}.*"
  75 gdb_test "info register bnd3raw" ".*bnd3$test_string" "pure bnd3r register"
  76
  77 # Setting fields on bnds
  78 set test_string ".*\\\{lbound = 0xa, ubound = 0x400\\\}.*"
  79 gdb_test "print \$bnd0.ubound = 0x400" "= \\\(void \\\*\\\) 0x400" "set value for bnd0.ubound"
  80 gdb_test "print  \$bnd0" "$test_string" "after setting bnd0.ubound"
  81 set test_string ".*\\\{lbound = 0xa, ubound_raw = 0x\[f\]+bff\\\}.*"
  82 gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after set bnd0.ubound"
  83
  84 set test_string ".*\\\{lbound = 0x1, ubound = 0x400\\\}.*"
  85 gdb_test "print \$bnd0.lbound = 0x1" "= \\\(void \\\*\\\) 0x1" "set value for bnd0.lbound"
  86 gdb_test "print  \$bnd0" "$test_string" "after setting bnd0.lbound"
  87 set test_string ".*\\\{lbound = 0x1, ubound_raw = 0x\[f\]+bff\\\}.*"
  88 gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after set bnd0.lbound"
  89
  90 # Setting fields on bnd0raw.
  91 set test_string ".*\\\{lbound = 0x1, ubound_raw = 0x600\\\}.*"
  92 gdb_test "print /x \$bnd0raw.ubound_raw = 0x600" "= 0x600" "set value for bnd0raw.ubound"
  93 gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting bnd0raw.ubound"
  94 set test_string ".*\\\{lbound = 0x1, ubound = 0x\[f\]+9ff\\\}.*"
  95 gdb_test "print /x \$bnd0" "$test_string" "bnd0 after set bnd0raw.ubound"
  96
  97 set test_string ".*\\\{lbound = 0x100, ubound_raw = 0x600\\\}.*"
  98 gdb_test "print /x \$bnd0raw.lbound = 0x100" "= 0x100" "set value for bnd0raw.lbound"
  99 gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting bnd0raw.lbound"
 100 set test_string ".*\\\{lbound = 0x100, ubound = 0x\[f\]+9ff\\\}.*"
 101 gdb_test "print /x \$bnd0" "$test_string" "bnd0 after set bnd0raw.lbound"
 102
 103 # Set full value bnd raw
 104 set test_string ".*\\\{lbound = 0x10, ubound_raw = 0x\[f\]+cff\\\}.*"
 105 gdb_test "print /x \$bnd0raw = {0x10, ~0x300}" "$test_string" "set full value for bnd0raw"
 106 set test_string ".*\\\{lbound = 0x10, ubound = 0x300\\\}.*"
 107 gdb_test "print /x \$bnd0" "$test_string" "bnd0raw after setting full bnd0raw"
 108
 109 # Set full value bnd
 110 set test_string ".*\\\{lbound = 0x10, ubound = 0x300\\\}.*"
 111 gdb_test "print /x \$bnd0 = {0x10, 0x300}" "$test_string" "set full value for bnd0"
 112 set test_string ".*\\\{lbound = 0x10, ubound_raw = 0x\[f\]+cff\\\}.*"
 113 gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting full bnd0"
 114
 115 # Test bndcfg register and bndstatus after a failure on bndstr
 116 gdb_test "print \$bndstatus.status.error" "= 2" "bndstatus error is 2\
 117 after a failure on allocating an entry"
 118
 119 # Going to test the python extension for lenght.
 120 if { ![allow_python_tests] } { continue }
 121 # Verify if size is right
 122 set test_string ".*\\\: size 0x11.*"
 123 gdb_test "print /x \$bnd0 = {0x10, 0x20}" "$test_string" "verify size for bnd0"