fix bug

Author: ShawSumma

main/miniwasm.c

@@ -169,7 +169,6 @@ static int web49_file_main(const char *inarg, const char **args) {
                 } else if (!strcmp(todo.fun_fun, "assert_malformed")) {
                     continue;
                 } else {
-                    // printf("%zu %zu\n", (size_t) todo.start, (size_t) todo.end);
                     fprintf(stderr, "wasm spec test: dont know how to handle: (%s ...)\n", todo.fun_fun);
                     return 1;
                 }

src/config.h

@@ -4,7 +4,7 @@
 
 #define WEB49_COUNT_ALLOC 0
 #define WEB49_USE_SWITCH 0
-#define WEB49_OPT_CONST0 1
+#define WEB49_OPT_CONST 1
 #define WEB49_PRINT_AST 0
 #define WEB49_PRINT_INSTR 0
 #define WEB49_PRINT_INSTR_DEPTH 0

src/interp/interp.c

@@ -509,6 +509,12 @@ uint32_t web49_interp_read_instr(web49_read_block_state_t *state, web49_instr_t
             break;
         case WEB49_IMMEDIATE_DATA_INDEX:
             break;
+        case WEB49_IMMEDIATE_LANE:
+            build->code[build->ncode++].data.i32_u = cur.immediate.lane;
+            break;
+        case WEB49_IMMEDIATE_V128:
+            build->code[build->ncode++].data.v128 = WEB49_INTERP_V128(cur.immediate.u128);
+            break;
         default:
             fprintf(stderr, "bad immediate: %zu\n", (size_t)cur.immediate.id);
             __builtin_trap();
@@ -653,6 +659,7 @@ web49_interp_data_t *web49_interp_block_run(web49_interp_t *ptr_interp, web49_in
 #define TABLE_PUT0(x) TABLE_PUTV(x, x)
 #define TABLE_PUT1(x) TABLE_PUTV(x, x##_R), TABLE_PUTV(x + WEB49_OPCODE_WITH_CONST0, x##_C0)
 #define TABLE_PUT2(x) TABLE_PUTV(x, x##_R), TABLE_PUTV(x + WEB49_OPCODE_WITH_CONST0, x##_C0), TABLE_PUTV(x + WEB49_OPCODE_WITH_CONST1, x##_C1), TABLE_PUTV(x + WEB49_OPCODE_WITH_CONST0 + WEB49_OPCODE_WITH_CONST1, x##_C01)
+#define TABLE_SIMD(x) TABLE_PUTV(x, x)
 #else
 #define TABLE_PUT0(x) TABLE_PUTV(x, x)
 #define TABLE_PUT1(x) TABLE_PUTV(x, x##_R)

src/interp/interp.h

@@ -201,7 +201,13 @@ void web49_free_interp(web49_interp_t interp);
         };                                             \
         (ptrtype) & sub_.memory[xptr_];                \
     })
-#define WEB49_INTERP_READ(elemtype, interp, dest) (*WEB49_INTERP_ADDR(elemtype *, interp, dest, sizeof(elemtype)))
+#define WEB49_INTERP_READ(elemtype, interp, src) (*WEB49_INTERP_ADDR(elemtype *, interp, src, sizeof(elemtype)))
 #define WEB49_INTERP_WRITE(elemtype, interp, dest, src) (*WEB49_INTERP_ADDR(elemtype *, interp, dest, sizeof(elemtype)) = (src))
+#define WEB49_INTERP_V128(n) \
+    ({ \
+        simde_v128_t *ptr = web49_malloc(sizeof(simde_v128_t));\
+        *(__uint128_t *)ptr = *(__uint128_t *)&(n); \
+        ptr; \
+    })
 
 #endif