christoph/wamr
1
Fork 0
Code Releases Activity

Stop pretending to support extended-const proposal (#4258)

Browse Source 
As far as I know, we don't implement the proposal at all.

```
spacetanuki% wasm2wat --enable-all data.28.wasm
(module
  (memory (;0;) 1)
  (data (;0;) (i32.const 42
    i32.const 0
    i32.sub) ""))
spacetanuki% toywasm --load data.28.wasm
spacetanuki% ~/git/wasm-micro-runtime/product-mini/platforms/darwin/b.classic/iwasm data.28.wasm
WASM module load failed: illegal opcode or constant expression required or type mismatch
spacetanuki%
```

data.28.wasm in the above example is a binary version of:
8d4f6aa2b0/test/core/data.wast (L184-L187)
This commit is contained in:
YAMAMOTO Takashi
2025-05-09 10:29:06 +09:00
committed by GitHub
parent 0a8994a2d5
commit 6aa223dbf3
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
build-scripts/config_common.cmake
View File

@ -677,7 +677,6 @@ endif ()
message (
"-- About Wasm Proposals:\n"
" Always-on:\n"
" \"Extended Constant Expressions\"\n"
" \"Multi-value\"\n"
" \"Non-trapping float-to-int conversions\"\n"
" \"Sign-extension operators\"\n"
@ -698,6 +697,7 @@ message (
" \"Branch Hinting\"\n"
" \"Custom Annotation Syntax in the Text Format\"\n"
" \"Exception handling\"\n"
" \"Extended Constant Expressions\"\n"
" \"Import/Export of Mutable Globals\"\n"
" \"JS String Builtins\"\n"
" \"Relaxed SIMD\"\n"

2
doc/stability_wasm_proposals.md
View File

@ -15,7 +15,6 @@ Users can turn those features on or off by using compilation options. If a relev
| Proposal | >= Phase 4 | Compilation Option |
| ------------------------------------- | ---------- | ------------------------ |
| Bulk memory operations | Yes | `WAMR_BUILD_BULK_MEMORY` |
| Extended Constant Expressions | Yes | N/A |
| Fixed-width SIMD[^1] | Yes | `WAMR_BUILD_SIMD` |
| Multi-value | Yes | N/A |
| Non-trapping float-to-int conversions | Yes | N/A |
@ -54,6 +53,7 @@ Users can turn those features on or off by using compilation options. If a relev
| Branch Hinting | Yes |
| Custom Annotation Syntax in the Text Format | Yes |
| Exception handling[^5] | Yes |
| Extended Constant Expressions | Yes |
| Import/Export of Mutable Globals | Yes |
| JS String Builtins | Yes |
| Relaxed SIMD | Yes |

2
product-mini/platforms/common/wasm_proposal.c
View File

@ -12,7 +12,6 @@ wasm_proposal_print_status(void)
{
printf("About Wasm Proposals:\n");
printf(" Always-on:\n");
printf(" - Extended Constant Expressions\n");
printf(" - Multi-value\n");
printf(" - Non-trapping float-to-int conversions\n");
printf(" - Sign-extension operators\n");
@ -44,6 +43,7 @@ wasm_proposal_print_status(void)
printf(" - Branch Hinting\n");
printf(" - Custom Annotation Syntax in the Text Format\n");
printf(" - Exception handling\n");
printf(" - Extended Constant Expressions\n");
printf(" - Import/Export of Mutable Globals\n");
printf(" - JS String Builtins\n");
printf(" - Relaxed SIMD\n");