checkpoint generator bugfix

This commit is contained in:
bbracker 2021-10-24 14:46:56 -07:00
parent 36b39358c6
commit 3531a934c9
2 changed files with 6 additions and 6 deletions

View File

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

View File

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