[llvm] [WebAssembly] Unify type checking in AsmTypeCheck (PR #110094)

Heejin Ahn via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 26 02:29:22 PDT 2024


================
@@ -213,23 +232,16 @@ table_fill_type_mismatch_3:
   f32.const 2.0
   ref.null_extern
   i32.const 1
-# CHECK: :[[@LINE+1]]:3: error: popped f32, expected i32
+# CHECK: :[[@LINE+1]]:3: error: type mismatch, expected [i32] but got [f32]
   table.fill valid_table
   end_function
 
 table_fill_type_mismatch_4:
   .functype table_fill_type_mismatch_4 () -> ()
-  ref.null_exn
   i32.const 1
-# CHECK: [[@LINE+1]]:3: error: popped exnref, expected externref
-  table.fill valid_table
-  end_function
-
-table_fill_type_mismatch_5:
----------------
aheejin wrote:

This was removed because this was the same with `table_fill_type_mismatch_4`.

https://github.com/llvm/llvm-project/pull/110094


More information about the llvm-commits mailing list