test/Transforms/SimplifyCFG/UnreachableEliminate.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   3
   4 define void @test1(i1 %C, i1* %BP) {
   5 ; CHECK-LABEL: @test1(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[TMP0:%.*]] = xor i1 [[C:%.*]], true
   8 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP0]])
   9 ; CHECK-NEXT:    ret void
  10 ;
  11 entry:
  12   br i1 %C, label %T, label %F
  13 T:
  14   store i1 %C, i1* %BP
  15   unreachable
  16 F:
  17   ret void
  18 }
  19
  20 define void @test2() personality i32 (...)* @__gxx_personality_v0 {
  21 ; CHECK-LABEL: @test2(
  22 ; CHECK-NEXT:  entry:
  23 ; CHECK-NEXT:    call void @test2()
  24 ; CHECK-NEXT:    ret void
  25 ;
  26 entry:
  27   invoke void @test2( )
  28   to label %N unwind label %U
  29 U:
  30   %res = landingpad { i8* }
  31   cleanup
  32   unreachable
  33 N:
  34   ret void
  35 }
  36
  37 declare i32 @__gxx_personality_v0(...)
  38
  39 define i32 @test3(i32 %v) {
  40 ; CHECK-LABEL: @test3(
  41 ; CHECK-NEXT:  entry:
  42 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[V:%.*]], 2
  43 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[COND]], i32 2, i32 1
  44 ; CHECK-NEXT:    ret i32 [[SPEC_SELECT]]
  45 ;
  46 entry:
  47   switch i32 %v, label %default [
  48   i32 1, label %U
  49   i32 2, label %T
  50   ]
  51 default:
  52   ret i32 1
  53 U:
  54   unreachable
  55 T:
  56   ret i32 2
  57 }
  58
  59
  60 ;; We can either convert the following control-flow to a select or remove the
  61 ;; unreachable control flow because of the undef store of null. Make sure we do
  62 ;; the latter.
  63
  64 define void @test5(i1 %cond, i8* %ptr) {
  65 ; CHECK-LABEL: @test5(
  66 ; CHECK-NEXT:  entry:
  67 ; CHECK-NEXT:    [[TMP0:%.*]] = xor i1 [[COND:%.*]], true
  68 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP0]])
  69 ; CHECK-NEXT:    store i8 2, i8* [[PTR:%.*]], align 8
  70 ; CHECK-NEXT:    ret void
  71 ;
  72
  73 entry:
  74   br i1 %cond, label %bb1, label %bb3
  75
  76 bb3:
  77   br label %bb2
  78
  79 bb1:
  80   br label %bb2
  81
  82 bb2:
  83   %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
  84   store i8 2, i8* %ptr.2, align 8
  85   ret void
  86 }
  87
  88 define void @test5_no_null_opt(i1 %cond, i8* %ptr) #0 {
  89 ; CHECK-LABEL: @test5_no_null_opt(
  90 ; CHECK-NEXT:  entry:
  91 ; CHECK-NEXT:    [[DOTPTR:%.*]] = select i1 [[COND:%.*]], i8* null, i8* [[PTR:%.*]]
  92 ; CHECK-NEXT:    store i8 2, i8* [[DOTPTR]], align 8
  93 ; CHECK-NEXT:    ret void
  94 ;
  95
  96 entry:
  97   br i1 %cond, label %bb1, label %bb3
  98
  99 bb3:
 100   br label %bb2
 101
 102 bb1:
 103   br label %bb2
 104
 105 bb2:
 106   %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
 107   store i8 2, i8* %ptr.2, align 8
 108   ret void
 109 }
 110
 111 define void @test6(i1 %cond, i8* %ptr) {
 112 ; CHECK-LABEL: @test6(
 113 ; CHECK-NEXT:  entry:
 114 ; CHECK-NEXT:    [[TMP0:%.*]] = xor i1 [[COND:%.*]], true
 115 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP0]])
 116 ; CHECK-NEXT:    store i8 2, i8* [[PTR:%.*]], align 8
 117 ; CHECK-NEXT:    ret void
 118 ;
 119 entry:
 120   br i1 %cond, label %bb1, label %bb2
 121
 122 bb1:
 123   br label %bb2
 124
 125 bb2:
 126   %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
 127   store i8 2, i8* %ptr.2, align 8
 128   ret void
 129 }
 130
 131 define void @test6_no_null_opt(i1 %cond, i8* %ptr) #0 {
 132 ; CHECK-LABEL: @test6_no_null_opt(
 133 ; CHECK-NEXT:  entry:
 134 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[COND:%.*]], i8* null, i8* [[PTR:%.*]]
 135 ; CHECK-NEXT:    store i8 2, i8* [[SPEC_SELECT]], align 8
 136 ; CHECK-NEXT:    ret void
 137 ;
 138 entry:
 139   br i1 %cond, label %bb1, label %bb2
 140
 141 bb1:
 142   br label %bb2
 143
 144 bb2:
 145   %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
 146   store i8 2, i8* %ptr.2, align 8
 147   ret void
 148 }
 149
 150
 151 define i32 @test7(i1 %X) {
 152 ; CHECK-LABEL: @test7(
 153 ; CHECK-NEXT:  entry:
 154 ; CHECK-NEXT:    [[TMP0:%.*]] = xor i1 [[X:%.*]], true
 155 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP0]])
 156 ; CHECK-NEXT:    ret i32 0
 157 ;
 158 entry:
 159   br i1 %X, label %if, label %else
 160
 161 if:
 162   call void undef()
 163   br label %else
 164
 165 else:
 166   %phi = phi i32 [ 0, %entry ], [ 1, %if ]
 167   ret i32 %phi
 168 }
 169
 170 define void @test8(i1 %X, void ()* %Y) {
 171 ; CHECK-LABEL: @test8(
 172 ; CHECK-NEXT:  entry:
 173 ; CHECK-NEXT:    [[TMP0:%.*]] = xor i1 [[X:%.*]], true
 174 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP0]])
 175 ; CHECK-NEXT:    call void [[Y:%.*]]()
 176 ; CHECK-NEXT:    ret void
 177 ;
 178 entry:
 179   br i1 %X, label %if, label %else
 180
 181 if:
 182   br label %else
 183
 184 else:
 185   %phi = phi void ()* [ %Y, %entry ], [ null, %if ]
 186   call void %phi()
 187   ret void
 188 }
 189
 190 define void @test8_no_null_opt(i1 %X, void ()* %Y) #0 {
 191 ; CHECK-LABEL: @test8_no_null_opt(
 192 ; CHECK-NEXT:  entry:
 193 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[X:%.*]], void ()* null, void ()* [[Y:%.*]]
 194 ; CHECK-NEXT:    call void [[SPEC_SELECT]]()
 195 ; CHECK-NEXT:    ret void
 196 ;
 197 entry:
 198   br i1 %X, label %if, label %else
 199
 200 if:
 201   br label %else
 202
 203 else:
 204   %phi = phi void ()* [ %Y, %entry ], [ null, %if ]
 205   call void %phi()
 206   ret void
 207 }
 208
 209 attributes #0 = { "null-pointer-is-valid"="true" }