1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
|
# mips r6 branch tests (non FPU)
# mach: mips32r6 mips64r6
# as: -mabi=eabi
# ld: -N -Ttext=0x80010000
# output: *\\npass\\n
.include "testutils.inc"
.include "utils-r6.inc"
setup
.set noreorder
.ent DIAG
DIAG:
li $14, 0xffffffff
li $13, 0x123
li $12, 0x45
li $7, 0x45
li $8, 0xfffffffe
li $9, 2147483647
li $11, 0
writemsg "[1] Test BOVC"
bovc $12, $13, Lfail
nop
bovc $9, $13, L2
nop
fail
L2:
writemsg "[2] Test BNVC"
bnvc $9, $13, Lfail
nop
bnvc $12, $13, L3
nop
fail
L3:
writemsg "[3] Test BEQC"
beqc $12, $13, Lfail
nop
beqc $12, $7, L4
nop
fail
L4:
writemsg "[4] Test BNEC"
bnec $12, $7, Lfail
nop
bnec $12, $13, L5
nop
fail
L5:
writemsg "[5] Test BLTC"
bltc $13, $12, Lfail
nop
bltc $12, $13, L6
nop
fail
L6:
# writemsg "[6] Test BLEC"
# blec $13, $12, Lfail
# nop
# blec $7, $12, L7
# nop
# fail
L7:
writemsg "[7] Test BGEC"
bgec $12, $13, Lfail
nop
bgec $13, $12, L8
nop
fail
L8:
# writemsg "[8] Test BGTC"
# bgtc $12, $13, Lfail
# nop
# bgtc $13, $12, L9
# nop
# fail
L9:
writemsg "[9] Test BLTUC"
bltuc $14, $13, Lfail
nop
bltuc $8, $14, L10
nop
fail
L10:
# writemsg "[10] Test BLEUC"
# bleuc $14, $13, Lfail
# nop
# bleuc $8, $14, L11
# nop
# fail
L11:
writemsg "[11] Test BGEUC"
bgeuc $13, $14, Lfail
nop
bgeuc $14, $8, L12
nop
fail
L12:
# writemsg "[12] Test BGTUC"
# bgtuc $13, $14, Lfail
# nop
# bgtuc $14, $8, L13
# nop
# fail
L13:
writemsg "[13] Test BLTZC"
bltzc $13, Lfail
nop
bltzc $11, Lfail
nop
bltzc $14, L14
nop
fail
L14:
writemsg "[14] Test BLEZC"
blezc $13, Lfail
nop
blezc $11, L145
nop
fail
L145:
blezc $14, L15
nop
fail
L15:
writemsg "[15] Test BGEZC"
bgezc $8, Lfail
nop
bgezc $11, L155
nop
fail
L155:
bgezc $13, L16
nop
fail
L16:
writemsg "[16] Test BGTZC"
bgtzc $8, Lfail
nop
bgtzc $11, Lfail
nop
bgtzc $13, L17
nop
fail
li $10, 0
L17:
writemsg "[17] Test BLEZALC"
blezalc $12, Lfail
nop
blezalc $11, Lret
li $10, 1
beqzc $10, L175
nop
fail
L175:
blezalc $14, Lret
li $10, 1
beqzc $10, L18
nop
fail
L18:
writemsg "[18] Test BGEZALC"
bgezalc $14, Lfail
nop
bgezalc $11, Lret
li $10, 1
beqzc $10, L185
nop
fail
L185:
bgezalc $12, Lret
li $10, 1
beqzc $10, L19
nop
fail
L19:
writemsg "[19] Test BGTZALC"
bgtzalc $14, Lfail
nop
bgtzalc $11, Lfail
nop
bgtzalc $12, Lret
li $10, 1
beqzc $10, L20
nop
fail
L20:
writemsg "[20] Test BLTZALC"
bltzalc $12, Lfail
nop
bltzalc $11, Lfail
nop
bltzalc $14, Lret
li $10, 1
beqzc $10, L21
nop
fail
L21:
writemsg "[21] Test BC"
bc L22
fail
L22:
writemsg "[22] Test BALC"
balc Lret
li $10, 1
beqzc $10, L23
nop
fail
L23:
writemsg "[23] Test JIC"
jal GetPC
nop
jic $6, 4
nop
fail
L24:
writemsg "[24] Test JIALC"
li $10, 1
jal GetPC
nop
jialc $6, 20
nop
beqzc $10, L25
nop
fail
LJIALCRET:
li $10, 0
jr $ra
nop
L25:
writemsg "[25] Test NAL"
jal GetPC
nop
move $11, $6
nal
nop
addiu $11, 12
beqc $11, $31, L26
nop
fail
L26:
writemsg "[26] Test BAL"
balc Lret
li $10, 1
beqzc $10, Lend
nop
fail
Lend:
pass
Lfail:
fail
.end DIAG
Lret:
li $10, 0
addiu $ra, 4
jr $ra
nop
|