test/Transforms/CorrelatedValuePropagation/basic.ll

   1 ; RUN: opt < %s -correlated-propagation -S | FileCheck %s
   2 ; PR2581
   3
   4 ; CHECK: @test1
   5 define i32 @test1(i1 %C) nounwind  {
   6         br i1 %C, label %exit, label %body
   7
   8 body:           ; preds = %0
   9 ; CHECK-NOT: select
  10         %A = select i1 %C, i32 10, i32 11               ; <i32> [#uses=1]
  11 ; CHECK: ret i32 11
  12         ret i32 %A
  13
  14 exit:           ; preds = %0
  15 ; CHECK: ret i32 10
  16         ret i32 10
  17 }
  18
  19 ; PR4420
  20 declare i1 @ext()
  21 ; CHECK: @test2
  22 define i1 @test2() {
  23 entry:
  24         %cond = tail call i1 @ext()             ; <i1> [#uses=2]
  25         br i1 %cond, label %bb1, label %bb2
  26
  27 bb1:            ; preds = %entry
  28         %cond2 = tail call i1 @ext()            ; <i1> [#uses=1]
  29         br i1 %cond2, label %bb3, label %bb2
  30
  31 bb2:            ; preds = %bb1, %entry
  32 ; CHECK-NOT: phi i1
  33         %cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ]         ; <i1> [#uses=1]
  34 ; CHECK: ret i1 false
  35         ret i1 %cond_merge
  36
  37 bb3:            ; preds = %bb1
  38         %res = tail call i1 @ext()              ; <i1> [#uses=1]
  39 ; CHECK: ret i1 %res
  40         ret i1 %res
  41 }
  42
  43 ; PR4855
  44 @gv = internal constant i8 7
  45 ; CHECK: @test3
  46 define i8 @test3(i8* %a) nounwind {
  47 entry:
  48         %cond = icmp eq i8* %a, @gv
  49         br i1 %cond, label %bb2, label %bb
  50
  51 bb:             ; preds = %entry
  52         ret i8 0
  53
  54 bb2:            ; preds = %entry
  55 ; CHECK: %should_be_const = load i8* @gv
  56         %should_be_const = load i8* %a
  57         ret i8 %should_be_const
  58 }
  59
  60 ; PR1757
  61 ; CHECK: @test4
  62 define i32 @test4(i32) {
  63 EntryBlock:
  64 ; CHECK: icmp sgt i32 %0, 2
  65   %.demorgan = icmp sgt i32 %0, 2
  66   br i1 %.demorgan, label %GreaterThanTwo, label %LessThanOrEqualToTwo
  67
  68 GreaterThanTwo:
  69 ; CHECK-NOT: icmp eq i32 %0, 2
  70   icmp eq i32 %0, 2
  71 ; CHECK: br i1 false
  72   br i1 %1, label %Impossible, label %NotTwoAndGreaterThanTwo
  73
  74 NotTwoAndGreaterThanTwo:
  75   ret i32 2
  76
  77 Impossible:
  78   ret i32 1
  79
  80 LessThanOrEqualToTwo:
  81   ret i32 0
  82 }
  83
  84 declare i32* @f(i32*)
  85 define void @test5(i32* %x, i32* %y) {
  86 ; CHECK: @test5
  87 entry:
  88   %pre = icmp eq i32* %x, null
  89   br i1 %pre, label %return, label %loop
  90
  91 loop:
  92   %phi = phi i32* [ %sel, %loop ], [ %x, %entry ]
  93 ; CHECK: %phi = phi i32* [ %f, %loop ], [ %x, %entry ]
  94   %f = tail call i32* @f(i32* %phi)
  95   %cmp1 = icmp ne i32* %f, %y
  96   %sel = select i1 %cmp1, i32* %f, i32* null
  97   %cmp2 = icmp eq i32* %sel, null
  98   br i1 %cmp2, label %return, label %loop
  99
 100 return:
 101   ret void
 102 }
 103
 104 define i32 @switch1(i32 %s) {
 105 ; CHECK: @switch1
 106 entry:
 107   %cmp = icmp slt i32 %s, 0
 108   br i1 %cmp, label %negative, label %out
 109
 110 negative:
 111   switch i32 %s, label %out [
 112 ; CHECK: switch i32 %s, label %out
 113     i32 0, label %out
 114 ; CHECK-NOT: i32 0
 115     i32 1, label %out
 116 ; CHECK-NOT: i32 1
 117     i32 -1, label %next
 118 ; CHECK: i32 -1, label %next
 119     i32 -2, label %next
 120 ; CHECK: i32 -2, label %next
 121     i32 2, label %out
 122 ; CHECK-NOT: i32 2
 123     i32 3, label %out
 124 ; CHECK-NOT: i32 3
 125   ]
 126
 127 out:
 128   %p = phi i32 [ 1, %entry ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ], [ -1, %negative ]
 129   ret i32 %p
 130
 131 next:
 132   %q = phi i32 [ 0, %negative ], [ 0, %negative ]
 133   ret i32 %q
 134 }
 135
 136 define i32 @switch2(i32 %s) {
 137 ; CHECK: @switch2
 138 entry:
 139   %cmp = icmp sgt i32 %s, 0
 140   br i1 %cmp, label %positive, label %out
 141
 142 positive:
 143   switch i32 %s, label %out [
 144     i32 0, label %out
 145     i32 -1, label %next
 146     i32 -2, label %next
 147   ]
 148 ; CHECK: br label %out
 149
 150 out:
 151   %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ]
 152   ret i32 %p
 153
 154 next:
 155   %q = phi i32 [ 0, %positive ], [ 0, %positive ]
 156   ret i32 %q
 157 }
 158
 159 define i32 @switch3(i32 %s) {
 160 ; CHECK: @switch3
 161 entry:
 162   %cmp = icmp sgt i32 %s, 0
 163   br i1 %cmp, label %positive, label %out
 164
 165 positive:
 166   switch i32 %s, label %out [
 167     i32 -1, label %out
 168     i32 -2, label %next
 169     i32 -3, label %next
 170   ]
 171 ; CHECK: br label %out
 172
 173 out:
 174   %p = phi i32 [ -1, %entry ], [ 1, %positive ], [ 1, %positive ]
 175   ret i32 %p
 176
 177 next:
 178   %q = phi i32 [ 0, %positive ], [ 0, %positive ]
 179   ret i32 %q
 180 }
 181
 182 define void @switch4(i32 %s) {
 183 ; CHECK: @switch4
 184 entry:
 185   %cmp = icmp eq i32 %s, 0
 186   br i1 %cmp, label %zero, label %out
 187
 188 zero:
 189   switch i32 %s, label %out [
 190     i32 0, label %next
 191     i32 1, label %out
 192     i32 -1, label %out
 193   ]
 194 ; CHECK: br label %next
 195
 196 out:
 197   ret void
 198
 199 next:
 200   ret void
 201 }