llvm/test/MC/WebAssembly/annotations-typecheck.s

   1 # RUN: not llvm-mc -triple=wasm32-unknown-unknown < %s | FileCheck %s
   2
   3 # This tests annotations are handled correctly even if there is a type checking
   4 # error (which are unrelated to the block annotations).
   5 test_annotation:
   6   .functype   test_annotation () -> ()
   7   block (i32) -> ()
   8     drop
   9 # CHECK-NOT: # End marker mismatch!
  10   end_block
  11   end_function