sim/testsuite/or1k/div.S

   1 /* Tests the divide instructions.
   2
   3    Copyright (C) 2017-2024 Free Software Foundation, Inc.
   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
  78 # output: report(0x00000000);\n
  79 # output: report(0x00000001);\n
  80 # output: report(0x00000000);\n
  81 # output: \n
  82 # output: report(0xfffffff4);\n
  83 # output: report(0x00000000);\n
  84 # output: report(0xfffffffd);\n
  85 # output: report(0x00000000);\n
  86 # output: report(0x00000001);\n
  87 # output: report(0x00000000);\n
  88 # output: \n
  89 # output: report(0x0000000c);\n
  90 # output: report(0x00000000);\n
  91 # output: report(0xfffffffd);\n
  92 # output: report(0x00000000);\n
  93 # output: report(0x00000001);\n
  94 # output: report(0x00000001);\n
  95 # output: \n
  96 # output: report(0xfffffff4);\n
  97 # output: report(0x00000000);\n
  98 # output: report(0xfffffffd);\n
  99 # output: report(0x00000000);\n
 100 # output: report(0x00000001);\n
 101 # output: report(0x00000001);\n
 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
 236         /* Divide by zero.  This will set the overflow flag.  */
 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
 244         /* Divide by zero.  This will set the overflow flag and trigger an
 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