test/Transforms/SimplifyCFG/UnreachableEliminate.ll

   1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   2
   3 define void @test1(i1 %C, i1* %BP) {
   4 ; CHECK-LABEL: @test1(
   5 ; CHECK: entry:
   6 ; CHECK-NEXT: ret void
   7 entry:
   8         br i1 %C, label %T, label %F
   9 T:
  10         store i1 %C, i1* %BP
  11         unreachable
  12 F:
  13         ret void
  14 }
  15
  16 define void @test2() {
  17 ; CHECK-LABEL: @test2(
  18 ; CHECK: entry:
  19 ; CHECK-NEXT: call void @test2()
  20 ; CHECK-NEXT: ret void
  21 entry:
  22         invoke void @test2( )
  23                         to label %N unwind label %U
  24 U:
  25         unreachable
  26 N:
  27         ret void
  28 }
  29
  30 define i32 @test3(i32 %v) {
  31 ; CHECK-LABEL: @test3(
  32 ; CHECK: entry:
  33 ; CHECK-NEXT: [[CMP:%[A-Za-z0-9]+]] = icmp eq i32 %v, 2
  34 ; CHECK-NEXT: select i1 [[CMP]], i32 2, i32 1
  35 ; CHECK-NEXT: ret
  36 entry:
  37         switch i32 %v, label %default [
  38                  i32 1, label %U
  39                  i32 2, label %T
  40         ]
  41 default:
  42         ret i32 1
  43 U:
  44         unreachable
  45 T:
  46         ret i32 2
  47 }
  48
  49
  50 ;; We can either convert the following control-flow to a select or remove the
  51 ;; unreachable control flow because of the undef store of null. Make sure we do
  52 ;; the latter.
  53
  54 define void @test5(i1 %cond, i8* %ptr) {
  55
  56 ; CHECK-LABEL: test5
  57 ; CHECK: entry:
  58 ; CHECK-NOT: select
  59 ; CHECK:  store i8 2, i8* %ptr
  60 ; CHECK:  ret
  61
  62 entry:
  63   br i1 %cond, label %bb1, label %bb3
  64
  65 bb3:
  66  br label %bb2
  67
  68 bb1:
  69  br label %bb2
  70
  71 bb2:
  72   %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
  73   store i8 2, i8* %ptr.2, align 8
  74   ret void
  75 }
  76
  77 ; CHECK-LABEL: test6
  78 ; CHECK: entry:
  79 ; CHECK-NOT: select
  80 ; CHECK:  store i8 2, i8* %ptr
  81 ; CHECK:  ret
  82
  83 define void @test6(i1 %cond, i8* %ptr) {
  84 entry:
  85   br i1 %cond, label %bb1, label %bb2
  86
  87 bb1:
  88   br label %bb2
  89
  90 bb2:
  91   %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
  92   store i8 2, i8* %ptr.2, align 8
  93   ret void
  94 }