checkpoint generator bugfix

This commit is contained in:
bbracker 2021-10-24 14:46:56 -07:00
parent dcd4d9dd9f
commit 0a32d79370
2 changed files with 6 additions and 6 deletions

View File

@ -8,10 +8,10 @@ define genCheckpoint
# Argument Parsing
set $tcpPort=$arg0
set $instrCount=$arg1
set $statePath=$arg2
set $ramPath=$arg3
set $checkPC=$arg4
set $checkPCoccurences=$arg5
set $statePath=$arg1
set $ramPath=$arg2
set $checkPC=$arg3
set $checkPCoccurences=$arg4
eval "set $statePath = \"%s/stateGDB.txt\"", $statePath
eval "set $ramPath = \"%s/ramGDB.txt\"", $ramPath

View File

@ -3,7 +3,7 @@
source genSettings.sh
tcpPort=1236
instrs=8500000
instrs=50000000
checkOutDir="$outDir/checkpoint$instrs"
checkIntermedDir="$checkOutDir/intermediate-outputs"
@ -31,7 +31,7 @@ then
& riscv64-unknown-elf-gdb -quiet -x genCheckpoint.gdb -ex "genCheckpoint $tcpPort $instrs \"$checkIntermedDir\" 0x$pc $occurences"
# Post-Process GDB outputs
./parseState.py "$checkOutDir"
./fix_mem.py "$intermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
tail -n+$(($instrs-9)) "$outDir/$traceFile" > "$checkOutDir/$traceFile"
else
echo "You can change the number of instructions by editing the \"instrs\" variable in this script."