; RUN: opt < %s -wasm-lower-em-ehsjlj -enable-emscripten-cxx-exceptions -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 ptr @__gxx_personality_v0 {
entry:
  %val0 = insertvalue { ptr, i32 } undef, ptr null, 0
  %val1 = insertvalue { ptr, i32} %val0, i32 0, 1
  resume { ptr, i32 } %val1
}

declare i32 @__gxx_personality_v0(...)