llvm/test/Transforms/ConstraintElimination/sge.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -constraint-elimination -S %s | FileCheck %s
   3
   4 declare void @use(i1)
   5
   6 define void @test_1_variable_constraint(i32 %x, i32 %y, i32 %z) {
   7 ; CHECK-LABEL: @test_1_variable_constraint(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]
  10 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
  11 ; CHECK:       bb1:
  12 ; CHECK-NEXT:    [[T_1:%.*]] = icmp sge i32 [[X]], [[Y]]
  13 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  14 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[X]], 10
  15 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
  16 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i32 [[Y]], [[X]]
  17 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
  18 ; CHECK-NEXT:    [[C_4:%.*]] = icmp sge i32 10, [[X]]
  19 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  20 ; CHECK-NEXT:    ret void
  21 ; CHECK:       bb2:
  22 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i32 [[Y]], [[X]]
  23 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
  24 ; CHECK-NEXT:    [[F_1:%.*]] = icmp sge i32 [[X]], [[Y]]
  25 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
  26 ; CHECK-NEXT:    [[C_5:%.*]] = icmp sge i32 [[X]], 10
  27 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
  28 ; CHECK-NEXT:    [[C_6:%.*]] = icmp sge i32 10, [[X]]
  29 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
  30 ; CHECK-NEXT:    ret void
  31 ;
  32 entry:
  33   %c.1 = icmp sge i32 %x, %y
  34   br i1 %c.1, label %bb1, label %bb2
  35
  36 bb1:
  37   %t.1 = icmp sge i32 %x, %y
  38   call void @use(i1 %t.1)
  39   %c.2 = icmp sge i32 %x, 10
  40   call void @use(i1 %c.2)
  41   %c.3 = icmp sge i32 %y, %x
  42   call void @use(i1 %c.3)
  43   %c.4 = icmp sge i32 10, %x
  44   call void @use(i1 %c.4)
  45   ret void
  46
  47 bb2:
  48   %t.2 = icmp sge i32 %y, %x
  49   call void @use(i1 %t.2)
  50   %f.1 = icmp sge i32 %x, %y
  51   call void @use(i1 %f.1)
  52   %c.5 = icmp sge i32 %x, 10
  53   call void @use(i1 %c.5)
  54   %c.6 = icmp sge i32 10, %x
  55   call void @use(i1 %c.6)
  56   ret void
  57 }
  58
  59 define void @test_1_constant_constraint(i32 %x) {
  60 ; CHECK-LABEL: @test_1_constant_constraint(
  61 ; CHECK-NEXT:  entry:
  62 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], 10
  63 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]
  64 ; CHECK:       bb1:
  65 ; CHECK-NEXT:    [[T_1:%.*]] = icmp sge i32 [[X]], 10
  66 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  67 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i32 [[X]], 9
  68 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
  69 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[X]], 11
  70 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
  71 ; CHECK-NEXT:    [[C_4:%.*]] = icmp sge i32 10, [[X]]
  72 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  73 ; CHECK-NEXT:    ret void
  74 ; CHECK:       bb2:
  75 ; CHECK-NEXT:    [[T_3:%.*]] = icmp sge i32 11, [[X]]
  76 ; CHECK-NEXT:    call void @use(i1 [[T_3]])
  77 ; CHECK-NEXT:    [[F_1:%.*]] = icmp sge i32 [[X]], 10
  78 ; CHECK-NEXT:    call void @use(i1 [[F_1]])
  79 ; CHECK-NEXT:    [[F_1_1:%.*]] = icmp sge i32 [[X]], 10
  80 ; CHECK-NEXT:    call void @use(i1 [[F_1_1]])
  81 ; CHECK-NEXT:    [[C_5:%.*]] = icmp sge i32 [[X]], 9
  82 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
  83 ; CHECK-NEXT:    [[C_6:%.*]] = icmp sge i32 1, [[X]]
  84 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
  85 ; CHECK-NEXT:    ret void
  86 ;
  87 entry:
  88   %c.1 = icmp sge i32 %x, 10
  89   br i1 %c.1, label %bb1, label %bb2
  90
  91 bb1:
  92   %t.1 = icmp sge i32 %x, 10
  93   call void @use(i1 %t.1)
  94   %t.2 = icmp sge i32 %x, 9
  95   call void @use(i1 %t.2)
  96   %c.2 = icmp sge i32 %x, 11
  97   call void @use(i1 %c.2)
  98   %c.4 = icmp sge i32 10, %x
  99   call void @use(i1 %c.4)
 100   ret void
 101
 102 bb2:
 103   %t.3 = icmp sge i32 11, %x
 104   call void @use(i1 %t.3)
 105   %f.1 = icmp sge i32 %x, 10
 106   call void @use(i1 %f.1)
 107
 108
 109   %f.1.1 = icmp sge i32 %x, 10
 110   call void @use(i1 %f.1.1)
 111   %c.5 = icmp sge i32 %x, 9
 112   call void @use(i1 %c.5)
 113   %c.6 = icmp sge i32 1, %x
 114   call void @use(i1 %c.6)
 115   ret void
 116 }
 117
 118 define i32 @test1(i32 %x, i32 %y, i32 %z) {
 119 ; CHECK-LABEL: @test1(
 120 ; CHECK-NEXT:  entry:
 121 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]
 122 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]
 123 ; CHECK:       bb1:
 124 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[Y]], [[Z:%.*]]
 125 ; CHECK-NEXT:    br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]
 126 ; CHECK:       bb2:
 127 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i32 [[X]], [[Z]]
 128 ; CHECK-NEXT:    br i1 [[C_3]], label [[BB3:%.*]], label [[EXIT]]
 129 ; CHECK:       bb3:
 130 ; CHECK-NEXT:    ret i32 10
 131 ; CHECK:       exit:
 132 ; CHECK-NEXT:    ret i32 20
 133 ;
 134 entry:
 135   %c.1 = icmp sge i32 %x, %y
 136   br i1 %c.1, label %bb1, label %exit
 137
 138 bb1:
 139   %c.2 = icmp sge i32 %y, %z
 140   br i1 %c.2, label %bb2, label %exit
 141
 142 bb2:
 143   %c.3 = icmp sge i32 %x, %z
 144   br i1 %c.3, label %bb3, label %exit
 145
 146 bb3:
 147   ret i32 10
 148
 149 exit:
 150   ret i32 20
 151 }
 152
 153 define i32 @test2(i32 %x, i32 %y, i32 %z, i32 %a) {
 154 ; CHECK-LABEL: @test2(
 155 ; CHECK-NEXT:  entry:
 156 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]
 157 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]
 158 ; CHECK:       bb1:
 159 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[Y]], [[Z:%.*]]
 160 ; CHECK-NEXT:    br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]
 161 ; CHECK:       bb2:
 162 ; CHECK-NEXT:    [[C_3:%.*]] = icmp sge i32 [[X]], [[A:%.*]]
 163 ; CHECK-NEXT:    br i1 [[C_3]], label [[BB3:%.*]], label [[EXIT]]
 164 ; CHECK:       bb3:
 165 ; CHECK-NEXT:    ret i32 10
 166 ; CHECK:       exit:
 167 ; CHECK-NEXT:    ret i32 20
 168 ;
 169 entry:
 170   %c.1 = icmp sge i32 %x, %y
 171   br i1 %c.1, label %bb1, label %exit
 172
 173 bb1:
 174   %c.2 = icmp sge i32 %y, %z
 175   br i1 %c.2, label %bb2, label %exit
 176
 177 bb2:
 178   %c.3 = icmp sge i32 %x, %a
 179   br i1 %c.3, label %bb3, label %exit
 180
 181 bb3:
 182   ret i32 10
 183
 184 exit:
 185   ret i32 20
 186 }
 187
 188
 189 define i32 @test3(i32 %x, i32 %y) {
 190 ; CHECK-LABEL: @test3(
 191 ; CHECK-NEXT:  entry:
 192 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], 10
 193 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]
 194 ; CHECK:       bb1:
 195 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[Y:%.*]], 20
 196 ; CHECK-NEXT:    br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]
 197 ; CHECK:       bb2:
 198 ; CHECK-NEXT:    ret i32 10
 199 ; CHECK:       exit:
 200 ; CHECK-NEXT:    ret i32 20
 201 ;
 202 entry:
 203   %c.1 = icmp sge i32 %x, 10
 204   br i1 %c.1, label %bb1, label %exit
 205
 206 bb1:
 207   %c.2 = icmp sge i32 %y, 20
 208   br i1 %c.2, label %bb2, label %exit
 209
 210 bb2:
 211   ret i32 10
 212
 213 exit:
 214   ret i32 20
 215 }
 216
 217 define i32 @test4(i32 %x, i32 %y, i32 %z) {
 218 ; CHECK-LABEL: @test4(
 219 ; CHECK-NEXT:  entry:
 220 ; CHECK-NEXT:    [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]
 221 ; CHECK-NEXT:    br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]
 222 ; CHECK:       bb1:
 223 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i32 [[Y]], [[Z:%.*]]
 224 ; CHECK-NEXT:    br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]
 225 ; CHECK:       bb2:
 226 ; CHECK-NEXT:    [[T_1:%.*]] = icmp sge i32 [[X]], [[Z]]
 227 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
 228 ; CHECK-NEXT:    [[U_1:%.*]] = icmp eq i32 [[X]], [[Z]]
 229 ; CHECK-NEXT:    call void @use(i1 [[U_1]])
 230 ; CHECK-NEXT:    ret i32 10
 231 ; CHECK:       exit:
 232 ; CHECK-NEXT:    ret i32 20
 233 ;
 234 entry:
 235   %c.1 = icmp sge i32 %x, %y
 236   br i1 %c.1, label %bb1, label %exit
 237
 238 bb1:
 239   %c.2 = icmp sge i32 %y, %z
 240   br i1 %c.2, label %bb2, label %exit
 241
 242 bb2:
 243   %t.1 = icmp sge i32 %x, %z
 244   call void @use(i1 %t.1)
 245   %u.1 = icmp eq i32 %x, %z
 246   call void @use(i1 %u.1)
 247   ret i32 10
 248
 249
 250 exit:
 251   ret i32 20
 252 }