llvm/test/Transforms/PhaseOrdering/dae-dce.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes='default<O3>' < %s | FileCheck %s --check-prefixes=CHECK,DEFAULT
   3 ; RUN: opt -S -passes='lto<O3>' < %s | FileCheck %s --check-prefixes=CHECK,LTO
   4
   5 declare void @llvm.trap()
   6
   7 define void @do_trap(ptr %ptr) {
   8 ; CHECK-LABEL: @do_trap(
   9 ; CHECK-NEXT:    tail call void @llvm.trap()
  10 ; CHECK-NEXT:    unreachable
  11 ;
  12   call void @llvm.trap()
  13   unreachable
  14 }
  15
  16 define 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:    unreachable
  20 ;
  21   %alloca = alloca ptr, align 4
  22   store ptr %ptr, ptr %alloca, align 4
  23   call void @do_trap(ptr noundef nonnull %alloca)
  24   unreachable
  25 }
  26
  27 define internal void @dead_fn1() {
  28   ret void
  29 }
  30
  31 define internal void @dead_fn2() {
  32   ret void
  33 }
  34
  35 define void @test(i1 %c) {
  36 ; CHECK-LABEL: @test(
  37 ; CHECK-NEXT:    tail call fastcc void @capture_and_trap()
  38 ; CHECK-NEXT:    unreachable
  39 ;
  40   br i1 %c, label %if, label %else
  41
  42 if:
  43   call void @capture_and_trap(ptr @dead_fn1)
  44   unreachable
  45
  46 else:
  47   call void @capture_and_trap(ptr @dead_fn2)
  48   unreachable
  49 }
  50 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
  51 ; DEFAULT: {{.*}}
  52 ; LTO: {{.*}}