[thirdparty/binutils-gdb.git] / sim / testsuite / sim / or1k / sub.S

/* Tests instruction l.sub.

   Copyright (C) 2017-2018 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
Commit	Line	Data
702d582e PG	1	/* Tests instruction l.sub.
702d582e PG	2
e2882c85	3	Copyright (C) 2017-2018 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(0x00000003);\n
	20	# output: report(0x00000002);\n
	21	# output: report(0x00000001);\n
	22	# output: report(0x00000000);\n
	23	# output: report(0x00000000);\n
	24	# output: report(0x00000000);\n
	25	# output: \n
	26	# output: report(0x00000001);\n
	27	# output: report(0x00000002);\n
	28	# output: report(0xffffffff);\n
	29	# output: report(0x00000001);\n
	30	# output: report(0x00000000);\n
	31	# output: report(0x00000000);\n
	32	# output: \n
	33	# output: report(0x00000003);\n
	34	# output: report(0x00000002);\n
	35	# output: report(0x00000001);\n
	36	# output: report(0x00000000);\n
	37	# output: report(0x00000000);\n
	38	# output: report(0x00000000);\n
	39	# output: \n
	40	# output: report(0xfffffffd);\n
	41	# output: report(0xfffffffe);\n
	42	# output: report(0xffffffff);\n
	43	# output: report(0x00000001);\n
	44	# output: report(0x00000000);\n
	45	# output: report(0x00000000);\n
	46	# output: \n
	47	# output: report(0xffffffff);\n
	48	# output: report(0xfffffffe);\n
	49	# output: report(0x00000001);\n
	50	# output: report(0x00000000);\n
	51	# output: report(0x00000000);\n
	52	# output: report(0x00000000);\n
	53	# output: \n
	54	# output: report(0x7fffffff);\n
	55	# output: report(0x3fffffff);\n
	56	# output: report(0x40000000);\n
	57	# output: report(0x00000000);\n
	58	# output: report(0x00000000);\n
	59	# output: report(0x00000000);\n
	60	# output: \n
	61	# output: report(0x40000000);\n
	62	# output: report(0x40000000);\n
	63	# output: report(0x00000000);\n
	64	# output: report(0x00000000);\n
	65	# output: report(0x00000000);\n
	66	# output: report(0x00000000);\n
	67	# output: \n
68	# output: report(0x3fffffff);\n
69	# output: report(0x40000000);\n
70	# output: report(0xffffffff);\n
71	# output: report(0x00000001);\n
72	# output: report(0x00000000);\n
73	# output: report(0x00000000);\n
74	# output: \n
75	# output: report(0x40000000);\n
76	# output: report(0x3fffffff);\n
77	# output: report(0x00000001);\n
78	# output: report(0x00000000);\n
79	# output: report(0x00000000);\n
80	# output: report(0x00000000);\n
81	# output: \n
82	# output: report(0x80000000);\n
83	# output: report(0x7fffffff);\n
84	# output: report(0x00000001);\n
85	# output: report(0x00000000);\n
86	# output: report(0x00000001);\n
87	# output: report(0x00000000);\n
88	# output: \n
89	# output: report(0x7fffffff);\n
90	# output: report(0x80000000);\n
91	# output: report(0xffffffff);\n
92	# output: report(0x00000001);\n
93	# output: report(0x00000001);\n
94	# output: report(0x00000000);\n
95	# output: \n
96	# output: report(0x80000000);\n
97	# output: report(0x7fffffff);\n
98	# output: report(0x00000001);\n
99	# output: report(0x00000000);\n
100	# output: report(0x00000001);\n
101	# output: report(0x00000001);\n
102	# output: \n
103	# output: report(0x3fffffff);\n
104	# output: report(0x40000000);\n
105	# output: report(0xffffffff);\n
106	# output: report(0x00000001);\n
107	# output: report(0x00000000);\n
108	# output: report(0x00000000);\n
109	# output: \n
110	# output: report(0x7fffffff);\n
111	# output: report(0x80000000);\n
112	# output: report(0xffffffff);\n
113	# output: report(0x00000001);\n
114	# output: report(0x00000001);\n
115	# output: report(0x00000001);\n
116	# output: \n
117	# output: exit(0)\n
118
119	#include "or1k-asm-test-helpers.h"
120
121	STANDARD_TEST_ENVIRONMENT
122
123	.section .exception_vectors
124
125	/* Range exception. */
126	.org 0xb00
127
128	/* The handling is a bit dubious at present. We just patch the
129	instruction with l.nop and restart. This will go wrong in branch
130	delay slots. But we don't have those in this test. */
131	l.addi r1, r1, -EXCEPTION_STACK_SKIP_SIZE
132	PUSH r2
133	PUSH r3
134	/* Save the address of the instruction that caused the problem. */
135	MOVE_FROM_SPR r2, SPR_EPCR_BASE
136	LOAD_IMMEDIATE r3, 0x15000000 /* Opcode for l.nop */
137	l.sw 0(r2), r3
138	POP r3
139	POP r2
140	l.addi r1, r1, EXCEPTION_STACK_SKIP_SIZE
141	l.rfe
142
143	.section .text
144	start_tests:
145	PUSH LINK_REGISTER_R9
146
147	/* Test l.sub */
148
149	/* Subtract two small positive numbers. Sets the carry, but never
150	the overflow if the result is negative. */
151	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x00000003, \
152	0x00000002
153	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x00000001, \
154	0x00000002
155
156	/* Check carry in is ignored. */
157	TEST_INST_FF_I32_I32 SPR_SR_CY, SPR_SR_OV, l.sub, 0x00000003, 0x00000002
158
159	/* Subtract two small negative numbers. Sets the carry flag if
160	the result is negative, but never the overflow flag. */
161	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0xfffffffd, \
162	0xfffffffe
163	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0xffffffff, \
164	0xfffffffe
165
166	/* Subtract two quite large positive numbers. Should set neither
167	the overflow nor the carry flag. */
168	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x7fffffff, \
169	0x3fffffff
170
171	/* Subtract two quite large negative numbers. Should set neither
172	the overflow nor the carry flag. */
173	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x40000000, \
174	0x40000000
175
176	/* Subtract two large positive numbers with a negative result.
177	Should set the carry, but not the overflow flag. */
178	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x3fffffff, \
179	0x40000000
180
181	/* Subtract two large negative numbers with a positive result.
182	Should set neither the carry nor the overflow flag. */
183	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x40000000, \
184	0x3fffffff
185
186	/* Subtract a large positive from a large negative number. Should
187	set overflow but not the carry flag. */
188	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x80000000, \
189	0x7fffffff
190
191	/* Subtract a large negative from a large positive number. Should
192	set both the overflow and carry flags. */
193	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x7fffffff, \
194	0x80000000
195
196	/* Check that range exceptions are triggered. */
197
198	SET_SPR_SR_FLAGS SPR_SR_OVE, r2, r3
199
200	/* Check that an overflow alone causes a RANGE Exception. */
201	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x80000000, \
202	0x7fffffff
203
204	/* Check that a carry alone does not cause a RANGE Exception. */
205	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x3fffffff, \
206	0x40000000
207
208	/* Check that carry and overflow together cause an exception. */
209	TEST_INST_FF_I32_I32 0, SPR_SR_CY \| SPR_SR_OV, l.sub, 0x7fffffff, \
210	0x80000000
211
212	CLEAR_SPR_SR_FLAGS SPR_SR_OVE, r2, r3
213
214	POP LINK_REGISTER_R9
215	RETURN_TO_LINK_REGISTER_R9