From 76b551cdb322e5c29f6872ac0f9fd6f90b854855 Mon Sep 17 00:00:00 2001 From: bbracker Date: Thu, 7 Oct 2021 00:58:33 -0400 Subject: [PATCH] don't log rf[0] to checkpoint --- .../linux-testgen/testvector-generation/parseState.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/wally-pipelined/linux-testgen/testvector-generation/parseState.py b/wally-pipelined/linux-testgen/testvector-generation/parseState.py index cd49ccdf..5ab70aad 100755 --- a/wally-pipelined/linux-testgen/testvector-generation/parseState.py +++ b/wally-pipelined/linux-testgen/testvector-generation/parseState.py @@ -47,7 +47,7 @@ for csr in listCSRs: # Initial State for Main Loop currState = 'regFile' regFileIndex = 0 -outFileName = 'checkpoint-regfile.txt' +outFileName = 'checkpoint-RF' outFile = open(outDir+outFileName, 'w') # Main Loop @@ -60,7 +60,9 @@ with open(stateGDBpath, 'r') as stateGDB: if (regFileIndex == 0 and name != 'zero'): print('Whoops! Expected regFile registers to come first, starting with zero') exit(1) - outFile.write(val+'\n') + if (name != 'zero'): + # Wally doesn't need to know zero=0 + outFile.write(val+'\n') regFileIndex += 1 if (regFileIndex == 32): outFile.close()