test/Transforms/JumpThreading/implied-cond.ll

   1 ; RUN: opt -jump-threading -S < %s | FileCheck %s
   2
   3 declare void @side_effect(i32)
   4
   5 define void @test0(i32 %i, i32 %len) {
   6 ; CHECK-LABEL: @test0(
   7  entry:
   8   call void @side_effect(i32 0)
   9   %i.inc = add nuw i32 %i, 1
  10   %c0 = icmp ult i32 %i.inc, %len
  11   br i1 %c0, label %left, label %right
  12
  13  left:
  14 ; CHECK: entry:
  15 ; CHECK: br i1 %c0, label %left0, label %right
  16
  17 ; CHECK: left0:
  18 ; CHECK: call void @side_effect
  19 ; CHECK-NOT: br i1 %c1
  20 ; CHECK: call void @side_effect
  21   call void @side_effect(i32 0)
  22   %c1 = icmp ult i32 %i, %len
  23   br i1 %c1, label %left0, label %right
  24
  25  left0:
  26   call void @side_effect(i32 0)
  27   ret void
  28
  29  right:
  30   %t = phi i32 [ 1, %left ], [ 2, %entry ]
  31   call void @side_effect(i32 %t)
  32   ret void
  33 }
  34
  35 define void @test1(i32 %i, i32 %len) {
  36 ; CHECK-LABEL: @test1(
  37  entry:
  38   call void @side_effect(i32 0)
  39   %i.inc = add nsw i32 %i, 1
  40   %c0 = icmp slt i32 %i.inc, %len
  41   br i1 %c0, label %left, label %right
  42
  43  left:
  44 ; CHECK: entry:
  45 ; CHECK: br i1 %c0, label %left0, label %right
  46
  47 ; CHECK: left0:
  48 ; CHECK: call void @side_effect
  49 ; CHECK-NOT: br i1 %c1
  50 ; CHECK: call void @side_effect
  51   call void @side_effect(i32 0)
  52   %c1 = icmp slt i32 %i, %len
  53   br i1 %c1, label %left0, label %right
  54
  55  left0:
  56   call void @side_effect(i32 0)
  57   ret void
  58
  59  right:
  60   %t = phi i32 [ 1, %left ], [ 2, %entry ]
  61   call void @side_effect(i32 %t)
  62   ret void
  63 }
  64
  65 define void @test2(i32 %i, i32 %len, i1* %c.ptr) {
  66 ; CHECK-LABEL: @test2(
  67
  68 ; CHECK: entry:
  69 ; CHECK: br i1 %c0, label %cont, label %right
  70 ; CHECK: cont:
  71 ; CHECK: br i1 %c, label %left0, label %right
  72 ; CHECK: left0:
  73 ; CHECK: call void @side_effect(i32 0)
  74 ; CHECK: call void @side_effect(i32 0)
  75  entry:
  76   call void @side_effect(i32 0)
  77   %i.inc = add nsw i32 %i, 1
  78   %c0 = icmp slt i32 %i.inc, %len
  79   br i1 %c0, label %cont, label %right
  80
  81  cont:
  82   %c = load i1, i1* %c.ptr
  83   br i1 %c, label %left, label %right
  84
  85  left:
  86   call void @side_effect(i32 0)
  87   %c1 = icmp slt i32 %i, %len
  88   br i1 %c1, label %left0, label %right
  89
  90  left0:
  91   call void @side_effect(i32 0)
  92   ret void
  93
  94  right:
  95   %t = phi i32 [ 1, %left ], [ 2, %entry ], [ 3, %cont ]
  96   call void @side_effect(i32 %t)
  97   ret void
  98 }
  99
 100 ; A s<= B implies A s> B is false.
 101 ; CHECK-LABEL: @test3(
 102 ; CHECK: entry:
 103 ; CHECK: br i1 %cmp, label %if.end, label %if.end3
 104 ; CHECK-NOT: br i1 %cmp1, label %if.then2, label %if.end
 105 ; CHECK-NOT: call void @side_effect(i32 0)
 106 ; CHECK: br label %if.end3
 107 ; CHECK: ret void
 108
 109 define void @test3(i32 %a, i32 %b) {
 110 entry:
 111   %cmp = icmp sle i32 %a, %b
 112   br i1 %cmp, label %if.then, label %if.end3
 113
 114 if.then:
 115   %cmp1 = icmp sgt i32 %a, %b
 116   br i1 %cmp1, label %if.then2, label %if.end
 117
 118 if.then2:
 119   call void @side_effect(i32 0)
 120   br label %if.end
 121
 122 if.end:
 123   br label %if.end3
 124
 125 if.end3:
 126   ret void
 127 }
 128
 129 declare void @is(i1)
 130
 131 ; If A >=s B is false then A <=s B is implied true.
 132 ; CHECK-LABEL: @test_sge_sle
 133 ; CHECK: call void @is(i1 true)
 134 ; CHECK-NOT: call void @is(i1 false)
 135 define void @test_sge_sle(i32 %a, i32 %b) {
 136   %cmp1 = icmp sge i32 %a, %b
 137   br i1 %cmp1, label %untaken, label %taken
 138
 139 taken:
 140   %cmp2 = icmp sle i32 %a, %b
 141   br i1 %cmp2, label %istrue, label %isfalse
 142
 143 istrue:
 144   call void @is(i1 true)
 145   ret void
 146
 147 isfalse:
 148   call void @is(i1 false)
 149   ret void
 150
 151 untaken:
 152   ret void
 153 }
 154
 155 ; If A <=s B is false then A <=s B is implied false.
 156 ; CHECK-LABEL: @test_sle_sle
 157 ; CHECK-NOT: call void @is(i1 true)
 158 ; CHECK: call void @is(i1 false)
 159 define void @test_sle_sle(i32 %a, i32 %b) {
 160   %cmp1 = icmp sle i32 %a, %b
 161   br i1 %cmp1, label %untaken, label %taken
 162
 163 taken:
 164   %cmp2 = icmp sle i32 %a, %b
 165   br i1 %cmp2, label %istrue, label %isfalse
 166
 167 istrue:
 168   call void @is(i1 true)
 169   ret void
 170
 171 isfalse:
 172   call void @is(i1 false)
 173   ret void
 174
 175 untaken:
 176   ret void
 177 }