More testfloat fixups

This commit is contained in:
Jordan Carlin 2024-09-28 20:56:58 -07:00
parent 0c2ce32c56
commit 14b630a403
No known key found for this signature in database
5 changed files with 10 additions and 8 deletions

3
.gitignore vendored
View file

@ -28,7 +28,8 @@ tests/riscof/riscof_work/
tests/wally-riscv-arch-test/riscv-test-suite/*/I/*/**
tests/fp/vectors/**/*.tv
tests/fp/vectors/**/sed*
tests/fp/testfloat/*
tests/fp/berkeley-float/*
!tests/fp/berkeley-float/Makefile
tests/fp/combined_IF_vectors/IF_vectors/*.tv
tests/custom/*/*/
tests/custom/*/*/*.memfile

View file

@ -2,7 +2,8 @@
# Floating Point Tests Makefile for CORE-V-Wally
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
TESTFLOATS := testfloat/ieee/testfloat_gen testfloat/riscv/testfloat_gen
TESTFLOAT := testfloat/build/Linux-x86_64-GCC/testfloat_gen
TESTFLOATS := berkeley-float/ieee/${TESTFLOAT} berkeley-float/riscv/${TESTFLOAT}
.PHONY: all vectors combined_IF_vectors testfloat clean
@ -18,11 +19,11 @@ combined_IF_vectors: ${WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/M/src ve
${TESTFLOATS}: testfloat
testfloat:
$(MAKE) -C testfloat
$(MAKE) -C berkeley-float
clean:
$(MAKE) -C vectors clean
$(MAKE) -C testfloat clean
$(MAKE) -C berkeley-float clean
rm -f ${WALLY}/tests/fp/combined_IF_vectors/IF_vectors/*.tv
${WALLY}/tests/riscof/work/riscv-arch-test/rv32i_m/M/src:

View file

@ -10,8 +10,8 @@
SHELL := /bin/bash
VECTOR_TYPE := ieee
TESTFLOAT_DIR := ${WALLY}/tests/fp/testfloat
TESTFLOAT_GEN := ${TESTFLOAT_DIR}/${VECTOR_TYPE}/testfloat_gen
TESTFLOAT_DIR := ../../berkeley-float
TESTFLOAT_GEN := ${TESTFLOAT_DIR}/${VECTOR_TYPE}/testfloat/build/Linux-x86_64-GCC/testfloat_gen
# List of testvectors to generate. Each rounding mode will be generated for each test.
cvtint := ui32_to_f16 ui32_to_f32 ui32_to_f64 ui32_to_f128 \

View file

@ -10,8 +10,8 @@
SHELL := /bin/bash
VECTOR_TYPE := riscv
TESTFLOAT_DIR := ${WALLY}/tests/fp/testfloat
TESTFLOAT_GEN := ${TESTFLOAT_DIR}/${VECTOR_TYPE}/testfloat_gen
TESTFLOAT_DIR := ../../berkeley-float
TESTFLOAT_GEN := ${TESTFLOAT_DIR}/${VECTOR_TYPE}/testfloat/build/Linux-x86_64-GCC/testfloat_gen
# List of testvectors to generate. Each rounding mode will be generated for each test.
cvtint := ui32_to_f16 ui32_to_f32 ui32_to_f64 ui32_to_f128 \