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