projects / deliverable / binutils-gdb.git / blame
| Commit | Line | Data |
|---|---|---|
| c5a57081 | 1 | # Copyright 2009-2012 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 | ||
| 18 | if $tracelevel { | |
| 19 | strace $tracelevel | |
| 20 | } | |
| 21 | ||
| 0fa6cf1b MS |
22 | |
| 23 | if ![istarget "i?86-*linux*"] then { | |
| 24 | verbose "Skipping i387 reverse float tests." | |
| 25 | return | |
| 26 | } | |
| 27 | ||
| 28 | set testfile "i387-stack-reverse" | |
| 29 | set srcfile ${testfile}.c | |
| 30 | set binfile ${objdir}/${subdir}/${testfile} | |
| 31 | ||
| 32 | # some targets have leading underscores on assembly symbols. | |
| ee5683ab | 33 | set additional_flags [gdb_target_symbol_prefix_flags] |
| 0fa6cf1b MS |
34 | |
| 35 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable [list debug $additional_flags]] != "" } { | |
| 3b48433d | 36 | untested ${testfile}.exp |
| 0fa6cf1b MS |
37 | return -1 |
| 38 | } | |
| 39 | ||
| 40 | # Get things started. | |
| 41 | ||
| 42 | gdb_exit | |
| 43 | gdb_start | |
| 44 | gdb_reinitialize_dir $srcdir/$subdir | |
| 45 | gdb_load ${binfile} | |
| 46 | runto main | |
| 47 | ||
| 48 | # Record to end of main | |
| 49 | ||
| 50 | set location [gdb_get_line_number "END I387-FLOAT-REVERSE"] | |
| bcd2dc50 | 51 | gdb_test_no_output "record" "Turn on process record" |
| 0fa6cf1b MS |
52 | gdb_test "until $location" ".*/$srcfile:$location.*" \ |
| 53 | "record to end of main" | |
| 54 | ||
| 55 | # Now rewind to beginning so we can begin testing. | |
| 56 | ||
| 57 | set location [gdb_get_line_number "BEGIN I387-FLOAT-REVERSE"] | |
| bcd2dc50 | 58 | gdb_test_no_output "set exec-dir reverse" "set reverse direction" |
| 0fa6cf1b MS |
59 | gdb_test "until $location" ".*/$srcfile:$location.*" \ |
| 60 | "rewind to beginning of main" | |
| bcd2dc50 | 61 | gdb_test_no_output "set exec-dir forward" "set forward direction" |
| 0fa6cf1b MS |
62 | |
| 63 | # Test FPU stack. FPU stack includes st0, st1, st2, st3, st4, | |
| 64 | # st5, st6, st7. We push 8 values to FPU stack in record mode | |
| 65 | # and see whether all are getting recorded. | |
| 66 | ||
| 67 | set location [gdb_get_line_number "test st0 register"] | |
| 68 | gdb_test "until $location" ".*/$srcfile:$location.*asm.*fld1.*" \ | |
| 69 | "begin test st0" | |
| 70 | gdb_test "stepi" "asm.*fldl2t.*" "push st0 == 1" | |
| 71 | gdb_test "info register st0" "st0 *1\t.*" "verify st0 == 1" | |
| 72 | ||
| 73 | ||
| 74 | gdb_test "stepi" "asm.*fldl2e.*" "push st0 == 3.3219280948*" | |
| 75 | gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.321928094*" | |
| 76 | gdb_test "info register st1" "st1 *1\t.*" "verify st1 == 1" | |
| 77 | ||
| 78 | gdb_test "stepi" "asm.*fldpi.*" "push st0 == 1.4426950406*" | |
| 79 | gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*" | |
| 80 | gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*" | |
| 81 | gdb_test "info register st2" "st2 *1\t.*" "verify st2 == 1" | |
| 82 | ||
| 83 | gdb_test "stepi" "asm.*fldlg2.*" "push st0 == 3.14159265*" | |
| 84 | gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*" | |
| 85 | gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.4426950*" | |
| 86 | gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280*" | |
| 87 | gdb_test "info register st3" "st3 *1\t.*" "verify st3 == 1" | |
| 88 | ||
| 89 | gdb_test "stepi" "asm.*fldln2.*" "push st0 == 0.301029*" | |
| 90 | gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*" | |
| 91 | gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*" | |
| 92 | gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.44269506*" | |
| 93 | gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*" | |
| 94 | gdb_test "info register st4" "st4 *1\t.*" "verify st4 == 1" | |
| 95 | ||
| 96 | gdb_test "stepi" "asm.*fldz.*" "push st0 == 0.69314*" | |
| 97 | gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*" | |
| 98 | gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*" | |
| 99 | gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*" | |
| 100 | gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*" | |
| 101 | gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*" | |
| 102 | gdb_test "info register st5" "st5 *1\t.*" "verify st5 == 1" | |
| 103 | ||
| 104 | gdb_test "stepi" "asm.*fld1.*" "push st0 == 0" | |
| 105 | gdb_test "info register st0" "st0 *0\t.*" "verify st0 == 0" | |
| 106 | gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*" | |
| 107 | gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*" | |
| 108 | gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*" | |
| 109 | gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*" | |
| 110 | gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.32192809*" | |
| 111 | gdb_test "info register st6" "st6 *1\t.*" "verify st6 == 1" | |
| 112 | ||
| 113 | gdb_test "stepi" "asm.*nop.*" "push st0 == 0" | |
| 114 | gdb_test "info register st0" "st0 *1\t.*" "verify st0 == 1" | |
| 115 | gdb_test "info register st1" "st1 *0\t.*" "verify st1 == 0" | |
| 116 | gdb_test "info register st2" "st2 *0.69314.*\t.*" "verify st2 == 0.69314*" | |
| 117 | gdb_test "info register st3" "st3 *0.30102.*\t.*" "verify st3 == 0.301029*" | |
| 118 | gdb_test "info register st4" "st4 *3.14159.*\t.*" "verify st4 == 3.14159265*" | |
| 119 | gdb_test "info register st5" "st5 *1.44269.*\t.*" "verify st5 == 1.44269504*" | |
| 120 | gdb_test "info register st6" "st6 *3.32192.*\t.*" "verify st6 == 3.3219280948*" | |
| 121 | gdb_test "info register st7" "st7 *1.*" "verify st7 == 1" | |
| 122 | ||
| 123 | # Now step backward, and check that st0 value reverts to zero. | |
| 124 | ||
| 125 | gdb_test "reverse-stepi" "asm.*fld1.*" "undo registers, st0-st7" | |
| 126 | gdb_test "info register st0" "st0 *0\t.*" "verify st0 == 0" | |
| 127 | gdb_test "info register st1" "st1 *0.69314.*\t.*" "verify st1 == 0.69314*" | |
| 128 | gdb_test "info register st2" "st2 *0.30102.*\t.*" "verify st2 == 0.301029*" | |
| 129 | gdb_test "info register st3" "st3 *3.14159.*\t.*" "verify st3 == 3.14159265*" | |
| 130 | gdb_test "info register st4" "st4 *1.44269.*\t.*" "verify st4 == 1.442695040*" | |
| 131 | gdb_test "info register st5" "st5 *3.32192.*\t.*" "verify st5 == 3.3219280948*" | |
| 132 | gdb_test "info register st6" "st6 *1\t.*" "verify st6 == 1" | |
| 133 | ||
| 134 | gdb_test "reverse-stepi" "asm.*fldz.*" "push st0 == 0.69314*" | |
| 135 | gdb_test "info register st0" "st0 *0.69314.*\t.*" "verify st0 == 0.69314*" | |
| 136 | gdb_test "info register st1" "st1 *0.30102.*\t.*" "verify st1 == 0.301029*" | |
| 137 | gdb_test "info register st2" "st2 *3.14159.*\t.*" "verify st2 == 3.14159265*" | |
| 138 | gdb_test "info register st3" "st3 *1.44269.*\t.*" "verify st3 == 1.442695040*" | |
| 139 | gdb_test "info register st4" "st4 *3.32192.*\t.*" "verify st4 == 3.3219280948*" | |
| 140 | gdb_test "info register st5" "st5 *1\t.*" "verify st5 == 1" | |
| 141 | ||
| 142 | gdb_test "reverse-stepi" "asm.*fldln2.*" "push st0 == 0.301029*" | |
| 143 | gdb_test "info register st0" "st0 *0.30102.*\t.*" "verify st0 == 0.301029*" | |
| 144 | gdb_test "info register st1" "st1 *3.14159.*\t.*" "verify st1 == 3.14159265*" | |
| 145 | gdb_test "info register st2" "st2 *1.44269.*\t.*" "verify st2 == 1.442695040*" | |
| 146 | gdb_test "info register st3" "st3 *3.32192.*\t.*" "verify st3 == 3.3219280948*" | |
| 147 | gdb_test "info register st4" "st4 *1\t.*" "verify st4 == 1" | |
| 148 | ||
| 149 | gdb_test "reverse-stepi" "asm.*fldlg2.*" "push st0 == 3.14159265*" | |
| 150 | gdb_test "info register st0" "st0 *3.14159.*\t.*" "verify st0 == 3.14159265*" | |
| 151 | gdb_test "info register st1" "st1 *1.44269.*\t.*" "verify st1 == 1.442695040*" | |
| 152 | gdb_test "info register st2" "st2 *3.32192.*\t.*" "verify st2 == 3.3219280948*" | |
| 153 | gdb_test "info register st3" "st3 *1\t.*" "verify st3 == 1" | |
| 154 | ||
| 155 | gdb_test "reverse-stepi" "asm.*fldpi.*" "push st0 == 1.44269504088*" | |
| 156 | gdb_test "info register st0" "st0 *1.44269.*\t.*" "verify st0 == 1.442695040*" | |
| 157 | gdb_test "info register st1" "st1 *3.32192.*\t.*" "verify st1 == 3.3219280948*" | |
| 158 | gdb_test "info register st2" "st2 *1\t.*" "verify st2 == 1" | |
| 159 | ||
| 160 | ||
| 161 | gdb_test "reverse-stepi" "asm.*fldl2e.*" "push st0 == 3.3219280948*" | |
| 162 | gdb_test "info register st0" "st0 *3.32192.*\t.*" "verify st0 == 3.3219280948*" | |
| 163 | gdb_test "info register st1" "st1 *1\t.*" "verify st1 == 1" | |
| 164 | ||
| 165 | gdb_test "reverse-stepi" "asm.*fldl2t.*" "push st0 == 1" | |
| 166 | gdb_test "info register st0" "st0 *1\t.*" "verify st0 == 1" | |
| 167 | ||
| 168 | ||
| 169 | ||
| 170 | ||
| 171 |