test/Transforms/NewGVN/condprop.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
   3
   4
   5 declare void @foo(i1)
   6 declare void @bar(i32)
   7
   8 define void @test3(i32 %x, i32 %y) {
   9 ; CHECK-LABEL: @test3(
  10 ; CHECK-NEXT:    [[XZ:%.*]] = icmp eq i32 [[X:%.*]], 0
  11 ; CHECK-NEXT:    [[YZ:%.*]] = icmp eq i32 [[Y:%.*]], 0
  12 ; CHECK-NEXT:    [[Z:%.*]] = and i1 [[XZ]], [[YZ]]
  13 ; CHECK-NEXT:    br i1 [[Z]], label [[BOTH_ZERO:%.*]], label [[NOPE:%.*]]
  14 ; CHECK:       both_zero:
  15 ; CHECK-NEXT:    call void @foo(i1 true)
  16 ; CHECK-NEXT:    call void @foo(i1 true)
  17 ; CHECK-NEXT:    call void @bar(i32 0)
  18 ; CHECK-NEXT:    call void @bar(i32 0)
  19 ; CHECK-NEXT:    ret void
  20 ; CHECK:       nope:
  21 ; CHECK-NEXT:    call void @foo(i1 false)
  22 ; CHECK-NEXT:    ret void
  23 ;
  24   %xz = icmp eq i32 %x, 0
  25   %yz = icmp eq i32 %y, 0
  26   %z = and i1 %xz, %yz
  27   br i1 %z, label %both_zero, label %nope
  28 both_zero:
  29   call void @foo(i1 %xz)
  30   call void @foo(i1 %yz)
  31   call void @bar(i32 %x)
  32   call void @bar(i32 %y)
  33   ret void
  34 nope:
  35   call void @foo(i1 %z)
  36   ret void
  37 }
  38 define void @test4(i1 %b, i32 %x) {
  39 ; CHECK-LABEL: @test4(
  40 ; CHECK-NEXT:    br i1 [[B:%.*]], label [[SW:%.*]], label [[CASE3:%.*]]
  41 ; CHECK:       sw:
  42 ; CHECK-NEXT:    switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
  43 ; CHECK-NEXT:    i32 0, label [[CASE0:%.*]]
  44 ; CHECK-NEXT:    i32 1, label [[CASE1:%.*]]
  45 ; CHECK-NEXT:    i32 2, label [[CASE0]]
  46 ; CHECK-NEXT:    i32 3, label [[CASE3]]
  47 ; CHECK-NEXT:    i32 4, label [[DEFAULT]]
  48 ; CHECK-NEXT:    ]
  49 ; CHECK:       default:
  50 ; CHECK-NEXT:    call void @bar(i32 [[X]])
  51 ; CHECK-NEXT:    ret void
  52 ; CHECK:       case0:
  53 ; CHECK-NEXT:    call void @bar(i32 [[X]])
  54 ; CHECK-NEXT:    ret void
  55 ; CHECK:       case1:
  56 ; CHECK-NEXT:    call void @bar(i32 1)
  57 ; CHECK-NEXT:    ret void
  58 ; CHECK:       case3:
  59 ; CHECK-NEXT:    call void @bar(i32 [[X]])
  60 ; CHECK-NEXT:    ret void
  61 ;
  62   br i1 %b, label %sw, label %case3
  63 sw:
  64   switch i32 %x, label %default [
  65   i32 0, label %case0
  66   i32 1, label %case1
  67   i32 2, label %case0
  68   i32 3, label %case3
  69   i32 4, label %default
  70   ]
  71 default:
  72   call void @bar(i32 %x)
  73   ret void
  74 case0:
  75   call void @bar(i32 %x)
  76   ret void
  77 case1:
  78   call void @bar(i32 %x)
  79   ret void
  80 case3:
  81   call void @bar(i32 %x)
  82   ret void
  83 }
  84
  85 define i1 @test5(i32 %x, i32 %y) {
  86 ; CHECK-LABEL: @test5(
  87 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
  88 ; CHECK-NEXT:    br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
  89 ; CHECK:       same:
  90 ; CHECK-NEXT:    ret i1 false
  91 ; CHECK:       different:
  92 ; CHECK-NEXT:    ret i1 false
  93 ;
  94   %cmp = icmp eq i32 %x, %y
  95   br i1 %cmp, label %same, label %different
  96
  97 same:
  98   %cmp2 = icmp ne i32 %x, %y
  99   ret i1 %cmp2
 100
 101 different:
 102   %cmp3 = icmp eq i32 %x, %y
 103   ret i1 %cmp3
 104 }
 105
 106
 107 define i1 @test7(i32 %x, i32 %y) {
 108 ; CHECK-LABEL: @test7(
 109 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
 110 ; CHECK-NEXT:    br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
 111 ; CHECK:       same:
 112 ; CHECK-NEXT:    ret i1 false
 113 ; CHECK:       different:
 114 ; CHECK-NEXT:    ret i1 false
 115 ;
 116   %cmp = icmp sgt i32 %x, %y
 117   br i1 %cmp, label %same, label %different
 118
 119 same:
 120   %cmp2 = icmp sle i32 %x, %y
 121   ret i1 %cmp2
 122
 123 different:
 124   %cmp3 = icmp sgt i32 %x, %y
 125   ret i1 %cmp3
 126 }
 127
 128 define i1 @test7_fp(float %x, float %y) {
 129 ; CHECK-LABEL: @test7_fp(
 130 ; CHECK-NEXT:    [[CMP:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
 131 ; CHECK-NEXT:    br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
 132 ; CHECK:       same:
 133 ; CHECK-NEXT:    ret i1 false
 134 ; CHECK:       different:
 135 ; CHECK-NEXT:    ret i1 false
 136 ;
 137   %cmp = fcmp ogt float %x, %y
 138   br i1 %cmp, label %same, label %different
 139
 140 same:
 141   %cmp2 = fcmp ule float %x, %y
 142   ret i1 %cmp2
 143
 144 different:
 145   %cmp3 = fcmp ogt float %x, %y
 146   ret i1 %cmp3
 147 }
 148
 149 ; PR1768
 150 define i32 @test9(i32 %i, i32 %j) {
 151 ; CHECK-LABEL: @test9(
 152 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
 153 ; CHECK-NEXT:    br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
 154 ; CHECK:       cond_true:
 155 ; CHECK-NEXT:    ret i32 0
 156 ; CHECK:       ret:
 157 ; CHECK-NEXT:    ret i32 5
 158 ;
 159   %cmp = icmp eq i32 %i, %j
 160   br i1 %cmp, label %cond_true, label %ret
 161
 162 cond_true:
 163   %diff = sub i32 %i, %j
 164   ret i32 %diff
 165
 166 ret:
 167   ret i32 5
 168 }
 169
 170 ; PR1768
 171 define i32 @test10(i32 %j, i32 %i) {
 172 ; CHECK-LABEL: @test10(
 173 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
 174 ; CHECK-NEXT:    br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
 175 ; CHECK:       cond_true:
 176 ; CHECK-NEXT:    ret i32 0
 177 ; CHECK:       ret:
 178 ; CHECK-NEXT:    ret i32 5
 179 ;
 180   %cmp = icmp eq i32 %i, %j
 181   br i1 %cmp, label %cond_true, label %ret
 182
 183 cond_true:
 184   %diff = sub i32 %i, %j
 185   ret i32 %diff
 186
 187 ret:
 188   ret i32 5
 189 }
 190
 191 declare i32 @yogibar()
 192
 193 define i32 @test11(i32 %x) {
 194 ; CHECK-LABEL: @test11(
 195 ; CHECK-NEXT:    [[V0:%.*]] = call i32 @yogibar()
 196 ; CHECK-NEXT:    [[V1:%.*]] = call i32 @yogibar()
 197 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[V0]], [[V1]]
 198 ; CHECK-NEXT:    br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[NEXT:%.*]]
 199 ; CHECK:       cond_true:
 200 ; CHECK-NEXT:    ret i32 [[V0]]
 201 ; CHECK:       next:
 202 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i32 [[X:%.*]], [[V0]]
 203 ; CHECK-NEXT:    br i1 [[CMP2]], label [[COND_TRUE2:%.*]], label [[NEXT2:%.*]]
 204 ; CHECK:       cond_true2:
 205 ; CHECK-NEXT:    ret i32 [[X]]
 206 ; CHECK:       next2:
 207 ; CHECK-NEXT:    ret i32 0
 208 ;
 209   %v0 = call i32 @yogibar()
 210   %v1 = call i32 @yogibar()
 211   %cmp = icmp eq i32 %v0, %v1
 212   br i1 %cmp, label %cond_true, label %next
 213
 214 cond_true:
 215   ret i32 %v1
 216
 217 next:
 218   %cmp2 = icmp eq i32 %x, %v0
 219   br i1 %cmp2, label %cond_true2, label %next2
 220
 221 cond_true2:
 222   ret i32 %v0
 223
 224 next2:
 225   ret i32 0
 226 }
 227
 228 define i32 @test12(i32 %x) {
 229 ; CHECK-LABEL: @test12(
 230 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 0
 231 ; CHECK-NEXT:    br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
 232 ; CHECK:       cond_true:
 233 ; CHECK-NEXT:    br label [[RET:%.*]]
 234 ; CHECK:       cond_false:
 235 ; CHECK-NEXT:    br label [[RET]]
 236 ; CHECK:       ret:
 237 ; CHECK-NEXT:    [[RES:%.*]] = phi i32 [ 0, [[COND_TRUE]] ], [ [[X]], [[COND_FALSE]] ]
 238 ; CHECK-NEXT:    ret i32 [[RES]]
 239 ;
 240   %cmp = icmp eq i32 %x, 0
 241   br i1 %cmp, label %cond_true, label %cond_false
 242
 243 cond_true:
 244   br label %ret
 245
 246 cond_false:
 247   br label %ret
 248
 249 ret:
 250   %res = phi i32 [ %x, %cond_true ], [ %x, %cond_false ]
 251   ret i32 %res
 252 }