diff options
| author | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-05 12:59:45 +0200 |
|---|---|---|
| committer | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-05 12:59:45 +0200 |
| commit | b59715e09322f8c094126b57ba6d0424b9892a3f (patch) | |
| tree | 7bf992351768b9133417f429b169b7b50225d0ae /Makefile | |
| parent | dc41391380effbe0d16d024e290b87a7f5d39bf2 (diff) | |
| download | AGH-engineering-thesis-b59715e09322f8c094126b57ba6d0424b9892a3f.tar.gz AGH-engineering-thesis-b59715e09322f8c094126b57ba6d0424b9892a3f.zip | |
add first simple bench for new stack machine
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 15 insertions, 1 deletions
@@ -32,6 +32,9 @@ STACK_MACHINE_OLD_TESTS := \ swap \ cond_jump +STACK_MACHINE_TESTS := \ + store + # Add other tests here if You need TESTS := \ self \ @@ -42,7 +45,8 @@ TESTS := \ sram_slave \ embedded_bram_slave \ soc_simple_display \ - $(addprefix stack_machine_old_,$(STACK_MACHINE_OLD_TESTS)) + $(addprefix stack_machine_old_,$(STACK_MACHINE_OLD_TESTS)) \ + $(addprefix stack_machine_,$(STACK_MACHINE_TESTS)) # For each of these Makefile will attempt to generate VGAdump.ppm # and compare it to VGAdump_expected.ppm inside that test's directory @@ -149,6 +153,16 @@ tests/vga/test.vvp : tests/vga/test.v design/vga.v models/vga_display.v \ include/messages.vh $(IV) $(IVFLAGS) -s vga_test $^ -o $@ +tests/stack_machine_%/test.vvp : \ + tests/stack_machine_%/words_to_verify.mem \ + tests/stack_machine_%/instructions.mem \ + tests/stack_machine_%/test.v models/slave.v \ + design/stack_machine.v include/messages.vh + $(IV) $(IVFLAGS) -s stack_machine_test \ + -DINSTRUCTIONS_COUNT=$(call FILE_LINES,$(filter %ions.mem,$^)) \ + -DWORDS_TO_VERIFY_COUNT=$(call FILE_LINES,$<) \ + $(filter %.v,$^) -o $@ + tests/stack_machine_old_%/test.vvp : \ tests/stack_machine_old_%/words_to_verify.mem \ tests/stack_machine_old_%/instructions.mem \ |