llvm/test/Transforms/SeparateConstOffsetFromGEP/AArch64/split-gep.ll

   1 ; RUN: llc < %s -O3 -mtriple=aarch64-linux-gnu -aarch64-enable-gep-opt | FileCheck %s
   2
   3 %struct = type { i32, i32, i32 }
   4
   5 define i32 @test1(ptr %ptr, i64 %idx) {
   6 ; CHECK-LABEL: test1:
   7 ; CHECK:       // %bb.0:
   8 ; CHECK-NEXT:    mov w8, #12
   9 ; CHECK-NEXT:    madd x8, x1, x8, x0
  10 ; CHECK-NEXT:    ldr w9, [x8, #4]
  11 ; CHECK-NEXT:    tbnz w9, #31, .LBB0_2
  12 ; CHECK-NEXT:  // %bb.1:
  13 ; CHECK-NEXT:    mov w0, wzr
  14 ; CHECK-NEXT:    ret
  15 ; CHECK-NEXT:  .LBB0_2: // %then
  16 ; CHECK-NEXT:    ldr w8, [x8, #8]
  17 ; CHECK-NEXT:    add w0, w9, w8
  18 ; CHECK-NEXT:    ret
  19  %gep.1 = getelementptr %struct, ptr %ptr, i64 %idx, i32 1
  20  %lv.1 = load i32, ptr %gep.1
  21  %c = icmp slt i32 %lv.1, 0
  22  br i1 %c, label %then, label %else
  23
  24 then:
  25  %gep.2 = getelementptr %struct, ptr %ptr, i64 %idx, i32 2
  26  %lv.2 = load i32, ptr %gep.2
  27  %res = add i32 %lv.1, %lv.2
  28  ret i32 %res
  29
  30 else:
  31  ret i32 0
  32 }