; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes='default<O3>' < %s | FileCheck %s --check-prefixes=CHECK,DEFAULT
; RUN: opt -S -passes='lto<O3>' < %s | FileCheck %s --check-prefixes=CHECK,LTO

declare void @llvm.trap()

define void @do_trap(ptr %ptr) {
; CHECK-LABEL: @do_trap(
; CHECK-NEXT:    tail call void @llvm.trap()
; CHECK-NEXT:    unreachable
;
  call void @llvm.trap()
  unreachable
}

define internal void @capture_and_trap(ptr %ptr) noinline {
; CHECK-LABEL: @capture_and_trap(
; CHECK-NEXT:    tail call void @llvm.trap()
; CHECK-NEXT:    unreachable
;
  %alloca = alloca ptr, align 4
  store ptr %ptr, ptr %alloca, align 4
  call void @do_trap(ptr noundef nonnull %alloca)
  unreachable
}

define internal void @dead_fn1() {
  ret void
}

define internal void @dead_fn2() {
  ret void
}

define void @test(i1 %c) {
; CHECK-LABEL: @test(
; CHECK-NEXT:    tail call fastcc void @capture_and_trap()
; CHECK-NEXT:    unreachable
;
  br i1 %c, label %if, label %else

if:
  call void @capture_and_trap(ptr @dead_fn1)
  unreachable

else:
  call void @capture_and_trap(ptr @dead_fn2)
  unreachable
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; DEFAULT: {{.*}}
; LTO: {{.*}}