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() personality i32 (...)* @__gxx_personality_v0 {
  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   %res = landingpad { i8* }
  26           cleanup
  27         unreachable
  28 N:
  29         ret void
  30 }
  31
  32 declare i32 @__gxx_personality_v0(...)
  33
  34 define i32 @test3(i32 %v) {
  35 ; CHECK-LABEL: @test3(
  36 ; CHECK: entry:
  37 ; CHECK-NEXT: [[CMP:%[A-Za-z0-9]+]] = icmp eq i32 %v, 2
  38 ; CHECK-NEXT: select i1 [[CMP]], i32 2, i32 1
  39 ; CHECK-NEXT: ret
  40 entry:
  41         switch i32 %v, label %default [
  42                  i32 1, label %U
  43                  i32 2, label %T
  44         ]
  45 default:
  46         ret i32 1
  47 U:
  48         unreachable
  49 T:
  50         ret i32 2
  51 }
  52
  53
  54 ;; We can either convert the following control-flow to a select or remove the
  55 ;; unreachable control flow because of the undef store of null. Make sure we do
  56 ;; the latter.
  57
  58 define void @test5(i1 %cond, i8* %ptr) {
  59
  60 ; CHECK-LABEL: test5
  61 ; CHECK: entry:
  62 ; CHECK-NOT: select
  63 ; CHECK:  store i8 2, i8* %ptr
  64 ; CHECK:  ret
  65
  66 entry:
  67   br i1 %cond, label %bb1, label %bb3
  68
  69 bb3:
  70  br label %bb2
  71
  72 bb1:
  73  br label %bb2
  74
  75 bb2:
  76   %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
  77   store i8 2, i8* %ptr.2, align 8
  78   ret void
  79 }
  80
  81 define void @test5_no_null_opt(i1 %cond, i8* %ptr) #0 {
  82
  83 ; CHECK-LABEL: test5_no_null_opt
  84 ; CHECK: entry:
  85 ; CHECK: %[[SEL:.*]] = select i1 %cond, i8* null, i8* %ptr
  86 ; CHECK: store i8 2, i8* %[[SEL]]
  87
  88 entry:
  89   br i1 %cond, label %bb1, label %bb3
  90
  91 bb3:
  92  br label %bb2
  93
  94 bb1:
  95  br label %bb2
  96
  97 bb2:
  98   %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
  99   store i8 2, i8* %ptr.2, align 8
 100   ret void
 101 }
 102
 103 ; CHECK-LABEL: test6
 104 ; CHECK: entry:
 105 ; CHECK-NOT: select
 106 ; CHECK:  store i8 2, i8* %ptr
 107 ; CHECK:  ret
 108
 109 define void @test6(i1 %cond, i8* %ptr) {
 110 entry:
 111   br i1 %cond, label %bb1, label %bb2
 112
 113 bb1:
 114   br label %bb2
 115
 116 bb2:
 117   %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
 118   store i8 2, i8* %ptr.2, align 8
 119   ret void
 120 }
 121
 122 ; CHECK-LABEL: test6_no_null_opt
 123 ; CHECK: entry:
 124 ; CHECK: %[[SEL:.*]] = select i1 %cond, i8* null, i8* %ptr
 125 ; CHECK: store i8 2, i8* %[[SEL]]
 126
 127 define void @test6_no_null_opt(i1 %cond, i8* %ptr) #0 {
 128 entry:
 129   br i1 %cond, label %bb1, label %bb2
 130
 131 bb1:
 132   br label %bb2
 133
 134 bb2:
 135   %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
 136   store i8 2, i8* %ptr.2, align 8
 137   ret void
 138 }
 139
 140
 141 define i32 @test7(i1 %X) {
 142 entry:
 143   br i1 %X, label %if, label %else
 144
 145 if:
 146   call void undef()
 147   br label %else
 148
 149 else:
 150   %phi = phi i32 [ 0, %entry ], [ 1, %if ]
 151   ret i32 %phi
 152 }
 153 ; CHECK-LABEL: define i32 @test7(
 154 ; CHECK-NOT: call
 155 ; CHECK: ret i32 0
 156
 157 define void @test8(i1 %X, void ()* %Y) {
 158 entry:
 159   br i1 %X, label %if, label %else
 160
 161 if:
 162   br label %else
 163
 164 else:
 165   %phi = phi void ()* [ %Y, %entry ], [ null, %if ]
 166   call void %phi()
 167   ret void
 168 }
 169 ; CHECK-LABEL: define void @test8(
 170 ; CHECK: call void %Y(
 171
 172 define void @test8_no_null_opt(i1 %X, void ()* %Y) #0 {
 173 entry:
 174   br i1 %X, label %if, label %else
 175
 176 if:
 177   br label %else
 178
 179 else:
 180   %phi = phi void ()* [ %Y, %entry ], [ null, %if ]
 181   call void %phi()
 182   ret void
 183 }
 184 attributes #0 = { "null-pointer-is-valid"="true" }
 185
 186 ; CHECK-LABEL: define void @test8_no_null_opt(
 187 ; CHECK: %[[SEL:.*]] = select i1 %X, void ()* null, void ()* %Y
 188 ; CHECK: call void %[[SEL]]