Commit | Line | Data |
---|---|---|
3666a048 | 1 | # Copyright 2013-2021 Free Software Foundation, Inc. |
60650f2e WT |
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 | if { ![istarget i?86-*-*] && ![istarget x86_64-*-* ] } { | |
19 | verbose "Skipping x86 MPX tests." | |
20 | return | |
21 | } | |
22 | ||
23 | standard_testfile | |
24 | ||
547a646d WT |
25 | if { ![istarget i?86-*-*] && ![istarget x86_64-*-* ] } { |
26 | verbose "Skipping x86 MPX tests." | |
27 | return | |
28 | } | |
29 | ||
5beb4d17 TV |
30 | if { ![supports_mpx_check_pointer_bounds] } { |
31 | return -1 | |
32 | } | |
33 | ||
1a2ccd2e | 34 | set comp_flags "-mmpx -fcheck-pointer-bounds -I${srcdir}/../nat/" |
60650f2e | 35 | |
5b362f04 | 36 | if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \ |
422d944b | 37 | [list debug nowarnings additional_flags=${comp_flags}]] } { |
60650f2e WT |
38 | return -1 |
39 | } | |
40 | ||
41 | if ![runto_main] { | |
42 | untested "could not run to main" | |
43 | return -1 | |
44 | } | |
45 | ||
547a646d WT |
46 | set supports_mpx 0 |
47 | set test "probe MPX support" | |
48 | gdb_test_multiple "print have_mpx()" $test { | |
49 | -re ".. = 1\r\n$gdb_prompt $" { | |
50 | pass $test | |
51 | set supports_mpx 1 | |
60650f2e | 52 | } |
547a646d WT |
53 | -re ".. = 0\r\n$gdb_prompt $" { |
54 | pass $test | |
60650f2e WT |
55 | } |
56 | } | |
57 | ||
547a646d WT |
58 | if { !$supports_mpx } { |
59 | unsupported "processor does not support MPX" | |
60 | return | |
61 | } | |
62 | ||
60650f2e WT |
63 | # Test bndcfg register and bndstatus at startup |
64 | set test_string "\\\{raw = 0x\[0-9a-f\]+, config = \\\{base = \[0-9\]+,\ | |
65 | reserved = \[0-9\]+, preserved = \[0-9\]+, enabled = \[0-9\]+\\\}\\\}" | |
66 | ||
67 | gdb_test "print \$bndcfgu" $test_string "bndcfgu formating" | |
68 | gdb_test "print \$bndcfgu.config.enabled" "= 1" "test if bndstatus is enabled" | |
69 | gdb_test "print \$bndstatus" "\\\{raw = 0x0, status = \\\{bde = 0, error = 0\\\}\\\}" \ | |
70 | "bndstatus formating" | |
71 | gdb_test "print \$bndstatus.raw" "= \\\(void \\\*\\\) 0x0" "bndstatus is zero by startup" | |
72 | ||
73 | # Read values from pseudo registers. | |
74 | gdb_breakpoint [ gdb_get_line_number "break here" ] | |
75 | gdb_continue_to_breakpoint "break here" ".*break here.*" | |
76 | ||
77 | set test_string ".*\\\{lbound = 0xa, ubound = 0x13\\\}.*" | |
cdc7edd7 | 78 | gdb_test "info register bnd0" ".*bnd0$test_string" "pure bnd0 register" |
60650f2e WT |
79 | |
80 | set test_string ".*\\\{lbound = 0x14, ubound = 0x1d\\\}.*" | |
cdc7edd7 | 81 | gdb_test "info register bnd1" ".*bnd1$test_string" "pure bnd1 register" |
60650f2e WT |
82 | |
83 | set test_string ".*\\\{lbound = 0x1e, ubound = 0x27\\\}.*" | |
cdc7edd7 | 84 | gdb_test "info register bnd2" ".*bnd2$test_string" "pure bnd2 register" |
60650f2e WT |
85 | |
86 | set test_string ".*\\\{lbound = 0x28, ubound = 0x31\\\}.*" | |
cdc7edd7 | 87 | gdb_test "info register bnd3" ".*bnd3$test_string" "pure bnd3 register" |
60650f2e WT |
88 | |
89 | # Read value from registers bndrs. | |
90 | ||
91 | set test_string ".*\\\{lbound = 0xa, ubound_raw = 0x\[f\]+ec\\\}.*" | |
cdc7edd7 | 92 | gdb_test "info register bnd0raw" ".*bnd0$test_string" "pure bnd0r register" |
60650f2e WT |
93 | |
94 | set test_string ".*\\\{lbound = 0x14, ubound_raw = 0x\[f\]+e2\\\}.*" | |
cdc7edd7 | 95 | gdb_test "info register bnd1raw" ".*bnd1$test_string" "pure bnd1r register" |
60650f2e WT |
96 | |
97 | set test_string ".*\\\{lbound = 0x1e, ubound_raw = 0x\[f\]+d8\\\}.*" | |
cdc7edd7 | 98 | gdb_test "info register bnd2raw" ".*bnd2$test_string" "pure bnd2r register" |
60650f2e WT |
99 | |
100 | set test_string ".*\\\{lbound = 0x28, ubound_raw = 0x\[f\]+ce\\\}.*" | |
cdc7edd7 | 101 | gdb_test "info register bnd3raw" ".*bnd3$test_string" "pure bnd3r register" |
60650f2e WT |
102 | |
103 | # Setting fields on bnds | |
104 | set test_string ".*\\\{lbound = 0xa, ubound = 0x400\\\}.*" | |
105 | gdb_test "print \$bnd0.ubound = 0x400" "= \\\(void \\\*\\\) 0x400" "set value for bnd0.ubound" | |
106 | gdb_test "print \$bnd0" "$test_string" "after setting bnd0.ubound" | |
107 | set test_string ".*\\\{lbound = 0xa, ubound_raw = 0x\[f\]+bff\\\}.*" | |
108 | gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after set bnd0.ubound" | |
109 | ||
110 | set test_string ".*\\\{lbound = 0x1, ubound = 0x400\\\}.*" | |
111 | gdb_test "print \$bnd0.lbound = 0x1" "= \\\(void \\\*\\\) 0x1" "set value for bnd0.lbound" | |
112 | gdb_test "print \$bnd0" "$test_string" "after setting bnd0.lbound" | |
113 | set test_string ".*\\\{lbound = 0x1, ubound_raw = 0x\[f\]+bff\\\}.*" | |
114 | gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after set bnd0.lbound" | |
115 | ||
116 | # Setting fields on bnd0raw. | |
117 | set test_string ".*\\\{lbound = 0x1, ubound_raw = 0x600\\\}.*" | |
118 | gdb_test "print /x \$bnd0raw.ubound_raw = 0x600" "= 0x600" "set value for bnd0raw.ubound" | |
119 | gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting bnd0raw.ubound" | |
120 | set test_string ".*\\\{lbound = 0x1, ubound = 0x\[f\]+9ff\\\}.*" | |
121 | gdb_test "print /x \$bnd0" "$test_string" "bnd0 after set bnd0raw.ubound" | |
122 | ||
123 | set test_string ".*\\\{lbound = 0x100, ubound_raw = 0x600\\\}.*" | |
124 | gdb_test "print /x \$bnd0raw.lbound = 0x100" "= 0x100" "set value for bnd0raw.lbound" | |
125 | gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting bnd0raw.lbound" | |
126 | set test_string ".*\\\{lbound = 0x100, ubound = 0x\[f\]+9ff\\\}.*" | |
127 | gdb_test "print /x \$bnd0" "$test_string" "bnd0 after set bnd0raw.lbound" | |
128 | ||
129 | # Set full value bnd raw | |
130 | set test_string ".*\\\{lbound = 0x10, ubound_raw = 0x\[f\]+cff\\\}.*" | |
131 | gdb_test "print /x \$bnd0raw = {0x10, ~0x300}" "$test_string" "set full value for bnd0raw" | |
132 | set test_string ".*\\\{lbound = 0x10, ubound = 0x300\\\}.*" | |
133 | gdb_test "print /x \$bnd0" "$test_string" "bnd0raw after setting full bnd0raw" | |
134 | ||
135 | # Set full value bnd | |
136 | set test_string ".*\\\{lbound = 0x10, ubound = 0x300\\\}.*" | |
137 | gdb_test "print /x \$bnd0 = {0x10, 0x300}" "$test_string" "set full value for bnd0" | |
138 | set test_string ".*\\\{lbound = 0x10, ubound_raw = 0x\[f\]+cff\\\}.*" | |
139 | gdb_test "print /x \$bnd0raw" "$test_string" "bnd0raw after setting full bnd0" | |
140 | ||
141 | # Test bndcfg register and bndstatus after a failure on bndstr | |
142 | gdb_test "print \$bndstatus.status.error" "= 2" "bndstatus error is 2\ | |
143 | after a failure on allocating an entry" | |
144 | ||
145 | # Going to test the python extension for lenght. | |
146 | if { [skip_python_tests] } { continue } | |
147 | # Verify if size is right | |
148 | set test_string ".*\\\: size 17.*" | |
149 | gdb_test "print /x \$bnd0 = {0x10, 0x20}" "$test_string" "verify size for bnd0" | |
150 | ||
151 | send_gdb "quit\n" |