| ; RUN: llc < %s -O3 -mtriple=aarch64-linux-gnu -aarch64-enable-gep-opt | FileCheck %s |
| |
| %struct = type { i32, i32, i32 } |
| |
| define i32 @test1(ptr %ptr, i64 %idx) { |
| ; CHECK-LABEL: test1: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: mov w8, #12 |
| ; CHECK-NEXT: madd x8, x1, x8, x0 |
| ; CHECK-NEXT: ldr w9, [x8, #4] |
| ; CHECK-NEXT: tbnz w9, #31, .LBB0_2 |
| ; CHECK-NEXT: // %bb.1: |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB0_2: // %then |
| ; CHECK-NEXT: ldr w8, [x8, #8] |
| ; CHECK-NEXT: add w0, w9, w8 |
| ; CHECK-NEXT: ret |
| %gep.1 = getelementptr %struct, ptr %ptr, i64 %idx, i32 1 |
| %lv.1 = load i32, ptr %gep.1 |
| %c = icmp slt i32 %lv.1, 0 |
| br i1 %c, label %then, label %else |
| |
| then: |
| %gep.2 = getelementptr %struct, ptr %ptr, i64 %idx, i32 2 |
| %lv.2 = load i32, ptr %gep.2 |
| %res = add i32 %lv.1, %lv.2 |
| ret i32 %res |
| |
| else: |
| ret i32 0 |
| } |
