llvm/test/Transforms/InstCombine/indexed-gep-compares.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instcombine -S  < %s | FileCheck %s
   3
   4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64"
   5
   6 define ptr@test1(ptr %A, i32 %Offset) {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
  10 ; CHECK-NEXT:    br label [[BB:%.*]]
  11 ; CHECK:       bb:
  12 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[ENTRY:%.*]] ]
  13 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
  14 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
  15 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
  16 ; CHECK:       bb2:
  17 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A:%.*]], i32 [[RHS_IDX]]
  18 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
  19 ;
  20 entry:
  21   %tmp = getelementptr inbounds i32, ptr %A, i32 %Offset
  22   br label %bb
  23
  24 bb:
  25   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
  26   %LHS = getelementptr inbounds i32, ptr %A, i32 100
  27   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
  28   %cond = icmp ult ptr %LHS, %RHS
  29   br i1 %cond, label %bb2, label %bb
  30
  31 bb2:
  32   ret ptr %RHS
  33 }
  34
  35 define ptr @test1_nuw(ptr %A, i32 %Offset) {
  36 ; CHECK-LABEL: @test1_nuw(
  37 ; CHECK-NEXT:  entry:
  38 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nuw nsw i32 [[OFFSET:%.*]], 2
  39 ; CHECK-NEXT:    br label [[BB:%.*]]
  40 ; CHECK:       bb:
  41 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[ENTRY:%.*]] ]
  42 ; CHECK-NEXT:    [[RHS_ADD]] = add nuw nsw i32 [[RHS_IDX]], 4
  43 ; CHECK-NEXT:    [[COND:%.*]] = icmp samesign ugt i32 [[RHS_IDX]], 400
  44 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
  45 ; CHECK:       bb2:
  46 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[A:%.*]], i32 [[RHS_IDX]]
  47 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
  48 ;
  49 entry:
  50   %tmp = getelementptr inbounds nuw i32, ptr %A, i32 %Offset
  51   br label %bb
  52
  53 bb:
  54   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
  55   %LHS = getelementptr inbounds nuw i32, ptr %A, i32 100
  56   %RHS.next = getelementptr inbounds nuw i32, ptr %RHS, i64 1
  57   %cond = icmp ult ptr %LHS, %RHS
  58   br i1 %cond, label %bb2, label %bb
  59
  60 bb2:
  61   ret ptr %RHS
  62 }
  63
  64 define ptr @test1_not_all_nuw(ptr %A, i32 %Offset) {
  65 ; CHECK-LABEL: @test1_not_all_nuw(
  66 ; CHECK-NEXT:  entry:
  67 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
  68 ; CHECK-NEXT:    br label [[BB:%.*]]
  69 ; CHECK:       bb:
  70 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[ENTRY:%.*]] ]
  71 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
  72 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
  73 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
  74 ; CHECK:       bb2:
  75 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A:%.*]], i32 [[RHS_IDX]]
  76 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
  77 ;
  78 entry:
  79   %tmp = getelementptr inbounds i32, ptr %A, i32 %Offset
  80   br label %bb
  81
  82 bb:
  83   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
  84   %LHS = getelementptr inbounds nuw i32, ptr %A, i32 100
  85   %RHS.next = getelementptr inbounds nuw i32, ptr %RHS, i64 1
  86   %cond = icmp ult ptr %LHS, %RHS
  87   br i1 %cond, label %bb2, label %bb
  88
  89 bb2:
  90   ret ptr %RHS
  91 }
  92
  93 define ptr@test2(i32 %A, i32 %Offset) {
  94 ; CHECK-LABEL: @test2(
  95 ; CHECK-NEXT:  entry:
  96 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
  97 ; CHECK-NEXT:    br label [[BB:%.*]]
  98 ; CHECK:       bb:
  99 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[ENTRY:%.*]] ]
 100 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
 101 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
 102 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 103 ; CHECK:       bb2:
 104 ; CHECK-NEXT:    [[A_PTR:%.*]] = inttoptr i32 [[A:%.*]] to ptr
 105 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A_PTR]], i32 [[RHS_IDX]]
 106 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
 107 ;
 108 entry:
 109   %A.ptr = inttoptr i32 %A to ptr
 110   %tmp = getelementptr inbounds i32, ptr %A.ptr, i32 %Offset
 111   br label %bb
 112
 113 bb:
 114   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
 115   %LHS = getelementptr inbounds i32, ptr %A.ptr, i32 100
 116   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 117   %cmp0 = ptrtoint ptr %LHS to i32
 118   %cmp1 = ptrtoint ptr %RHS to i32
 119   %cond = icmp ult i32 %cmp0, %cmp1
 120   br i1 %cond, label %bb2, label %bb
 121
 122 bb2:
 123   ret ptr %RHS
 124 }
 125
 126 ; Perform the transformation only if we know that the GEPs used are inbounds.
 127 define ptr @test3_no_inbounds1(ptr %A, i32 %Offset) {
 128 ; CHECK-LABEL: @test3_no_inbounds1(
 129 ; CHECK-NEXT:  entry:
 130 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr i32, ptr [[A:%.*]], i32 [[OFFSET:%.*]]
 131 ; CHECK-NEXT:    br label [[BB:%.*]]
 132 ; CHECK:       bb:
 133 ; CHECK-NEXT:    [[RHS:%.*]] = phi ptr [ [[RHS_NEXT:%.*]], [[BB]] ], [ [[TMP]], [[ENTRY:%.*]] ]
 134 ; CHECK-NEXT:    [[LHS:%.*]] = getelementptr inbounds i8, ptr [[A]], i32 400
 135 ; CHECK-NEXT:    [[RHS_NEXT]] = getelementptr inbounds i8, ptr [[RHS]], i32 4
 136 ; CHECK-NEXT:    [[COND:%.*]] = icmp ult ptr [[LHS]], [[RHS]]
 137 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 138 ; CHECK:       bb2:
 139 ; CHECK-NEXT:    ret ptr [[RHS]]
 140 ;
 141 entry:
 142   %tmp = getelementptr i32, ptr %A, i32 %Offset
 143   br label %bb
 144
 145 bb:
 146   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
 147   %LHS = getelementptr inbounds i32, ptr %A, i32 100
 148   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 149   %cond = icmp ult ptr %LHS, %RHS
 150   br i1 %cond, label %bb2, label %bb
 151
 152 bb2:
 153   ret ptr %RHS
 154 }
 155
 156 define ptr @test3_no_inbounds2(ptr %A, i32 %Offset) {
 157 ; CHECK-LABEL: @test3_no_inbounds2(
 158 ; CHECK-NEXT:  entry:
 159 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr inbounds i32, ptr [[A:%.*]], i32 [[OFFSET:%.*]]
 160 ; CHECK-NEXT:    br label [[BB:%.*]]
 161 ; CHECK:       bb:
 162 ; CHECK-NEXT:    [[RHS:%.*]] = phi ptr [ [[RHS_NEXT:%.*]], [[BB]] ], [ [[TMP]], [[ENTRY:%.*]] ]
 163 ; CHECK-NEXT:    [[LHS:%.*]] = getelementptr inbounds i8, ptr [[A]], i32 400
 164 ; CHECK-NEXT:    [[RHS_NEXT]] = getelementptr i8, ptr [[RHS]], i32 4
 165 ; CHECK-NEXT:    [[COND:%.*]] = icmp ult ptr [[LHS]], [[RHS]]
 166 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 167 ; CHECK:       bb2:
 168 ; CHECK-NEXT:    ret ptr [[RHS]]
 169 ;
 170 entry:
 171   %tmp = getelementptr inbounds i32, ptr %A, i32 %Offset
 172   br label %bb
 173
 174 bb:
 175   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
 176   %LHS = getelementptr inbounds i32, ptr %A, i32 100
 177   %RHS.next = getelementptr i32, ptr %RHS, i64 1
 178   %cond = icmp ult ptr %LHS, %RHS
 179   br i1 %cond, label %bb2, label %bb
 180
 181 bb2:
 182   ret ptr %RHS
 183 }
 184
 185 define ptr @test3_no_inbounds3(ptr %A, i32 %Offset) {
 186 ; CHECK-LABEL: @test3_no_inbounds3(
 187 ; CHECK-NEXT:  entry:
 188 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr inbounds i32, ptr [[A:%.*]], i32 [[OFFSET:%.*]]
 189 ; CHECK-NEXT:    br label [[BB:%.*]]
 190 ; CHECK:       bb:
 191 ; CHECK-NEXT:    [[RHS:%.*]] = phi ptr [ [[RHS_NEXT:%.*]], [[BB]] ], [ [[TMP]], [[ENTRY:%.*]] ]
 192 ; CHECK-NEXT:    [[LHS:%.*]] = getelementptr i8, ptr [[A]], i32 400
 193 ; CHECK-NEXT:    [[RHS_NEXT]] = getelementptr inbounds i8, ptr [[RHS]], i32 4
 194 ; CHECK-NEXT:    [[COND:%.*]] = icmp ult ptr [[LHS]], [[RHS]]
 195 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 196 ; CHECK:       bb2:
 197 ; CHECK-NEXT:    ret ptr [[RHS]]
 198 ;
 199 entry:
 200   %tmp = getelementptr inbounds i32, ptr %A, i32 %Offset
 201   br label %bb
 202
 203 bb:
 204   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
 205   %LHS = getelementptr i32, ptr %A, i32 100
 206   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 207   %cond = icmp ult ptr %LHS, %RHS
 208   br i1 %cond, label %bb2, label %bb
 209
 210 bb2:
 211   ret ptr %RHS
 212 }
 213
 214 ; An inttoptr that requires an extension or truncation will be opaque when determining
 215 ; the base pointer. In this case we can still perform the transformation by considering
 216 ; A.ptr as being the base pointer.
 217 define ptr@test4(i16 %A, i32 %Offset) {
 218 ; CHECK-LABEL: @test4(
 219 ; CHECK-NEXT:  entry:
 220 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
 221 ; CHECK-NEXT:    br label [[BB:%.*]]
 222 ; CHECK:       bb:
 223 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[ENTRY:%.*]] ]
 224 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
 225 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
 226 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 227 ; CHECK:       bb2:
 228 ; CHECK-NEXT:    [[TMP0:%.*]] = zext i16 [[A:%.*]] to i32
 229 ; CHECK-NEXT:    [[A_PTR:%.*]] = inttoptr i32 [[TMP0]] to ptr
 230 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A_PTR]], i32 [[RHS_IDX]]
 231 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
 232 ;
 233 entry:
 234   %A.ptr = inttoptr i16 %A to ptr
 235   %tmp = getelementptr inbounds i32, ptr %A.ptr, i32 %Offset
 236   br label %bb
 237
 238 bb:
 239   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %entry ]
 240   %LHS = getelementptr inbounds i32, ptr %A.ptr, i32 100
 241   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 242   %cmp0 = ptrtoint ptr %LHS to i32
 243   %cmp1 = ptrtoint ptr %RHS to i32
 244   %cond = icmp ult i32 %cmp0, %cmp1
 245   br i1 %cond, label %bb2, label %bb
 246
 247 bb2:
 248   ret ptr %RHS
 249 }
 250
 251 declare ptr @fun_ptr()
 252
 253 define ptr@test5(i32 %Offset) personality ptr @__gxx_personality_v0 {
 254 ; CHECK-LABEL: @test5(
 255 ; CHECK-NEXT:  entry:
 256 ; CHECK-NEXT:    [[A:%.*]] = invoke ptr @fun_ptr()
 257 ; CHECK-NEXT:            to label [[CONT:%.*]] unwind label [[LPAD:%.*]]
 258 ; CHECK:       cont:
 259 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
 260 ; CHECK-NEXT:    br label [[BB:%.*]]
 261 ; CHECK:       bb:
 262 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[CONT]] ]
 263 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
 264 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
 265 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 266 ; CHECK:       bb2:
 267 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A]], i32 [[RHS_IDX]]
 268 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
 269 ; CHECK:       lpad:
 270 ; CHECK-NEXT:    [[L:%.*]] = landingpad { ptr, i32 }
 271 ; CHECK-NEXT:            cleanup
 272 ; CHECK-NEXT:    ret ptr null
 273 ;
 274 entry:
 275   %A = invoke ptr@fun_ptr() to label %cont unwind label %lpad
 276
 277 cont:
 278   %tmp = getelementptr inbounds i32, ptr %A, i32 %Offset
 279   br label %bb
 280
 281 bb:
 282   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %cont ]
 283   %LHS = getelementptr inbounds i32, ptr %A, i32 100
 284   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 285   %cond = icmp ult ptr %LHS, %RHS
 286   br i1 %cond, label %bb2, label %bb
 287
 288 bb2:
 289   ret ptr %RHS
 290
 291 lpad:
 292   %l = landingpad { ptr, i32 } cleanup
 293   ret ptr null
 294 }
 295
 296 declare i32 @fun_i32()
 297
 298 define ptr@test6(i32 %Offset) personality ptr @__gxx_personality_v0 {
 299 ; CHECK-LABEL: @test6(
 300 ; CHECK-NEXT:  entry:
 301 ; CHECK-NEXT:    [[A:%.*]] = invoke i32 @fun_i32()
 302 ; CHECK-NEXT:            to label [[CONT:%.*]] unwind label [[LPAD:%.*]]
 303 ; CHECK:       cont:
 304 ; CHECK-NEXT:    [[TMP_IDX:%.*]] = shl nsw i32 [[OFFSET:%.*]], 2
 305 ; CHECK-NEXT:    br label [[BB:%.*]]
 306 ; CHECK:       bb:
 307 ; CHECK-NEXT:    [[RHS_IDX:%.*]] = phi i32 [ [[RHS_ADD:%.*]], [[BB]] ], [ [[TMP_IDX]], [[CONT]] ]
 308 ; CHECK-NEXT:    [[RHS_ADD]] = add nsw i32 [[RHS_IDX]], 4
 309 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[RHS_IDX]], 400
 310 ; CHECK-NEXT:    br i1 [[COND]], label [[BB2:%.*]], label [[BB]]
 311 ; CHECK:       bb2:
 312 ; CHECK-NEXT:    [[A_PTR:%.*]] = inttoptr i32 [[A]] to ptr
 313 ; CHECK-NEXT:    [[RHS_PTR:%.*]] = getelementptr inbounds i8, ptr [[A_PTR]], i32 [[RHS_IDX]]
 314 ; CHECK-NEXT:    ret ptr [[RHS_PTR]]
 315 ; CHECK:       lpad:
 316 ; CHECK-NEXT:    [[L:%.*]] = landingpad { ptr, i32 }
 317 ; CHECK-NEXT:            cleanup
 318 ; CHECK-NEXT:    ret ptr null
 319 ;
 320 entry:
 321   %A = invoke i32 @fun_i32() to label %cont unwind label %lpad
 322
 323 cont:
 324   %A.ptr = inttoptr i32 %A to ptr
 325   %tmp = getelementptr inbounds i32, ptr %A.ptr, i32 %Offset
 326   br label %bb
 327
 328 bb:
 329   %RHS = phi ptr [ %RHS.next, %bb ], [ %tmp, %cont ]
 330   %LHS = getelementptr inbounds i32, ptr %A.ptr, i32 100
 331   %RHS.next = getelementptr inbounds i32, ptr %RHS, i64 1
 332   %cond = icmp ult ptr %LHS, %RHS
 333   br i1 %cond, label %bb2, label %bb
 334
 335 bb2:
 336   ret ptr %RHS
 337
 338 lpad:
 339   %l = landingpad { ptr, i32 } cleanup
 340   ret ptr null
 341 }
 342
 343
 344 @pr30402 = constant i64 3
 345 define i1 @test7() {
 346 ; CHECK-LABEL: @test7(
 347 ; CHECK-NEXT:  entry:
 348 ; CHECK-NEXT:    br label [[BB7:%.*]]
 349 ; CHECK:       bb7:
 350 ; CHECK-NEXT:    [[CMP:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ true, [[BB7]] ]
 351 ; CHECK-NEXT:    br i1 [[CMP]], label [[BB10:%.*]], label [[BB7]]
 352 ; CHECK:       bb10:
 353 ; CHECK-NEXT:    ret i1 true
 354 ;
 355 entry:
 356   br label %bb7
 357
 358 bb7:                                              ; preds = %bb10, %entry-block
 359   %phi = phi ptr [ @pr30402, %entry ], [ getelementptr inbounds (i64, ptr @pr30402, i32 1), %bb7 ]
 360   %cmp = icmp eq ptr %phi, getelementptr inbounds (i64, ptr @pr30402, i32 1)
 361   br i1 %cmp, label %bb10, label %bb7
 362
 363 bb10:
 364   ret i1 %cmp
 365 }
 366
 367 declare i32 @__gxx_personality_v0(...)
 368
 369 define i1 @test8(ptr %in, i64 %offset) {
 370 ; CHECK-LABEL: @test8(
 371 ; CHECK-NEXT:  entry:
 372 ; CHECK-NEXT:    [[LD:%.*]] = load i64, ptr [[IN:%.*]], align 8
 373 ; CHECK-NEXT:    [[TMP0:%.*]] = trunc i64 [[LD]] to i32
 374 ; CHECK-NEXT:    [[CASTI8:%.*]] = inttoptr i32 [[TMP0]] to ptr
 375 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i64 [[OFFSET:%.*]] to i32
 376 ; CHECK-NEXT:    [[GEPI8:%.*]] = getelementptr inbounds i8, ptr [[CASTI8]], i32 [[TMP1]]
 377 ; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[LD]] to i32
 378 ; CHECK-NEXT:    [[PTRCAST:%.*]] = inttoptr i32 [[TMP2]] to ptr
 379 ; CHECK-NEXT:    [[GEPI32:%.*]] = getelementptr inbounds i8, ptr [[PTRCAST]], i32 4
 380 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq ptr [[GEPI32]], [[GEPI8]]
 381 ; CHECK-NEXT:    ret i1 [[CMP]]
 382 ;
 383 entry:
 384   %ld = load i64, ptr %in, align 8
 385   %casti8 = inttoptr i64 %ld to ptr
 386   %gepi8 = getelementptr inbounds i8, ptr %casti8, i64 %offset
 387   %ptrcast = inttoptr i64 %ld to ptr
 388   %gepi32 = getelementptr inbounds ptr, ptr %ptrcast, i64 1
 389   %cmp = icmp eq ptr %gepi32, %gepi8
 390   ret i1 %cmp
 391 }
 392
 393 define void @test_zero_offset_cycle(ptr %arg) {
 394 ; CHECK-LABEL: @test_zero_offset_cycle(
 395 ; CHECK-NEXT:  entry:
 396 ; CHECK-NEXT:    [[GEP:%.*]] = getelementptr inbounds i8, ptr [[ARG:%.*]], i32 8
 397 ; CHECK-NEXT:    [[GEP_INT:%.*]] = ptrtoint ptr [[GEP]] to i32
 398 ; CHECK-NEXT:    br label [[LOOP:%.*]]
 399 ; CHECK:       loop:
 400 ; CHECK-NEXT:    [[PHI:%.*]] = phi i32 [ [[GEP_INT]], [[ENTRY:%.*]] ], [ [[GEP_INT2:%.*]], [[LOOP_CONT:%.*]] ], [ [[PHI]], [[LOOP]] ]
 401 ; CHECK-NEXT:    [[PHI_PTR:%.*]] = inttoptr i32 [[PHI]] to ptr
 402 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq ptr [[GEP]], [[PHI_PTR]]
 403 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP]], label [[LOOP_CONT]]
 404 ; CHECK:       loop.cont:
 405 ; CHECK-NEXT:    [[GEP_INT2]] = ptrtoint ptr [[GEP]] to i32
 406 ; CHECK-NEXT:    br label [[LOOP]]
 407 ;
 408 entry:
 409   %gep = getelementptr inbounds { i64, i64 }, ptr %arg, i32 0, i32 1
 410   %gep.int = ptrtoint ptr %gep to i32
 411   br label %loop
 412
 413 loop:
 414   %phi = phi i32 [ %gep.int, %entry ], [ %gep.int2, %loop.cont ], [ %phi, %loop ]
 415   %phi.ptr = inttoptr i32 %phi to ptr
 416   %cmp = icmp eq ptr %gep, %phi.ptr
 417   br i1 %cmp, label %loop, label %loop.cont
 418
 419 loop.cont:
 420   %gep.int2 = ptrtoint ptr %gep to i32
 421   br label %loop
 422 }