Tobias Tebbi 392078fb83 Reland "[turbofan] extend type asserts to cover all JS types" ... This is a reland of 45227ffdb4 Differences: - Handle one more flags conflict in variants.py. - Disallow %VerifyType without --concurrent-recompilation. Original change's description: > [turbofan] extend type asserts to cover all JS types > > Extend type assertions to all types covering JavaScript values. > This is achieved by allocating type representations on the heap using > newly defined HeapObject subclasses. To allocate these in the compiler, > we disable concurrent compilation for the --assert-types flag for now. > > Fix two type errors that came up with the existing tests: > 1. JSCreateKeyValueArray has type Array (i.e., a JSArray) instead of > OtherObject. > 2. OperationTyper::NumberToString(Type) can type the result as the > HeapConstant Factory::zero_string(). However, NumberToString does > not always produce this string. To avoid regressions, the CL keeps > the HeapConstant type and changes the runtime and builtin code to > always produce the canonical "0" string. > > A few tests were failing because they check for truncations to work > and prevent deoptimization. However, AssertType nodes destroy all > truncations (which is by design), so these tests are incompatible > and now disabled for the assert_types variant. > > Drive-by fix: a few minor Torque issues that came up. > > Change-Id: If03b7851f7e6803a2f69edead4fa91231998f764 > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3234717 > Reviewed-by: Nico Hartmann <nicohartmann@chromium.org> > Reviewed-by: Omer Katz <omerkatz@chromium.org> > Commit-Queue: Tobias Tebbi <tebbi@chromium.org> > Cr-Commit-Position: refs/heads/main@{#77565} Change-Id: I5b3c6745c6ad349ff8c2b199d9afdf0a9b5a7392 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3247035 Auto-Submit: Tobias Tebbi <tebbi@chromium.org> Commit-Queue: Nico Hartmann <nicohartmann@chromium.org> Reviewed-by: Omer Katz <omerkatz@chromium.org> Reviewed-by: Nico Hartmann <nicohartmann@chromium.org> Cr-Commit-Position: refs/heads/main@{#77596}		2021-10-28 14:10:30 +00:00
..
local	Reland "[turbofan] extend type asserts to cover all JS types"	2021-10-28 14:10:30 +00:00
objects	[tools] Use absolute imports in testrunner	2021-09-30 07:54:10 +00:00
outproc	Add PASS expectations in NumFuzz behind infra-staging	2021-08-27 13:23:49 +00:00
testproc	[foozzie] Test the --turbo-force-mid-tier-regalloc flag	2021-10-21 14:02:05 +00:00
utils	Preparing v8 to use with python3 /tools/testrunner	2019-02-19 09:23:11 +00:00
__init__.py	First commit of new tools/run-tests.py	2012-09-24 09:38:46 +00:00
base_runner.py	[dict-tracking] Disable --concurrent-inlining under dict-tracking	2021-10-19 12:08:37 +00:00
num_fuzzer.py	Return flags directly in the numfuzz runner	2021-09-30 12:11:21 +00:00
OWNERS	Use relative paths to OWNERS files	2019-08-12 13:52:52 +00:00
PRESUBMIT.py	[presubmit] Clean up insensitive terms	2020-07-27 18:05:48 +00:00
standard_runner.py	[tools] Use absolute imports in testrunner	2021-09-30 07:54:10 +00:00
test_config.py	Introduce regenerate-expected-files for run-test	2020-03-03 18:58:24 +00:00
trycatch_loader.js	[d8][mjsunit][tools] Improve d8 file API	2021-06-01 13:37:57 +00:00