Reviewers: Michael Achenbach,

Description:
Teach test runner about whether novfp3 is on or off

BUG=none
R=machenb...@chromium.org
LOG=n

Please review this at https://codereview.chromium.org/1204643003/

Base URL: https://chromium.googlesource.com/v8/v8.git@master

Affected files (+5, -0 lines):
  M tools/run-deopt-fuzzer.py
  M tools/run-tests.py


Index: tools/run-deopt-fuzzer.py
diff --git a/tools/run-deopt-fuzzer.py b/tools/run-deopt-fuzzer.py
index ec79cbb51de5f22a5db8bfeae051857f0273f469..4e361ae9c8244d9b10311188dd033acdbbc0624a 100755
--- a/tools/run-deopt-fuzzer.py
+++ b/tools/run-deopt-fuzzer.py
@@ -397,6 +397,7 @@ def Execute(arch, mode, args, options, suites, workspace):
     "tsan": False,
     "msan": False,
     "dcheck_always_on": options.dcheck_always_on,
+    "novfp3": False,
     "byteorder": sys.byteorder,
   }
   all_tests = []
Index: tools/run-tests.py
diff --git a/tools/run-tests.py b/tools/run-tests.py
index dc6ff9f7d63c5597afa2b598e388b1e071f163ee..1221a51e019117f7fddf0f8f276ce8c102bee3c0 100755
--- a/tools/run-tests.py
+++ b/tools/run-tests.py
@@ -187,6 +187,9 @@ def BuildOptions():
   result.add_option("--dcheck-always-on",
help="Indicates that V8 was compiled with DCHECKs enabled",
                     default=False, action="store_true")
+  result.add_option("--novfp3",
+ help="Indicates that V8 was compiled without VFP3 support",
+                    default=False, action="store_true")
   result.add_option("--cat", help="Print the source of the tests",
                     default=False, action="store_true")
   result.add_option("--flaky-tests",
@@ -590,6 +593,7 @@ def Execute(arch, mode, args, options, suites, workspace):
     "tsan": options.tsan,
     "msan": options.msan,
     "dcheck_always_on": options.dcheck_always_on,
+    "novfp3": options.novfp3,
     "byteorder": sys.byteorder,
   }
   all_tests = []


--
--
v8-dev mailing list
v8-dev@googlegroups.com
http://groups.google.com/group/v8-dev
--- You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to v8-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to