projects / deliverable / binutils-gdb.git / blame
| Commit | Line | Data |
|---|---|---|
| 702d582e PG |
1 | /* Tests the divide instructions. |
| 2 | ||
| 88b9d363 | 3 | Copyright (C) 2017-2022 Free Software Foundation, Inc. |
| 702d582e PG |
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 | # mach: or1k | |
| 19 | # output: report(0x0000000c);\n | |
| 20 | # output: report(0x00000003);\n | |
| 21 | # output: report(0x00000004);\n | |
| 22 | # output: report(0x00000000);\n | |
| 23 | # output: report(0x00000000);\n | |
| 24 | # output: report(0x00000000);\n | |
| 25 | # output: \n | |
| 26 | # output: report(0x0000000b);\n | |
| 27 | # output: report(0x00000003);\n | |
| 28 | # output: report(0x00000003);\n | |
| 29 | # output: report(0x00000000);\n | |
| 30 | # output: report(0x00000000);\n | |
| 31 | # output: report(0x00000000);\n | |
| 32 | # output: \n | |
| 33 | # output: report(0xfffffff4);\n | |
| 34 | # output: report(0xfffffffd);\n | |
| 35 | # output: report(0x00000004);\n | |
| 36 | # output: report(0x00000000);\n | |
| 37 | # output: report(0x00000000);\n | |
| 38 | # output: report(0x00000000);\n | |
| 39 | # output: \n | |
| 40 | # output: report(0xfffffff5);\n | |
| 41 | # output: report(0xfffffffd);\n | |
| 42 | # output: report(0x00000003);\n | |
| 43 | # output: report(0x00000000);\n | |
| 44 | # output: report(0x00000000);\n | |
| 45 | # output: report(0x00000000);\n | |
| 46 | # output: \n | |
| 47 | # output: report(0xfffffff4);\n | |
| 48 | # output: report(0x00000003);\n | |
| 49 | # output: report(0xfffffffc);\n | |
| 50 | # output: report(0x00000000);\n | |
| 51 | # output: report(0x00000000);\n | |
| 52 | # output: report(0x00000000);\n | |
| 53 | # output: \n | |
| 54 | # output: report(0xfffffff5);\n | |
| 55 | # output: report(0x00000003);\n | |
| 56 | # output: report(0xfffffffd);\n | |
| 57 | # output: report(0x00000000);\n | |
| 58 | # output: report(0x00000000);\n | |
| 59 | # output: report(0x00000000);\n | |
| 60 | # output: \n | |
| 61 | # output: report(0x0000000c);\n | |
| 62 | # output: report(0xfffffffd);\n | |
| 63 | # output: report(0xfffffffc);\n | |
| 64 | # output: report(0x00000000);\n | |
| 65 | # output: report(0x00000000);\n | |
| 66 | # output: report(0x00000000);\n | |
| 67 | # output: \n | |
| 68 | # output: report(0x0000000b);\n | |
| 69 | # output: report(0xfffffffd);\n | |
| 70 | # output: report(0xfffffffd);\n | |
| 71 | # output: report(0x00000000);\n | |
| 72 | # output: report(0x00000000);\n | |
| 73 | # output: report(0x00000000);\n | |
| 74 | # output: \n | |
| 75 | # output: report(0x0000000c);\n | |
| 76 | # output: report(0x00000000);\n | |
| 77 | # output: report(0xfffffffd);\n | |
| 702d582e | 78 | # output: report(0x00000000);\n |
| 07f5f4c6 | 79 | # output: report(0x00000001);\n |
| 702d582e PG |
80 | # output: report(0x00000000);\n |
| 81 | # output: \n | |
| 82 | # output: report(0xfffffff4);\n | |
| 83 | # output: report(0x00000000);\n | |
| 84 | # output: report(0xfffffffd);\n | |
| 702d582e | 85 | # output: report(0x00000000);\n |
| 07f5f4c6 | 86 | # output: report(0x00000001);\n |
| 702d582e PG |
87 | # output: report(0x00000000);\n |
| 88 | # output: \n | |
| 89 | # output: report(0x0000000c);\n | |
| 90 | # output: report(0x00000000);\n | |
| 91 | # output: report(0xfffffffd);\n | |
| 702d582e PG |
92 | # output: report(0x00000000);\n |
| 93 | # output: report(0x00000001);\n | |
| 07f5f4c6 | 94 | # output: report(0x00000001);\n |
| 702d582e PG |
95 | # output: \n |
| 96 | # output: report(0xfffffff4);\n | |
| 97 | # output: report(0x00000000);\n | |
| 98 | # output: report(0xfffffffd);\n | |
| 702d582e PG |
99 | # output: report(0x00000000);\n |
| 100 | # output: report(0x00000001);\n | |
| 07f5f4c6 | 101 | # output: report(0x00000001);\n |
| 702d582e PG |
102 | # output: \n |
| 103 | # output: report(0x0000000c);\n | |
| 104 | # output: report(0x00000003);\n | |
| 105 | # output: report(0x00000004);\n | |
| 106 | # output: report(0x00000000);\n | |
| 107 | # output: report(0x00000000);\n | |
| 108 | # output: report(0x00000000);\n | |
| 109 | # output: \n | |
| 110 | # output: report(0x0000000b);\n | |
| 111 | # output: report(0x00000003);\n | |
| 112 | # output: report(0x00000003);\n | |
| 113 | # output: report(0x00000000);\n | |
| 114 | # output: report(0x00000000);\n | |
| 115 | # output: report(0x00000000);\n | |
| 116 | # output: \n | |
| 117 | # output: report(0xfffffff4);\n | |
| 118 | # output: report(0xfffffffd);\n | |
| 119 | # output: report(0x00000000);\n | |
| 120 | # output: report(0x00000000);\n | |
| 121 | # output: report(0x00000000);\n | |
| 122 | # output: report(0x00000000);\n | |
| 123 | # output: \n | |
| 124 | # output: report(0xfffffff5);\n | |
| 125 | # output: report(0xfffffffd);\n | |
| 126 | # output: report(0x00000000);\n | |
| 127 | # output: report(0x00000000);\n | |
| 128 | # output: report(0x00000000);\n | |
| 129 | # output: report(0x00000000);\n | |
| 130 | # output: \n | |
| 131 | # output: report(0xfffffff4);\n | |
| 132 | # output: report(0x00000003);\n | |
| 133 | # output: report(0x55555551);\n | |
| 134 | # output: report(0x00000000);\n | |
| 135 | # output: report(0x00000000);\n | |
| 136 | # output: report(0x00000000);\n | |
| 137 | # output: \n | |
| 138 | # output: report(0xfffffff5);\n | |
| 139 | # output: report(0x00000003);\n | |
| 140 | # output: report(0x55555551);\n | |
| 141 | # output: report(0x00000000);\n | |
| 142 | # output: report(0x00000000);\n | |
| 143 | # output: report(0x00000000);\n | |
| 144 | # output: \n | |
| 145 | # output: report(0x0000000c);\n | |
| 146 | # output: report(0xfffffffd);\n | |
| 147 | # output: report(0x00000000);\n | |
| 148 | # output: report(0x00000000);\n | |
| 149 | # output: report(0x00000000);\n | |
| 150 | # output: report(0x00000000);\n | |
| 151 | # output: \n | |
| 152 | # output: report(0x0000000b);\n | |
| 153 | # output: report(0xfffffffd);\n | |
| 154 | # output: report(0x00000000);\n | |
| 155 | # output: report(0x00000000);\n | |
| 156 | # output: report(0x00000000);\n | |
| 157 | # output: report(0x00000000);\n | |
| 158 | # output: \n | |
| 159 | # output: report(0x0000000c);\n | |
| 160 | # output: report(0x00000000);\n | |
| 161 | # output: report(0x00000000);\n | |
| 162 | # output: report(0x00000001);\n | |
| 163 | # output: report(0x00000000);\n | |
| 164 | # output: report(0x00000000);\n | |
| 165 | # output: \n | |
| 166 | # output: report(0xfffffff4);\n | |
| 167 | # output: report(0x00000000);\n | |
| 168 | # output: report(0x00000000);\n | |
| 169 | # output: report(0x00000001);\n | |
| 170 | # output: report(0x00000000);\n | |
| 171 | # output: report(0x00000000);\n | |
| 172 | # output: \n | |
| 173 | # output: report(0x0000000c);\n | |
| 174 | # output: report(0x00000000);\n | |
| 175 | # output: report(0x00000000);\n | |
| 176 | # output: report(0x00000001);\n | |
| 177 | # output: report(0x00000000);\n | |
| 178 | # output: report(0x00000001);\n | |
| 179 | # output: \n | |
| 180 | # output: report(0xfffffff4);\n | |
| 181 | # output: report(0x00000000);\n | |
| 182 | # output: report(0x00000000);\n | |
| 183 | # output: report(0x00000001);\n | |
| 184 | # output: report(0x00000000);\n | |
| 185 | # output: report(0x00000001);\n | |
| 186 | # output: \n | |
| 187 | # output: exit(0)\n | |
| 188 | ||
| 189 | #include "or1k-asm-test-helpers.h" | |
| 190 | ||
| 191 | STANDARD_TEST_ENVIRONMENT | |
| 192 | ||
| 193 | .section .exception_vectors | |
| 194 | ||
| 195 | /* Range exception. */ | |
| 196 | .org 0xb00 | |
| 197 | ||
| 198 | l.addi r1, r1, -EXCEPTION_STACK_SKIP_SIZE | |
| 199 | PUSH r2 | |
| 200 | PUSH r3 | |
| 201 | /* Save the address of the instruction that caused the problem. */ | |
| 202 | MOVE_FROM_SPR r2, SPR_EPCR_BASE | |
| 203 | LOAD_IMMEDIATE r3, 0x15000000 /* Opcode for l.nop */ | |
| 204 | l.sw 0(r2), r3 | |
| 205 | POP r3 | |
| 206 | POP r2 | |
| 207 | l.addi r1, r1, EXCEPTION_STACK_SKIP_SIZE | |
| 208 | l.rfe | |
| 209 | ||
| 210 | .section .text | |
| 211 | start_tests: | |
| 212 | PUSH LINK_REGISTER_R9 | |
| 213 | ||
| 214 | /* Test l.div */ | |
| 215 | ||
| 216 | /* Divide two positive numbers and check rounding. Should set no | |
| 217 | flags. */ | |
| 218 | TEST_INST_I32_I32 l.div, 0x0000000c, 0x00000003 /* 12 / 3 = 4 */ | |
| 219 | TEST_INST_I32_I32 l.div, 0x0000000b, 0x00000003 /* 11 / 3 = 3 */ | |
| 220 | ||
| 221 | /* Divide two negative numbers and check rounding. Should set no | |
| 222 | flags. */ | |
| 223 | TEST_INST_I32_I32 l.div, 0xfffffff4, 0xfffffffd | |
| 224 | TEST_INST_I32_I32 l.div, 0xfffffff5, 0xfffffffd | |
| 225 | ||
| 226 | /* Divide a negative number by a positive number and check | |
| 227 | rounding. Should set no flags. */ | |
| 228 | TEST_INST_I32_I32 l.div, 0xfffffff4, 0x00000003 | |
| 229 | TEST_INST_I32_I32 l.div, 0xfffffff5, 0x00000003 | |
| 230 | ||
| 231 | /* Divide a positive number by a negative number and check | |
| 232 | rounding. Should set no flags. */ | |
| 233 | TEST_INST_I32_I32 l.div, 0x0000000c, 0xfffffffd | |
| 234 | TEST_INST_I32_I32 l.div, 0x0000000b, 0xfffffffd | |
| 235 | ||
| 07f5f4c6 | 236 | /* Divide by zero. This will set the overflow flag. */ |
| 702d582e PG |
237 | TEST_INST_I32_I32 l.div, 0x0000000c, 0x00000000 |
| 238 | TEST_INST_I32_I32 l.div, 0xfffffff4, 0x00000000 | |
| 239 | ||
| 240 | /* Check that range exceptions are triggered. */ | |
| 241 | ||
| 242 | SET_SPR_SR_FLAGS SPR_SR_OVE, r2, r3 | |
| 243 | ||
| 07f5f4c6 | 244 | /* Divide by zero. This will set the overflow flag and trigger an |
| 702d582e PG |
245 | exception. */ |
| 246 | TEST_INST_I32_I32 l.div, 0x0000000c, 0x00000000 | |
| 247 | TEST_INST_I32_I32 l.div, 0xfffffff4, 0x00000000 | |
| 248 | ||
| 249 | CLEAR_SPR_SR_FLAGS SPR_SR_OVE, r2, r3 | |
| 250 | ||
| 251 | /* Test l.divu */ | |
| 252 | ||
| 253 | /* Divide two positive numbers and check rounding. Should set no | |
| 254 | flags. */ | |
| 255 | TEST_INST_I32_I32 l.divu, 0x0000000c, 0x00000003 | |
| 256 | TEST_INST_I32_I32 l.divu, 0x0000000b, 0x00000003 | |
| 257 | ||
| 258 | /* Divide two numbers that would be negative under 2's complement | |
| 259 | and check rounding. Should set no flags. */ | |
| 260 | TEST_INST_I32_I32 l.divu, 0xfffffff4, 0xfffffffd | |
| 261 | TEST_INST_I32_I32 l.divu, 0xfffffff5, 0xfffffffd | |
| 262 | ||
| 263 | /* Divide a number that would be negative under 2's complement by a | |
| 264 | number that would be positive under 2's complement and check | |
| 265 | rounding. This should set no flags. */ | |
| 266 | TEST_INST_I32_I32 l.divu, 0xfffffff4, 0x00000003 | |
| 267 | TEST_INST_I32_I32 l.divu, 0xfffffff5, 0x00000003 | |
| 268 | ||
| 269 | /* Divide a number that would be positive under 2's complement by a | |
| 270 | number that would be negative under 2's complement and check | |
| 271 | rounding. This should set no flags. */ | |
| 272 | TEST_INST_I32_I32 l.divu, 0x0000000c, 0xfffffffd | |
| 273 | TEST_INST_I32_I32 l.divu, 0x0000000b, 0xfffffffd | |
| 274 | ||
| 275 | /* Divide by zero. This will set the carry flag. */ | |
| 276 | TEST_INST_I32_I32 l.divu, 0x0000000c, 0x00000000 | |
| 277 | TEST_INST_I32_I32 l.divu, 0xfffffff4, 0x00000000 | |
| 278 | ||
| 279 | /* Check that range exceptions are triggered. */ | |
| 280 | ||
| 281 | SET_SPR_SR_FLAGS SPR_SR_OVE, r2, r3 | |
| 282 | ||
| 283 | /* Divide by zero. This will set the carry flag and trigger an | |
| 284 | exception. */ | |
| 285 | TEST_INST_I32_I32 l.divu, 0x0000000c, 0x00000000 | |
| 286 | TEST_INST_I32_I32 l.divu, 0xfffffff4, 0x00000000 | |
| 287 | ||
| 288 | CLEAR_SPR_SR_FLAGS SPR_SR_OVE, r2, r3 | |
| 289 | ||
| 290 | POP LINK_REGISTER_R9 | |
| 291 | RETURN_TO_LINK_REGISTER_R9 |