Enable shrunk memory by default and add related configurations (#4008)

- Enable shrunk memory by default and add related configurations
- Improve error messages for memory access alignment checks
- Add documentation for WAMR shrunk memory build option
- Update NuttX workflow to disable shrunk memory build option

.github/workflows/spec_test_on_nuttx.yml

@@ -208,7 +208,7 @@ jobs:
         if: contains(matrix.wamr_test_option.mode, 'aot')
         working-directory: apps/interpreters/wamr/wamr/wamr-compiler
         run: |
-          cmake -Bbuild .
+          cmake -B build -DWAMR_BUILD_SHRUNK_MEMORY=0 -S .
           cmake --build build
 
       # the nuttx version we use for xtensa requires esptool.py newer than

build-scripts/config_common.cmake

@@ -162,6 +162,11 @@ if (WAMR_BUILD_LINUX_PERF EQUAL 1)
   endif ()
 endif ()
 
+if (NOT DEFINED WAMR_BUILD_SHRUNK_MEMORY)
+  # Enable shrunk memory by default
+  set (WAMR_BUILD_SHRUNK_MEMORY 1)
+endif ()
+
 ########################################
 
 message ("-- Build Configurations:")
@@ -599,3 +604,10 @@ endif()
 if (NOT WAMR_BUILD_SANITIZER STREQUAL "")
   message ("     Sanitizer ${WAMR_BUILD_SANITIZER} enabled")
 endif ()
+if (WAMR_BUILD_SHRUNK_MEMORY EQUAL 1)
+  add_definitions (-DWASM_ENABLE_SHRUNK_MEMORY=1)
+  message ("     Shrunk memory enabled")
+else ()
+  add_definitions (-DWASM_ENABLE_SHRUNK_MEMORY=0)
+  message ("     Shrunk memory disabled")
+endif ()

core/config.h

@@ -698,4 +698,8 @@
 #define WASM_ENABLE_SHARED_HEAP 0
 #endif
 
+#ifndef WASM_ENABLE_SHRUNK_MEMORY
+#define WASM_ENABLE_SHRUNK_MEMORY 1
+#endif
+
 #endif /* end of _CONFIG_H_ */

core/iwasm/interpreter/wasm_loader.c

@@ -6156,9 +6156,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
     }
 
     if (!module->possible_memory_grow) {
-        WASMMemoryImport *memory_import;
+#if WASM_ENABLE_SHRUNK_MEMORY != 0
-        WASMMemory *memory;
-
         if (aux_data_end_global && aux_heap_base_global
             && aux_stack_top_global) {
             uint64 init_memory_size;
@@ -6168,7 +6166,8 @@ load_from_sections(WASMModule *module, WASMSection *sections,
              * valid range of uint32 */
             if (shrunk_memory_size <= UINT32_MAX) {
                 if (module->import_memory_count) {
-                    memory_import = &module->import_memories[0].u.memory;
+                    WASMMemoryImport *memory_import =
+                        &module->import_memories[0].u.memory;
                     init_memory_size =
                         (uint64)memory_import->mem_type.num_bytes_per_page
                         * memory_import->mem_type.init_page_count;
@@ -6183,7 +6182,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
                 }
 
                 if (module->memory_count) {
-                    memory = &module->memories[0];
+                    WASMMemory *memory = &module->memories[0];
                     init_memory_size = (uint64)memory->num_bytes_per_page
                                        * memory->init_page_count;
                     if (shrunk_memory_size <= init_memory_size) {
@@ -6196,10 +6195,12 @@ load_from_sections(WASMModule *module, WASMSection *sections,
                 }
             }
         }
+#endif /* WASM_ENABLE_SHRUNK_MEMORY != 0 */
 
 #if WASM_ENABLE_MULTI_MODULE == 0
         if (module->import_memory_count) {
-            memory_import = &module->import_memories[0].u.memory;
+            WASMMemoryImport *memory_import =
+                &module->import_memories[0].u.memory;
             /* Only resize the memory to one big page if num_bytes_per_page is
              * in valid range of uint32 */
             if (memory_import->mem_type.init_page_count < DEFAULT_MAX_PAGES) {
@@ -6215,7 +6216,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
             }
         }
         if (module->memory_count) {
-            memory = &module->memories[0];
+            WASMMemory *memory = &module->memories[0];
             /* Only resize(shrunk) the memory size if num_bytes_per_page is in
              * valid range of uint32 */
             if (memory->init_page_count < DEFAULT_MAX_PAGES) {
@@ -10021,7 +10022,8 @@ check_memory_access_align(uint8 opcode, uint32 align, char *error_buf,
     bh_assert(opcode >= WASM_OP_I32_LOAD && opcode <= WASM_OP_I64_STORE32);
     if (align > mem_access_aligns[opcode - WASM_OP_I32_LOAD]) {
         set_error_buf(error_buf, error_buf_size,
-                      "alignment must not be larger than natural");
+                      "invalid memop flags: alignment must not be larger "
+                      "than natural");
         return false;
     }
     return true;
@@ -10060,7 +10062,8 @@ check_simd_memory_access_align(uint8 opcode, uint32 align, char *error_buf,
             && align > mem_access_aligns_load_lane[opcode
                                                    - SIMD_v128_load8_lane])) {
         set_error_buf(error_buf, error_buf_size,
-                      "alignment must not be larger than natural");
+                      "invalid memop flags: alignment must not be larger "
+                      "than natural");
         return false;
     }
 

core/iwasm/interpreter/wasm_mini_loader.c

@@ -2958,9 +2958,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
     }
 
     if (!module->possible_memory_grow) {
-        WASMMemoryImport *memory_import;
+#if WASM_ENABLE_SHRUNK_MEMORY != 0
-        WASMMemory *memory;
-
         if (aux_data_end_global && aux_heap_base_global
             && aux_stack_top_global) {
             uint64 init_memory_size;
@@ -2970,7 +2968,8 @@ load_from_sections(WASMModule *module, WASMSection *sections,
              * valid range of uint32 */
             if (shrunk_memory_size <= UINT32_MAX) {
                 if (module->import_memory_count) {
-                    memory_import = &module->import_memories[0].u.memory;
+                    WASMMemoryImport *memory_import =
+                        &module->import_memories[0].u.memory;
                     init_memory_size =
                         (uint64)memory_import->mem_type.num_bytes_per_page
                         * memory_import->mem_type.init_page_count;
@@ -2985,7 +2984,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
                 }
 
                 if (module->memory_count) {
-                    memory = &module->memories[0];
+                    WASMMemory *memory = &module->memories[0];
                     init_memory_size = (uint64)memory->num_bytes_per_page
                                        * memory->init_page_count;
                     if (shrunk_memory_size <= init_memory_size) {
@@ -2998,9 +2997,11 @@ load_from_sections(WASMModule *module, WASMSection *sections,
                 }
             }
         }
+#endif /* WASM_ENABLE_SHRUNK_MEMORY != 0 */
 
         if (module->import_memory_count) {
-            memory_import = &module->import_memories[0].u.memory;
+            WASMMemoryImport *memory_import =
+                &module->import_memories[0].u.memory;
             if (memory_import->mem_type.init_page_count < DEFAULT_MAX_PAGES) {
                 memory_import->mem_type.num_bytes_per_page *=
                     memory_import->mem_type.init_page_count;
@@ -3014,7 +3015,7 @@ load_from_sections(WASMModule *module, WASMSection *sections,
         }
 
         if (module->memory_count) {
-            memory = &module->memories[0];
+            WASMMemory *memory = &module->memories[0];
             if (memory->init_page_count < DEFAULT_MAX_PAGES) {
                 memory->num_bytes_per_page *= memory->init_page_count;
                 if (memory->init_page_count > 0)

doc/build_wamr.md

@@ -20,7 +20,7 @@ add_library(vmlib ${WAMR_RUNTIME_LIB_SOURCE})
 
 The script `runtime_lib.cmake` defines a number of variables for configuring the WAMR runtime features. You can set these variables in your CMakeList.txt or pass the configurations from cmake command line.
 
-#### **Configure platform and architecture**
+### **Configure platform and architecture**
 
 - **WAMR_BUILD_PLATFORM**:  set the target platform. It can be set to any platform name (folder name) under folder [core/shared/platform](../core/shared/platform).
 
@@ -34,7 +34,7 @@ The script `runtime_lib.cmake` defines a number of variables for configuring the
 cmake -DWAMR_BUILD_PLATFORM=linux -DWAMR_BUILD_TARGET=ARM
 ```
 
-#### **Configure interpreters**
+### **Configure interpreters**
 
 - **WAMR_BUILD_INTERP**=1/0: enable or disable WASM interpreter
 
@@ -42,14 +42,14 @@ cmake -DWAMR_BUILD_PLATFORM=linux -DWAMR_BUILD_TARGET=ARM
 
   NOTE: the fast interpreter runs ~2X faster than classic interpreter, but consumes about 2X memory to hold the pre-compiled code.
 
-#### **Configure AOT and JITs**
+### **Configure AOT and JITs**
 
 - **WAMR_BUILD_AOT**=1/0, enable AOT or not, default to enable if not set
 - **WAMR_BUILD_JIT**=1/0, enable LLVM JIT or not, default to disable if not set
 - **WAMR_BUILD_FAST_JIT**=1/0, enable Fast JIT or not, default to disable if not set
 - **WAMR_BUILD_FAST_JIT**=1 and **WAMR_BUILD_JIT**=1, enable Multi-tier JIT, default to disable if not set
 
-#### **Configure LIBC**
+### **Configure LIBC**
 
 - **WAMR_BUILD_LIBC_BUILTIN**=1/0, build the built-in libc subset for WASM app, default to enable if not set
 
@@ -59,98 +59,98 @@ cmake -DWAMR_BUILD_PLATFORM=linux -DWAMR_BUILD_TARGET=ARM
 
 > Note: for platform which doesn't support **WAMR_BUILD_LIBC_WASI**, e.g. Windows, developer can try using **WAMR_BUILD_LIBC_UVWASI**.
 
-#### **Enable Multi-Module feature**
+### **Enable Multi-Module feature**
 
 - **WAMR_BUILD_MULTI_MODULE**=1/0, default to disable if not set
 > Note: See [Multiple Modules as Dependencies](./multi_module.md) for more details.
 
-#### **Enable WASM mini loader**
+### **Enable WASM mini loader**
 
 - **WAMR_BUILD_MINI_LOADER**=1/0, default to disable if not set
 
 > Note: the mini loader doesn't check the integrity of the WASM binary file, developer must ensure that the WASM file is well-formed.
 
-#### **Enable shared memory feature**
+### **Enable shared memory feature**
 - **WAMR_BUILD_SHARED_MEMORY**=1/0, default to disable if not set
 
-#### **Enable bulk memory feature**
+### **Enable bulk memory feature**
 - **WAMR_BUILD_BULK_MEMORY**=1/0, default to disable if not set
 
-#### **Enable memory64 feature**
+### **Enable memory64 feature**
 - **WAMR_BUILD_MEMORY64**=1/0, default to disable if not set
 
 > Note: Currently, the memory64 feature is only supported in classic interpreter running mode and AOT mode.
 
-#### **Enable thread manager**
+### **Enable thread manager**
 - **WAMR_BUILD_THREAD_MGR**=1/0, default to disable if not set
 
-#### **Enable lib-pthread**
+### **Enable lib-pthread**
 - **WAMR_BUILD_LIB_PTHREAD**=1/0, default to disable if not set
 > Note: The dependent feature of lib pthread such as the `shared memory` and `thread manager` will be enabled automatically.
 
 > See [WAMR pthread library](./pthread_library.md) for more details.
 
-#### **Enable lib-pthread-semaphore**
+### **Enable lib-pthread-semaphore**
 - **WAMR_BUILD_LIB_PTHREAD_SEMAPHORE**=1/0, default to disable if not set
 > Note: This feature depends on `lib-pthread`, it will be enabled automatically if this feature is enabled.
 
-#### **Enable lib wasi-threads**
+### **Enable lib wasi-threads**
 - **WAMR_BUILD_LIB_WASI_THREADS**=1/0, default to disable if not set
 > Note: The dependent feature of lib wasi-threads such as the `shared memory` and `thread manager` will be enabled automatically.
 
 > See [wasi-threads](./pthread_impls.md#wasi-threads-new) and [Introduction to WAMR WASI threads](https://bytecodealliance.github.io/wamr.dev/blog/introduction-to-wamr-wasi-threads) for more details.
 
-#### **Enable lib wasi-nn**
+### **Enable lib wasi-nn**
 - **WAMR_BUILD_WASI_NN**=1/0, default to disable if not set
 > Note: See [WASI-NN](../core/iwasm/libraries/wasi-nn) for more details.
 
-#### **Enable lib wasi-nn GPU mode**
+### **Enable lib wasi-nn GPU mode**
 - **WAMR_BUILD_WASI_NN_ENABLE_GPU**=1/0, default to disable if not set
 
-#### **Enable lib wasi-nn external delegate mode**
+### **Enable lib wasi-nn external delegate mode**
 - **WAMR_BUILD_WASI_NN_ENABLE_EXTERNAL_DELEGATE**=1/0, default to disable if not set
 
 - **WAMR_BUILD_WASI_NN_EXTERNAL_DELEGATE_PATH**=Path to the external delegate shared library (e.g. `libedgetpu.so.1.0` for Coral USB)
 
-#### **Enable lib wasi-nn with `wasi_ephemeral_nn` module support**
+### **Enable lib wasi-nn with `wasi_ephemeral_nn` module support**
 - **WAMR_BUILD_WASI_EPHEMERAL_NN**=1/0, default to disable if not set
 
-#### **Disable boundary check with hardware trap**
+### **Disable boundary check with hardware trap**
 - **WAMR_DISABLE_HW_BOUND_CHECK**=1/0, default to enable if not set and supported by platform
 > Note: by default only platform [linux/darwin/android/windows/vxworks 64-bit](https://github.com/bytecodealliance/wasm-micro-runtime/blob/5fb5119239220b0803e7045ca49b0a29fe65e70e/core/shared/platform/linux/platform_internal.h#L81) will enable the boundary check with hardware trap feature, for 32-bit platforms it's automatically disabled even when the flag is set to 0, and the wamrc tool will generate AOT code without boundary check instructions in all 64-bit targets except SGX to improve performance. The boundary check includes linear memory access boundary and native stack access boundary, if `WAMR_DISABLE_STACK_HW_BOUND_CHECK` below isn't set.
 
-#### **Disable native stack boundary check with hardware trap**
+### **Disable native stack boundary check with hardware trap**
 - **WAMR_DISABLE_STACK_HW_BOUND_CHECK**=1/0, default to enable if not set and supported by platform, same as `WAMR_DISABLE_HW_BOUND_CHECK`.
 > Note: When boundary check with hardware trap is disabled, or `WAMR_DISABLE_HW_BOUND_CHECK` is set to 1, the native stack boundary check with hardware trap will be disabled too, no matter what value is set to `WAMR_DISABLE_STACK_HW_BOUND_CHECK`. And when boundary check with hardware trap is enabled, the status of this feature is set according to the value of `WAMR_DISABLE_STACK_HW_BOUND_CHECK`.
 
-#### **Disable async wakeup of blocking operation**
+### **Disable async wakeup of blocking operation**
 - **WAMR_DISABLE_WAKEUP_BLOCKING_OP**=1/0, default to enable if supported by the platform
 > Note: The feature helps async termination of blocking threads. If you disable it, the runtime can wait for termination of blocking threads possibly forever.
 
-#### **Enable tail call feature**
+### **Enable tail call feature**
 - **WAMR_BUILD_TAIL_CALL**=1/0, default to disable if not set
 
-#### **Enable 128-bit SIMD feature**
+### **Enable 128-bit SIMD feature**
 - **WAMR_BUILD_SIMD**=1/0, default to enable if not set
 > Note: only supported in AOT mode x86-64 target.
 
-#### **Enable Exception Handling**
+### **Enable Exception Handling**
 - **WAMR_BUILD_EXCE_HANDLING**=1/0, default to disable if not set
 
 > Note: Currently, the exception handling feature is only supported in classic interpreter running mode.
 
-#### **Enable Garbage Collection**
+### **Enable Garbage Collection**
 - **WAMR_BUILD_GC**=1/0, default to disable if not set
 
-#### **Configure Debug**
+### **Configure Debug**
 
 - **WAMR_BUILD_CUSTOM_NAME_SECTION**=1/0, load the function name from custom name section, default to disable if not set
 
-#### **Enable AOT stack frame feature**
+### **Enable AOT stack frame feature**
 - **WAMR_BUILD_AOT_STACK_FRAME**=1/0, default to disable if not set
 > Note: if it is enabled, the AOT or JIT stack frames (like stack frame of classic interpreter but only necessary data is committed) will be created for AOT or JIT mode in function calls. And please add `--enable-dump-call-stack` option to wamrc during compiling AOT module.
 
-#### **Enable dump call stack feature**
+### **Enable dump call stack feature**
 - **WAMR_BUILD_DUMP_CALL_STACK**=1/0, default to disable if not set
 
 > Note: if it is enabled, the call stack will be dumped when exception occurs.
@@ -158,14 +158,14 @@ cmake -DWAMR_BUILD_PLATFORM=linux -DWAMR_BUILD_TARGET=ARM
 > - For interpreter mode, the function names are firstly extracted from *custom name section*, if this section doesn't exist or the feature is not enabled, then the name will be extracted from the import/export sections
 > - For AOT/JIT mode, the function names are extracted from import/export section, please export as many functions as possible (for `wasi-sdk` you can use `-Wl,--export-all`) when compiling wasm module, and add `--enable-dump-call-stack --emit-custom-sections=name` option to wamrc during compiling AOT module.
 
-#### **Enable memory profiling (Experiment)**
+### **Enable memory profiling (Experiment)**
 - **WAMR_BUILD_MEMORY_PROFILING**=1/0, default to disable if not set
 > Note: if it is enabled, developer can use API `void wasm_runtime_dump_mem_consumption(wasm_exec_env_t exec_env)` to dump the memory consumption info.
 Currently we only profile the memory consumption of module, module_instance and exec_env, the memory consumed by other components such as `wasi-ctx`, `multi-module` and `thread-manager` are not included.
 
 > Also refer to [Memory usage estimation for a module](./memory_usage.md).
 
-#### **Enable performance profiling (Experiment)**
+### **Enable performance profiling (Experiment)**
 - **WAMR_BUILD_PERF_PROFILING**=1/0, default to disable if not set
 > Note: if it is enabled, developer can use API `void wasm_runtime_dump_perf_profiling(wasm_module_inst_t module_inst)` to dump the performance consumption info. Currently we only profile the performance consumption of each WASM function.
 
@@ -173,24 +173,24 @@ Currently we only profile the memory consumption of module, module_instance and
 
 > Also refer to [Tune the performance of running wasm/aot file](./perf_tune.md).
 
-#### **Enable the global heap**
+### **Enable the global heap**
 - **WAMR_BUILD_GLOBAL_HEAP_POOL**=1/0, default to disable if not set for all *iwasm* applications, except for the platforms Alios and Zephyr.
 
 > **WAMR_BUILD_GLOBAL_HEAP_POOL** is used in the *iwasm* applications provided in the directory `product-mini`. When writing your own host application using WAMR, if you want to use a global heap and allocate memory from it, you must set the initialization argument `mem_alloc_type` to `Alloc_With_Pool`.
 > The global heap is defined in the documentation [Memory model and memory usage tunning](memory_tune.md).
 
-#### **Set the global heap size**
+### **Set the global heap size**
 - **WAMR_BUILD_GLOBAL_HEAP_SIZE**=n, default to 10 MB (10485760) if not set for all *iwasm* applications, except for the platforms Alios (256 kB), Riot (256 kB) and Zephyr (128 kB).
 
 > **WAMR_BUILD_GLOBAL_HEAP_SIZE** is used in the *iwasm* applications provided in the directory `product-mini`. When writing your own host application using WAMR, if you want to set the amount of memory dedicated to the global heap pool, you must set the initialization argument `mem_alloc_option.pool` with the appropriate values.
 > The global heap is defined in the documentation [Memory model and memory usage tunning](memory_tune.md).
 > Note: if `WAMR_BUILD_GLOBAL_HEAP_SIZE` is not set and the flag `WAMR_BUILD_SPEC_TEST` is set, the global heap size is equal to 300 MB (314572800), or 100 MB (104857600) when compiled for Intel SGX (Linux).
 
-#### **Set maximum app thread stack size**
+### **Set maximum app thread stack size**
 - **WAMR_APP_THREAD_STACK_SIZE_MAX**=n, default to 8 MB (8388608) if not set
 > Note: the AOT boundary check with hardware trap mechanism might consume large stack since the OS may lazily grow the stack mapping as a guard page is hit, we may use this configuration to reduce the total stack usage, e.g. -DWAMR_APP_THREAD_STACK_SIZE_MAX=131072 (128 KB).
 
-#### **Set vprintf callback**
+### **Set vprintf callback**
 - **WAMR_BH_VPRINTF**=<vprintf_callback>, default to disable if not set
 > Note: if the vprintf_callback function is provided by developer, the os_printf() and os_vprintf() in Linux, Darwin, Windows, VxWorks, Android and esp-idf platforms, besides WASI Libc output will call the callback function instead of libc vprintf() function to redirect the stdout output. For example, developer can define the callback function like below outside runtime lib:
 >
@@ -212,7 +212,7 @@ Currently we only profile the memory consumption of module, module_instance and
 >
 > and then use `cmake -DWAMR_BH_VPRINTF=my_vprintf ..` to pass the callback function, or add `BH_VPRINTF=my_vprintf` macro for the compiler, e.g. add line `add_definitions(-DBH_VPRINTF=my_vprintf)` in CMakeLists.txt. See [basic sample](../samples/basic/src/main.c) for a usage example.
 
-#### **WAMR_BH_LOG**=<log_callback>, default to disable if not set
+### **WAMR_BH_LOG**=<log_callback>, default to disable if not set
 > Note: if the log_callback function is provided by the developer, WAMR logs are redirected to such callback. For example:
 > ```C
 > void my_log(uint32 log_level, const char *file, int line, const char *fmt, ...)
@@ -222,20 +222,20 @@ Currently we only profile the memory consumption of module, module_instance and
 > ```
 > See [basic sample](../samples/basic/src/main.c) for a usage example.
 
-#### **Enable reference types feature**
+### **Enable reference types feature**
 - **WAMR_BUILD_REF_TYPES**=1/0, default to enable if not set
 
-#### **Exclude WAMR application entry functions**
+### **Exclude WAMR application entry functions**
 - **WAMR_DISABLE_APP_ENTRY**=1/0, default to disable if not set
 
 > Note: The WAMR application entry (`core/iwasm/common/wasm_application.c`) encapsulate some common process to instantiate, execute the wasm functions and print the results. Some platform related APIs are used in these functions, so you can enable this flag to exclude this file if your platform doesn't support those APIs.
 > *Don't enable this flag if you are building `product-mini`*
 
-#### **Enable source debugging features**
+### **Enable source debugging features**
 - **WAMR_BUILD_DEBUG_INTERP**=1/0, default to 0 if not set
 > Note: There are some other setup required by source debugging, please refer to [source_debugging.md](./source_debugging.md) and [WAMR source debugging basic](https://bytecodealliance.github.io/wamr.dev/blog/wamr-source-debugging-basic) for more details.
 
-#### **Enable load wasm custom sections**
+### **Enable load wasm custom sections**
 - **WAMR_BUILD_LOAD_CUSTOM_SECTION**=1/0, default to disable if not set
 
 > Note: By default, the custom sections are ignored. If the embedder wants to get custom sections from `wasm_module_t`, then `WAMR_BUILD_LOAD_CUSTOM_SECTION` should be enabled, and then `wasm_runtime_get_custom_section` can be used to get a custom section by name.
@@ -244,29 +244,29 @@ Currently we only profile the memory consumption of module, module_instance and
 
 > For AoT file, must use `--emit-custom-sections` to specify which sections need to be emitted into AoT file, otherwise all custom sections will be ignored.
 
-#### **Stack guard size**
+### **Stack guard size**
 - **WAMR_BUILD_STACK_GUARD_SIZE**=n, default to N/A if not set.
 > Note: By default, the stack guard size is 1K (1024) or 24K (if uvwasi enabled).
 
-#### **Disable writing the linear memory base address to x86 GS segment register**
+### **Disable writing the linear memory base address to x86 GS segment register**
 - **WAMR_DISABLE_WRITE_GS_BASE**=1/0, default to enable if not set and supported by platform
 > Note: by default only platform [linux x86-64](https://github.com/bytecodealliance/wasm-micro-runtime/blob/5fb5119239220b0803e7045ca49b0a29fe65e70e/core/shared/platform/linux/platform_internal.h#L67) will enable this feature, for 32-bit platforms it's automatically disabled even when the flag is set to 0. In linux x86-64, writing the linear memory base address to x86 GS segment register may be used to speedup the linear memory access for LLVM AOT/JIT, when `--enable-segue=[<flags>]` option is added for `wamrc` or `iwasm`.
 
 > See [Enable segue optimization for wamrc when generating the aot file](./perf_tune.md#3-enable-segue-optimization-for-wamrc-when-generating-the-aot-file) for more details.
 
-#### **User defined linear memory allocator**
+### **User defined linear memory allocator**
 - **WAMR_BUILD_ALLOC_WITH_USAGE**=1/0, default to disable if not set
 > Notes: by default, the linear memory is allocated by system. when it's set to 1 and Alloc_With_Allocator is selected, it will be allocated by customer.
 
-#### **Enable running PGO(Profile-Guided Optimization) instrumented AOT file**
+### **Enable running PGO(Profile-Guided Optimization) instrumented AOT file**
 - **WAMR_BUILD_STATIC_PGO**=1/0, default to disable if not set
 > Note: See [Use the AOT static PGO method](./perf_tune.md#5-use-the-aot-static-pgo-method) for more details.
 
-#### **Enable linux perf support**
+### **Enable linux perf support**
 - **WAMR_BUILD_LINUX_PERF**=1/0, enable linux perf support to generate the flamegraph to analyze the performance of a wasm application, default to disable if not set
 > Note: See [Use linux-perf](./perf_tune.md#7-use-linux-perf) for more details.
 
-#### **Enable module instance context APIs**
+### **Enable module instance context APIs**
 - **WAMR_BUILD_MODULE_INST_CONTEXT**=1/0, enable module instance context APIs which can set one or more contexts created by the embedder for a wasm module instance, default to enable if not set:
 ```C
     wasm_runtime_create_context_key
@@ -277,19 +277,19 @@ Currently we only profile the memory consumption of module, module_instance and
 ```
 > Note: See [wasm_export.h](../core/iwasm/include/wasm_export.h) for more details.
 
-#### **Enable quick AOT/JTI entries**
+### **Enable quick AOT/JTI entries**
 - **WAMR_BUILD_QUICK_AOT_ENTRY**=1/0, enable registering quick call entries to speedup the aot/jit func call process, default to enable if not set
 > Note: See [Refine callings to AOT/JIT functions from host native](./perf_tune.md#83-refine-callings-to-aotjit-functions-from-host-native) for more details.
 
-#### **Enable AOT intrinsics**
+### **Enable AOT intrinsics**
 - **WAMR_BUILD_AOT_INTRINSICS**=1/0, enable the AOT intrinsic functions, default to enable if not set. These functions can be called from the AOT code when `--disable-llvm-intrinsics` flag or `--enable-builtin-intrinsics=<intr1,intr2,...>` flag is used by wamrc to generate the AOT file.
 > Note: See [Tuning the XIP intrinsic functions](./xip.md#tuning-the-xip-intrinsic-functions) for more details.
 
-#### **Configurable memory access boundary check**
+### **Configurable memory access boundary check**
 - **WAMR_CONFIGURABLE_BOUNDS_CHECKS**=1/0, default to disable if not set
 > Note: If it is enabled, allow to run `iwasm --disable-bounds-checks` to disable the memory access boundary checks for interpreter mode.
 
-#### **Module instance context APIs**
+### **Module instance context APIs**
 - **WAMR_BUILD_MODULE_INST_CONTEXT**=1/0, default to disable if not set
 > Note: If it is enabled, allow to set one or more contexts created by embedder for a module instance, the below APIs are provided:
 ```C
@@ -300,7 +300,7 @@ Currently we only profile the memory consumption of module, module_instance and
     wasm_runtime_get_context
 ```
 
-#### **Shared heap among wasm apps and host native**
+### **Shared heap among wasm apps and host native**
 - **WAMR_BUILD_SHARED_HEAP**=1/0, default to disable if not set
 > Note: If it is enabled, allow to create one or more shared heaps, and attach one to a module instance, the belows APIs ared provided:
 ```C
@@ -316,7 +316,11 @@ And the wasm app can calls below APIs to allocate/free memory from/to the shared
    void shared_heap_free(void *ptr);
 ```
 
-**Combination of configurations:**
+### **Shrunk the memory usage**
+- **WAMR_BUILD_SHRUNK_MEMORY**=1/0, default to enable if not set
+> Note: When enabled, this feature will reduce memory usage by decreasing the size of the linear memory, particularly when the `memory.grow` opcode is not used and memory usage is somewhat predictable.
+
+## **Combination of configurations:**
 
 We can combine the configurations. For example, if we want to disable interpreter, enable AOT and WASI, we can run command:
 
@@ -328,4 +332,4 @@ Or if we want to enable interpreter, disable AOT and WASI, and build as X86_32,
 
 ``` Bash
 cmake .. -DWAMR_BUILD_INTERP=1 -DWAMR_BUILD_AOT=0 -DWAMR_BUILD_LIBC_WASI=0 -DWAMR_BUILD_TARGET=X86_32
-```
+```

doc/memory_tune.md

@@ -32,3 +32,4 @@ Normally there are some methods to tune the memory usage:
 - use XIP mode, refer to [WAMR XIP (Execution In Place) feature introduction](./xip.md) for more details
 - when using the Wasm C API in fast interpreter or AOT mode, set `clone_wasm_binary=false` in `LoadArgs` and free the wasm binary buffer (with `wasm_byte_vec_delete`) after module loading; `wasm_module_is_underlying_binary_freeable` can be queried to check if the wasm binary buffer can be safely freed (see [the example](../samples/basic/src/free_buffer_early.c)); after the buffer is freed, `wasm_runtime_get_custom_section` cannot be called anymore
 - when using the wasm/AOT loader in fast interpreter or AOT mode, set `wasm_binary_freeable=true` in `LoadArgs` and free the wasm binary buffer (with `wasm_byte_vec_delete`) after module loading; `wasm_runtime_is_underlying_binary_freeable` can be queried to check if the wasm binary buffer can be safely freed; after the buffer is freed, `wasm_runtime_get_custom_section` cannot be called anymore
+- `WAMR_BUILD_SHRUNK_MEMORY` can be used to reduce the memory usage of WAMR, but it might affect the standard expected behavior of WAMR.

tests/wamr-test-suites/spec-test-script/ignore_cases.patch

@@ -1,136 +1,66 @@
-diff --git a/test/core/data.wast b/test/core/data.wast
-index b1e1239..a0f6967 100644
---- a/test/core/data.wast
-+++ b/test/core/data.wast
-@@ -312,7 +312,8 @@
-     "\02\01\41\00\0b"                       ;; active data segment 0 for memory 1
-     "\00"                                   ;; empty vec(byte)
-   )
--  "unknown memory 1"
-+  ;; TODO: restore after supporting multi memory"
-+  "unknown memory"
- )
- 
- ;; Data segment with memory index 0 (no memory section)
-@@ -334,7 +335,8 @@
-     "\02\01\41\00\0b"                       ;; active data segment 0 for memory 1
-     "\00"                                   ;; empty vec(byte)
-   )
--  "unknown memory 1"
-+  ;; TODO: restore after supporting multi memory"
-+  "unknown memory"
- )
- 
- ;; Data segment with memory index 1 and vec(byte) as above,
-@@ -354,7 +356,8 @@
-     "\20\21\22\23\24\25\26\27\28\29\2a\2b\2c\2d\2e\2f"
-     "\30\31\32\33\34\35\36\37\38\39\3a\3b\3c\3d"
-   )
--  "unknown memory 1"
-+  ;; TODO: restore after supporting multi memory"
-+  "unknown memory"
- )
- 
- ;; Data segment with memory index 1 and specially crafted vec(byte) after.
-@@ -374,7 +377,8 @@
-     "\20\21\22\23\24\25\26\27\28\29\2a\2b\2c\2d\2e\2f"
-     "\30\31\32\33\34\35\36\37\38\39\3a\3b\3c\3d"
-   )
--  "unknown memory 1"
-+  ;; TODO: restore after supporting multi memory"
-+  "unknown memory"
- )
- 
- 
 diff --git a/test/core/elem.wast b/test/core/elem.wast
-index 33b3f67..a4c1a2d 100644
+index 68a244b..a42cbd4 100644
 --- a/test/core/elem.wast
 +++ b/test/core/elem.wast
-@@ -586,6 +586,7 @@
+@@ -560,6 +560,9 @@
- (assert_return (invoke $module1 "call-8") (i32.const 65))
+ )
- (assert_return (invoke $module1 "call-9") (i32.const 66))
+ (assert_return (invoke "call-overwritten-element") (i32.const 66))
  
-+(;
++(;; FIXME: enable the following cases after supporting the import of tables
- (module $module2
++ ;;
-   (type $out-i32 (func (result i32)))
++
-   (import "module1" "shared-table" (table 10 funcref))
+ ;; Element sections across multiple modules change the same table
-@@ -598,7 +599,9 @@
- (assert_return (invoke $module1 "call-7") (i32.const 67))
- (assert_return (invoke $module1 "call-8") (i32.const 68))
- (assert_return (invoke $module1 "call-9") (i32.const 66))
-+;)
  
-+(;
+ (module $module1
- (module $module3
+@@ -690,3 +693,5 @@
-   (type $out-i32 (func (result i32)))
-   (import "module1" "shared-table" (table 10 funcref))
-@@ -611,6 +614,7 @@
- (assert_return (invoke $module1 "call-7") (i32.const 67))
- (assert_return (invoke $module1 "call-8") (i32.const 69))
- (assert_return (invoke $module1 "call-9") (i32.const 70))
-+;)
- 
- ;; Element segments must match element type of table
- 
-@@ -643,6 +647,7 @@
- 
- ;; Initializing a table with an externref-type element segment
- 
-+(;
- (module $m
- 	(table $t (export "table") 2 externref)
- 	(func (export "get") (param $i i32) (result externref)
-@@ -667,9 +672,11 @@
- 
- (assert_return (invoke $m "get" (i32.const 0)) (ref.null extern))
- (assert_return (invoke $m "get" (i32.const 1)) (ref.extern 137))
-+;)
- 
- ;; Initializing a table with imported funcref global
- 
-+(;
- (module $module4
-   (func (result i32)
-     i32.const 42
-@@ -690,3 +697,4 @@
  )
  
  (assert_return (invoke "call_imported_elem") (i32.const 42))
-+;)
++;;
-diff --git a/test/core/if.wast b/test/core/if.wast
++;;)
-index 2ea45f6..6f07304 100644
+diff --git a/test/core/memory_grow.wast b/test/core/memory_grow.wast
---- a/test/core/if.wast
+index 882e4b5..d17a509 100644
-+++ b/test/core/if.wast
+--- a/test/core/memory_grow.wast
-@@ -530,7 +530,10 @@
++++ b/test/core/memory_grow.wast
-   (func (export "atypical-condition")
+@@ -308,7 +308,8 @@
-     i32.const 0
-     (if (then) (else))
--    (if (i32.const 1) (i32.eqz) (then) (else))
-+    ;; restore after wabt(> 1.34.0) supports it
-+    (i32.const 1)
-+    (i32.eqz)
-+    (if (then) (else))
-   )
- )
  
+ (assert_return (invoke "as-memory.grow-size") (i32.const 1))
+ 
+-
++(;; FIXME: enable the following cases after supporting the import of memories
++ ;;
+ (module $Mgm
+   (memory (export "memory") 1) ;; initial size is 1
+   (func (export "grow") (result i32) (memory.grow (i32.const 1)))
+@@ -328,7 +329,8 @@
+   (func (export "size") (result i32) (memory.size))
+ )
+ (assert_return (invoke $Mgim2 "size") (i32.const 3))
+-
++;;
++;;)
+ 
+ (assert_invalid
+   (module
 diff --git a/test/core/ref_func.wast b/test/core/ref_func.wast
-index adb5cb7..6396013 100644
+index adb5cb7..98e02cd 100644
 --- a/test/core/ref_func.wast
 +++ b/test/core/ref_func.wast
-@@ -4,7 +4,7 @@
+@@ -4,7 +4,8 @@
  (register "M")
  
  (module
 -  (func $f (import "M" "f") (param i32) (result i32))
++  (;;FIXME: change it back after supporting the import by default ;;)
 +  (func $f (param $x i32) (result i32) (local.get $x))
    (func $g (param $x i32) (result i32)
      (i32.add (local.get $x) (i32.const 1))
    )
 diff --git a/test/core/table_copy.wast b/test/core/table_copy.wast
-index 380e84e..59230cf 100644
+index 380e84e..2ac9fdc 100644
 --- a/test/core/table_copy.wast
 +++ b/test/core/table_copy.wast
-@@ -14,11 +14,11 @@
+@@ -14,11 +14,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -139,6 +69,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -147,7 +78,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -106,11 +106,11 @@
+@@ -106,11 +107,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -156,6 +87,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -164,7 +96,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -198,11 +198,11 @@
+@@ -198,11 +200,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -173,6 +105,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -181,7 +114,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -290,11 +290,11 @@
+@@ -290,11 +293,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -190,6 +123,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -198,7 +132,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -382,11 +382,11 @@
+@@ -382,11 +386,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -207,6 +141,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -215,7 +150,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -474,11 +474,11 @@
+@@ -474,11 +479,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -224,6 +159,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -232,7 +168,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -566,11 +566,11 @@
+@@ -566,11 +572,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -241,6 +177,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -249,7 +186,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -658,11 +658,11 @@
+@@ -658,11 +665,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -258,6 +195,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -266,7 +204,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -750,11 +750,11 @@
+@@ -750,11 +758,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -275,6 +213,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -283,7 +222,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t0) (i32.const 2) func 3 1 4 1)
-@@ -842,11 +842,11 @@
+@@ -842,11 +851,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -292,6 +231,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -300,7 +240,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -934,11 +934,11 @@
+@@ -934,11 +944,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -309,6 +249,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -317,7 +258,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1026,11 +1026,11 @@
+@@ -1026,11 +1037,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -326,6 +267,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -334,7 +276,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1118,11 +1118,11 @@
+@@ -1118,11 +1130,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -343,6 +285,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -351,7 +294,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1210,11 +1210,11 @@
+@@ -1210,11 +1223,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -360,6 +303,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -368,7 +312,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1302,11 +1302,11 @@
+@@ -1302,11 +1316,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -377,6 +321,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -385,7 +330,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1394,11 +1394,11 @@
+@@ -1394,11 +1409,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -394,6 +339,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -402,7 +348,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1486,11 +1486,11 @@
+@@ -1486,11 +1502,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -411,6 +357,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -419,7 +366,7 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
-@@ -1578,11 +1578,11 @@
+@@ -1578,11 +1595,12 @@
  
  (module
    (type (func (result i32)))  ;; type #0
@@ -428,6 +375,7 @@ index 380e84e..59230cf 100644
 -  (import "a" "ef2" (func (result i32)))
 -  (import "a" "ef3" (func (result i32)))
 -  (import "a" "ef4" (func (result i32)))    ;; index 4
++  (;;FIXME: change it back after supporting the import of tables ;;)
 +  (func (result i32) (i32.const 0))    ;; index 0
 +  (func (result i32) (i32.const 1))
 +  (func (result i32) (i32.const 2))
@@ -436,6 +384,29 @@ index 380e84e..59230cf 100644
    (table $t0 30 30 funcref)
    (table $t1 30 30 funcref)
    (elem (table $t1) (i32.const 2) func 3 1 4 1)
+diff --git a/test/core/table_grow.wast b/test/core/table_grow.wast
+index 5345a80..0636f67 100644
+--- a/test/core/table_grow.wast
++++ b/test/core/table_grow.wast
+@@ -108,6 +108,8 @@
+ (assert_return (invoke "check-table-null" (i32.const 0) (i32.const 19)) (ref.null func))
+ 
+ 
++(;; FIXME: enable the following cases after supporting the import of tables
++ ;;
+ (module $Tgt
+   (table (export "table") 1 funcref) ;; initial size is 1
+   (func (export "grow") (result i32) (table.grow (ref.null func) (i32.const 1)))
+@@ -127,7 +129,8 @@
+   (func (export "size") (result i32) (table.size))
+ )
+ (assert_return (invoke $Tgit2 "size") (i32.const 3))
+-
++;;
++;;)
+ 
+ ;; Type errors
+ 
 diff --git a/test/core/table_init.wast b/test/core/table_init.wast
 index 0b2d26f..3c595e5 100644
 --- a/test/core/table_init.wast

tests/wamr-test-suites/spec-test-script/multi_module_ignore_cases.patch

@@ -1,56 +1,3 @@
-diff --git a/test/core/imports.wast b/test/core/imports.wast
-index 0cc07cb..4e8367a 100644
---- a/test/core/imports.wast
-+++ b/test/core/imports.wast
-@@ -86,7 +86,7 @@
- (assert_return (invoke "print64" (i64.const 24)))
- 
- (assert_invalid
--  (module 
-+  (module
-     (type (func (result i32)))
-     (import "test" "func" (func (type 1)))
-   )
-@@ -578,6 +578,7 @@
- (assert_return (invoke "grow" (i32.const 1)) (i32.const -1))
- (assert_return (invoke "grow" (i32.const 0)) (i32.const 2))
- 
-+(;
- (module $Mgm
-   (memory (export "memory") 1) ;; initial size is 1
-   (func (export "grow") (result i32) (memory.grow (i32.const 1)))
-@@ -586,7 +587,7 @@
- (assert_return (invoke $Mgm "grow") (i32.const 1)) ;; now size is 2
- (module $Mgim1
-   ;; imported memory limits should match, because external memory size is 2 now
--  (memory (export "memory") (import "grown-memory" "memory") 2) 
-+  (memory (export "memory") (import "grown-memory" "memory") 2)
-   (func (export "grow") (result i32) (memory.grow (i32.const 1)))
- )
- (register "grown-imported-memory" $Mgim1)
-@@ -597,7 +598,7 @@
-   (func (export "size") (result i32) (memory.size))
- )
- (assert_return (invoke $Mgim2 "size") (i32.const 3))
--
-+;)
- 
- ;; Syntax errors
- 
-@@ -669,6 +670,7 @@
-   "import after memory"
- )
- 
-+(;
- ;; This module is required to validate, regardless of whether it can be
- ;; linked. Overloading is not possible in wasm itself, but it is possible
- ;; in modules from which wasm can import.
-@@ -695,3 +697,4 @@
-   )
-   "unknown import"
- )
-+;)
-\ No newline at end of file
 diff --git a/test/core/linking.wast b/test/core/linking.wast
 index 994e0f4..8fbcc02 100644
 --- a/test/core/linking.wast

tests/wamr-test-suites/spec-test-script/runtest.py

@@ -1103,7 +1103,8 @@ def compile_wast_to_wasm(form, wast_tempfile, wasm_tempfile, opts):
     elif opts.multi_memory:
         cmd = [opts.wast2wasm, "--enable-multi-memory", "--no-check", wast_tempfile, "-o", wasm_tempfile ]
     else:
-        cmd = [opts.wast2wasm, "--enable-threads", "--no-check",
+        # `--enable-multi-memory` for a case in memory.wast but doesn't require runtime support
+        cmd = [opts.wast2wasm, "--enable-multi-memory", "--enable-threads", "--no-check",
                wast_tempfile, "-o", wasm_tempfile ]
 
     # remove reference-type and bulk-memory enabling options since a WABT

tests/wamr-test-suites/test_wamr.sh

@@ -269,16 +269,12 @@ readonly WAMRC_CMD_DEFAULT="${WAMR_DIR}/wamr-compiler/build/wamrc"
 readonly CLASSIC_INTERP_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=1 -DWAMR_BUILD_FAST_INTERP=0 \
-    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=0 \
+    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=0"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly FAST_INTERP_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=1 -DWAMR_BUILD_FAST_INTERP=1 \
-    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=0 \
+    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=0"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 # jit: report linking error if set COLLECT_CODE_COVERAGE,
 #      now we don't collect code coverage of jit type
@@ -286,39 +282,29 @@ readonly ORC_EAGER_JIT_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=0 -DWAMR_BUILD_FAST_INTERP=0 \
     -DWAMR_BUILD_JIT=1 -DWAMR_BUILD_AOT=1 \
-    -DWAMR_BUILD_LAZY_JIT=0 \
+    -DWAMR_BUILD_LAZY_JIT=0"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly ORC_LAZY_JIT_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=0 -DWAMR_BUILD_FAST_INTERP=0 \
     -DWAMR_BUILD_JIT=1 -DWAMR_BUILD_AOT=1 \
-    -DWAMR_BUILD_LAZY_JIT=1 \
+    -DWAMR_BUILD_LAZY_JIT=1"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly AOT_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=0 -DWAMR_BUILD_FAST_INTERP=0 \
-    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=1 \
+    -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=1"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly FAST_JIT_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=1 -DWAMR_BUILD_FAST_INTERP=0 \
     -DWAMR_BUILD_JIT=0 -DWAMR_BUILD_AOT=0 \
-    -DWAMR_BUILD_FAST_JIT=1 \
+    -DWAMR_BUILD_FAST_JIT=1"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly MULTI_TIER_JIT_COMPILE_FLAGS="\
     -DWAMR_BUILD_TARGET=${TARGET} \
     -DWAMR_BUILD_INTERP=1 -DWAMR_BUILD_FAST_INTERP=0 \
-    -DWAMR_BUILD_FAST_JIT=1 -DWAMR_BUILD_JIT=1 \
+    -DWAMR_BUILD_FAST_JIT=1 -DWAMR_BUILD_JIT=1"
-    -DWAMR_BUILD_SPEC_TEST=1 \
-    -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
 
 readonly COMPILE_FLAGS=(
         "${CLASSIC_INTERP_COMPILE_FLAGS}"
@@ -525,8 +511,8 @@ function spec_test()
         git clone -b main --single-branch https://github.com/WebAssembly/spec
         pushd spec
 
-        # Apr 3, 2024 [js-api] Integrate with the ResizableArrayBuffer proposal (#1300)
+        # Dec 20, 2024. Use WPT version of test harness for HTML core test conversion (#1859)
-        git reset --hard bc76fd79cfe61033d7f4ad4a7e8fc4f996dc5ba8
+        git reset --hard f3a0e06235d2d84bb0f3b5014da4370613886965
         git apply ../../spec-test-script/ignore_cases.patch || exit 1
         if [[ ${ENABLE_SIMD} == 1 ]]; then
             git apply ../../spec-test-script/simd_ignore_cases.patch || exit 1
@@ -833,7 +819,9 @@ function build_wamrc()
         && ./${BUILD_LLVM_SH} \
         && if [ -d build ]; then rm -r build/*; else mkdir build; fi \
         && cd build \
-        && cmake .. -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE} \
+        && cmake .. \
+             -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE} \
+             -DWAMR_BUILD_SHRUNK_MEMORY=0 \
         && make -j 4
 }
 
@@ -962,6 +950,11 @@ function trigger()
     fi
 
     local EXTRA_COMPILE_FLAGS=""
+    # for spec test
+    EXTRA_COMPILE_FLAGS+=" -DWAMR_BUILD_SPEC_TEST=1"
+    EXTRA_COMPILE_FLAGS+=" -DCOLLECT_CODE_COVERAGE=${COLLECT_CODE_COVERAGE}"
+    EXTRA_COMPILE_FLAGS+=" -DWAMR_BUILD_SHRUNK_MEMORY=0"
+
     # default enabled features
     EXTRA_COMPILE_FLAGS+=" -DWAMR_BUILD_BULK_MEMORY=1"
     EXTRA_COMPILE_FLAGS+=" -DWAMR_BUILD_REF_TYPES=1"

wamr-compiler/CMakeLists.txt

@@ -238,6 +238,12 @@ if (NOT DEFINED WAMR_BUILD_LIB_WASI_THREADS)
   set (WAMR_BUILD_LIB_WASI_THREADS 1)
 endif ()
 
+# Enable by default
+if (NOT DEFINED WAMR_BUILD_SHRUNK_MEMORY)
+  set (WAMR_BUILD_SHRUNK_MEMORY 1)
+endif ()
+add_definitions (-DWASM_ENABLE_SHRUNK_MEMORY=${WAMR_BUILD_SHRUNK_MEMORY})
+
 if (WAMR_BUILD_LIBC_UVWASI EQUAL 1)
   message ("-- Libc WASI enabled with uvwasi implementation")
 endif ()