*.cf
*.s
*_tb
-main_ram.bin
\ No newline at end of file
+main_ram.bin
+tests/*/*.bin
+tests/*/*.hex
+tests/*/*.elf
$(GHDL) -e $(GHDLFLAGS) -Wl,sim_vhpi_c.o -Wl,sim_bram_helpers_c.o $@
tests = $(sort $(patsubst tests/%.out,%,$(wildcard tests/*.out)))
+tests_console = $(sort $(patsubst tests/%.console_out,%,$(wildcard tests/*.console_out)))
-check: $(tests) test_micropython test_micropython_long
+check: $(tests) $(test_console) test_micropython test_micropython_long
-check_light: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 test_micropython test_micropython_long
+check_light: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 test_micropython test_micropython_long $(tests_console)
$(tests): core_tb
@./scripts/run_test.sh $@
+$(tests_console): core_tb
+ @./scripts/run_test_console.sh $@
+
test_micropython: core_tb
@./scripts/test_micropython.py
--- /dev/null
+#!/bin/bash
+
+# Runs a test and checks the console output against known good output
+
+if [ $# -ne 1 ]; then
+ echo "Usage: run_test.sh <test>"
+ exit 1
+fi
+
+TEST=$1
+
+TMPDIR=$(mktemp -d)
+
+function finish {
+ rm -rf "$TMPDIR"
+}
+
+trap finish EXIT
+
+MICROWATT_DIR=$PWD
+
+cd $TMPDIR
+
+cp ${MICROWATT_DIR}/tests/${TEST}.bin main_ram.bin
+
+${MICROWATT_DIR}/core_tb > /dev/null 2> test1.out || true
+
+grep -v "Failed to bind debug socket" test1.out > test.out
+
+cp ${MICROWATT_DIR}/tests/${TEST}.console_out exp.out
+
+cp test.out /tmp
+cp exp.out /tmp
+
+diff -q test.out exp.out && echo "$TEST PASS" && exit 0
+
+echo "$TEST FAIL ********"
+exit 1
--- /dev/null
+ARCH = $(shell uname -m)
+ifneq ("$(ARCH)", "ppc64")
+ifneq ("$(ARCH)", "ppc64le")
+ CROSS_COMPILE = powerpc64le-linux-
+ endif
+ endif
+
+CC = $(CROSS_COMPILE)gcc
+LD = $(CROSS_COMPILE)ld
+OBJCOPY = $(CROSS_COMPILE)objcopy
+
+CFLAGS = -Os -g -Wall -std=c99 -msoft-float -mno-string -mno-multiple -mno-vsx -mno-altivec -mlittle-endian -fno-stack-protector -mstrict-align -ffreestanding -fdata-sections -ffunction-sections -I ../../hello_world
+ASFLAGS = $(CFLAGS)
+LDFLAGS = -T powerpc.lds
+
+all: $(TEST).hex
+
+$(TEST).elf: $(TEST).o head.o ../../hello_world/console.o
+ $(LD) $(LDFLAGS) -o $(TEST).elf $(TEST).o head.o ../../hello_world/console.o
+
+$(TEST).bin: $(TEST).elf
+ $(OBJCOPY) -O binary $(TEST).elf $(TEST).bin
+
+$(TEST).hex: $(TEST).bin
+ ../../scripts/bin2hex.py $(TEST).bin > $(TEST).hex
+
+clean:
+ @rm -f *.o $(TEST).elf $(TEST).bin $(TEST).hex
--- /dev/null
+TEST=decrementer
+
+include ../Makefile.test
--- /dev/null
+#include <unistd.h>
+#include <string.h>
+#include <stdint.h>
+#include <stdbool.h>
+
+#include "console.h"
+
+#define TEST "Test "
+#define PASS "PASS\r\n"
+#define FAIL "FAIL\r\n"
+
+extern int dec_test_1(void);
+extern int dec_test_2(void);
+extern int dec_test_3(void);
+
+// i < 100
+void print_test_number(int i)
+{
+ putstr(TEST, strlen(TEST));
+ putchar(48 + i/10);
+ putchar(48 + i%10);
+ putstr(":", 1);
+}
+
+int main(void)
+{
+ int fail = 0;
+
+ potato_uart_init();
+
+ print_test_number(1);
+ if (dec_test_1() != 0) {
+ fail = 1;
+ putstr(FAIL, strlen(FAIL));
+ } else
+ putstr(PASS, strlen(PASS));
+
+ print_test_number(2);
+ if (dec_test_2() != 0) {
+ fail = 1;
+ putstr(FAIL, strlen(FAIL));
+ } else
+ putstr(PASS, strlen(PASS));
+
+
+ print_test_number(3);
+ if (dec_test_3() != 0) {
+ fail = 1;
+ putstr(FAIL, strlen(FAIL));
+ } else
+ putstr(PASS, strlen(PASS));
+
+ return fail;
+}
--- /dev/null
+/* Copyright 2013-2014 IBM Corp.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ * implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#define STACK_TOP 0x2000
+
+/* Load an immediate 64-bit value into a register */
+#define LOAD_IMM64(r, e) \
+ lis r,(e)@highest; \
+ ori r,r,(e)@higher; \
+ rldicr r,r, 32, 31; \
+ oris r,r, (e)@h; \
+ ori r,r, (e)@l;
+
+ .section ".head","ax"
+
+ /*
+ * Microwatt currently enters in LE mode at 0x0, so we don't need to
+ * do any endian fix ups
+ */
+ . = 0
+.global _start
+_start:
+ b boot_entry
+
+.global boot_entry
+boot_entry:
+ /* setup stack */
+ LOAD_IMM64(%r1, STACK_TOP - 0x100)
+ LOAD_IMM64(%r12, main)
+ mtctr %r12
+ bctrl
+ attn // terminate on exit
+ b .
+
+/* test to see if end up at the instruction after the rfid */
+.global dec_test_1
+dec_test_1:
+ li %r3, 0
+ mtdec %r3
+ LOAD_IMM64(%r3, dec_test_1_rfid)
+ mtsrr0 %r3
+ LOAD_IMM64(%r3, 0x9000000000008003)
+ mtsrr1 %r3
+ li %r3, 1 // preload with a fail code
+ rfid
+dec_test_1_rfid:
+ b 1f // should be skipped
+ b 1f // should be skipped
+ li %r3, 0
+ blr
+1:
+ li %r3, 1
+ blr
+
+
+/* test to see if end up at the instruction after the rfid */
+.global dec_test_2
+dec_test_2:
+ li %r3, 0x100
+ mtdec %r3
+ LOAD_IMM64(%r3, dec_test_2_rfid)
+ mtsrr0 %r3
+ LOAD_IMM64(%r3, 0x9000000000008003)
+ mtsrr1 %r3
+ li %r3, 1 // preload with a fail code
+ rfid
+dec_test_2_rfid:
+ b . // should wait here and then be skipped
+ b 1f // should be skipped
+ li %r3, 0
+ blr
+1:
+ li %r3, 1
+ blr
+
+
+/* test mtmsrd */
+.global dec_test_3
+dec_test_3:
+ LOAD_IMM64(%r3, 0x9000000000000003)
+ mtmsrd %r3 // EE off
+ li %r3, 0x0 // shouldn't fire right away
+ mtdec %r3
+ b 2f
+ nop
+ b 1f // shouln't get here
+2:
+ LOAD_IMM64(%r3, 0x9000000000008003)
+ mtmsrd %r3 // EE on
+ b 1f // shouln't get here
+ b 1f // shouln't get here
+
+ li %r3, 0
+ blr
+1:
+ li %r3, 1
+ blr
+
+#define EXCEPTION(nr) \
+ .= nr ;\
+ b .
+
+ /* More exception stubs */
+ EXCEPTION(0x300)
+ EXCEPTION(0x380)
+ EXCEPTION(0x400)
+ EXCEPTION(0x480)
+ EXCEPTION(0x500)
+ EXCEPTION(0x600)
+ EXCEPTION(0x700)
+ EXCEPTION(0x800)
+
+ . = 0x900
+ mtsprg0 %r3
+ LOAD_IMM64(%r3, 0x000000000ffffff)
+ mtdec %r3
+ mfsrr0 %r3
+ addi %r3, %r3, 8 // skip 2 instructions
+ mtsrr0 %r3
+ mfsprg0 %r3
+ rfid
+
+ EXCEPTION(0x980)
+ EXCEPTION(0xa00)
+ EXCEPTION(0xb00)
+ EXCEPTION(0xc00)
+ EXCEPTION(0xd00)
+ EXCEPTION(0xe00)
+ EXCEPTION(0xe20)
+ EXCEPTION(0xe40)
+ EXCEPTION(0xe60)
+ EXCEPTION(0xe80)
+ EXCEPTION(0xf00)
+ EXCEPTION(0xf20)
+ EXCEPTION(0xf40)
+ EXCEPTION(0xf60)
+ EXCEPTION(0xf80)
+#if 0
+ EXCEPTION(0x1000)
+ EXCEPTION(0x1100)
+ EXCEPTION(0x1200)
+ EXCEPTION(0x1300)
+ EXCEPTION(0x1400)
+ EXCEPTION(0x1500)
+ EXCEPTION(0x1600)
+#endif
+
+
--- /dev/null
+SECTIONS
+{
+ _start = .;
+ . = 0;
+ .head : {
+ KEEP(*(.head))
+ }
+ . = 0x1000;
+ .text : { *(.text) }
+ . = 0x2000;
+ .data : { *(.data) }
+ .bss : { *(.bss) }
+}
--- /dev/null
+TEST=illegal
+
+include ../Makefile.test
--- /dev/null
+/* Copyright 2013-2014 IBM Corp.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ * implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#define STACK_TOP 0x2000
+
+/* Load an immediate 64-bit value into a register */
+#define LOAD_IMM64(r, e) \
+ lis r,(e)@highest; \
+ ori r,r,(e)@higher; \
+ rldicr r,r, 32, 31; \
+ oris r,r, (e)@h; \
+ ori r,r, (e)@l;
+
+ .section ".head","ax"
+
+ /*
+ * Microwatt currently enters in LE mode at 0x0, so we don't need to
+ * do any endian fix ups
+ */
+ . = 0
+.global _start
+_start:
+ b boot_entry
+
+.global boot_entry
+boot_entry:
+ /* setup stack */
+ LOAD_IMM64(%r1, STACK_TOP - 0x100)
+ LOAD_IMM64(%r12, main)
+ mtctr %r12
+ bctrl
+ attn // terminate on exit
+ b .
+
+/* test illegal */
+.global ill_test_1
+ill_test_1:
+ li %r3, 1 // preload a failure
+ .long 0x0 // illegal will be skipped + 1 more
+ b 1f // skipped
+
+ li %r3, 1 // preload a failure
+ .long 0x0 // illegal will be skipped + 1 more
+ b 1f // skipped
+
+ li %r3, 0
+ blr
+1:
+ li %r3, 1
+ blr
+
+#define EXCEPTION(nr) \
+ .= nr ;\
+ b .
+
+ /* More exception stubs */
+ EXCEPTION(0x300)
+ EXCEPTION(0x380)
+ EXCEPTION(0x400)
+ EXCEPTION(0x480)
+ EXCEPTION(0x500)
+ EXCEPTION(0x600)
+
+ . = 0x700
+ mtsprg0 %r3
+ mtsprg1 %r4
+
+ // test for bit 44 being set for ILL
+ mfsrr1 %r3
+ li %r4, 1
+ sldi %r4, %r4, (63-44)
+ and. %r4, %r4, %r3
+ li %r4, 8 // PASS so skip 2 instructions
+ bne 1f
+ li %r4, 4 // FAIL so only skip 1 instruction. Return will catch
+1:
+ mfsrr0 %r3
+ add %r3, %r3, %r4 // skip some instructions
+ mtsrr0 %r3
+
+ mfsprg0 %r3
+ mfsprg1 %r4
+ rfid
+
+ EXCEPTION(0x800)
+ EXCEPTION(0x900)
+ EXCEPTION(0x980)
+ EXCEPTION(0xa00)
+ EXCEPTION(0xb00)
+ EXCEPTION(0xc00)
+ EXCEPTION(0xd00)
+ EXCEPTION(0xe00)
+ EXCEPTION(0xe20)
+ EXCEPTION(0xe40)
+ EXCEPTION(0xe60)
+ EXCEPTION(0xe80)
+ EXCEPTION(0xf00)
+ EXCEPTION(0xf20)
+ EXCEPTION(0xf40)
+ EXCEPTION(0xf60)
+ EXCEPTION(0xf80)
+#if 0
+ EXCEPTION(0x1000)
+ EXCEPTION(0x1100)
+ EXCEPTION(0x1200)
+ EXCEPTION(0x1300)
+ EXCEPTION(0x1400)
+ EXCEPTION(0x1500)
+ EXCEPTION(0x1600)
+#endif
+
+
--- /dev/null
+#include <unistd.h>
+#include <string.h>
+#include <stdint.h>
+#include <stdbool.h>
+
+#include "console.h"
+
+#define TEST "Test "
+#define PASS "PASS\r\n"
+#define FAIL "FAIL\r\n"
+
+extern int ill_test_1(void);
+
+// i < 100
+void print_test_number(int i)
+{
+ putstr(TEST, strlen(TEST));
+ putchar(48 + i/10);
+ putchar(48 + i%10);
+ putstr(":", 1);
+}
+
+int main(void)
+{
+ int fail = 0;
+
+ potato_uart_init();
+
+ print_test_number(1);
+ if (ill_test_1() != 0) {
+ fail = 1;
+ putstr(FAIL, strlen(FAIL));
+ } else
+ putstr(PASS, strlen(PASS));
+
+ return fail;
+}
--- /dev/null
+SECTIONS
+{
+ _start = .;
+ . = 0;
+ .head : {
+ KEEP(*(.head))
+ }
+ . = 0x1000;
+ .text : { *(.text) }
+ . = 0x2000;
+ .data : { *(.data) }
+ .bss : { *(.bss) }
+}
--- /dev/null
+TEST=sc
+
+include ../Makefile.test
--- /dev/null
+/* Copyright 2013-2014 IBM Corp.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+ * implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#define STACK_TOP 0x2000
+
+/* Load an immediate 64-bit value into a register */
+#define LOAD_IMM64(r, e) \
+ lis r,(e)@highest; \
+ ori r,r,(e)@higher; \
+ rldicr r,r, 32, 31; \
+ oris r,r, (e)@h; \
+ ori r,r, (e)@l;
+
+ .section ".head","ax"
+
+ /*
+ * Microwatt currently enters in LE mode at 0x0, so we don't need to
+ * do any endian fix ups
+ */
+ . = 0
+.global _start
+_start:
+ b boot_entry
+
+.global boot_entry
+boot_entry:
+ /* setup stack */
+ LOAD_IMM64(%r1, STACK_TOP - 0x100)
+ LOAD_IMM64(%r12, main)
+ mtctr %r12
+ bctrl
+ attn // terminate on exit
+ b .
+
+/* test sc */
+.global sc_test_1
+sc_test_1:
+ li %r3, 1 // preload a failure
+ sc
+ b 1f // skipped
+ b 1f // skipped
+ b 2f // return here is good!
+ b 1f // shouldn't hit here
+2:
+ li %r3, 0
+ blr
+1:
+ li %r3, 1
+ blr
+
+#define EXCEPTION(nr) \
+ .= nr ;\
+ b .
+
+ /* More exception stubs */
+ EXCEPTION(0x300)
+ EXCEPTION(0x380)
+ EXCEPTION(0x400)
+ EXCEPTION(0x480)
+ EXCEPTION(0x500)
+ EXCEPTION(0x600)
+ EXCEPTION(0x700)
+ EXCEPTION(0x800)
+ EXCEPTION(0x900)
+ EXCEPTION(0x980)
+ EXCEPTION(0xa00)
+ EXCEPTION(0xb00)
+
+ . = 0xc00
+ mtsprg0 %r3
+ mfsrr0 %r3
+ addi %r3, %r3, 8 // skip 2 instructions
+ mtsrr0 %r3
+ mfsprg0 %r3
+ rfid
+
+ EXCEPTION(0xd00)
+ EXCEPTION(0xe00)
+ EXCEPTION(0xe20)
+ EXCEPTION(0xe40)
+ EXCEPTION(0xe60)
+ EXCEPTION(0xe80)
+ EXCEPTION(0xf00)
+ EXCEPTION(0xf20)
+ EXCEPTION(0xf40)
+ EXCEPTION(0xf60)
+ EXCEPTION(0xf80)
+#if 0
+ EXCEPTION(0x1000)
+ EXCEPTION(0x1100)
+ EXCEPTION(0x1200)
+ EXCEPTION(0x1300)
+ EXCEPTION(0x1400)
+ EXCEPTION(0x1500)
+ EXCEPTION(0x1600)
+#endif
+
+
--- /dev/null
+SECTIONS
+{
+ _start = .;
+ . = 0;
+ .head : {
+ KEEP(*(.head))
+ }
+ . = 0x1000;
+ .text : { *(.text) }
+ . = 0x2000;
+ .data : { *(.data) }
+ .bss : { *(.bss) }
+}
--- /dev/null
+#include <unistd.h>
+#include <string.h>
+#include <stdint.h>
+#include <stdbool.h>
+
+#include "console.h"
+
+#define TEST "Test "
+#define PASS "PASS\r\n"
+#define FAIL "FAIL\r\n"
+
+extern int sc_test_1(void);
+
+// i < 100
+void print_test_number(int i)
+{
+ putstr(TEST, strlen(TEST));
+ putchar(48 + i/10);
+ putchar(48 + i%10);
+ putstr(":", 1);
+}
+
+int main(void)
+{
+ int fail = 0;
+
+ potato_uart_init();
+
+ print_test_number(1);
+ if (sc_test_1() != 0) {
+ fail = 1;
+ putstr(FAIL, strlen(FAIL));
+ } else
+ putstr(PASS, strlen(PASS));
+
+ return fail;
+}
--- /dev/null
+Test 01:PASS\r
+Test 02:PASS\r
+Test 03:PASS\r
--- /dev/null
+Test 01:PASS\r
--- /dev/null
+Test 01:PASS\r
--- /dev/null
+#!/bin/bash
+#
+# Script to update console related tests from source
+#
+
+for i in sc illegal decrementer ; do
+ cd $i
+ make
+ cd -
+ cp $i/$i.bin test_$i.bin
+ ln -s test_$i.bin main_ram.bin
+ ../core_tb > /dev/null 2> test_$i.console_out
+ rm main_ram.bin
+done
projects / microwatt.git / commitdiff