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

   1 ; RUN: not --crash llc < %s -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 i8* bitcast (i32 (...)* @__gxx_wasm_personality_v0 to i8*) {
   8 entry:
   9   %buf = alloca [1 x %struct.__jmp_buf_tag], align 16
  10   %arraydecay = getelementptr inbounds [1 x %struct.__jmp_buf_tag], [1 x %struct.__jmp_buf_tag]* %buf, i32 0, i32 0
  11   %call = call i32 @setjmp(%struct.__jmp_buf_tag* %arraydecay) #0
  12   %arraydecay1 = getelementptr inbounds [1 x %struct.__jmp_buf_tag], [1 x %struct.__jmp_buf_tag]* %buf, i32 0, i32 0
  13   br label %bb
  14
  15 bb:
  16   invoke void @foo()
  17           to label %try.cont unwind label %catch.dispatch
  18
  19 catch.dispatch:                                   ; preds = %entry
  20   %0 = catchswitch within none [label %catch.start] unwind to caller
  21
  22 catch.start:                                      ; preds = %catch.dispatch
  23   %1 = catchpad within %0 [i8* null]
  24   %2 = call i8* @llvm.wasm.get.exception(token %1)
  25   %3 = call i32 @llvm.wasm.get.ehselector(token %1)
  26   %4 = call i8* @__cxa_begin_catch(i8* %2) #2 [ "funclet"(token %1) ]
  27   call void @__cxa_end_catch() [ "funclet"(token %1) ]
  28   catchret from %1 to label %try.cont
  29
  30 try.cont:                                         ; preds = %entry, %catch.start
  31   ret void
  32 }
  33
  34 declare void @foo()
  35 declare i32 @__gxx_wasm_personality_v0(...)
  36 ; Function Attrs: nounwind
  37 declare i8* @llvm.wasm.get.exception(token) #0
  38 ; Function Attrs: nounwind
  39 declare i32 @llvm.wasm.get.ehselector(token) #0
  40 declare i8* @__cxa_begin_catch(i8*)
  41 declare void @__cxa_end_catch()
  42 ; Function Attrs: returns_twice
  43 declare i32 @setjmp(%struct.__jmp_buf_tag*) #0
  44 ; Function Attrs: noreturn
  45 declare void @longjmp(%struct.__jmp_buf_tag*, i32) #1
  46 declare i8* @malloc(i32)
  47 declare void @free(i8*)
  48
  49 attributes #0 = { returns_twice }
  50 attributes #1 = { noreturn }
  51 attributes #2 = { nounwind }
  52
  53 ; CHECK: LLVM 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