1# Copyright (C) 1999-2017 Free Software Foundation, Inc.
2
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with this program; if not, write to the Free Software
15# Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
16# MA 02110-1301, USA.
17
18# Please email any bugs, comments, and/or additions to this file to:
19# hp@axis.com
20
21# Written by Axis Communications AB.
22
23# --- This function copied from arc.exp and rewritten to fit CRIS ---
24#
25# Test an insn from a template .s/.d.
26# The best way to create the .d file is to run the tests without it, let
27# dejagnu crash, run as.new on the just built .s file, run objdump -dr on
28# the result of that, copy the result into the .d file, and edit in the
29# necessary patterns (@OC@, etc.).  Sounds complicated but it's easy.  The
30# catch is that we assume a working assembler is used to build it.  That's
31# obviously not entirely kosher, but once the .d file is created one can
32# verify it's contents over time.
33#
34# Template patterns:
35# @OC@ - placeholder for the opcode
36# @OR@ - placeholder for extra replacement to distinguish similar
37#	 testcases.
38# @IR+????@ - placeholder for (e.g.) register-operand insn code
39# @IM+????@ - placeholder for (e.g.) memory-operand insn code.
40
41proc test_template_insn_reg_mem { args } {
42    # tmpl opcode ircode imcode avoid_regex dname ircode0
43    # imcode0 [regex replace OR_replace]
44    global srcdir subdir objdir
45
46    set tmpl [lindex $args 0]
47    set opcode [lindex $args 1]
48    set ircode [lindex $args 2]
49    set imcode [lindex $args 3]
50    set avoid_regex [lindex $args 4]
51    set dname [lindex $args 5]
52    set ircode0 [lindex $args 6]
53    set imcode0 [lindex $args 7]
54
55    if { [llength $args] >= 10 } {
56	set replace_regex [lindex $args 8]
57	set replacement [lindex $args 9]
58    } else {
59	set replace_regex ""
60    }
61
62    # Any extra replacements (like modifying the test name to something
63    # else than the @OC@ modification).  Replaces occurrences of @OR@.
64    if { [llength $args] >= 11 } then {
65	set extra_OR_replace [lindex $args 10]
66    } else {
67	set extra_OR_replace ""
68    }
69
70    # Get the parts that we will wedge into the insn.
71    if [regexp "(.)(.)(.)" $imcode junk imcode3 imcode2 imcode1] {
72	set imcode3 [expr "0x$imcode3" ]
73    } else {
74	regexp "(.)(.)" $imcode junk imcode2 imcode1
75        set imcode3 0
76    }
77    set imcode1 [expr "0x$imcode1" ]
78    set imcode2 [expr "0x$imcode2" ]
79
80    if [regexp "(.)(.)(.)" $ircode junk ircode3 ircode2 ircode1] {
81	set ircode3 [expr "0x$ircode3" ]
82    } else {
83	regexp "(.)(.)" $ircode junk ircode2 ircode1
84	set ircode3 0
85    }
86    set ircode1 [expr "0x$ircode1" ]
87    set ircode2 [expr "0x$ircode2" ]
88
89    # To avoid fiddling with the generated .d-file, we have a
90    # parameter saying what ircode, imcode to subtract.
91    if [regexp "(.)(.)(.)" $imcode0 junk imcode03 imcode02 imcode01] {
92	set imcode03 [expr "0x$imcode03" ]
93    } else {
94	regexp "(.)(.)" $imcode0 junk imcode02 imcode01
95	set imcode03 0
96    }
97    set imcode01 [expr "0x$imcode01" ]
98    set imcode02 [expr "0x$imcode02" ]
99
100    if [regexp "(.)(.)(.)" $ircode0 junk ircode03 ircode02 ircode01] {
101	set ircode03 [expr "0x$ircode03" ]
102    } else {
103	regexp "(.)(.)" $ircode0 junk ircode02 ircode01
104	set ircode03 0
105    }
106
107    set ircode01 [expr "0x$ircode01" ]
108    set ircode02 [expr "0x$ircode02" ]
109
110    # The output template may be in another file than what the
111    # source template is.
112    if [string match $dname ""] {
113	set dname $tmpl
114    }
115
116    # Change @OC@ in the template file to $opcode
117
118    set in_fd [open $srcdir/$subdir/$tmpl.s r]
119    set out_fd [open $objdir/$opcode-test.s w]
120    # FIXME: check return codes
121
122    while { [gets $in_fd line] >= 0 } {
123	if { [string match "" "$avoid_regex"] \
124		|| ![regexp "$avoid_regex" $line] } {
125
126	    # verbose "Keeping $line for $opcode"
127
128	    # If caller passed a replacement regex, use it.
129	    if ![string match "" "$replace_regex"] {
130		# verbose "Replacing $line with ..."
131		regsub $replace_regex $line $replacement line
132		# verbose "... $line"
133	    }
134	    regsub "@OC@" $line $opcode line
135
136	    puts $out_fd $line
137	} else {
138	    # verbose "Skipping $line for $opcode"
139	}
140    }
141
142    close $in_fd
143    close $out_fd
144
145    # Create output template.
146
147    set in_fd [open $srcdir/$subdir/$dname.d r]
148    set out_fd [open $objdir/$opcode-test.d w]
149    # FIXME: check return codes
150
151    while { [gets $in_fd line] >= 0 } {
152	regsub "@OC@" $line $opcode line
153	#send_user "$line\n"
154
155	regsub "@OR@" $line $extra_OR_replace line
156
157	if [string match "*@IM+????@*" $line] {
158	    # Insert the memory opcode.  imcode2 occupies the high four bits
159	    # of the first (presented as leftmost) byte of the
160	    # IC parameter, and imcode1 the low four bits of the second
161	    # (rightmost) byte.
162	    regexp "^(.*)@IM\\+(.)(.)(.)(.)@(.*)$" \
163		    $line junk leftpart n1 n2 n3 n4 rightpart
164	    # verbose "IM $n1 $n2 $n3 $n4 ($imcode1 $imcode2 $imcode3 $imcode01 $imcode02 $imcode03)"
165
166	    set n1 [expr 0x$n1 - $imcode01 ]
167	    set n3 [expr 0x$n3 - $imcode03 ]
168	    set n4 [expr 0x$n4 - $imcode02 ]
169
170	    set n [expr ($imcode1 << 12) + ($n1 << 12) + (0x$n2 << 8) \
171		    + ($n3 << 4) + ($imcode3 << 4) + $n4 + $imcode2 ]
172	    set n [format "%04x" $n]
173	    puts $out_fd "$leftpart$n$rightpart"
174	} elseif [string match "*@IR+????@*" $line] {
175	    # As IM, but use the register opcode.
176	    regexp "^(.*)@IR\\+(.)(.)(.)(.)@(.*)$" \
177		    $line junk leftpart n1 n2 n3 n4 rightpart
178	    # verbose "IR $n1 $n2 $n3 $n4 ($ircode1 $ircode2 $ircode3 $ircode01 $ircode02 $ircode03)"
179
180	    set n1 [expr 0x$n1 - $ircode01 ]
181	    set n3 [expr 0x$n3 - $ircode03 ]
182	    set n4 [expr 0x$n4 - $ircode02 ]
183
184	    set n [expr ($ircode1 << 12) + ($n1 << 12) + (0x$n2 << 8) \
185		    + ($n3 << 4) + ($ircode3 << 4) + $n4 + $ircode2 ]
186	    set n [format "%04x" $n]
187	    puts $out_fd "$leftpart$n$rightpart"
188	} else {
189	    puts $out_fd $line
190	}
191    }
192
193    close $in_fd
194    close $out_fd
195
196    # Finally, run the test.
197
198    run_dump_test $objdir/$opcode-test
199
200    # "make clean" won't delete these, so for now we must.
201    catch "exec rm -f $objdir/$opcode-test.s $objdir/$opcode-test.d"
202}
203# --- End of arc.exp borrow ---
204
205proc test_template_insn_reg { args } {
206# tmpl opcode ircode avoid_regex dname ircode0 [regex replace OR_replace]
207    if { [llength $args] == 6 } {
208	test_template_insn_reg_mem [lindex $args 0] [lindex $args 1] \
209		[lindex $args 2] 00 [lindex $args 3] [lindex $args 4] \
210		[lindex $args 5] 00
211    } elseif { [llength $args] == 9 } {
212	test_template_insn_reg_mem [lindex $args 0] [lindex $args 1] \
213		[lindex $args 2] 00 [lindex $args 3] [lindex $args 4] \
214		[lindex $args 5] 00 [lindex $args 6] [lindex $args 7] \
215		[lindex $args 8]
216    } else {
217	test_template_insn_reg_mem [lindex $args 0] [lindex $args 1] \
218		[lindex $args 2] 00 [lindex $args 3] [lindex $args 4] \
219		[lindex $args 5] 00 [lindex $args 6] [lindex $args 7]
220    }
221}
222
223# For insn with only memory operands.
224proc test_template_insn_mem { args } {
225# tmpl opcode imcode avoid_regex dname imcode0 [regex replace]
226    if { [llength $args] == 6 } {
227	test_template_insn_reg_mem [lindex $args 0] [lindex $args 1] 00 \
228		[lindex $args 2] [lindex $args 3] [lindex $args 4] 00 \
229		[lindex $args 5]
230    } else {
231	test_template_insn_reg_mem [lindex $args 0] [lindex $args 1] 00 \
232		[lindex $args 2] [lindex $args 3] [lindex $args 4] 00 \
233		[lindex $args 5] [lindex $args 6] [lindex $args 7]
234    }
235}
236
237# For insn without substitutions in the output pattern.
238proc test_template_insn_single { tmpl opcode avoid_regex dname } {
239    test_template_insn_reg_mem $tmpl $opcode 00 00 "$avoid_regex" $dname 00 00
240}
241
242# For iteration over special registers.  Spec reg name in "regname",
243# number in "regno".  Type (size) in "regtype".	 Size-patterns to avoid
244# in input_avoid.
245proc to_sreg { regname regno regtype input_avoid } {
246    test_template_insn_reg_mem binop move \
247	    [format "%0x63" $regno] [format "%0xa3" $regno] \
248	    ",r\[0-9\]+,r\[0-9\]|@OC@\[^\\.\]|$input_avoid" \
249	    "x-to-$regtype-sreg" 063 0a3 \
250	    "@OC@\[^ \]+ (.*),r\[0-9\]+" [format "@OC@ \\1,%s" $regname] \
251	    $regname
252}
253
254# As to_sreg, but using unop, since we don't need to test constants.
255proc sreg_to { regname regno regtype input_avoid } {
256    test_template_insn_reg_mem unop move \
257	    [format "%0x67" $regno] [format "%0xa7" $regno] \
258	    "@OC@\\." "sreg-to-x" 067 0a7 \
259	    "@OC@ (.*)" [format "@OC@ %s,\\1" $regname] $regname
260}
261
262# Replace registers in pushpop
263proc push_pop { regname regno regtype input_avoid } {
264    test_template_insn_reg_mem pushpop pushpop-sreg \
265	    00 [format "%0x00" $regno] \
266	    "$input_avoid" "pushpop-$regtype-sreg" 00 000 \
267	    "(\\.\[bwd\])? ((\[^, \]*,)?)r\[0-9\]+((,.*)?)" " \\2$regname\\4" $regname
268}
269
270#
271# Iterate over spec reg names and spec reg numbers.
272#
273proc do_spec_regs { inner_function spec_reg_list } {
274    for { set i 0 } { $i < [llength $spec_reg_list] } { incr i } {
275	set regname [lindex [lindex $spec_reg_list $i] 0]
276	set regno [lindex [lindex $spec_reg_list $i] 1]
277
278	set regtype [lindex [lindex $spec_reg_list $i] 2]
279	set input_avoid	 [lindex [lindex $spec_reg_list $i] 3]
280
281	# verbose "$regname $regno $regtype $input_avoid"
282	$inner_function $regname $regno $regtype $input_avoid
283    }
284}
285
286if [istarget cris-*-*] then {
287    # Note that registers are missing, since the assembler will
288    # rightfully emit errors for registers that are not in current
289    # silicon.  Those are currently p2 and p3.
290    # Note the special for dcr1, since it has different size for
291    # different silicon, which matters for assembling and displaying
292    # "immediate constants".
293    set spec_reg_list [list \
294	    [list p0 0 "byte" "(@OC@|move)\\.\[wd\]" ] \
295	    [list p1 1 "byte" "(@OC@|move)\\.\[wd\]" ] \
296	    [list vr 1 "byte" "(@OC@|move)\\.\[wd\]" ] \
297	    [list p4 4 "word" "(@OC@|move)\\.\[bd\]" ] \
298	    [list p5 5 "word" "(@OC@|move)\\.\[bd\]" ] \
299	    [list ccr 5 "word" "(@OC@|move)\\.\[bd\]" ] \
300	    [list p6 6 "word" "(@OC@|move)\\.\[bd\]" ] \
301	    [list dcr0 6 "word" "(@OC@|move)\\.\[bd\]" ] \
302	    [list p7 7 "dword" "(@OC@|move)\\.\[bw\]" ] \
303	    [list dcr1 7 "dcr1" "(@OC@|move)\\.\[bd\]" ] \
304	    [list p8 8 "dword" "(@OC@|move)\\.\[bw\]" ] \
305	    [list p9 9 "dword" "(@OC@|move)\\.\[bw\]" ] \
306	    [list ibr 9 "dword" "(@OC@|move)\\.\[bw\]" ] \
307	    [list p10 10 "dword" "(@OC@|move)\\.\[bw\]" ] \
308	    [list irp 10 "dword" "(@OC@|move)\\.\[bw\]" ] \
309	    [list p11 11 "dword" "(@OC@|move)\\.\[bw\]" ] \
310	    [list srp 11 "dword" "(@OC@|move)\\.\[bw\]" ] \
311	    [list p12 12 "dword" "(@OC@|move)\\.\[bw\]" ] \
312	    [list bar 12 "dword" "(@OC@|move)\\.\[bw\]" ] \
313	    [list dtp0 12 "dword" "(@OC@|move)\\.\[bw\]" ] \
314	    [list p13 13 "dword" "(@OC@|move)\\.\[bw\]" ] \
315	    [list dccr 13 "dword" "(@OC@|move)\\.\[bw\]" ] \
316	    [list dtp1 13 "dword" "(@OC@|move)\\.\[bw\]" ] \
317	    [list p14 14 "dword" "(@OC@|move)\\.\[bw\]" ] \
318	    [list brp 14 "dword" "(@OC@|move)\\.\[bw\]" ] \
319	    [list p15 15 "dword" "(@OC@|move)\\.\[bw\]" ]]
320
321    # Test basic instructions.  Note that this will actually
322    # test both the assembler and the disassembler functionality.
323    #untested ".weak reduction"
324    #untested "Old regressions"
325    #untested "LX"
326    #untested "case recognition (disassembler)"
327    #untested "disassembling special regs"
328    #untested "disassembling unimplemented special regs"
329
330    # *PLEASE* make new "simple" run_dump_test-tests match "rd-*.d", so
331    # they will be picked up automatically through this construct.  This
332    # so you don't need to change cris.exp.  (As perhaps should have been
333    # originally done for cases below, but which is not worth fixing now.)
334    set rd_test_list [lsort [glob -nocomplain $srcdir/$subdir/rd-*.d]]
335    for { set i 0 } { $i < [llength $rd_test_list] } { incr i } {
336	# We need to strip the ".d", but can leave the dirname.
337	verbose [file rootname [lindex $rd_test_list $i]]
338	run_dump_test [file rootname [lindex $rd_test_list $i]]
339    }
340
341    # Broken word handling got erroneously triggers for this and
342    # got out-of-bounds errors.
343    # FIXME:  Check closer that this gets the expected results and fix
344    # the general use of difference-expressions in binop.s and elsewhere.
345    gas_test "binop-segref.s" "" "" "False broken words"
346
347    # Really orthogonal instructions.
348    test_template_insn_reg_mem binop add 60 a0 "@OC@\[^\\.\]" "" 60 a0
349    test_template_insn_reg_mem binop sub 68 a8 "@OC@\[^\\.\]" "" 60 a0
350    test_template_insn_reg_mem binop bound 5c 9c "@OC@\[^\\.\]" "" 60 a0
351    test_template_insn_reg_mem binop and 70 b0 "@OC@\[^\\.\]" "" 60 a0
352    test_template_insn_reg_mem binop or 74 b4 "@OC@\[^\\.\]" "" 60 a0
353
354    # Unary (two-operand) insns, otherwise as above.
355    test_template_insn_reg_mem binop cmp 6c ac \
356	    ",r\[0-9\]+,r\[0-9\]|@OC@\[^\\.\]" "binop-cmpmove" 64 a4
357    # This is of course only the move-to-register one.
358    test_template_insn_reg_mem binop move 64 a4 \
359	    ",r\[0-9\]+,r\[0-9\]|@OC@\[^\\.\]" "binop-cmpmove" 64 a4
360
361    # No dword size - operations with sign- or zero-extend on
362    # the mem or reg operand.
363    test_template_insn_reg_mem binop addu 40 80 \
364	    "@\\.d|@OC@\[^\\.\]" "binop-extx" 40 80
365    test_template_insn_reg_mem binop adds 42 82 \
366	    "@\\.d|@OC@\[^\\.\]" "binop-extx" 40 80
367    test_template_insn_reg_mem binop subu 48 88 \
368	    "@\\.d|@OC@\[^\\.\]" "binop-extx" 40 80
369    test_template_insn_reg_mem binop subs 4a 8a \
370	    "@\\.d|@OC@\[^\\.\]" "binop-extx" 40 80
371
372    # The two constraints above combined, and no reg-to-reg -
373    # cmps, cmpu, movs, movu.  We have to test reg-to-reg
374    # separately for movs and movu.
375    test_template_insn_mem binop movs 86 \
376	    "r\[0-9\]+,r\[0-9\]+|@\\.d|@OC@\[^\\.\]" "binop-cmpmovx" 84
377    test_template_insn_mem binop movu 84 \
378	    "r\[0-9\]+,r\[0-9\]+|@\\.d|@OC@\[^\\.\]" "binop-cmpmovx" 84
379    test_template_insn_mem binop cmps 8e \
380	    "r\[0-9\]+,r\[0-9\]+|@\\.d|@OC@\[^\\.\]" "binop-cmpmovx" 84
381    test_template_insn_mem binop cmpu 8c \
382	    "r\[0-9\]+,r\[0-9\]+|@\\.d|@OC@\[^\\.\]" "binop-cmpmovx" 84
383
384    # Reg-to-memory.  FIXME: Perhaps we should use unop.s for
385    # everything, and insert registers (including special
386    # registers) for all reg-to-mem and mem-to-reg insn tests.
387    test_template_insn_mem binop move.b bc "@OC@\\." "reg-to-mem" bc
388    test_template_insn_mem binop move.w bd "@OC@\\." "reg-to-mem" bc
389    test_template_insn_mem binop move.d be "@OC@\\." "reg-to-mem" bc
390    test_template_insn_mem binop movem bf "@OC@\\." "reg-to-mem" bc
391
392    # Use the replace-regex functionality to reverse the
393    # operands for movem.
394    test_template_insn_mem binop movem 00 "@OC@\\." "movem-to-reg" 00 \
395	    "@OC@ r(\[0-9\]+),\\\[(.*)\\\]" "@OC@ \[\\2\],r\\1"
396
397    # The unary operations are too irregular to make a pattern
398    # of the output.
399    test_template_insn_single unop test "@OC@\[^\\.\]" "test"
400    test_template_insn_single unop clear "@OC@\[^\\.\]" "clear"
401
402    # Quick-operand tests.
403    #
404    # Unsigned 5-bits: btstq, asrq, lslq, lsrq.
405    test_template_insn_reg quick btstq 38 "s6|u6" "quick-u5" 38
406    test_template_insn_reg quick asrq 3a "s6|u6" "quick-u5" 38
407    test_template_insn_reg quick lslq 3c "s6|u6" "quick-u5" 38
408    test_template_insn_reg quick lsrq 3e "s6|u6" "quick-u5" 38
409
410    # Signed 6-bits: moveq, cmpq, andq, orq.
411    test_template_insn_reg quick moveq 24 "u6" "quick-s6" 24
412    test_template_insn_reg quick cmpq 2c "u6" "quick-s6" 24
413    test_template_insn_reg quick andq 30 "u6" "quick-s6" 24
414    test_template_insn_reg quick orq 34 "u6" "quick-s6" 24
415
416    # Unsigned 6-bits:  addq, subq.
417    test_template_insn_reg quick addq 20 "s6" "quick-u6" 20
418    test_template_insn_reg quick subq 28 "s6" "quick-u6" 20
419
420    # Register-to-register instructions, for each size.
421    test_template_insn_reg regreg movu.b 44 "" "" 44
422    test_template_insn_reg regreg movu.w 45 "" "" 44
423    test_template_insn_reg regreg movs.b 46 "" "" 44
424    test_template_insn_reg regreg movs.w 47 "" "" 44
425    test_template_insn_reg regreg lsl.b 4c "" "" 44
426    test_template_insn_reg regreg lsl.w 4d "" "" 44
427    test_template_insn_reg regreg lsl.d 4e "" "" 44
428    test_template_insn_reg regreg neg.b 58 "" "" 44
429    test_template_insn_reg regreg neg.w 59 "" "" 44
430    test_template_insn_reg regreg neg.d 5a "" "" 44
431    test_template_insn_reg regreg asr.b 78 "" "" 44
432    test_template_insn_reg regreg asr.w 79 "" "" 44
433    test_template_insn_reg regreg asr.d 7a "" "" 44
434    test_template_insn_reg regreg lsr.b 7c "" "" 44
435    test_template_insn_reg regreg lsr.w 7d "" "" 44
436    test_template_insn_reg regreg lsr.d 7e "" "" 44
437    test_template_insn_reg regreg btst 4f "" "" 44
438    test_template_insn_reg regreg abs 6b "" "" 44
439    test_template_insn_reg regreg dstep 6f "" "" 44
440    test_template_insn_reg regreg xor 7b "" "" 44
441    test_template_insn_reg regreg mstep 7f "" "" 44
442
443    # The various incarnations of the swap(n) insn.
444    set nwbr_list [list [list "not" 877] \
445	    [list "swapw" 477] \
446	    [list "swapnw" c77] \
447	    [list "swapb" 277] \
448	    [list "swapnb" a77] \
449	    [list "swapwb" 677] \
450	    [list "swapnwb" e77] \
451	    [list "swapr" 177] \
452	    [list "swapnr" 977] \
453	    [list "swapwr" 577] \
454	    [list "swapnwr" d77] \
455	    [list "swapbr" 377] \
456	    [list "swapnbr" b77] \
457	    [list "swapwbr" 777] \
458	    [list "swapnwbr" f77]]
459
460    for { set i 0 } { $i < [llength $nwbr_list] } { incr i } {
461	set name [lindex [lindex $nwbr_list $i] 0]
462	set number [lindex [lindex $nwbr_list $i] 1]
463
464	test_template_insn_reg regreg $name $number "" "oneop-type" 877 \
465		",r\[0-9]+" "" $name
466    }
467
468    # And one extra for the one that is canonicalized as "not".
469    test_template_insn_reg regreg swapn 877 "" "oneop-type" 877 \
470	    ",r\[0-9]+" "" not
471
472    # And take the opportunity to make sure that the assembler
473    # recognizes StUDlYCaPs.
474    test_template_insn_reg regreg SWAPN 877 "" "oneop-type" 877 \
475	    ",r\[0-9]+" "" not
476    test_template_insn_reg regreg Swapn 877 "" "oneop-type" 877 \
477	    ",r\[0-9]+" "" not
478    test_template_insn_reg regreg sWApN 877 "" "oneop-type" 877 \
479	    ",r\[0-9]+" "" not
480
481    # Fixed-size unary memory instructions.
482    test_template_insn_mem unop jsr b93 "@OC@\\." "jump-type" b93
483    test_template_insn_mem unop jump 093 "@OC@\\." "jump-type" b93
484    test_template_insn_mem unop jir a93 "@OC@\\." "jump-type" b93
485
486    # Non-templated tests.
487    run_dump_test "ccr"
488    run_dump_test "scc"
489    run_dump_test "pushpop"
490    run_dump_test "prefix"
491    run_dump_test "unimplemented"
492    run_dump_test "return"
493    run_dump_test "branch"
494    run_dump_test "separator"
495    run_dump_test "diffexp-ovwr"
496    run_dump_test "continue"
497    run_dump_test "nosep"
498    run_dump_test "labfloat"
499    run_dump_test "bork"
500
501    # This seems like a generic expression evaluation problem.
502    setup_xfail "cris-*-*"
503    run_dump_test "shexpr-1"
504
505    # The "@" will be erroneously interpreted as a line-separator in a
506    # macro here-label marker: "\@".
507    setup_xfail "cris-*-*"
508    run_dump_test "macroat"
509
510    # "\x20a" will be recognized as "\n" rather than " a"
511    setup_xfail "cris-*-*"
512    run_dump_test "string-1"
513    # Same as above, but removed the failing case to make sure the rest
514    # still works.
515    run_dump_test "string-2"
516
517    # Usable (non-redundant) and refreshed bits from the old, manual,
518    # test suite.
519    run_dump_test "brokw-1"
520    run_dump_test "brokw-2"
521    run_dump_test "brokw-3"
522    run_dump_test "fragtest"
523
524    # Addi is too irregular to bother applying templates to.
525    run_dump_test "addi"
526
527    # Test {mem (including constants), reg}-to/from-spec-reg.
528    do_spec_regs to_sreg $spec_reg_list
529    do_spec_regs sreg_to $spec_reg_list
530    do_spec_regs push_pop $spec_reg_list
531
532    # Additional insns for CRIS v3:
533    run_dump_test "break"
534    test_template_insn_reg regreg lz 73 "" "" 44
535
536    # Additional insns for CRIS v8 (also the swapxxx insns other than "not" above).
537    test_template_insn_mem unop jirc 293 "@OC@\\." "jump-type" b93
538    test_template_insn_mem unop jsrc 393 "@OC@\\." "jump-type" b93
539    test_template_insn_mem unop jbrc 693 "@OC@\\." "jump-type" b93
540
541    # Additional insns for CRIS v10:
542    test_template_insn_reg regreg mulu.b 90 "" "" 44
543    test_template_insn_reg regreg mulu.w 91 "" "" 44
544    test_template_insn_reg regreg mulu.d 92 "" "" 44
545    test_template_insn_reg regreg muls.b d0 "" "" 44
546    test_template_insn_reg regreg muls.w d1 "" "" 44
547    test_template_insn_reg regreg muls.d d2 "" "" 44
548    test_template_insn_mem unop sbfs 3b7 "@OC@\\.| r\[0-9\]+$" "unop-mem" 3b7
549    test_template_insn_mem unop rbf 3b3 "@OC@\\.| r\[0-9\]+$" "unop-mem" 3b7
550    test_template_insn_mem unop jmpu 893 "@OC@\\.| r\[0-9\]+$" "unop-mem" 3b7
551
552    # Some dg-tests, which seems the easiest way to test error
553    # cases.  Keeping it here at the end avoids getting a
554    # "Tcl_RegisterChannel: duplicate channel names" error, and
555    # I don't see a cause to put this in a separate file.  Hey,
556    # isn't dg-finish supposed to make things (like this case)
557    # fine?
558    load_lib gas-dg.exp
559    dg-init
560    dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*-err-*.s $srcdir/$subdir/*-warn-*.s]] "" ""
561    dg-finish
562}
563