| ; 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: {{.*}} |
