Add tests for the decremeter, rfid and mtmsrd and sprg

This adds a bunch of test which report their status via the console.

Adds a new make check scheme which compares console for a known
output.

Signed-off-by: Michael Neuling <mikey@neuling.org>

.gitignore

@@ -3,4 +3,7 @@
 *.cf
 *.s
 *_tb
-main_ram.bin
+main_ram.bin
+tests/decrementer/decrementer.bin
+tests/decrementer/decrementer.hex
+tests/decrementer/decrementer.elf

Makefile

@@ -128,14 +128,18 @@ dmi_dtm_tb: dmi_dtm_tb.o sim_vhpi_c.o sim_bram_helpers_c.o
 	$(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
 

scripts/run_test_console.sh

@@ -0,0 +1,38 @@
+#!/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

tests/decrementer/Makefile

@@ -0,0 +1,28 @@
+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: decrementer.hex
+
+decrementer.elf: decrementer.o head.o ../../hello_world/console.o
+	$(LD) $(LDFLAGS) -o decrementer.elf decrementer.o head.o ../../hello_world/console.o
+
+decrementer.bin: decrementer.elf
+	$(OBJCOPY) -O binary decrementer.elf decrementer.bin
+
+decrementer.hex: decrementer.bin
+	../../scripts/bin2hex.py decrementer.bin > decrementer.hex
+
+clean:
+	@rm -f *.o decrementer.elf decrementer.bin decrementer.hex

tests/decrementer/decrementer.c

@@ -0,0 +1,54 @@
+#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;
+}

tests/decrementer/head.S

@@ -0,0 +1,184 @@
+/* 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
+
+#define FIXUP_ENDIAN						   \
+	tdi   0,0,0x48;	  /* Reverse endian of b . + 8		*/ \
+	b     191f;	  /* Skip trampoline if endian is good	*/ \
+	.long 0xa600607d; /* mfmsr r11				*/ \
+	.long 0x01006b69; /* xori r11,r11,1			*/ \
+	.long 0x05009f42; /* bcl 20,31,$+4			*/ \
+	.long 0xa602487d; /* mflr r10				*/ \
+	.long 0x14004a39; /* addi r10,r10,20			*/ \
+	.long 0xa64b5a7d; /* mthsrr0 r10			*/ \
+	.long 0xa64b7b7d; /* mthsrr1 r11			*/ \
+	.long 0x2402004c; /* hrfid				*/ \
+191:
+
+
+/* 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
+
+	/* QEMU enters at 0x10 */
+	. = 0x10
+	FIXUP_ENDIAN
+	b	boot_entry
+
+	. = 0x100
+	FIXUP_ENDIAN
+	b	boot_entry
+
+.global boot_entry
+boot_entry:
+	/* setup stack */
+	LOAD_IMM64(%r1, STACK_TOP - 0x100)
+	LOAD_IMM64(%r12, main)
+	mtctr	%r12,
+	bctrl
+	.long 0x0 // illegal to 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
+
+

tests/decrementer/powerpc.lds

@@ -0,0 +1,13 @@
+SECTIONS
+{
+	_start = .;
+	. = 0;
+	.head : {
+		KEEP(*(.head))
+ 	}
+	. = 0x1000;
+	.text : { *(.text) }
+	. = 0x2000;
+	.data : { *(.data) }
+	.bss : { *(.bss) }
+}

tests/test_decrementer.console_out

@@ -0,0 +1,3 @@
+Test 01:PASS
+Test 02:PASS
+Test 03:PASS