github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-28 09:36:01 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Allow generating multiple Breker tests per constraint file

Browse source
This commit is contained in:
Jordan Carlin 2025-02-23 01:00:18 -08:00
parent 433763e6ee
commit caa4d27a99
No known key found for this signature in database
1 changed files with 17 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

28
tests/breker/Makefile
View file

@ -1,3 +1,6 @@
NUM_TESTS ?= 1 # Number of tests to generate for each constraint file
# General Makefile settings
SHELL := /bin/bash
# Breker/Trek paths and variables
@ -21,26 +24,29 @@ LINK_FLAGS := -nostartfiles
CFLAGS := -Wa,-alhs -Wa,-L -mcmodel=medany -Og -DSINGLE_CPU
WIDTH := 64
# Find all constraint files and generate tests for each one
TESTS = $(patsubst $(CONSTRAINTS_DIR)/%.yaml,$(TESTDIR)/%,$(CONSTRAINT_FILES))
# Find all constraint files and generate NUM_TESTS tests for each one
TESTS = $(foreach yaml,$(CONSTRAINT_FILES),$(foreach n,$(shell seq 1 $(NUM_TESTS)),$(patsubst $(CONSTRAINTS_DIR)/%.yaml,$(TESTDIR)/%_$(n),$(yaml))))
.PHONY: all clean
all: $(TESTS)
# Generate c tests
$(TESTDIR)/%: $(CONSTRAINTS_DIR)/%.yaml | $(TESTDIR)
$(TREKSVIP) -p $< -p $(CUSTOMER_YAML) -o $@/$* -e pss_top.entry
$(MAKE) $@/$*.elf.memfile
$(TESTDIR)/%: | $(TESTDIR)
$(eval CONSTRAINT_FILE := $(shell echo $* | sed 's/_[0-9]*$$//'))
$(TREKSVIP) -p $(CONSTRAINTS_DIR)/$(CONSTRAINT_FILE).yaml -p $(CUSTOMER_YAML) -o $@/$* -e pss_top.entry
$(MAKE) $@/$*.elf
# Compile c code
.PRECIOUS: %.elf
%.elf: %.c
.PRECIOUS: $(TESTDIR)/%.elf
$(TESTDIR)/%.elf: $(TESTDIR)/%.c
riscv64-unknown-elf-gcc $(MARCH) $(MABI) $(CFLAGS) $(LINK_FLAGS) -T$(LINKER) -I$(START_LIB_DIR) $(START_LIB) -g -o $@ $< > /dev/null
$(MAKE) $@.objdump
# Convert elf to hex
%.elf.memfile: %.elf
riscv64-unknown-elf-objdump -D $< > $<.objdump
riscv64-unknown-elf-elf2hex --bit-width $(WIDTH) --input $< --output $@
extractFunctionRadix.sh $<.objdump
$(TESTDIR)/%.elf.objdump: $(TESTDIR)/%.elf
riscv64-unknown-elf-objdump -D $< > $@
# riscv64-unknown-elf-elf2hex --bit-width $(WIDTH) --input $< --output $@
# extractFunctionRadix.sh $<.objdump
# View the model graph TODO: What does this do? Move to another makefile?
%.view_graph: $(CONSTRAINTS_DIR)/%.yaml