From: Jason Eckhardt Date: Mon, 4 Aug 2003 02:23:49 +0000 (+0000) Subject: 2003-08-03 Jason Eckhardt X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c83c43717798151329b283c00c9b9618ae744a31;p=binutils-gdb.git 2003-08-03 Jason Eckhardt * gas/i860/dual01.{s,d}: New files. * gas/i860/dual02-err.{s,l}: New files. * gas/i860/dual03.{s,d}: New files. * gas/i860/i860.exp: Execute the above new tests. * gas/i860/README.i860: Update. --- diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 117e41b4d7d..b6753c46414 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2003-08-03 Jason Eckhardt + + * gas/i860/dual01.{s,d}: New files. + * gas/i860/dual02-err.{s,l}: New files. + * gas/i860/dual03.{s,d}: New files. + * gas/i860/i860.exp: Execute the above new tests. + * gas/i860/README.i860: Update. + 2003-08-02 Alan Modra * gas/d10v/address-001.d: Adjust for objdump -d change. diff --git a/gas/testsuite/gas/i860/README.i860 b/gas/testsuite/gas/i860/README.i860 index d65b11912bb..c5a2a110dcf 100644 --- a/gas/testsuite/gas/i860/README.i860 +++ b/gas/testsuite/gas/i860/README.i860 @@ -3,10 +3,12 @@ Testsuite for the i860 version of the GNU assembler --------------------------------------------------- This is a simple testsuite for the i860 assembler. It currently -consists of testcases for checking that every instruction is -parsed correctly and that correct object code is generated. +consists mostly of testcases for checking that every instruction is +parsed correctly and that correct object code is generated (these +are called "blah.s"). The files called "blah-err.s" test for error +conditions. -It includes testcases for the base i860XR instruction set as well +The suite includes testcases for the base i860XR instruction set as well as the enhanced i860XP instructions and control registers. The expected results files were generated using the UNIX System V/i860 @@ -17,11 +19,18 @@ way GAS/i860 is tested against a known good assembler. TODO: - Relocation testing is basically non-existent. - pst.d (pixel store) is the only instruction with no testcase. - - Tests for dual instruction mode: alignment of a dual mode pair, - check that dual mode has a proper pair (FLOP/integer) of instructions, - known gas defect when handling the d.fnop, etc. - - All current testcases use the default AT&T/SVR4 syntax; a few simple - tests of the Intel syntax should be added to prevent bitrot. + - More tests for dual instruction mode: check that dual mode has a + proper pair (FLOP/core) of instructions, and other error conditions. + - Most current testcases use the default AT&T/SVR4 syntax; a few simple + tests of the Intel syntax should be added to prevent bitrot (including + relocatable expression syntax, etc). Test file dual03.s uses Intel + syntax lightly (i.e., register names without '%' prefix). Contact me (Jason Eckhardt, jle@rice.edu) if you'd like to help. +Known failures: + - dual01.s: GAS mishandles d.fnop (dual bit erroneously set on next + instruction). + - dual02-err.s: GAS currently doesn't check that dual mode pairs + are properly aligned. + diff --git a/gas/testsuite/gas/i860/dual01.d b/gas/testsuite/gas/i860/dual01.d new file mode 100644 index 00000000000..ee182e0af71 --- /dev/null +++ b/gas/testsuite/gas/i860/dual01.d @@ -0,0 +1,21 @@ +#as: +#objdump: -d +#name: i860 dual01 + +.*: +file format .* + +Disassembly of section \.text: + +00000000 <\.text>: + 0: 00 00 00 a0 shl %r0,%r0,%r0 + 4: 00 00 00 a0 shl %r0,%r0,%r0 + 8: b0 47 4c 49 d.pfadd.dd %f8,%f10,%f12 + c: 00 28 c6 90 adds %r5,%r6,%r6 + 10: b0 47 4c 49 d.pfadd.dd %f8,%f10,%f12 + 14: 10 00 58 25 fld.d 16\(%r10\),%f24 + 18: 00 02 00 b0 d.shrd %r0,%r0,%r0 + 1c: 08 00 48 25 fld.d 8\(%r10\),%f8 + 20: 00 02 00 b0 d.shrd %r0,%r0,%r0 + 24: 00 00 50 25 fld.d 0\(%r10\),%f16 + 28: 00 00 00 a0 shl %r0,%r0,%r0 + 2c: 00 00 00 a0 shl %r0,%r0,%r0 diff --git a/gas/testsuite/gas/i860/dual01.s b/gas/testsuite/gas/i860/dual01.s new file mode 100644 index 00000000000..e7aa271a79b --- /dev/null +++ b/gas/testsuite/gas/i860/dual01.s @@ -0,0 +1,17 @@ +# Test fnop's dual bit (all other floating point operations have their dual +# bit tested in their individual test files). + + .text + .align 8 + nop + nop + d.pfadd.dd %f8,%f10,%f12 + adds %r5,%r6,%r6 + d.pfadd.dd %f8,%f10,%f12 + fld.d 16(%r10),%f24 + d.fnop + fld.d 8(%r10),%f8 + d.fnop + fld.d 0(%r10),%f16 + nop + nop diff --git a/gas/testsuite/gas/i860/dual02-err.l b/gas/testsuite/gas/i860/dual02-err.l new file mode 100644 index 00000000000..f8f1a1d8eb9 --- /dev/null +++ b/gas/testsuite/gas/i860/dual02-err.l @@ -0,0 +1,2 @@ +.*: Assembler messages: +.*:7: Error: FLOP with 'd\.' prefix must be 8-byte aligned diff --git a/gas/testsuite/gas/i860/dual02-err.s b/gas/testsuite/gas/i860/dual02-err.s new file mode 100644 index 00000000000..05d1835c062 --- /dev/null +++ b/gas/testsuite/gas/i860/dual02-err.s @@ -0,0 +1,9 @@ +# Dual-mode pairs must be aligned on an 8-byte boundary. This tests +# that an error is reported if not properly aligned. + + .text + .align 8 + nop + d.fadd.ss %f3,%f5,%f7 + addu %r4,%r5,%r6 + diff --git a/gas/testsuite/gas/i860/dual03.d b/gas/testsuite/gas/i860/dual03.d new file mode 100644 index 00000000000..30c0130f7c4 --- /dev/null +++ b/gas/testsuite/gas/i860/dual03.d @@ -0,0 +1,53 @@ +#as: -mintel-syntax +#objdump: -d +#name: i860 dual03 + +.*: +file format .* + +Disassembly of section \.text: + +00000000 : + 0: 00 00 14 22 fld.d %r0\(%r16\),%f20 + 4: fe ff 15 94 adds -2,%r0,%r21 + 8: 30 06 00 48 d.pfadd.ss %f0,%f0,%f0 + c: fa ff 31 96 adds -6,%r17,%r17 + 10: 30 06 00 48 d.pfadd.ss %f0,%f0,%f0 + 14: 02 a8 20 b6 bla %r21,%r17,0x00000020 // 20 + 18: 30 06 00 48 d.pfadd.ss %f0,%f0,%f0 + 1c: 09 00 16 26 fld.d 8\(%r16\)\+\+,%f22 + +00000020 : + 20: 30 a6 de 4b d.pfadd.ss %f20,%f30,%f30 + 24: 06 a8 20 b6 bla %r21,%r17,0x00000040 // 40 + 28: 30 ae ff 4b d.pfadd.ss %f21,%f31,%f31 + 2c: 09 00 14 26 fld.d 8\(%r16\)\+\+,%f20 + 30: 30 a6 de 4b d.pfadd.ss %f20,%f30,%f30 + 34: 0a 00 00 68 br 0x00000060 // 60 + 38: 30 ae ff 4b d.pfadd.ss %f21,%f31,%f31 + 3c: 00 00 00 a0 shl %r0,%r0,%r0 + +00000040 : + 40: 30 b6 de 4b d.pfadd.ss %f22,%f30,%f30 + 44: f6 af 3f b6 bla %r21,%r17,0x00000020 // 20 + 48: 30 be ff 4b d.pfadd.ss %f23,%f31,%f31 + 4c: 09 00 16 26 fld.d 8\(%r16\)\+\+,%f22 + 50: 30 a6 de 4b d.pfadd.ss %f20,%f30,%f30 + 54: 00 00 00 a0 shl %r0,%r0,%r0 + 58: 30 ae ff 4b d.pfadd.ss %f21,%f31,%f31 + 5c: 00 00 00 a0 shl %r0,%r0,%r0 + +00000060 : + 60: 30 b4 de 4b pfadd.ss %f22,%f30,%f30 + 64: fc ff 15 94 adds -4,%r0,%r21 + 68: 30 bc ff 4b pfadd.ss %f23,%f31,%f31 + 6c: 02 a8 20 5a bte %r21,%r17,0x00000078 // 78 + 70: 0b 00 14 26 fld.l 8\(%r16\)\+\+,%f20 + 74: 30 a4 de 4b pfadd.ss %f20,%f30,%f30 + +00000078 : + 78: 30 04 1e 48 pfadd.ss %f0,%f0,%f30 + 7c: 30 f4 ff 4b pfadd.ss %f30,%f31,%f31 + 80: 30 04 1e 48 pfadd.ss %f0,%f0,%f30 + 84: 30 04 00 48 pfadd.ss %f0,%f0,%f0 + 88: 30 04 1f 48 pfadd.ss %f0,%f0,%f31 + 8c: 30 f0 f0 4b fadd.ss %f30,%f31,%f16 diff --git a/gas/testsuite/gas/i860/dual03.s b/gas/testsuite/gas/i860/dual03.s new file mode 100644 index 00000000000..96c313429de --- /dev/null +++ b/gas/testsuite/gas/i860/dual03.s @@ -0,0 +1,46 @@ +// A larger dual-mode test, from the programmer's reference manual. +// This uses Intel syntax, as in the manual. + +// Single-precision vector sum + fld.d r0(r16),f20 + mov -2,r21 + d.pfadd.ss f0,f0,f0 + adds -6,r17,r17 + d.pfadd.ss f0,f0,f0 + bla r21,r17,L1 + d.pfadd.ss f0,f0,f0 + fld.d 8(r16)++,f22 +L1: + d.pfadd.ss f20,f30,f30 + bla r21,r17,L2 + d.pfadd.ss f21,f31,f31 + fld.d 8(r16)++,f20 + d.pfadd.ss f20,f30,f30 + br S + d.pfadd.ss f21,f31,f31 + nop +L2: + d.pfadd.ss f22,f30,f30 + bla r21,r17,L1 + d.pfadd.ss f23,f31,f31 + fld.d 8(r16)++,f22 + d.pfadd.ss f20,f30,f30 + nop + d.pfadd.ss f21,f31,f31 + nop +S: + pfadd.ss f22,f30,f30 + mov -4,r21 + pfadd.ss f23,f31,f31 + bte r21,r17,DONE + fld.l 8(r16)++,f20 + pfadd.ss f20,f30,f30 +DONE: + pfadd.ss f0,f0,f30 + pfadd.ss f30,f31,f31 + pfadd.ss f0,f0,f30 + pfadd.ss f0,f0,f0 + pfadd.ss f0,f0,f31 + fadd.ss f30,f31,f16 + + diff --git a/gas/testsuite/gas/i860/i860.exp b/gas/testsuite/gas/i860/i860.exp index 7dce93393a4..d0f7837ebd5 100644 --- a/gas/testsuite/gas/i860/i860.exp +++ b/gas/testsuite/gas/i860/i860.exp @@ -1,9 +1,53 @@ # i860 assembler testsuite. -if [istarget i860-*-*] { - foreach file [lsort [glob -nocomplain -- $srcdir/$subdir/*.s]] { - set file [file tail $file] - set file [file rootname $file] - run_dump_test "$file" +proc run_list_test { name opts } { + global srcdir subdir + set testname "i860 $name" + set file $srcdir/$subdir/$name + gas_run ${name}.s $opts ">&dump.out" + if { [regexp_diff "dump.out" "${file}.l"] } then { + fail $testname + verbose "output is [file_contents "dump.out"]" 2 + return } -} \ No newline at end of file + pass $testname +} + +if [istarget i860-*-*] { + run_dump_test "bitwise" + run_dump_test "branch" + run_dump_test "bte" + run_dump_test "dual01" + run_list_test "dual02-err" "" + run_dump_test "dual03" + run_dump_test "fldst01" + run_dump_test "fldst02" + run_dump_test "fldst03" + run_dump_test "fldst04" + run_dump_test "fldst05" + run_dump_test "fldst06" + run_dump_test "fldst07" + run_dump_test "fldst08" + run_dump_test "float01" + run_dump_test "float02" + run_dump_test "float03" + run_dump_test "float04" + run_dump_test "form" + run_dump_test "iarith" + run_dump_test "ldst01" + run_dump_test "ldst02" + run_dump_test "ldst03" + run_dump_test "ldst04" + run_dump_test "ldst05" + run_dump_test "ldst06" + run_dump_test "pfam" + run_dump_test "pfmam" + run_dump_test "pfmsm" + run_dump_test "pfsm" + run_dump_test "regress01" + run_dump_test "shift" + run_dump_test "simd" + run_dump_test "system" + run_dump_test "xp" +} +