1; RUN: not --crash llc < %s -wasm-enable-eh -enable-emscripten-sjlj -exception-model=wasm 2>&1 | FileCheck %s 2 3target triple = "wasm32-unknown-unknown" 4 5%struct.__jmp_buf_tag = type { [6 x i32], i32, [32 x i32] } 6 7define void @wasm_eh_emscripten_sjlj_error() personality ptr @__gxx_wasm_personality_v0 { 8entry: 9 %buf = alloca [1 x %struct.__jmp_buf_tag], align 16 10 %call = call i32 @setjmp(ptr %buf) #0 11 br label %bb 12 13bb: 14 invoke void @foo() 15 to label %try.cont unwind label %catch.dispatch 16 17catch.dispatch: ; preds = %entry 18 %0 = catchswitch within none [label %catch.start] unwind to caller 19 20catch.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 28try.cont: ; preds = %entry, %catch.start 29 ret void 30} 31 32declare void @foo() 33declare i32 @__gxx_wasm_personality_v0(...) 34; Function Attrs: nounwind 35declare ptr @llvm.wasm.get.exception(token) #0 36; Function Attrs: nounwind 37declare i32 @llvm.wasm.get.ehselector(token) #0 38declare ptr @__cxa_begin_catch(ptr) 39declare void @__cxa_end_catch() 40; Function Attrs: returns_twice 41declare i32 @setjmp(ptr) #0 42; Function Attrs: noreturn 43declare void @longjmp(ptr, i32) #1 44declare ptr @malloc(i32) 45declare void @free(ptr) 46 47attributes #0 = { returns_twice } 48attributes #1 = { noreturn } 49attributes #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 54