mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2025-01-06 12:09:26 +08:00
1368b914e9
Now that all port tests live under testsuite/sim/*/, and none live in testsuite/ directly, flatten the structure by moving all of the dirs under testsuite/sim/ to testsuite/ directly. We need to stop passing --tool to dejagnu so that it searches all dirs and not just ones that start with "sim". Since we have no other dirs in this tree, and no plans to add any, should be fine.
216 lines
6.7 KiB
ArmAsm
216 lines
6.7 KiB
ArmAsm
/* Tests instruction l.sub.
|
|
|
|
Copyright (C) 2017-2021 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/>. */
|
|
|
|
# mach: or1k
|
|
# output: report(0x00000003);\n
|
|
# output: report(0x00000002);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000002);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x00000003);\n
|
|
# output: report(0x00000002);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0xfffffffd);\n
|
|
# output: report(0xfffffffe);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0xfffffffe);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x7fffffff);\n
|
|
# output: report(0x3fffffff);\n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x3fffffff);\n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0x3fffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x80000000);\n
|
|
# output: report(0x7fffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x7fffffff);\n
|
|
# output: report(0x80000000);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x80000000);\n
|
|
# output: report(0x7fffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000001);\n
|
|
# output: \n
|
|
# output: report(0x3fffffff);\n
|
|
# output: report(0x40000000);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000000);\n
|
|
# output: report(0x00000000);\n
|
|
# output: \n
|
|
# output: report(0x7fffffff);\n
|
|
# output: report(0x80000000);\n
|
|
# output: report(0xffffffff);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000001);\n
|
|
# output: report(0x00000001);\n
|
|
# output: \n
|
|
# output: exit(0)\n
|
|
|
|
#include "or1k-asm-test-helpers.h"
|
|
|
|
STANDARD_TEST_ENVIRONMENT
|
|
|
|
.section .exception_vectors
|
|
|
|
/* Range exception. */
|
|
.org 0xb00
|
|
|
|
/* The handling is a bit dubious at present. We just patch the
|
|
instruction with l.nop and restart. This will go wrong in branch
|
|
delay slots. But we don't have those in this test. */
|
|
l.addi r1, r1, -EXCEPTION_STACK_SKIP_SIZE
|
|
PUSH r2
|
|
PUSH r3
|
|
/* Save the address of the instruction that caused the problem. */
|
|
MOVE_FROM_SPR r2, SPR_EPCR_BASE
|
|
LOAD_IMMEDIATE r3, 0x15000000 /* Opcode for l.nop */
|
|
l.sw 0(r2), r3
|
|
POP r3
|
|
POP r2
|
|
l.addi r1, r1, EXCEPTION_STACK_SKIP_SIZE
|
|
l.rfe
|
|
|
|
.section .text
|
|
start_tests:
|
|
PUSH LINK_REGISTER_R9
|
|
|
|
/* Test l.sub */
|
|
|
|
/* Subtract two small positive numbers. Sets the carry, but never
|
|
the overflow if the result is negative. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x00000003, \
|
|
0x00000002
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x00000001, \
|
|
0x00000002
|
|
|
|
/* Check carry in is ignored. */
|
|
TEST_INST_FF_I32_I32 SPR_SR_CY, SPR_SR_OV, l.sub, 0x00000003, 0x00000002
|
|
|
|
/* Subtract two small negative numbers. Sets the carry flag if
|
|
the result is negative, but never the overflow flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0xfffffffd, \
|
|
0xfffffffe
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0xffffffff, \
|
|
0xfffffffe
|
|
|
|
/* Subtract two quite large positive numbers. Should set neither
|
|
the overflow nor the carry flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x7fffffff, \
|
|
0x3fffffff
|
|
|
|
/* Subtract two quite large negative numbers. Should set neither
|
|
the overflow nor the carry flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x40000000, \
|
|
0x40000000
|
|
|
|
/* Subtract two large positive numbers with a negative result.
|
|
Should set the carry, but not the overflow flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x3fffffff, \
|
|
0x40000000
|
|
|
|
/* Subtract two large negative numbers with a positive result.
|
|
Should set neither the carry nor the overflow flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x40000000, \
|
|
0x3fffffff
|
|
|
|
/* Subtract a large positive from a large negative number. Should
|
|
set overflow but not the carry flag. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x80000000, \
|
|
0x7fffffff
|
|
|
|
/* Subtract a large negative from a large positive number. Should
|
|
set both the overflow and carry flags. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x7fffffff, \
|
|
0x80000000
|
|
|
|
/* Check that range exceptions are triggered. */
|
|
|
|
SET_SPR_SR_FLAGS SPR_SR_OVE, r2, r3
|
|
|
|
/* Check that an overflow alone causes a RANGE Exception. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x80000000, \
|
|
0x7fffffff
|
|
|
|
/* Check that a carry alone does not cause a RANGE Exception. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x3fffffff, \
|
|
0x40000000
|
|
|
|
/* Check that carry and overflow together cause an exception. */
|
|
TEST_INST_FF_I32_I32 0, SPR_SR_CY | SPR_SR_OV, l.sub, 0x7fffffff, \
|
|
0x80000000
|
|
|
|
CLEAR_SPR_SR_FLAGS SPR_SR_OVE, r2, r3
|
|
|
|
POP LINK_REGISTER_R9
|
|
RETURN_TO_LINK_REGISTER_R9
|