URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [or1ksim/] [testsuite/] [or1ksim.tests/] [inst-set-test.exp] - Rev 118
Go to most recent revision | Compare with Previous | Blame | View Log
# inst-set-test.exp. Tests of ORBIS32 instruction set# Copyright (C) 2010 Embecosm Limited# Contributor Jeremy Bennett <jeremy.bennett@embecosm.com># This file is part of OpenRISC 1000 Architectural Simulator.# 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/>. */# -----------------------------------------------------------------------------# This code is commented throughout for use with Doxygen.# -----------------------------------------------------------------------------# Run the l.add, l.addc, l.addi and l.addic testsrun_or1ksim "add-test" \[list "! ** OVE flag cleared **" \"!l.add" \" 0x00000001 + 0x00000002 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000001 + 0x00000002 + c = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x40000000 + 0x3fffffff = 0x7fffffff: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x40000000 + 0x40000000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xc0000000 + 0xc0000000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xe0853000);" \"! - SR value: report(0x00009a01);" \" 0x40000000 + 0x40000000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0xe0853000);" \"! - SR value: report(0x00009e01);" \" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.addc" \" 0x00000001 + 0x00000002 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x40000000 + 0x3fffffff = 0x7fffffff: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x40000000 + 0x3fffffff + c = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x40000000 + 0x40000000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xffffffff + 0x00000000 + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000000 + 0xffffffff + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xc0000000 + 0xc0000000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xc0000000 + 0xbfffffff + c = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xe0853001);" \"! - SR value: report(0x00009a01);" \" 0x40000000 + 0x40000000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" RANGE exception" \"! - caused by: report(0xe0853001);" \"! - SR value: report(0x00009a01);" \" 0x40000000 + 0x3fffffff + c = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000000 + 0xffffffff + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0xe0853001);" \"! - SR value: report(0x00009e01);" \" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.addi" \" 0x00000001 + 0x00000002 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000001 + 0x00000002 + c = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x7fff8000 + 0x00007fff = 0x7fffffff: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x80008000 + 0x00008000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0x9c854000);" \"! - SR value: report(0x00009a01);" \" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0x9c858000);" \"! - SR value: report(0x00009e01);" \" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.addic" \" 0x00000001 + 0x00000002 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x7fff8000 + 0x00007fff = 0x7fffffff: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x7fff8000 + 0x00007fff + c = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xffffffff + 0x00000000 + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000000 + 0x0000ffff + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x80008000 + 0x00008000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x80007fff + 0x00008000 + c = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xa0854000);" \"! - SR value: report(0x00009a01);" \" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" RANGE exception" \"! - caused by: report(0xa0853fff);" \"! - SR value: report(0x00009a01);" \" 0x7fffc000 + 0x00003fff + c = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000000 + 0x0000ffff + c = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0xa0858000);" \"! - SR value: report(0x00009e01);" \" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-add-test"# Run the l.div and l.divu testrun_or1ksim "div-test" \[list "!l.div" \" 0x0000000c / 0x00000003 = 0x00000004: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000b / 0x00000003 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0xfffffffd = 0x00000004: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff5 / 0xfffffffd = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0x00000003 = 0xfffffffc: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff5 / 0x00000003 = 0xfffffffd: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000c / 0xfffffffd = 0xfffffffc: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000b / 0xfffffffd = 0xfffffffd: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000c / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xe0853309);" \"! - SR value: report(0x00009601);" \" 0x0000000c / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: TRUE" \" RANGE exception" \"! - caused by: report(0xe0853309);" \"! - SR value: report(0x00009601);" \" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.divu" \" 0x0000000c / 0x00000003 = 0x00000004: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000b / 0x00000003 = 0x00000003: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0xfffffffd = 0x00000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff5 / 0xfffffffd = 0x00000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0x00000003 = 0x55555551: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff5 / 0x00000003 = 0x55555551: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000c / 0xfffffffd = 0x00000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000b / 0xfffffffd = 0x00000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x0000000c / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xe085330a);" \"! - SR value: report(0x00009601);" \" 0x0000000c / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: TRUE" \" RANGE exception" \"! - caused by: report(0xe085330a);" \"! - SR value: report(0x00009601);" \" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-div-test"# Run the l.ff1 and l.fl1 testrun_or1ksim "find-test" \[list "!l.ff1" \" ff1 (0x00000001) = 0x01: OK" \" ff1 (0x80000000) = 0x20: OK" \" ff1 (0x55555555) = 0x01: OK" \" ff1 (0xaaaaaaaa) = 0x02: OK" \" ff1 (0x00018000) = 0x10: OK" \" ff1 (0xc0000000) = 0x1f: OK" \" ff1 (0x00000000) = 0x00: OK" \"!l.fl1" \" fl1 (0x00000001) = 0x01: OK" \" fl1 (0x80000000) = 0x20: OK" \" fl1 (0x55555555) = 0x1f: OK" \" fl1 (0xaaaaaaaa) = 0x20: OK" \" fl1 (0x00018000) = 0x11: OK" \" fl1 (0xc0000000) = 0x20: OK" \" fl1 (0x00000000) = 0x00: OK" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-find-test"# Run the l.lws testrun_or1ksim "lws-test" \[list "!l.lws" \" l.lws r4,0(r5): r4=0xdeadbeef: OK" \" l.lws r4,0(r5): r4=0x00000000: OK" \" l.lws r4,0(r5): r4=0x7fffffff: OK" \" l.lws r4,0(r5): r4=0x80000000: OK" \" l.lws r4,0(r5): r4=0xffffffff: OK" \" l.lws r4,0(r5): r4=0x00000000: OK" \" l.lws r4,0(r5): r4=0x7fffffff: OK" \" l.lws r4,0(r5): r4=0x80000000: OK" \" l.lws r4,0(r5): r4=0xffffffff: OK" \" l.lws r4,0(r5): r4=0xdeadbeef: OK" \" l.lws r4,0(r5): r4=0x00000000: OK" \" l.lws r4,0(r5): r4=0x7fffffff: OK" \" l.lws r4,0(r5): r4=0x80000000: OK" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-lws-test"# Run the l.mac testrun_or1ksim "mac-test" \[list "!l.mac" \" 0x00000000 00000000 + 0x00000002 * 0x00000003 = 0x00000000 00000006: OK" \" 0x00000000 00000006 + 0x00000002 * 0x00000003 = 0x00000000 0000000c: OK" \" 0x00000000 fffffffa + 0x00000002 * 0x00000003 = 0x00000001 00000000: OK" \" 0x3fffffff fffffffa + 0x00000002 * 0x00000003 = 0x40000000 00000000: OK" \" 0xffffffff fffffffa + 0x00000002 * 0x00000003 = 0x00000000 00000000: OK" \" 0xffffffff 00000000 + 0x00000002 * 0x00000003 = 0xffffffff 00000006: OK" \" 0x80000000 00000000 + 0x00000002 * 0x00000003 = 0x80000000 00000006: OK" \"!" \" 0x00000000 00000000 + 0x00008001 * 0x0000fffe = 0x00000000 7ffffffe: OK" \" 0x00000000 00000002 + 0x00008001 * 0x0000fffe = 0x00000000 80000000: OK" \" 0x00000000 80000002 + 0x00008001 * 0x0000fffe = 0x00000001 00000000: OK" \" 0x7fffffff 80000001 + 0x00008001 * 0x0000fffe = 0x7fffffff ffffffff: OK" \" 0xffffffff ffffffff + 0x00008001 * 0x0000fffe = 0x00000000 7ffffffd: OK" \" 0xffffffff 80000002 + 0x00008001 * 0x0000fffe = 0x00000000 00000000: OK" \" 0xfffffffe 80000002 + 0x00008001 * 0x0000fffe = 0xffffffff 00000000: OK" \"!" \" 0x00000000 00000000 + 0xfffffffe * 0xfffffffd = 0x00000000 00000006: OK" \" 0x00000000 00000006 + 0xfffffffe * 0xfffffffd = 0x00000000 0000000c: OK" \" 0xffffffff ffffffff + 0xfffffffe * 0xfffffffd = 0x00000000 00000005: OK" \"!" \" 0x00000000 00000000 + 0x00000002 * 0xfffffffd = 0xffffffff fffffffa: OK" \" 0x00000000 0000000c + 0x00000002 * 0xfffffffd = 0x00000000 00000006: OK" \" 0x00000001 00000005 + 0x00000002 * 0xfffffffd = 0x00000000 ffffffff: OK" \" 0x7fffffff ffffffff + 0x00000002 * 0xfffffffd = 0x7fffffff fffffff9: OK" \" 0xffffffff ffffffff + 0x00000002 * 0xfffffffd = 0xffffffff fffffff9: OK" \" 0xffffffff 00000005 + 0x00000002 * 0xfffffffd = 0xfffffffe ffffffff: OK" \" 0x80000000 00000006 + 0x00000002 * 0xfffffffd = 0x80000000 00000000: OK" \"!" \" 0x00000000 00000000 + 0x00008000 * 0xffff0000 = 0xffffffff 80000000: OK" \" 0x00000000 00000006 + 0x00008000 * 0xffff0000 = 0xffffffff 80000006: OK" \" 0x00000000 80000000 + 0x00008000 * 0xffff0000 = 0x00000000 00000000: OK" \" 0x7fffffff ffffffff + 0x00008000 * 0xffff0000 = 0x7fffffff 7fffffff: OK" \" 0xffffffff ffffffff + 0x00008000 * 0xffff0000 = 0xffffffff 7fffffff: OK" \" 0xffffffff 7fffffff + 0x00008000 * 0xffff0000 = 0xfffffffe ffffffff: OK" \" 0x80000000 80000000 + 0x00008000 * 0xffff0000 = 0x80000000 00000000: OK" \"!" \"l.maci" \" 0x00000000 00000000 + 0x00000002 * 0x00000003 = 0x00000000 00000006: OK" \" 0x00000000 00000006 + 0x00000002 * 0x00000003 = 0x00000000 0000000c: OK" \" 0x00000000 fffffffa + 0x00000002 * 0x00000003 = 0x00000001 00000000: OK" \" 0x3fffffff fffffffa + 0x00000002 * 0x00000003 = 0x40000000 00000000: OK" \" 0xffffffff fffffffa + 0x00000002 * 0x00000003 = 0x00000000 00000000: OK" \" 0xffffffff 00000000 + 0x00000002 * 0x00000003 = 0xffffffff 00000006: OK" \" 0x80000000 00000000 + 0x00000002 * 0x00000003 = 0x80000000 00000006: OK" \"!" \" 0x00000000 00000000 + 0x00010002 * 0x00007fff = 0x00000000 7ffffffe: OK" \" 0x00000000 00000002 + 0x00010002 * 0x00007fff = 0x00000000 80000000: OK" \" 0x00000000 80000002 + 0x00010002 * 0x00007fff = 0x00000001 00000000: OK" \" 0x7fffffff 80000001 + 0x00010002 * 0x00007fff = 0x7fffffff ffffffff: OK" \" 0xffffffff ffffffff + 0x00010002 * 0x00007fff = 0x00000000 7ffffffd: OK" \" 0xffffffff 80000002 + 0x00010002 * 0x00007fff = 0x00000000 00000000: OK" \" 0xfffffffe 80000002 + 0x00010002 * 0x00007fff = 0xffffffff 00000000: OK" \"!" \" 0x00000000 00000000 + 0xfffffffe * 0x0000fffd = 0x00000000 00000006: OK" \" 0x00000000 00000006 + 0xfffffffe * 0x0000fffd = 0x00000000 0000000c: OK" \" 0xffffffff ffffffff + 0xfffffffe * 0x0000fffd = 0x00000000 00000005: OK" \"!" \" 0x00000000 00000000 + 0x00000002 * 0x0000fffd = 0xffffffff fffffffa: OK" \" 0x00000000 0000000c + 0x00000002 * 0x0000fffd = 0x00000000 00000006: OK" \" 0x00000001 00000005 + 0x00000002 * 0x0000fffd = 0x00000000 ffffffff: OK" \" 0x7fffffff ffffffff + 0x00000002 * 0x0000fffd = 0x7fffffff fffffff9: OK" \" 0xffffffff ffffffff + 0x00000002 * 0x0000fffd = 0xffffffff fffffff9: OK" \" 0xffffffff 00000005 + 0x00000002 * 0x0000fffd = 0xfffffffe ffffffff: OK" \" 0x80000000 00000006 + 0x00000002 * 0x0000fffd = 0x80000000 00000000: OK" \"!" \" 0x00000000 00000000 + 0x00010000 * 0x00008000 = 0xffffffff 80000000: OK" \" 0x00000000 00000006 + 0x00010000 * 0x00008000 = 0xffffffff 80000006: OK" \" 0x00000000 80000000 + 0x00010000 * 0x00008000 = 0x00000000 00000000: OK" \" 0x7fffffff ffffffff + 0x00010000 * 0x00008000 = 0x7fffffff 7fffffff: OK" \" 0xffffffff ffffffff + 0x00010000 * 0x00008000 = 0xffffffff 7fffffff: OK" \" 0xffffffff 7fffffff + 0x00010000 * 0x00008000 = 0xfffffffe ffffffff: OK" \" 0x80000000 80000000 + 0x00010000 * 0x00008000 = 0x80000000 00000000: OK" \"!" \"l.macrc" \" 0x00000000 00000000 + 0x00000002 * 0x00000003 = 0x00000006: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 00000006 + 0x00000002 * 0x00000003 = 0x0000000c: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 fffffffa + 0x00000002 * 0x00000003 = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x3fffffff fffffffa + 0x00000002 * 0x00000003 = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff fffffffa + 0x00000002 * 0x00000003 = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff 00000000 + 0x00000002 * 0x00000003 = 0x00000006: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x80000000 00000000 + 0x00000002 * 0x00000003 = 0x00000006: OK" \" - MACHI cleared" \" - MACLO cleared" \"!" \" 0x00000000 00000000 + 0x00008001 * 0x0000fffe = 0x7ffffffe: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 00000002 + 0x00008001 * 0x0000fffe = 0x80000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 80000002 + 0x00008001 * 0x0000fffe = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x7fffffff 80000001 + 0x00008001 * 0x0000fffe = 0xffffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff ffffffff + 0x00008001 * 0x0000fffe = 0x7ffffffd: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff 80000002 + 0x00008001 * 0x0000fffe = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xfffffffe 80000002 + 0x00008001 * 0x0000fffe = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \"!" \" 0x00000000 00000000 + 0xfffffffe * 0xfffffffd = 0x00000006: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 00000006 + 0xfffffffe * 0xfffffffd = 0x0000000c: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff ffffffff + 0xfffffffe * 0xfffffffd = 0x00000005: OK" \" - MACHI cleared" \" - MACLO cleared" \"!" \" 0x00000000 00000000 + 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 0000000c + 0x00000002 * 0xfffffffd = 0x00000006: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000001 00000005 + 0x00000002 * 0xfffffffd = 0xffffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x7fffffff ffffffff + 0x00000002 * 0xfffffffd = 0xfffffff9: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff ffffffff + 0x00000002 * 0xfffffffd = 0xfffffff9: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff 00000005 + 0x00000002 * 0xfffffffd = 0xffffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x80000000 00000006 + 0x00000002 * 0xfffffffd = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \"!" \" 0x00000000 00000000 + 0x00008000 * 0xffff0000 = 0x80000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 00000006 + 0x00008000 * 0xffff0000 = 0x80000006: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x00000000 80000000 + 0x00008000 * 0xffff0000 = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x7fffffff ffffffff + 0x00008000 * 0xffff0000 = 0x7fffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff ffffffff + 0x00008000 * 0xffff0000 = 0x7fffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0xffffffff 7fffffff + 0x00008000 * 0xffff0000 = 0xffffffff: OK" \" - MACHI cleared" \" - MACLO cleared" \" 0x80000000 80000000 + 0x00008000 * 0xffff0000 = 0x00000000: OK" \" - MACHI cleared" \" - MACLO cleared" \"!" \"l.msb" \" 0x00000000 00000000 - 0x00000002 * 0x00000003 = 0xffffffff fffffffa: OK" \" 0x00000000 0000000c - 0x00000002 * 0x00000003 = 0x00000000 00000006: OK" \" 0x00000001 00000000 - 0x00000002 * 0x00000003 = 0x00000000 fffffffa: OK" \" 0x40000000 00000000 - 0x00000002 * 0x00000003 = 0x3fffffff fffffffa: OK" \" 0xffffffff fffffffa - 0x00000002 * 0x00000003 = 0xffffffff fffffff4: OK" \" 0xffffffff 00000005 - 0x00000002 * 0x00000003 = 0xfffffffe ffffffff: OK" \" 0x80000000 00000006 - 0x00000002 * 0x00000003 = 0x80000000 00000000: OK" \"!" \" 0x00000000 00000000 - 0x00008001 * 0x0000fffe = 0xffffffff 80000002: OK" \" 0x00000000 00000002 - 0x00008001 * 0x0000fffe = 0xffffffff 80000004: OK" \" 0x00000000 80000002 - 0x00008001 * 0x0000fffe = 0x00000000 00000004: OK" \" 0x7fffffff 7ffffffd - 0x00008001 * 0x0000fffe = 0x7ffffffe ffffffff: OK" \" 0xffffffff ffffffff - 0x00008001 * 0x0000fffe = 0xffffffff 80000001: OK" \" 0xffffffff 80000002 - 0x00008001 * 0x0000fffe = 0xffffffff 00000004: OK" \" 0xfffffffe 80000002 - 0x00008001 * 0x0000fffe = 0xfffffffe 00000004: OK" \"!" \" 0x00000000 00000006 - 0xfffffffe * 0xfffffffd = 0x00000000 00000000: OK" \" 0x00000000 0000000c - 0xfffffffe * 0xfffffffd = 0x00000000 00000006: OK" \" 0xffffffff ffffffff - 0xfffffffe * 0xfffffffd = 0xffffffff fffffff9: OK" \"!" \" 0x00000000 00000000 - 0x00000002 * 0xfffffffd = 0x00000000 00000006: OK" \" 0x00000000 00000006 - 0x00000002 * 0xfffffffd = 0x00000000 0000000c: OK" \" 0x00000000 ffffffff - 0x00000002 * 0xfffffffd = 0x00000001 00000005: OK" \" 0x7fffffff fffffff9 - 0x00000002 * 0xfffffffd = 0x7fffffff ffffffff: OK" \" 0xffffffff fffffff9 - 0x00000002 * 0xfffffffd = 0xffffffff ffffffff: OK" \" 0xfffffffe ffffffff - 0x00000002 * 0xfffffffd = 0xffffffff 00000005: OK" \" 0x80000000 00000000 - 0x00000002 * 0xfffffffd = 0x80000000 00000006: OK" \"!" \" 0x00000000 00000000 - 0x00008000 * 0xffff0000 = 0x00000000 80000000: OK" \" 0x00000000 00000006 - 0x00008000 * 0xffff0000 = 0x00000000 80000006: OK" \" 0x00000000 80000000 - 0x00008000 * 0xffff0000 = 0x00000001 00000000: OK" \" 0x7fffffff 7fffffff - 0x00008000 * 0xffff0000 = 0x7fffffff ffffffff: OK" \" 0xffffffff ffffffff - 0x00008000 * 0xffff0000 = 0x00000000 7fffffff: OK" \" 0xfffffffe ffffffff - 0x00008000 * 0xffff0000 = 0xffffffff 7fffffff: OK" \" 0x80000000 00000000 - 0x00008000 * 0xffff0000 = 0x80000000 80000000: OK" \"!" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-mac-test"# Run the l.mul testrun_or1ksim "mul-test" \[list "! ** OVE flag cleared **" \"!l.mul" \" 0x00000002 * 0x00000003 = 0x00000006: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00008001 * 0x0000fffe = 0x7ffffffe: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00008000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x00010000 * 0x00010000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xfffffffe * 0xfffffffd = 0x00000006: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0xffff0002 = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xffff0000 * 0xfffeffff = 0x00010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff8000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0x00010000 = 0x7fff0000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x80000000 * 0x00000001 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xe0853306);" \"! - SR value: report(0x00009a01);" \" 0x00008000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0xe0853306);" \"! - SR value: report(0x00009e01);" \" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.muli" \" 0x00000002 * 0x0003 = 0x00000006: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00010002 * 0x7fff = 0x7ffffffe: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00020000 * 0x4000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x00040000 * 0x4000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xfffffffe * 0xfffd = 0x00000006: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffefffe * 0x8001 = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffe0000 * 0xbfff = 0x80020000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0xfffdfffe * 0x8000 = 0x00010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x00000002 * 0xfffd = 0xfffffffa: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00010000 * 0x8000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffdfffc * 0x4000 = 0x7fff0000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: FALSE" \" 0x80000000 * 0x0001 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" RANGE exception" \"! - caused by: report(0xb0854000);" \"! - SR value: report(0x00009a01);" \" 0x00020000 * 0x4000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \" 0xfffffffe * 0xfffd = 0x00000006: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" RANGE exception" \"! - caused by: report(0xb0858000);" \"! - SR value: report(0x00009e01);" \" 0xfffdfffe * 0x8000 = 0x00010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: TRUE" \" - exception triggered: TRUE" \"! ** OVE flag cleared **" \"l.mulu" \" 0x00000002 * 0x00000003 = 0x00000006: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00008001 * 0x0000fffe = 0x7ffffffe: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00008000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00010000 * 0x00010000 = 0x00000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xfffffffe * 0xfffffffd = 0x00000006: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0xffff0002 = 0x7ffffffe: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff0000 * 0xfffeffff = 0x00010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff8000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0x00010000 = 0x7fff0000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x80000000 * 0x00000001 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag set **" \" 0x00008000 * 0x00010000 = 0x80000000: OK" \" - carry flag set: FALSE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \" - carry flag set: TRUE" \" - overflow flag set: FALSE" \" - exception triggered: FALSE" \"! ** OVE flag cleared **" \"!Test completed" \"!report(0xdeaddead);" \"!exit(0)"] \"inst-set-test.cfg" "inst-set-test/is-mul-test"
Go to most recent revision | Compare with Previous | Blame | View Log