search

syntacore / snippy

Other
40 stars 4 forks source link

--dump-initial-registers-yaml shall work without model plugin #12

Open kv-sc opened 7 months ago

kv-sc commented 7 months ago

Reproduce on 1.0 release.

Snippy line:

./llvm-snippy -march=riscv64-linux-gnu -num-instrs=1000 -seed=0 -model-plugin=None ./yml/layout.yaml --init-regs-in-elf
 --dump-initial-registers-yaml

You will not see register dump because no model supplied. Still there will be some initial state provided by init-regs-in-elf option. We definitely can dump it.