Don't rely on Spike's default ISA
authorPalmer Dabbelt <palmer@dabbelt.com>
Mon, 15 May 2017 22:36:55 +0000 (15:36 -0700)
committerPalmer Dabbelt <palmer@dabbelt.com>
Mon, 15 May 2017 23:33:39 +0000 (16:33 -0700)
debug/testlib.py

index d3a75f67252976fb0c9e73cde5a73ee977781a77..c39ed517a879576286dc758c153f9a97829b6f1f 100644 (file)
@@ -67,7 +67,9 @@ class Spike(object):
             spike = os.path.expandvars("$RISCV/bin/spike")
             cmd = [spike]
         if xlen == 32:
-            cmd += ["--isa", "RV32"]
+            cmd += ["--isa", "RV32G"]
+        else:
+            cmd += ["--isa", "RV64G"]
 
         if timeout:
             cmd = ["timeout", str(timeout)] + cmd