Commit | Line | Data |
---|---|---|
ecd75fc8 | 1 | # Copyright 2009-2014 Free Software Foundation, Inc. |
0fa6cf1b MS |
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 | # This file is part of the gdb testsuite. | |
17 | ||
0fa6cf1b MS |
18 | |
19 | if ![istarget "i?86-*linux*"] then { | |
20 | verbose "Skipping i387 reverse float tests." | |
21 | return | |
22 | } | |
23 | ||
7686c074 | 24 | standard_testfile |
0fa6cf1b MS |
25 | |
26 | # some targets have leading underscores on assembly symbols. | |
ee5683ab | 27 | set additional_flags [gdb_target_symbol_prefix_flags] |
0fa6cf1b | 28 | |
7686c074 TT |
29 | if {[prepare_for_testing $testfile.exp $testfile $srcfile \ |
30 | [list debug $additional_flags]]} { | |
0fa6cf1b MS |
31 | return -1 |
32 | } | |
33 | ||
0fa6cf1b MS |
34 | runto main |
35 | ||
36 | # Record to end of main | |
37 | ||
38 | set location [gdb_get_line_number "END I387-FLOAT-REVERSE"] | |
bcd2dc50 | 39 | gdb_test_no_output "record" "Turn on process record" |
792a0230 DE |
40 | # This can take awhile. |
41 | set oldtimeout $timeout | |
42 | set timeout [expr $oldtimeout + 120] | |
0fa6cf1b MS |
43 | gdb_test "until $location" ".*/$srcfile:$location.*" \ |
44 | "record to end of main" | |
792a0230 | 45 | set timeout $oldtimeout |
0fa6cf1b MS |
46 | |
47 | # Now rewind to beginning so we can begin testing. | |
48 | ||
49 | set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"] | |
bcd2dc50 | 50 | gdb_test_no_output "set exec-dir reverse" "set reverse direction" |
0fa6cf1b MS |
51 | gdb_test "until $location" ".*/$srcfile:$location.*" \ |
52 | "rewind to beginning of main" | |
bcd2dc50 | 53 | gdb_test_no_output "set exec-dir forward" "set forward direction" |
0fa6cf1b MS |
54 | |
55 | # Test FPU env particularly ftag and fstatus reigters. | |
56 | ||
57 | set location [gdb_get_line_number "TEST ENV"] | |
58 | gdb_test "until $location" ".*/$srcfile:$location.*asm.*nop.*" \ | |
59 | "begin testing fpu env" | |
60 | ||
61 | gdb_test "n" "asm.*fsave.*" "save FPU env in memory" | |
62 | gdb_test "n" "asm.*frstor.*" "restore FPU env" | |
63 | gdb_test "n" "asm.*fstsw.*" "store status word in EAX" | |
64 | gdb_test "n" "asm.*fld1.*" "push st0" | |
65 | ||
66 | gdb_test "info register eax" "eax *0x8040000.*\t.*" "verify eax == 0x8040000" | |
67 | gdb_test "info register fstat" "fstat *0.*\t.*" "verify fstat == 0" | |
68 | gdb_test "info register ftag" "ftag *0xffff.*\t.*" "verify ftag == 0xffff" | |
69 | ||
70 | gdb_test "stepi" "asm.*fldl2t.*" "push st0" | |
71 | gdb_test "info register fstat" "fstat *0x3800.*\t.*" "verify fstat == 0x3800" | |
72 | gdb_test "info register ftag" "ftag *0x3fff.*\t.*" "verify ftag == 0x3fff" | |
73 | ||
74 | gdb_test "stepi" "asm.*fldl2e.*" "push st0" | |
75 | gdb_test "info register fstat" "fstat *0x3000.*\t.*" "verify fstat == 0x3000" | |
76 | gdb_test "info register ftag" "ftag *0xfff.*\t.*" "verify ftag == 0xfff" | |
77 | ||
78 | gdb_test "stepi" "asm.*fldpi.*" "push st0" | |
79 | gdb_test "info register fstat" "fstat *0x2800.*\t.*" "verify fstat == 0x2800" | |
80 | gdb_test "info register ftag" "ftag *0x3ff.*\t.*" "verify ftag == 0x3ff" | |
81 | ||
82 | gdb_test "stepi" "asm.*fldlg2.*" "push st0" | |
83 | gdb_test "info register fstat" "fstat *0x2000.*\t.*" "verify fstat == 0x2000" | |
84 | gdb_test "info register ftag" "ftag *0xff.*\t.*" "verify ftag == 0xff" | |
85 | ||
86 | gdb_test "stepi" "asm.*fldln2.*" "push st0" | |
87 | gdb_test "info register fstat" "fstat *0x1800.*\t.*" "verify fstat == 0x1800" | |
88 | gdb_test "info register ftag" "ftag *0x3f.*\t.*" "verify ftag == 0x3f" | |
89 | ||
90 | gdb_test "stepi" "asm.*fldz.*" "push st0" | |
91 | gdb_test "info register fstat" "fstat *0x1000.*\t.*" "verify fstat == 0x1000" | |
92 | gdb_test "info register ftag" "ftag *0xf.*\t.*" "verify ftag == 0xf" | |
93 | ||
94 | gdb_test "stepi" "asm.*nop.*" "push st0" | |
95 | gdb_test "info register fstat" "fstat *0x800.*\t.*" "verify fstat == 0x800" | |
96 | gdb_test "info register ftag" "ftag *0x7.*\t.*" "verify ftag == 0x7" | |
97 | ||
98 | ||
99 | # move backward and ehck we get the same registers back. | |
100 | ||
101 | gdb_test "reverse-stepi" "asm.*fldz.*" "push st0" | |
102 | gdb_test "info register fstat" "fstat *0x1000.*\t.*" "verify fstat == 0x1000" | |
103 | gdb_test "info register ftag" "ftag *0xf.*\t.*" "verify ftag == 0xf" | |
104 | ||
105 | gdb_test "reverse-stepi" "asm.*fldln2.*" "push st0" | |
106 | gdb_test "info register fstat" "fstat *0x1800.*\t.*" "verify fstat == 0x1800" | |
107 | gdb_test "info register ftag" "ftag *0x3f.*\t.*" "verify ftag == 0x3f" | |
108 | ||
109 | gdb_test "reverse-stepi" "asm.*fldlg2.*" "push st0" | |
110 | gdb_test "info register fstat" "fstat *0x2000.*\t.*" "verify fstat == 0x2000" | |
111 | gdb_test "info register ftag" "ftag *0xff.*\t.*" "verify ftag == 0xff" | |
112 | ||
113 | gdb_test "reverse-stepi" "asm.*fldpi.*" "push st0" | |
114 | gdb_test "info register fstat" "fstat *0x2800.*\t.*" "verify fstat == 0x2800" | |
115 | gdb_test "info register ftag" "ftag *0x3ff.*\t.*" "verify ftag == 0x3ff" | |
116 | ||
117 | gdb_test "reverse-stepi" "asm.*fldl2e.*" "push st0" | |
118 | gdb_test "info register fstat" "fstat *0x3000.*\t.*" "verify fstat == 0x3000" | |
119 | gdb_test "info register ftag" "ftag *0xfff.*\t.*" "verify ftag == 0xfff" | |
120 | ||
121 | gdb_test "reverse-stepi" "asm.*fldl2t.*" "push st0" | |
122 | gdb_test "info register fstat" "fstat *0x3800.*\t.*" "verify fstat == 0x3800" | |
123 | gdb_test "info register ftag" "ftag *0x3fff.*\t.*" "verify ftag == 0x3fff" | |
124 | ||
125 | gdb_test "reverse-stepi" "asm.*fld1.*" "push st0" | |
126 | gdb_test "info register fstat" "fstat *0.*\t.*" "verify fstat == 0" | |
127 | gdb_test "info register ftag" "ftag *0xffff.*\t.*" "verify ftag == 0xffff" | |
128 | ||
129 | ||
130 | ||
131 | ||
132 | ||
133 |