OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [or1ksim/] [testsuite/] [or1ksim.tests/] [inst-set-test.exp] - Rev 114

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.lws test
run_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.div and l.divu test
run_or1ksim "lws-test"                                \
    [list "!l.div"                                    \
          "!  RANGE exception"                        \
          "  - caused by: report(0xe0853309);"        \
          "!  - SR value:  report(0x00008601);"       \
          "  1 / 0 (with error) carry flag set: TRUE" \
          "!l.divu"                                   \
          "!  RANGE exception"                        \
          "  - caused by: report(0xe085330a);"        \
          "!  - SR value:  report(0x00008601);"       \
          "  1 / 0 (with error) carry flag set: TRUE" \
          "!Test completed"                           \
          "!report(0xdeaddead);"                      \
          "!exit(0)"]                                 \
    "inst-set-test.cfg" "inst-set-test/is-div-test"

# Run the l.add, l.addc, l.addi and l.addic tests
run_or1ksim "lws-test"                                     \
    [list "!l.add"                                         \
          "  0x00000001 + 0x00000002 = 0x00000003: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x00000001 + 0x00000002 = 0x00000003: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0xffffffff + 0xfffffffe = 0xfffffffd: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x40000000 + 0x3fffffff = 0x7fffffff: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x40000000 + 0x40000000 = 0x80000000: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0xc0000000 + 0xc0000000 = 0x80000000: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0xbfffffff + 0xbfffffff = 0x7ffffffe: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** 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"                    \
          "  0xffffffff + 0xfffffffe = 0xfffffffd: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  RANGE exception"                              \
          "  - caused by: report(0xe0853000);"             \
          "  - SR value:  report(0x00009e01);"             \
          "  0xbfffffff + 0xbfffffff = 0x7ffffffe: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** OVE flag cleared **"                      \
          "!l.addc"                                        \
          "  0x00000001 + 0x00000002     = 0x00000003: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0xffffffff + 0xfffffffe     = 0xfffffffd: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x40000000 + 0x3fffffff     = 0x7fffffff: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x40000000 + 0x3fffffff + c = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0x40000000 + 0x40000000     = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0xffffffff + 0x00000000 + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x00000000 + 0xffffffff + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0xc0000000 + 0xc0000000     = 0x80000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0xc0000000 + 0xbfffffff + c = 0x80000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0xbfffffff + 0xbfffffff     = 0x7ffffffe: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** 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"                    \
          "  RANGE exception"                              \
          "  - caused by: report(0xe0853001);"             \
          "  - SR value:  report(0x00009a01);"             \
          "  0x40000000 + 0x3fffffff + c = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0xffffffff + 0xfffffffe     = 0xfffffffd: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x00000000 + 0xffffffff + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  RANGE exception"                              \
          "  - caused by: report(0xe0853001);"             \
          "  - SR value:  report(0x00009e01);"             \
          "  0xbfffffff + 0xbfffffff     = 0x7ffffffe: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** OVE flag cleared **"                      \
          "!l.addi"                                        \
          "  0x00000001 + 0x00000002 = 0x00000003: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x00000001 + 0x00000002 = 0x00000003: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0xffffffff + 0xfffffffe = 0xfffffffd: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x7fff8000 + 0x00007fff = 0x7fffffff: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x7fffc000 + 0x00004000 = 0x80000000: OK"     \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0x80008000 + 0xffff8000 = 0x80000000: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x80007fff + 0xffff8000 = 0x7fffffff: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** 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"                    \
          "  0xffffffff + 0xfffffffe = 0xfffffffd: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  RANGE exception"                              \
          "  - caused by: report(0x9c858000);"             \
          "  - SR value:  report(0x00009e01);"             \
          "  0x80007fff + 0xffff8000 = 0x7ffffffe: OK"     \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** OVE flag cleared **"                      \
          "!l.addic"                                       \
          "  0x00000001 + 0x00000002     = 0x00000003: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0xffffffff + 0xfffffffe     = 0xfffffffd: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x7fff8000 + 0x00007fff     = 0x7fffffff: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: FALSE"                   \
          "  0x7fff8000 + 0x00007fff + c = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0x7fffc000 + 0x00004000     = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0xffffffff + 0x00000000 + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x00000000 + 0xffffffff + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x80008000 + 0xffff8000     = 0x80000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x80007fff + 0xffff8000 + c = 0x80000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x80007fff + 0xffff8000     = 0x7fffffff: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** 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"                    \
          "  RANGE exception"                              \
          "  - caused by: report(0xa0853fff);"             \
          "  - SR value:  report(0x00009a01);"             \
          "  0x7fffc000 + 0x00003fff + c = 0x80000000: OK" \
          "  - carry flag set:    FALSE"                   \
          "  - overflow flag set: TRUE"                    \
          "  0xffffffff + 0xfffffffe     = 0xfffffffd: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  0x00000000 + 0xffffffff + c = 0x00000000: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: FALSE"                   \
          "  RANGE exception"                              \
          "  - caused by: report(0xa0858000);"             \
          "  - SR value:  report(0x00009e01);"             \
          "  0x80007fff + 0xffff8000     = 0x7ffffffe: OK" \
          "  - carry flag set:    TRUE"                    \
          "  - overflow flag set: TRUE"                    \
          "!  ** OVE flag cleared **"                      \
          "!Test completed"                                \
          "!report(0xdeaddead);"                           \
          "!exit(0)"]                                      \
    "inst-set-test.cfg" "inst-set-test/is-add-test"

Go to most recent revision | Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.