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.