llvm/test/CodeGen/WebAssembly/wasm-eh-em-sjlj-error.ll

   1 ; RUN: not --crash llc < %s -wasm-enable-eh -enable-emscripten-sjlj -exception-model=wasm 2>&1 | FileCheck %s
   2
   3 target triple = "wasm32-unknown-unknown"
   4
   5 %struct.__jmp_buf_tag = type { [6 x i32], i32, [32 x i32] }
   6
   7 define void @wasm_eh_emscripten_sjlj_error() personality ptr @__gxx_wasm_personality_v0 {
   8 entry:
   9   %buf = alloca [1 x %struct.__jmp_buf_tag], align 16
  10   %call = call i32 @setjmp(ptr %buf) #0
  11   br label %bb
  12
  13 bb:
  14   invoke void @foo()
  15           to label %try.cont unwind label %catch.dispatch
  16
  17 catch.dispatch:                                   ; preds = %entry
  18   %0 = catchswitch within none [label %catch.start] unwind to caller
  19
  20 catch.start:                                      ; preds = %catch.dispatch
  21   %1 = catchpad within %0 [ptr null]
  22   %2 = call ptr @llvm.wasm.get.exception(token %1)
  23   %3 = call i32 @llvm.wasm.get.ehselector(token %1)
  24   %4 = call ptr @__cxa_begin_catch(ptr %2) #2 [ "funclet"(token %1) ]
  25   call void @__cxa_end_catch() [ "funclet"(token %1) ]
  26   catchret from %1 to label %try.cont
  27
  28 try.cont:                                         ; preds = %entry, %catch.start
  29   ret void
  30 }
  31
  32 declare void @foo()
  33 declare i32 @__gxx_wasm_personality_v0(...)
  34 ; Function Attrs: nounwind
  35 declare ptr @llvm.wasm.get.exception(token) #0
  36 ; Function Attrs: nounwind
  37 declare i32 @llvm.wasm.get.ehselector(token) #0
  38 declare ptr @__cxa_begin_catch(ptr)
  39 declare void @__cxa_end_catch()
  40 ; Function Attrs: returns_twice
  41 declare i32 @setjmp(ptr) #0
  42 ; Function Attrs: noreturn
  43 declare void @longjmp(ptr, i32) #1
  44 declare ptr @malloc(i32)
  45 declare void @free(ptr)
  46
  47 attributes #0 = { returns_twice }
  48 attributes #1 = { noreturn }
  49 attributes #2 = { nounwind }
  50
  51 ; CHECK: LLVM ERROR: In function wasm_eh_emscripten_sjlj_error: When using Wasm EH with Emscripten SjLj, there is a restriction that `setjmp` function call and exception cannot be used within the same function
  52 ; CHECK-NEXT: invoke void @foo()
  53 ; CHECK-NEXT:         to label %try.cont unwind label %catch.dispatch