[wasm] Add tail call spec tests

R=ahaas@chromium.org

Bug: v8:7431
Change-Id: Ie416ea6048ffed792225822b053aa3ed37aa4919
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2278468Reviewed-by: Andreas Haas <ahaas@chromium.org>
Commit-Queue: Thibaud Michaud <thibaudm@chromium.org>
Cr-Commit-Position: refs/heads/master@{#68658}

test/wasm-js/testcfg.py

@@ -27,7 +27,11 @@ proposal_flags = [{
                   {
                     'name': 'js-types',
                     'flags': ['--experimental-wasm-type-reflection',
-                              '--no-experimental-wasm-bulk-memory',
+                              '--wasm-staging']
+                  },
+                  {
+                    'name': 'tail-call',
+                    'flags': ['--experimental-wasm-tail-call',
                               '--wasm-staging']
                   },
                   ]

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

-7882aa5f67e480311e4cd054c3b0a443a933e1fb
+ff3850b25e27d13f13ce3d1efafb749bf92204fa
\ No newline at end of file

test/wasm-spec-tests/testcfg.py

@@ -20,7 +20,12 @@ proposal_flags = [{
                   {
                     'name': 'js-types',
                     'flags': ['--experimental-wasm-type-reflection',
-                              '--no-experimental-wasm-bulk-memory']
+                              '--wasm-staging']
+                  },
+                  {
+                    'name': 'tail-call',
+                    'flags': ['--experimental-wasm-return-call',
+                              '--wasm-staging']
                   },
                   ]
 

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

-da3b226e92b5ef783350faa7bd893091709aaf08
+597375ce68d8a81aacdc4acf78d6d9613ddbb466
\ No newline at end of file

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

@@ -20,6 +20,16 @@
   'proposals/js-types/globals': [FAIL],
   'proposals/js-types/linking': [FAIL],
 
+  # TODO(wasm): Roll newest tests into "tail-call" repository.
+  'proposals/tail-call/data': [FAIL],
+  'proposals/tail-call/elem': [FAIL],
+  'proposals/tail-call/exports': [FAIL],
+  'proposals/tail-call/func': [FAIL],
+  'proposals/tail-call/globals': [FAIL],
+  'proposals/tail-call/imports': [FAIL],
+  'proposals/tail-call/linking': [FAIL],
+  'proposals/tail-call/type': [FAIL],
+
   # This test requires the reftypes flag to be disabled.
   'proposals/bulk-memory-operations/imports': [FAIL],
 
@@ -51,6 +61,12 @@
   'proposals/reference-types/f64': [SKIP],
   'proposals/bulk-memory-operations/float_misc': [SKIP],
   'proposals/reference-types/float_misc': [SKIP],
+  'proposals/tail-call/f32': [SKIP],
+  'proposals/tail-call/f32_bitwise': [SKIP],
+  'proposals/tail-call/f64': [SKIP],
+  'proposals/tail-call/f64_bitwise': [SKIP],
+  'proposals/tail-call/float_exprs': [SKIP],
+  'proposals/tail-call/conversions': [SKIP],
 }],  # 'arch == mipsel or arch == mips64el or arch == mips or arch == mips64'
 
 ['(arch == mipsel or arch == mips64el or arch == mips or arch == mips64) and not simulator_run', {
@@ -69,11 +85,14 @@
   'proposals/bulk-memory-operations/f64': [SKIP],
   'proposals/reference-types/f32': [SKIP],
   'proposals/reference-types/f64': [SKIP],
+  'proposals/tail-call/f32': [SKIP],
+  'proposals/tail-call/f64': [SKIP],
   # This test fails because ppc float to double doesn't convert sNaN to qNaN.
   'conversions': [SKIP],
   'proposals/js-types/conversions': [SKIP],
   'proposals/bulk-memory-operations/conversions': [SKIP],
   'proposals/reference-types/conversions':  [SKIP],
+  'proposals/tail-call/conversions':  [SKIP],
 }],  # 'arch == ppc or arch == ppc64'
 
 ['arch == s390 or arch == s390x', {
@@ -86,6 +105,8 @@
   'proposals/bulk-memory-operations/f64': [SKIP],
   'proposals/reference-types/f32': [SKIP],
   'proposals/reference-types/f64': [SKIP],
+  'proposals/tail-call/f32': [SKIP],
+  'proposals/tail-call/f64': [SKIP],
 }],  # 'arch == s390 or arch == s390x'
 
 ##############################################################################

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 js-types'
+repos='bulk-memory-operations reference-types js-types tail-call'
 
 for repo in ${repos}; do
   echo "Process ${repo}"