53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes="default<O3>" < %s | FileCheck %s --check-prefixes=CHECK,DEFAULT3; RUN: opt -S -passes='lto<O3>' < %s | FileCheck %s --check-prefixes=CHECK,LTO4 5declare void @llvm.trap()6 7define void @do_trap(ptr %ptr) {8; CHECK-LABEL: @do_trap(9; CHECK-NEXT: tail call void @llvm.trap()10; CHECK-NEXT: unreachable11;12 call void @llvm.trap()13 unreachable14}15 16define internal void @capture_and_trap(ptr %ptr) noinline {17; CHECK-LABEL: @capture_and_trap(18; CHECK-NEXT: tail call void @llvm.trap()19; CHECK-NEXT: unreachable20;21 %alloca = alloca ptr, align 422 store ptr %ptr, ptr %alloca, align 423 call void @do_trap(ptr noundef nonnull %alloca)24 unreachable25}26 27define internal void @dead_fn1() {28 ret void29}30 31define internal void @dead_fn2() {32 ret void33}34 35define void @test(i1 %c) {36; CHECK-LABEL: @test(37; CHECK-NEXT: tail call fastcc void @capture_and_trap()38; CHECK-NEXT: unreachable39;40 br i1 %c, label %if, label %else41 42if:43 call void @capture_and_trap(ptr @dead_fn1)44 unreachable45 46else:47 call void @capture_and_trap(ptr @dead_fn2)48 unreachable49}50;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:51; DEFAULT: {{.*}}52; LTO: {{.*}}53