aboutsummaryrefslogtreecommitdiff
path: root/scripts/wrapper/spike/riscv64-unknown-linux-gnu-run
blob: 29f9bf3a7386c20a55a5166c49eda495f88ae29d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

xlen="$(march-to-cpu-opt --elf-file-path $1 --print-xlen)"
isa="$(march-to-cpu-opt --elf-file-path $1 --print-spike-isa)"
varch="$(march-to-cpu-opt --elf-file-path $1 --print-spike-varch)"

isa_option="--isa=${isa}"
varch_option=""
memory_option="--misaligned"

[[ ! -z ${varch} ]] && varch_option="--varch=${varch}"

spike ${memory_option} ${isa_option} ${varch_option} ${PK_PATH}/pk${xlen} "$@"