[llvm] 643df05 - [WebAssembly] Enable type checker in annotations.s (#111079)

[via llvm-commits]

Author: Heejin Ahn
Date: 2024-10-04T10:32:10-07:00
New Revision: 643df0573d235240d66e82cd2b163536e9e8de13

URL: https://github.com/llvm/llvm-project/commit/643df0573d235240d66e82cd2b163536e9e8de13
DIFF: https://github.com/llvm/llvm-project/commit/643df0573d235240d66e82cd2b163536e9e8de13.diff

LOG: [WebAssembly] Enable type checker in annotations.s (#111079)

Added: 
    

Modified: 
    llvm/test/MC/WebAssembly/annotations.s

Removed: 
    


################################################################################
diff  --git a/llvm/test/MC/WebAssembly/annotations.s b/llvm/test/MC/WebAssembly/annotations.s
index 3e727591afa942..59a1349f6eaf20 100644
--- a/llvm/test/MC/WebAssembly/annotations.s
+++ b/llvm/test/MC/WebAssembly/annotations.s
@@ -1,4 +1,4 @@
-# RUN: llvm-mc -no-type-check -triple=wasm32-unknown-unknown -mattr=+exception-handling < %s | FileCheck %s
+# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+exception-handling < %s | FileCheck %s
 
 # Tests if block/loop/try/catch/end/branch/rethrow instructions are correctly
 # printed with their annotations.
@@ -12,15 +12,19 @@ test_annotation:
   try
     br        0
   catch     __cpp_exception
+    drop
     block
+      i32.const 0
       br_if     0
       loop
+        i32.const 0
         br_if     1
       end_loop
     end_block
     try
       rethrow   0
     catch     __cpp_exception
+      drop
     catch_all
       block
         try
@@ -56,15 +60,19 @@ test_annotation:
 # CHECK:        try
 # CHECK-NEXT:   br        0               # 0: down to label0
 # CHECK-NEXT:   catch     __cpp_exception # catch0:
+# CHECK-NEXT:   drop
 # CHECK-NEXT:   block
+# CHECK-NEXT:   i32.const       0
 # CHECK-NEXT:   br_if     0               # 0: down to label1
 # CHECK-NEXT:   loop                      # label2:
+# CHECK-NEXT:   i32.const       0
 # CHECK-NEXT:   br_if     1               # 1: down to label1
 # CHECK-NEXT:   end_loop
 # CHECK-NEXT:   end_block                 # label1:
 # CHECK-NEXT:   try
 # CHECK-NEXT:   rethrow   0               # down to catch3
 # CHECK-NEXT:   catch     __cpp_exception # catch3:
+# CHECK-NEXT:   drop
 # CHECK-NEXT:   catch_all{{$}}
 # CHECK-NEXT:   block
 # CHECK-NEXT:   try