diff options
| author | Keith Winstein <208955+keithw@users.noreply.github.com> | 2024-12-17 19:06:57 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-17 19:06:57 -0800 |
| commit | ea193b40d6d4a1a697d68ae855b2b3b3e263b377 (patch) | |
| tree | 03e10d23cf9883f08657f69fa50c66a516ebe17f /src/template/wasm2c_simd.declarations.c | |
| parent | 4e7d7efe6e9a786370848e669041bdc237730a8b (diff) | |
| download | wabt-main.tar.gz wabt-main.tar.bz2 wabt-main.zip | |
wasm2c: harmonize bulk mem ops re: i32/i64 (#2506) + parametrize memchecks per-memory (#2507)HEADmain
The PR updates the bulk memory operations (memory.fill, memory.copy,
table.fill, etc.) to support 64-bit addresses and counts. Previously these functions
only took u32's, even with memory64 enabled. (#2506)
This PR also allows "software-bounds-checked" memories and "guard-page-checked"
memories to coexist in the same module. It creates two versions of every memory
operation: an unrestricted version (that works with any memory) and a _default32
version (for memories with default page size and i32 indexing). (#2507)
#2506 and #2507 have been squashed together to avoid a performance regression.
This is a stepping stone to supporting custom-page-sizes (which will need to be
software-bounds-checked) (#2508).
Diffstat (limited to 'src/template/wasm2c_simd.declarations.c')
| -rw-r--r-- | src/template/wasm2c_simd.declarations.c | 43 |
1 files changed, 23 insertions, 20 deletions
diff --git a/src/template/wasm2c_simd.declarations.c b/src/template/wasm2c_simd.declarations.c index 0e2c9511..39eb4578 100644 --- a/src/template/wasm2c_simd.declarations.c +++ b/src/template/wasm2c_simd.declarations.c @@ -7,33 +7,36 @@ #endif // TODO: equivalent constraint for ARM and other architectures -#define DEFINE_SIMD_LOAD_FUNC(name, func, t) \ - static inline v128 name(wasm_rt_memory_t* mem, u64 addr) { \ - MEMCHECK(mem, addr, t); \ - v128 result = func(MEM_ADDR(mem, addr, sizeof(t))); \ - SIMD_FORCE_READ(result); \ - return result; \ - } +#define DEFINE_SIMD_LOAD_FUNC(name, func, t) \ + static inline v128 name##_unchecked(wasm_rt_memory_t* mem, u64 addr) { \ + v128 result = func(MEM_ADDR(mem, addr, sizeof(t))); \ + SIMD_FORCE_READ(result); \ + return result; \ + } \ + DEF_MEM_CHECKS0(name, _, t, return, v128); #define DEFINE_SIMD_LOAD_LANE(name, func, t, lane) \ - static inline v128 name(wasm_rt_memory_t* mem, u64 addr, v128 vec) { \ - MEMCHECK(mem, addr, t); \ + static inline v128 name##_unchecked(wasm_rt_memory_t* mem, u64 addr, \ + v128 vec) { \ v128 result = func(MEM_ADDR(mem, addr, sizeof(t)), vec, lane); \ SIMD_FORCE_READ(result); \ return result; \ - } + } \ + DEF_MEM_CHECKS1(name, _, t, return, v128, v128); -#define DEFINE_SIMD_STORE(name, t) \ - static inline void name(wasm_rt_memory_t* mem, u64 addr, v128 value) { \ - MEMCHECK(mem, addr, t); \ - simde_wasm_v128_store(MEM_ADDR(mem, addr, sizeof(t)), value); \ - } +#define DEFINE_SIMD_STORE(name, t) \ + static inline void name##_unchecked(wasm_rt_memory_t* mem, u64 addr, \ + v128 value) { \ + simde_wasm_v128_store(MEM_ADDR(mem, addr, sizeof(t)), value); \ + } \ + DEF_MEM_CHECKS1(name, _, t, , void, v128); -#define DEFINE_SIMD_STORE_LANE(name, func, t, lane) \ - static inline void name(wasm_rt_memory_t* mem, u64 addr, v128 value) { \ - MEMCHECK(mem, addr, t); \ - func(MEM_ADDR(mem, addr, sizeof(t)), value, lane); \ - } +#define DEFINE_SIMD_STORE_LANE(name, func, t, lane) \ + static inline void name##_unchecked(wasm_rt_memory_t* mem, u64 addr, \ + v128 value) { \ + func(MEM_ADDR(mem, addr, sizeof(t)), value, lane); \ + } \ + DEF_MEM_CHECKS1(name, _, t, , void, v128); // clang-format off #if WABT_BIG_ENDIAN |