[wasm] Stage type reflection support.

R=ahaas@chromium.org
BUG=v8:7742

Change-Id: Ifaab43b3ca25eb3e03b7f02a2a3864ecc3f41d61
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1771791Reviewed-by: Andreas Haas <ahaas@chromium.org>
Commit-Queue: Michael Starzinger <mstarzinger@chromium.org>
Cr-Commit-Position: refs/heads/master@{#63425}

src/wasm/wasm-feature-flags.h

@@ -5,17 +5,18 @@
 #ifndef V8_WASM_WASM_FEATURE_FLAGS_H_
 #define V8_WASM_WASM_FEATURE_FLAGS_H_
 
-#define FOREACH_WASM_EXPERIMENTAL_FEATURE_FLAG(V)         \
-  V(mv, "multi-value support", false)                     \
-  V(eh, "exception handling opcodes", false)              \
-  V(threads, "thread opcodes", false)                     \
-  V(simd, "SIMD opcodes", false)                          \
-  V(bigint, "JS BigInt support", false)                   \
-  V(return_call, "return call opcodes", false)            \
-  V(type_reflection, "wasm type reflection in JS", false) \
+#define FOREACH_WASM_EXPERIMENTAL_FEATURE_FLAG(V) \
+  V(mv, "multi-value support", false)             \
+  V(eh, "exception handling opcodes", false)      \
+  V(threads, "thread opcodes", false)             \
+  V(simd, "SIMD opcodes", false)                  \
+  V(bigint, "JS BigInt support", false)           \
+  V(return_call, "return call opcodes", false)    \
   V(compilation_hints, "compilation hints section", false)
 
-#define FOREACH_WASM_STAGING_FEATURE_FLAG(V) V(anyref, "anyref opcodes", false)
+#define FOREACH_WASM_STAGING_FEATURE_FLAG(V) \
+  V(anyref, "anyref opcodes", false)         \
+  V(type_reflection, "wasm type reflection in JS", false)
 
 #define FOREACH_WASM_SHIPPED_FEATURE_FLAG(V)                          \
   V(bulk_memory, "bulk memory opcodes", true)                         \

test/wasm-js/testcfg.py

@@ -16,11 +16,16 @@ META_TIMEOUT_REGEXP = re.compile(r"META:\s*timeout=(.*)")
 proposal_flags = [{
                     'name': 'reference-types',
                     'flags': ['--experimental-wasm-anyref',
-                               '--no-experimental-wasm-bulk-memory']
+                              '--no-experimental-wasm-bulk-memory']
                   },
                   {
                     'name': 'bulk-memory-operations',
                     'flags': ['--experimental-wasm-bulk-memory']
+                  },
+                  {
+                    'name': 'js-types',
+                    'flags': ['--experimental-wasm-type-reflection',
+                              '--no-experimental-wasm-bulk-memory']
                   }]
 
 

test/wasm-js/tests.tar.gz.sha1

-baf13bfd0e16aab9f386f59c06062885e18b6dbb
\ No newline at end of file
+26e59563060bd6de4adbb4021684e8cf38fe71c8
\ No newline at end of file

test/wasm-spec-tests/testcfg.py

@@ -10,11 +10,16 @@ from testrunner.objects import testcase
 proposal_flags = [{
                     'name': 'reference-types',
                     'flags': ['--experimental-wasm-anyref',
-                               '--no-experimental-wasm-bulk-memory']
+                              '--no-experimental-wasm-bulk-memory']
                   },
                   {
                     'name': 'bulk-memory-operations',
                     'flags': ['--experimental-wasm-bulk-memory']
+                  },
+                  {
+                    'name': 'js-types',
+                    'flags': ['--experimental-wasm-type-reflection',
+                              '--no-experimental-wasm-bulk-memory']
                   }]
 
 class TestLoader(testsuite.JSTestLoader):

test/wasm-spec-tests/tests.tar.gz.sha1

-2ace97f753d5868bb4db1ddba8e91634f9af8343
\ No newline at end of file
+d9e649f4ea6da6bd18999795201c2bd138c0d786
\ No newline at end of file

test/wasm-spec-tests/wasm-spec-tests.status

@@ -19,6 +19,10 @@
   'proposals/bulk-memory-operations/table_copy': [FAIL],
   'proposals/bulk-memory-operations/elem': [FAIL],
   'proposals/bulk-memory-operations/binary': [FAIL],
+  # TODO(mstarzinger): Roll newest tests into "js-types" repository.
+  'proposals/js-types/exports': [FAIL],
+  'proposals/js-types/globals': [FAIL],
+  'proposals/js-types/linking': [FAIL],
 }],  # ALWAYS
 
 ['arch == mipsel or arch == mips64el or arch == mips or arch == mips64', {

tools/wasm/update-wasm-spec-tests.sh

@@ -71,7 +71,7 @@ log_and_run cp -r ${TMP_DIR}/spec/test/js-api/* ${JS_API_TEST_DIR}/tests
 # Generate the proposal tests.
 ###############################################################################
 
-repos='bulk-memory-operations reference-types'
+repos='bulk-memory-operations reference-types js-types'
 
 for repo in ${repos}; do
   echo "Process ${repo}"