diff --git a/bin/regression-wally b/bin/regression-wally index 5cd8bf76c..cd4844b08 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -229,6 +229,13 @@ bpredtests = [ ["bpred_GSHARE_10_10_10_1_rv32gc", ["embench"], "-GPrintHPMCounters=1"] ] +# list of tests not supported by ImperasDV yet that should be waived during lockstep testing +lockstepwaivers = [ + "WALLY-q-01.S_ref.elf", # Q extension is not supported by ImperasDV + "WALLY-cbom-01.S_ref.elf", # cbom extension is not supported by ImperasDV because there is no cache model in ImperasDV + "coverage_ieu.elf" # Issue 881: ImperasDV misinterprets 0x6BF05013 as a grevi rather than an illegal instruction +] + ################################## # Data Types & Functions ################################## @@ -282,21 +289,35 @@ def addTests(tests, sim): grepfile = grepfile) configs.append(tc) + def addLockstepTestsByDir(dir, config, sim): sim_logdir = WALLY+ "/sim/" + sim + "/logs/" cmdPrefix="wsim --lockstep --sim " + sim + " " + coverStr + " " + config - for file in os.listdir(dir): - if file.endswith(".elf"): - fullfile = os.path.join(dir, file) - sim_log = sim_logdir + config + "_" + file + ".log" - grepstring = "" - tc = TestCase( - name=file, - variant=config, - cmd=cmdPrefix + " " + fullfile + " > " + sim_log, - grepstr="Mismatches : 0", - grepfile = sim_log) - configs.append(tc) + if (os.path.isdir(dir)): + for dirpath, dirnames, filenames in os.walk(os.path.abspath(dir)): + for file in filenames: + if file.endswith(".elf"): + fullfile = os.path.join(dirpath, file) + fields = fullfile.rsplit('/', 3) + if (fields[2] == "ref"): + shortelf = fields[1] + "_" + fields[3] + else: + shortelf = fields[2] + "_" + fields[3] + if (shortelf in lockstepwaivers): # skip tests that itch bugs in ImperasDV + print(f"{bcolors.WARNING}Skipping waived test {shortelf}{bcolors.ENDC}") + continue + sim_log = sim_logdir + config + "_" + shortelf + ".log" + grepstring = "" + tc = TestCase( + name=file, + variant=config, + cmd=cmdPrefix + " " + fullfile + " > " + sim_log, + grepstr="Mismatches : 0", + grepfile = sim_log) + configs.append(tc) + else: + print("Error: Directory not found: " + dir) + exit(1) def search_log_for_text(text, grepfile): """Search through the given log file for text, returning True if it is found or False if it is not""" diff --git a/bin/wsim b/bin/wsim index e35ec6841..986957a3c 100755 --- a/bin/wsim +++ b/bin/wsim @@ -49,7 +49,15 @@ elif (args.elf != ""): if(args.testsuite.endswith('.elf') and args.elf == ""): # No --elf argument; check if testsuite has a .elf extension and use that instead if (os.path.isfile(args.testsuite)): ElfFile = "+ElfFile=" + os.path.abspath(args.testsuite) - if ('/' in args.testsuite): + # extract the elf name from the path to be the test suite + fields = args.testsuite.rsplit('/', 3) + # if the name is just ref.elf in a deep path (riscv-arch-test/wally-riscv-arch-test), then use the directory name as the test suite to make it unique; otherwise work directory will have duplicates. + if (len(fields) > 3): + if (fields[2] == "ref"): + args.testsuite = fields[1] + "_" + fields[3] + else: + args.testsuite = fields[2] + "_" + fields[3] + elif ('/' in args.testsuite): args.testsuite=args.testsuite.rsplit('/', 1)[1] # strip off path if present else: print("ELF file not found: " + args.testsuite) diff --git a/sim/questa/wally.do b/sim/questa/wally.do index db1cbbae1..35b728d83 100644 --- a/sim/questa/wally.do +++ b/sim/questa/wally.do @@ -222,7 +222,7 @@ vopt $accFlag wkdir/${CFG}_${TESTSUITE}.${TESTBENCH} -work ${WKDIR} ${ParamArgs} vsim -lib ${WKDIR} testbenchopt +TEST=${TESTSUITE} $temp0 $temp1 $temp2 $temp3 -fatal 7 ${SVLib} ${SVLibPath} ${OtherFlags} ${FCTRACE2COV} ${FCdefineIDV_TRACE2COV} -suppress 3829 ${CoverageVsimArg} # vsim -lib wkdir/work_${1}_${2} testbenchopt -fatal 7 -suppress 3829 -# power add generates the logging necessary for said generation. +# power add generates the logging necessary for saif generation. # power add -r /dut/core/* if { ${GUI} } { add log -recursive /*