[Wasm64] Fix autoconf tests, and enable test_bullet

Author: sbc100

emcc.py

@@ -630,10 +630,15 @@ def check_human_readable_list(items):
 def make_js_executable(script):
   src = read_file(script)
   cmd = config.JS_ENGINE
-  if settings.WASM_BIGINT:
+  if settings.MEMORY64 == 1:
+    if not config.V8_ENGINE:
+      exit_with_error('V8_ENGINE is required in order to run configure tests with MEMORY64 enabled')
+    cmd = config.V8_ENGINE
+    cmd.append('--experimental-wasm-memory64')
+  elif settings.WASM_BIGINT:
     cmd.append('--experimental-wasm-bigint')
   cmd = shared.shlex_join(cmd)
-  if not os.path.isabs(config.JS_ENGINE[0]):
+  if not os.path.isabs(cmd[0]) or len(cmd) > 1:
     # TODO: use whereis etc. And how about non-*NIX?
     cmd = '/usr/bin/env -S ' + cmd
   logger.debug('adding `#!` to JavaScript file: %s' % cmd)
@@ -1596,7 +1601,10 @@ def phase_linker_setup(options, state, newargs, user_settings):
     # configure tests want a more shell-like style, where we emit return codes on exit()
     settings.EXIT_RUNTIME = 1
     # use node.js raw filesystem access, to behave just like a native executable
-    settings.NODERAWFS = 1
+    if settings.MEMORY64 == 1:
+      settings.ENVIRONMENT = 'shell'
+    else:
+      settings.NODERAWFS = 1
     # Add `#!` line to output JS and make it executable.
     options.executable = True
 

test/test_core.py

@@ -6805,7 +6805,6 @@ def test_zlib(self, use_cmake):
 
   @needs_make('make')
   @is_slow_test
-  @no_wasm64('TODO produces different output')
   @no_ubsan('it seems that bullet contains UB')
   @parameterized({
     'cmake': (True,),
@@ -6817,12 +6816,13 @@ def test_bullet(self, use_cmake):
       self.skipTest("Windows cannot run configure sh scripts")
 
     self.emcc_args += [
-        '-Wno-c++11-narrowing',
-        '-Wno-deprecated-register',
-        '-Wno-writable-strings',
-        '-Wno-shift-negative-value',
-        '-Wno-format',
-        '-Wno-bitfield-constant-conversion',
+      '-Wno-c++11-narrowing',
+      '-Wno-deprecated-register',
+      '-Wno-writable-strings',
+      '-Wno-shift-negative-value',
+      '-Wno-format',
+      '-Wno-bitfield-constant-conversion',
+      '-Wno-int-to-void-pointer-cast',
     ]
 
     # extra testing for ASSERTIONS == 2