Skip to content

Wasm32 opts #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
FrancescAlted merged 6 commits into from
Feb 12, 2026
Merged

Wasm32 opts #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
b78b442
Implemented Basic Block Coalescing
FrancescAlted Feb 12, 2026
584a4f0
Implemented more optimizations (peephole, direct br) with tests
FrancescAlted Feb 12, 2026
7043d05
Implemented Structured Control Flow Reconstruction
FrancescAlted Feb 12, 2026
346b978
Add tests designed for wasm32, but that can be general
FrancescAlted Feb 12, 2026
4912b99
wasm32: model unresolved direct calls as env imports in tccwasm
FrancescAlted Feb 12, 2026
b7664bd
Fix remaining test
FrancescAlted Feb 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -317,6 +317,7 @@ if(MINICC_ENABLE_TESTING)
-DWASM_TCC=$<TARGET_FILE:wasm32-tcc>
-DSOURCE_DIR=${CMAKE_CURRENT_SOURCE_DIR}
-DBINARY_DIR=${CMAKE_CURRENT_BINARY_DIR}
-DNODE_EXECUTABLE=${MINICC_NODE_EXECUTABLE}
-P ${CMAKE_CURRENT_SOURCE_DIR}/cmake/RunWasmCompileFailTest.cmake
)
endif()
Expand Down
26 changes: 18 additions & 8 deletions cmake/RunWasmCompileFailTest.cmake
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cmake_minimum_required(VERSION 3.20)

foreach(_req TEST_NAME WASM_TCC SOURCE_DIR BINARY_DIR)
foreach(_req TEST_NAME WASM_TCC SOURCE_DIR BINARY_DIR NODE_EXECUTABLE)
if(NOT DEFINED ${_req} OR "${${_req}}" STREQUAL "")
message(FATAL_ERROR "RunWasmCompileFailTest.cmake: missing required -D${_req}=...")
endif()
Expand All @@ -24,17 +24,27 @@ execute_process(
ERROR_VARIABLE _cc_stderr
)

if(_cc_rv EQUAL 0)
if(NOT _cc_rv EQUAL 0)
message(FATAL_ERROR
"Expected wasm compile to fail for ${TEST_NAME}, but it succeeded.\n"
"Expected wasm compile to succeed for ${TEST_NAME}, but it failed.\n"
"exit code: ${_cc_rv}\n"
"stdout:\n${_cc_stdout}\n"
"stderr:\n${_cc_stderr}")
endif()

if(NOT _cc_stderr MATCHES "unresolved direct call")
execute_process(
COMMAND "${NODE_EXECUTABLE}" -e
"const fs=require('fs');const p=process.argv[1];const m=new WebAssembly.Module(fs.readFileSync(p));const imports=WebAssembly.Module.imports(m);const ok=imports.some(i=>i.kind==='function'&&i.module==='env'&&i.name==='missing');if(!ok){console.error(JSON.stringify(imports));process.exit(2);}"
"${_out_wasm}"
RESULT_VARIABLE _node_rv
OUTPUT_VARIABLE _node_stdout
ERROR_VARIABLE _node_stderr
)

if(NOT _node_rv EQUAL 0)
message(FATAL_ERROR
"Expected unresolved direct call diagnostic for ${TEST_NAME}.\n"
"exit code: ${_cc_rv}\n"
"stdout:\n${_cc_stdout}\n"
"stderr:\n${_cc_stderr}")
"Expected wasm import env.missing for ${TEST_NAME}.\n"
"node exit code: ${_node_rv}\n"
"stdout:\n${_node_stdout}\n"
"stderr:\n${_node_stderr}")
endif()
Loading