llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
   3
   4 %struct.1 = type { i32, i64, i8 }
   5 %struct.2 = type { i32, [20 x i64], i8 }
   6
   7 define i1 @test.ult.true.due.to.first.dimension(ptr %start, ptr %high) {
   8 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 6, i32 0
  11 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
  12 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
  13 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
  14 ; CHECK:       if.then:
  15 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 5, i32 0
  16 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
  17 ; CHECK-NEXT:    ret i1 true
  18 ; CHECK:       if.end:
  19 ; CHECK-NEXT:    ret i1 true
  20 ;
  21 entry:
  22   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 6, i32 0
  23   %add.ptr.cast = bitcast ptr %add.ptr to ptr
  24   %c.1 = icmp ule ptr %add.ptr.cast, %high
  25   br i1 %c.1, label %if.then, label %if.end
  26
  27 if.then:
  28   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 0
  29   %start.0.cast = bitcast ptr %start.0 to ptr
  30   %c.0 = icmp ult ptr %start.0.cast, %high
  31   ret i1 %c.0
  32
  33 if.end:
  34   ret i1 true
  35 }
  36
  37 define i1 @test.ult.true.due.to.first.dimension.var.index.0(ptr %start, ptr %high, i32 %idx) {
  38 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.0(
  39 ; CHECK-NEXT:  entry:
  40 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
  41 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
  42 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
  43 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
  44 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
  45 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
  46 ; CHECK:       if.then:
  47 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
  48 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 [[IDX_EXT]], i32 0
  49 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
  50 ; CHECK-NEXT:    ret i1 true
  51 ; CHECK:       if.end:
  52 ; CHECK-NEXT:    ret i1 true
  53 ;
  54 entry:
  55   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
  56   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
  57   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext.plus.1.ext, i32 0
  58   %add.ptr.cast = bitcast ptr %add.ptr to ptr
  59   %c.1 = icmp ule ptr %add.ptr.cast, %high
  60   br i1 %c.1, label %if.then, label %if.end
  61
  62 if.then:
  63   %idx.ext = zext i32 %idx to i64
  64   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 0
  65   %start.0.cast = bitcast ptr %start.0 to ptr
  66   %c.0 = icmp ult ptr %start.0.cast, %high
  67   ret i1 %c.0
  68
  69 if.end:
  70   ret i1 true
  71 }
  72
  73 define i1 @test.ult.true.due.to.first.dimension.var.index.1(ptr %start, ptr %high, i32 %idx) {
  74 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.1(
  75 ; CHECK-NEXT:  entry:
  76 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
  77 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
  78 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
  79 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
  80 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
  81 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
  82 ; CHECK:       if.then:
  83 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
  84 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 [[IDX_EXT]], i32 1
  85 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
  86 ; CHECK-NEXT:    ret i1 true
  87 ; CHECK:       if.end:
  88 ; CHECK-NEXT:    ret i1 true
  89 ;
  90 entry:
  91   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
  92   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
  93   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext.plus.1.ext, i32 0
  94   %add.ptr.cast = bitcast ptr %add.ptr to ptr
  95   %c.1 = icmp ule ptr %add.ptr.cast, %high
  96   br i1 %c.1, label %if.then, label %if.end
  97
  98 if.then:
  99   %idx.ext = zext i32 %idx to i64
 100   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 1
 101   %start.0.cast = bitcast ptr %start.0 to ptr
 102   %c.0 = icmp ult ptr %start.0.cast, %high
 103   ret i1 %c.0
 104
 105 if.end:
 106   ret i1 true
 107 }
 108
 109 define i1 @test.ult.true.due.to.first.dimension.var.index.2(ptr %start, ptr %high, i32 %idx) {
 110 ; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.2(
 111 ; CHECK-NEXT:  entry:
 112 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
 113 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
 114 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
 115 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 116 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 117 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 118 ; CHECK:       if.then:
 119 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
 120 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 [[IDX_EXT]], i32 2
 121 ; CHECK-NEXT:    ret i1 true
 122 ; CHECK:       if.end:
 123 ; CHECK-NEXT:    ret i1 true
 124 ;
 125 entry:
 126   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
 127   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
 128   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext.plus.1.ext, i32 0
 129   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 130   %c.1 = icmp ule ptr %add.ptr.cast, %high
 131   br i1 %c.1, label %if.then, label %if.end
 132
 133 if.then:
 134   %idx.ext = zext i32 %idx to i64
 135   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 2
 136   %c.0 = icmp ult ptr %start.0, %high
 137   ret i1 %c.0
 138
 139 if.end:
 140   ret i1 true
 141 }
 142
 143 define i1 @test.ult.unknown.due.to.first.dimension(ptr %start, ptr %high) {
 144 ; CHECK-LABEL: @test.ult.unknown.due.to.first.dimension(
 145 ; CHECK-NEXT:  entry:
 146 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 5, i32 0
 147 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 148 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 149 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 150 ; CHECK:       if.then:
 151 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 6, i32 0
 152 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 153 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult ptr [[START_0_CAST]], [[HIGH]]
 154 ; CHECK-NEXT:    ret i1 [[C_0]]
 155 ; CHECK:       if.end:
 156 ; CHECK-NEXT:    ret i1 true
 157 ;
 158 entry:
 159   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 0
 160   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 161   %c.1 = icmp ule ptr %add.ptr.cast, %high
 162   br i1 %c.1, label %if.then, label %if.end
 163
 164 if.then:
 165   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 6, i32 0
 166   %start.0.cast = bitcast ptr %start.0 to ptr
 167   %c.0 = icmp ult ptr %start.0.cast, %high
 168   ret i1 %c.0
 169
 170 if.end:
 171   ret i1 true
 172 }
 173
 174 define i1 @test.ult.true.due.to.second.dimension(ptr %start, ptr %high) {
 175 ; CHECK-LABEL: @test.ult.true.due.to.second.dimension(
 176 ; CHECK-NEXT:  entry:
 177 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 5, i32 2
 178 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR]], [[HIGH:%.*]]
 179 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 180 ; CHECK:       if.then:
 181 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 5, i32 1
 182 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 183 ; CHECK-NEXT:    ret i1 true
 184 ; CHECK:       if.end:
 185 ; CHECK-NEXT:    ret i1 true
 186 ;
 187 entry:
 188   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 2
 189   %c.1 = icmp ule ptr %add.ptr, %high
 190   br i1 %c.1, label %if.then, label %if.end
 191
 192 if.then:
 193   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 1
 194   %start.0.cast = bitcast ptr %start.0 to ptr
 195   %c.0 = icmp ult ptr %start.0.cast, %high
 196   ret i1 %c.0
 197
 198 if.end:
 199   ret i1 true
 200 }
 201
 202 define i1 @test.ult.unknown.due.to.second.dimension(ptr %start, ptr %high) {
 203 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension(
 204 ; CHECK-NEXT:  entry:
 205 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 5, i32 2
 206 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR]], [[HIGH:%.*]]
 207 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 208 ; CHECK:       if.then:
 209 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 5, i32 2
 210 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult ptr [[START_0]], [[HIGH]]
 211 ; CHECK-NEXT:    ret i1 [[C_0]]
 212 ; CHECK:       if.end:
 213 ; CHECK-NEXT:    ret i1 true
 214 ;
 215 entry:
 216   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 2
 217   %c.1 = icmp ule ptr %add.ptr, %high
 218   br i1 %c.1, label %if.then, label %if.end
 219
 220 if.then:
 221   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 5, i32 2
 222   %c.0 = icmp ult ptr %start.0, %high
 223   ret i1 %c.0
 224
 225 if.end:
 226   ret i1 true
 227 }
 228
 229 define i1 @test.ult.unknown.due.to.second.dimension.var.index.0(ptr %start, ptr %high, i32 %idx) {
 230 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.0(
 231 ; CHECK-NEXT:  entry:
 232 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX:%.*]] to i64
 233 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 [[IDX_EXT]], i32 0
 234 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 235 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 236 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 237 ; CHECK:       if.then:
 238 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 [[IDX_EXT]], i32 1
 239 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 240 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult ptr [[START_0_CAST]], [[HIGH]]
 241 ; CHECK-NEXT:    ret i1 [[C_0]]
 242 ; CHECK:       if.end:
 243 ; CHECK-NEXT:    ret i1 true
 244 ;
 245 entry:
 246   %idx.ext = zext i32 %idx to i64
 247   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 0
 248   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 249   %c.1 = icmp ule ptr %add.ptr.cast, %high
 250   br i1 %c.1, label %if.then, label %if.end
 251
 252 if.then:
 253   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 1
 254   %start.0.cast = bitcast ptr %start.0 to ptr
 255   %c.0 = icmp ult ptr %start.0.cast, %high
 256   ret i1 %c.0
 257
 258 if.end:
 259   ret i1 true
 260 }
 261
 262 define i1 @test.ult.unknown.due.to.second.dimension.var.index.1(ptr %start, ptr %high, i32 %idx) {
 263 ; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.1(
 264 ; CHECK-NEXT:  entry:
 265 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX:%.*]] to i64
 266 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], ptr [[START:%.*]], i64 [[IDX_EXT]], i32 1
 267 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 268 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 269 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 270 ; CHECK:       if.then:
 271 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], ptr [[START]], i64 [[IDX_EXT]], i32 2
 272 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult ptr [[START_0]], [[HIGH]]
 273 ; CHECK-NEXT:    ret i1 [[C_0]]
 274 ; CHECK:       if.end:
 275 ; CHECK-NEXT:    ret i1 true
 276 ;
 277 entry:
 278   %idx.ext = zext i32 %idx to i64
 279   %add.ptr = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 1
 280   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 281   %c.1 = icmp ule ptr %add.ptr.cast, %high
 282   br i1 %c.1, label %if.then, label %if.end
 283
 284 if.then:
 285   %start.0 = getelementptr inbounds %struct.1, ptr %start, i64 %idx.ext, i32 2
 286   %c.0 = icmp ult ptr %start.0, %high
 287   ret i1 %c.0
 288
 289 if.end:
 290   ret i1 true
 291 }
 292
 293 define i1 @ptr.int.struct.test.ult.true.due.to.first.dimension(ptr %start, ptr %high) {
 294 ; CHECK-LABEL: @ptr.int.struct.test.ult.true.due.to.first.dimension(
 295 ; CHECK-NEXT:  entry:
 296 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], ptr [[START:%.*]], i64 6, i32 1, i32 5
 297 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 298 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 299 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 300 ; CHECK:       if.then:
 301 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], ptr [[START]], i64 6, i32 0
 302 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 303 ; CHECK-NEXT:    ret i1 true
 304 ; CHECK:       if.end:
 305 ; CHECK-NEXT:    ret i1 true
 306 ;
 307 entry:
 308   %add.ptr = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 1, i32 5
 309   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 310   %c.1 = icmp ule ptr %add.ptr.cast, %high
 311   br i1 %c.1, label %if.then, label %if.end
 312
 313 if.then:
 314   %start.0 = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 0
 315   %start.0.cast = bitcast ptr %start.0 to ptr
 316   %c.0 = icmp ult ptr %start.0.cast, %high
 317   ret i1 %c.0
 318
 319 if.end:
 320   ret i1 true
 321 }
 322
 323 define i1 @ptr.int.struct.test.ult.true.due.to.third.dimension.var.index(ptr %start, ptr %high, i32 %idx) {
 324 ; CHECK-LABEL: @ptr.int.struct.test.ult.true.due.to.third.dimension.var.index(
 325 ; CHECK-NEXT:  entry:
 326 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
 327 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
 328 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], ptr [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
 329 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 330 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 331 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 332 ; CHECK:       if.then:
 333 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
 334 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], ptr [[START]], i64 6, i32 1, i64 [[IDX_EXT]]
 335 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 336 ; CHECK-NEXT:    ret i1 true
 337 ; CHECK:       if.end:
 338 ; CHECK-NEXT:    ret i1 true
 339 ;
 340 entry:
 341   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
 342   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
 343   %add.ptr = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
 344   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 345   %c.1 = icmp ule ptr %add.ptr.cast, %high
 346   br i1 %c.1, label %if.then, label %if.end
 347
 348 if.then:
 349   %idx.ext = zext i32 %idx to i64
 350   %start.0 = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 1, i64 %idx.ext
 351   %start.0.cast = bitcast ptr %start.0 to ptr
 352   %c.0 = icmp ult ptr %start.0.cast, %high
 353   ret i1 %c.0
 354
 355 if.end:
 356   ret i1 true
 357 }
 358
 359 define i1 @ptr.int.struct.test.ult.due.to.second.dimension.var.index(ptr %start, ptr %high, i32 %idx) {
 360 ; CHECK-LABEL: @ptr.int.struct.test.ult.due.to.second.dimension.var.index(
 361 ; CHECK-NEXT:  entry:
 362 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
 363 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
 364 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], ptr [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
 365 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 366 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 367 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 368 ; CHECK:       if.then:
 369 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
 370 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], ptr [[START]], i64 6, i32 0
 371 ; CHECK-NEXT:    [[START_0_CAST:%.*]] = bitcast ptr [[START_0]] to ptr
 372 ; CHECK-NEXT:    ret i1 true
 373 ; CHECK:       if.end:
 374 ; CHECK-NEXT:    ret i1 true
 375 ;
 376 entry:
 377   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
 378   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
 379   %add.ptr = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
 380   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 381   %c.1 = icmp ule ptr %add.ptr.cast, %high
 382   br i1 %c.1, label %if.then, label %if.end
 383
 384 if.then:
 385   %idx.ext = zext i32 %idx to i64
 386   %start.0 = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 0
 387   %start.0.cast = bitcast ptr %start.0 to ptr
 388   %c.0 = icmp ult ptr %start.0.cast, %high
 389   ret i1 %c.0
 390
 391 if.end:
 392   ret i1 true
 393 }
 394
 395 define i1 @ptr.int.struct.test.ult.unknown.due.to.second.dimension.var.index(ptr %start, ptr %high, i32 %idx) {
 396 ; CHECK-LABEL: @ptr.int.struct.test.ult.unknown.due.to.second.dimension.var.index(
 397 ; CHECK-NEXT:  entry:
 398 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
 399 ; CHECK-NEXT:    [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
 400 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], ptr [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
 401 ; CHECK-NEXT:    [[ADD_PTR_CAST:%.*]] = bitcast ptr [[ADD_PTR]] to ptr
 402 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ule ptr [[ADD_PTR_CAST]], [[HIGH:%.*]]
 403 ; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
 404 ; CHECK:       if.then:
 405 ; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
 406 ; CHECK-NEXT:    [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], ptr [[START]], i64 6, i32 2
 407 ; CHECK-NEXT:    [[C_0:%.*]] = icmp ult ptr [[START_0]], [[HIGH]]
 408 ; CHECK-NEXT:    ret i1 [[C_0]]
 409 ; CHECK:       if.end:
 410 ; CHECK-NEXT:    ret i1 true
 411 ;
 412 entry:
 413   %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
 414   %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
 415   %add.ptr = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
 416   %add.ptr.cast = bitcast ptr %add.ptr to ptr
 417   %c.1 = icmp ule ptr %add.ptr.cast, %high
 418   br i1 %c.1, label %if.then, label %if.end
 419
 420 if.then:
 421   %idx.ext = zext i32 %idx to i64
 422   %start.0 = getelementptr inbounds %struct.2, ptr %start, i64 6, i32 2
 423   %c.0 = icmp ult ptr %start.0, %high
 424   ret i1 %c.0
 425
 426 if.end:
 427   ret i1 true
 428 }