Max opt level for wamrc and --xip to prevent .text section modification#25
Merged
marcinbugaj merged 2 commits intomasterfrom Mar 3, 2026
Merged
Max opt level for wamrc and --xip to prevent .text section modification#25marcinbugaj merged 2 commits intomasterfrom
wamrc and --xip to prevent .text section modification#25marcinbugaj merged 2 commits intomasterfrom
Conversation
Benchmark Results (38f3b1d)
|
Collaborator
|
Wow nice. Maybe this also simplifies debugging other issues related to this patch bytecodealliance/wasm-micro-runtime#4777. At least with some tweaking it also works on TinyGo which seems to need fewer relocations anyway but for Go I haven't had any luck yet. |
psilva261
approved these changes
Mar 1, 2026
Benchmark Results (c6be91c)
|
psilva261
added a commit
that referenced
this pull request
Mar 3, 2026
* Add wasm-opt to image as optional tool (in general it wont add performance to clang/gcc optimized code though) * use .aot ending for wamrc output files so aot-analyzer can be used * update README with results from Pull request #25 max opt level for wamrc
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
That PR is an intermediate step in an attempt to run WAMR application in Zisk.
--xip mode is used to prevent .text section modification
--mllvm=-riscv-disable-using-constant-pool-for-large-ints is to prevent LLVM emitting relocations that would imply .text patching by WAMR runtime
That's needed if WAMR application is to be run on Zisk. In general, patching .text at runtime on zkVMs is not possible because zkVMs are much closer to Harvard architectures than to von Neumann architectures.
See the .md file for detailed information.
These changes are applied to QEMU for now. The work for Zisk version is ongoing.