aboutsummaryrefslogtreecommitdiff
blob: bb38e59094bb864c6fb2f83b1a835acc11dcbd1c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
# Copyright 2009 Free Software Foundation, Inc.

# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

# This file is part of the gdb testsuite.

if $tracelevel {
    strace $tracelevel
}

set prms_id 0
set bug_id 0

if ![istarget "i?86-*linux*"] then {
    verbose "Skipping i387 reverse float tests."
    return
}

set testfile "i387-stack-reverse"
set srcfile ${testfile}.c
set binfile ${objdir}/${subdir}/${testfile}

# some targets have leading underscores on assembly symbols.
# TODO: detect this automatically
set additional_flags ""
if [istarget "i?86-*-cygwin*"] then {
  set additional_flags "additional_flags=-DSYMBOL_PREFIX=\"_\""
}

if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } {
    untested i387-float-reverse
    return -1
}

# Get things started.

gdb_exit
gdb_start
gdb_reinitialize_dir $srcdir/$subdir
gdb_load ${binfile}
runto main

# Record to end of main

set location [gdb_get_line_number "END I387-FLOAT-REVERSE"]
gdb_test "record" "" "Turn on process record"
gdb_test "until $location" ".*/$srcfile:$location.*" \
    "record to end of main"

# Now rewind to beginning so we can begin testing.

set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"]
gdb_test "set exec-dir reverse" "" "set reverse direction"
gdb_test "until $location" ".*/$srcfile:$location.*" \
    "rewind to beginning of main"
gdb_test "set exec-dir forward" "" "set forward direction"

# Test FPU stack. FPU stack includes st0, st1, st2, st3, st4, 
# st5, st6, st7. We push 8 values to FPU stack in record mode
# and see whether all are getting recorded.

set location [gdb_get_line_number "test st0 register"]
gdb_test "until $location" ".*/$srcfile:$location.*asm.*fld1.*" \
    "begin test st0"
gdb_test "stepi" "asm.*fldl2t.*"              "push st0 == 1"
gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"


gdb_test "stepi" "asm.*fldl2e.*"              "push st0 == 3.3219280948*"
gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.321928094*"
gdb_test "info register st1" "st1 *1\t.*"       "verify st1 == 1"

gdb_test "stepi" "asm.*fldpi.*"                   "push st0 == 1.4426950406*"
gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"
                                               
gdb_test "stepi" "asm.*fldlg2.*"                  "push st0 == 3.14159265*"
gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.4426950*"
gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280*"
gdb_test "info register st3" "st3 *1\t.*"          "verify st3 == 1"

gdb_test "stepi" "asm.*fldln2.*"                  "push st0 == 0.301029*"
gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.44269506*"
gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"

gdb_test "stepi" "asm.*fldz.*"                    "push st0 == 0.69314*"
gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
gdb_test "info register st5" "st5 *1\t.*"         "verify st5 == 1"

gdb_test "stepi" "asm.*fld1.*"                    "push st0 == 0"
gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.32192809*"
gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"

gdb_test "stepi" "asm.*nop.*"                     "push st0 == 0"
gdb_test "info register st0" "st0 *1\t.*"         "verify st0 == 1"
gdb_test "info register st1" "st1 *0\t.*"         "verify st1 == 0"
gdb_test "info register st2" "st2 *0.69314.*\t.*" "verify st2 == 0.69314*"
gdb_test "info register st3" "st3 *0.30102.*\t.*" "verify st3 == 0.301029*"
gdb_test "info register st4" "st4 *3.14159.*\t.*" "verify st4 == 3.14159265*"
gdb_test "info register st5" "st5 *1.44269.*\t.*" "verify st5 == 1.44269504*"
gdb_test "info register st6" "st6 *3.32192.*\t.*" "verify st6 == 3.3219280948*"
gdb_test "info register st7" "st7 *1.*"           "verify st7 == 1"

# Now step backward, and check that st0 value reverts to zero.

gdb_test "reverse-stepi" "asm.*fld1.*"            "undo registers, st0-st7"
gdb_test "info register st0" "st0 *0\t.*"         "verify st0 == 0"
gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*"
gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*"
gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*"
gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*"
gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.3219280948*"
gdb_test "info register st6" "st6 *1\t.*"         "verify st6 == 1"

gdb_test "reverse-stepi" "asm.*fldz.*"            "push st0 == 0.69314*"
gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*"
gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*"
gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*"
gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*"
gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*"
gdb_test "info register st5" "st5 *1\t.*"       "verify st5 == 1"

gdb_test "reverse-stepi" "asm.*fldln2.*"          "push st0 == 0.301029*"
gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*"
gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*"
gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.442695040*"
gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*"
gdb_test "info register st4" "st4 *1\t.*"         "verify st4 == 1"

gdb_test "reverse-stepi" "asm.*fldlg2.*"          "push st0 == 3.14159265*"
gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*"
gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.442695040*"
gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280948*"
gdb_test "info register st3" "st3 *1\t.*"       "verify st3 == 1"

gdb_test "reverse-stepi" "asm.*fldpi.*"           "push st0 == 1.44269504088*"
gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*"
gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*"
gdb_test "info register st2" "st2 *1\t.*"         "verify st2 == 1"


gdb_test "reverse-stepi" "asm.*fldl2e.*"          "push st0 == 3.3219280948*"
gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.3219280948*"
gdb_test "info register st1" "st1 *1\t.*"         "verify st1 == 1"

gdb_test "reverse-stepi" "asm.*fldl2t.*"      "push st0 == 1"
gdb_test "info register st0" "st0 *1\t.*"     "verify st0 == 1"