| Line 56... |
Line 56... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853000);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x40000000 + 0x40000000 = 0x80000000: OK" \
|
" 0x40000000 + 0x40000000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \
|
" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853000);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \
|
" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 117... |
Line 113... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853001);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x40000000 + 0x40000000 = 0x80000000: OK" \
|
" 0x40000000 + 0x40000000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853001);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x40000000 + 0x3fffffff + c = 0x80000000: OK" \
|
" 0x40000000 + 0x3fffffff + c = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \
|
" 0xffffffff + 0xfffffffe = 0xfffffffd: OK" \
|
| Line 139... |
Line 131... |
" 0x00000000 + 0xffffffff + c = 0x00000000: OK" \
|
" 0x00000000 + 0xffffffff + c = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853001);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \
|
" 0xbfffffff + 0xbfffffff = 0x7ffffffe: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 177... |
Line 167... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0x9c854000);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \
|
" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \
|
" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0x9c858000);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \
|
" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 238... |
Line 224... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xa0854000);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \
|
" 0x7fffc000 + 0x00004000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xa0853fff);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x7fffc000 + 0x00003fff + c = 0x80000000: OK" \
|
" 0x7fffc000 + 0x00003fff + c = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \
|
" 0xffffffff + 0x0000fffe = 0xfffffffd: OK" \
|
| Line 260... |
Line 242... |
" 0x00000000 + 0x0000ffff + c = 0x00000000: OK" \
|
" 0x00000000 + 0x0000ffff + c = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xa0858000);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \
|
" 0x80007fff + 0x00008000 = 0x7fffffff: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 317... |
Line 297... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853309);" \
|
|
"! - SR value: report(0x00009601);" \
|
|
" 0x0000000c / 0x00000000 = 0x00000000: OK" \
|
" 0x0000000c / 0x00000000 = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853309);" \
|
|
"! - SR value: report(0x00009601);" \
|
|
" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \
|
" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 374... |
Line 350... |
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe085330a);" \
|
|
"! - SR value: report(0x00009601);" \
|
|
" 0x0000000c / 0x00000000 = 0x00000000: OK" \
|
" 0x0000000c / 0x00000000 = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe085330a);" \
|
|
"! - SR value: report(0x00009601);" \
|
|
" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \
|
" 0xfffffff4 / 0x00000000 = 0x00000000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 416... |
Line 388... |
"!Test completed" \
|
"!Test completed" \
|
"!report(0xdeaddead);" \
|
"!report(0xdeaddead);" \
|
"!exit(0)"] \
|
"!exit(0)"] \
|
"inst-set-test.cfg" "inst-set-test/is-find-test"
|
"inst-set-test.cfg" "inst-set-test/is-find-test"
|
|
|
|
# Run the l.jalf and l.jr test
|
|
run_or1ksim "jump-test" \
|
|
[list "!l.jalr" \
|
|
" Jump to 0x000010dc using register 0x05 OK" \
|
|
" - exception triggered: FALSE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x000012b9 using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x00001496 using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x00001673 using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" ILLEGAL INSTRUCTION exception" \
|
|
" Jump to 0x0000184c using register 0x09 failed" \
|
|
" - exception triggered: TRUE" \
|
|
"!l.jr" \
|
|
" Jump to 0x00001a38 using register 0x05 OK" \
|
|
" - exception triggered: FALSE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x00001c15 using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x00001df2 using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" ALIGNMENT exception" \
|
|
" Jump to 0x00001fcf using register 0x05 failed" \
|
|
" - exception triggered: TRUE" \
|
|
" Jump to 0x000021a8 using register 0x09 OK" \
|
|
" - exception triggered: FALSE" \
|
|
"!Test completed" \
|
|
"!report(0xdeaddead);" \
|
|
"!exit(0)"] \
|
|
"inst-set-test.cfg" "inst-set-test/is-jump-test"
|
|
|
# Run the l.lws test
|
# Run the l.lws test
|
run_or1ksim "lws-test" \
|
run_or1ksim "lws-test" \
|
[list "!l.lws" \
|
[list "!l.lws" \
|
" l.lws r4,0(r5): r4=0xdeadbeef: OK" \
|
" l.lws r4,0(r5): r4=0xdeadbeef: OK" \
|
" l.lws r4,0(r5): r4=0x00000000: OK" \
|
" l.lws r4,0(r5): r4=0x00000000: OK" \
|
| Line 708... |
Line 716... |
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853306);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x00008000 * 0x00010000 = 0x80000000: OK" \
|
" 0x00008000 * 0x00010000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \
|
" 0x00000002 * 0xfffffffd = 0xfffffffa: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xe0853306);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \
|
" 0xffff7fff * 0xffff0000 = 0x80010000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
| Line 777... |
Line 781... |
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
"! ** OVE flag set **" \
|
"! ** OVE flag set **" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xb0854000);" \
|
|
"! - SR value: report(0x00009a01);" \
|
|
" 0x00020000 * 0x4000 = 0x80000000: OK" \
|
" 0x00020000 * 0x4000 = 0x80000000: OK" \
|
" - carry flag set: FALSE" \
|
" - carry flag set: FALSE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
" 0xfffffffe * 0xfffd = 0x00000006: OK" \
|
" 0xfffffffe * 0xfffd = 0x00000006: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: FALSE" \
|
" - overflow flag set: FALSE" \
|
" - exception triggered: FALSE" \
|
" - exception triggered: FALSE" \
|
" RANGE exception" \
|
" RANGE exception" \
|
"! - caused by: report(0xb0858000);" \
|
|
"! - SR value: report(0x00009e01);" \
|
|
" 0xfffdfffe * 0x8000 = 0x00010000: OK" \
|
" 0xfffdfffe * 0x8000 = 0x00010000: OK" \
|
" - carry flag set: TRUE" \
|
" - carry flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - overflow flag set: TRUE" \
|
" - exception triggered: TRUE" \
|
" - exception triggered: TRUE" \
|
"! ** OVE flag cleared **" \
|
"! ** OVE flag cleared **" \
|
