; RUN: opt < %s -wasm-lower-em-ehsjlj -S | FileCheck %s

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"

; Checks if a module that only contains a resume but not an invoke works
; correctly and does not crash.
; CHECK-LABEL: @resume_only
; CHECK: call void @__resumeException
define void @resume_only() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
entry:
  %val0 = insertvalue { i8*, i32 } undef, i8* null, 0
  %val1 = insertvalue { i8*, i32} %val0, i32 0, 1
  resume { i8*, i32 } %val1
}

declare i32 @__gxx_personality_v0(...)