Don't compile with FPU support for now.
authorTim Newsome <tim@sifive.com>
Thu, 8 Dec 2016 02:32:15 +0000 (18:32 -0800)
committerTim Newsome <tim@sifive.com>
Thu, 8 Dec 2016 02:32:15 +0000 (18:32 -0800)
It's not Just Working, and none of the tests so far actually care.

debug/targets.py

index 7496b48d9eb1d4acc9b403f3725c2a0c9d916ddc..538caaf41d6dadcc5b4f47770b7b3b33051c79a5 100644 (file)
@@ -11,6 +11,7 @@ class Target(object):
     temporary_files = []
     temporary_binary = None
     openocd_config = []
+    use_fpu = False
 
     def __init__(self, cmd, run, isolate):
         self.cmd = cmd
@@ -38,10 +39,13 @@ class Target(object):
                     prefix=binary_name + "_")
             binary_name = self.temporary_binary.name
             Target.temporary_files.append(self.temporary_binary)
+        march = "RV%dIMA" % self.xlen
+        if self.use_fpu:
+            march += "FD"
         testlib.compile(sources +
                 ("programs/entry.S", "programs/init.c",
                     "-I", "../env",
-                    "-march=RV%dIMAFD" % self.xlen,
+                    "-march=%s" % march,
                     "-T", "targets/%s/link.lds" % (self.directory or self.name),
                     "-nostartfiles",
                     "-mcmodel=medany",