cvw/tests/testgen/covergen_header.S

//
// Copyright (C) 2024 Harvey Mudd College & Oklahoma State University
//
// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
///////////////////////////////////////////

#include "model_test.h"
#include "arch_test.h"
RVTEST_ISA("RV64I")

.section .text.init
.globl rvtest_entry_point
rvtest_entry_point:
RVMODEL_BOOT
RVTEST_CODE_BEGIN

RVTEST_CASE(0,"//check ISA:=regex(.*64.*);check ISA:=regex(.*I.*);def TEST_CASE_1=True;",temp)

    la x6, wally_signature
    sd x0, 0(x6)
Wrote initial covergen for a few R-type instructions 2024-03-27 23:22:13 +00:00			`//`
			`// Copyright (C) 2024 Harvey Mudd College & Oklahoma State University`
			`//`
			`// SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1`
			`///////////////////////////////////////////`

			`#include "model_test.h"`
			`#include "arch_test.h"`
			`RVTEST_ISA("RV64I")`

			`.section .text.init`
			`.globl rvtest_entry_point`
			`rvtest_entry_point:`
			`RVMODEL_BOOT`
			`RVTEST_CODE_BEGIN`

			`RVTEST_CASE(0,"//check ISA:=regex(.64.);check ISA:=regex(.I.);def TEST_CASE_1=True;",temp)`

Added covergen directed coverage generator 2024-05-01 21:47:37 +00:00			`la x6, wally_signature`
			`sd x0, 0(x6)`