diff options
Diffstat (limited to 'do_spec_bench.sh')
| -rwxr-xr-x | do_spec_bench.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/do_spec_bench.sh b/do_spec_bench.sh new file mode 100755 index 000000000..ef8ba65cb --- /dev/null +++ b/do_spec_bench.sh @@ -0,0 +1,8 @@ +#!/bin/bash +export GEM5_PATH="$(dirname $(realpath $0))" +BENCH="$1" +./exp_script/run_spec_from_ckpt.sh "$BENCH" SpectreSafeInvisibleSpec +USE_IFT=1 ./exp_script/run_spec_from_ckpt.sh "$BENCH" SpectreSafeInvisibleSpec +USE_IFT=1 ./exp_script/run_spec_from_ckpt.sh "$BENCH" SpectreSafeFence +./exp_script/run_spec_from_ckpt.sh "$BENCH" UnsafeBaseline +./exp_script/run_spec_from_ckpt.sh "$BENCH" SpectreSafeFence |