xref: /llvm-project/llvm/test/Transforms/SeparateConstOffsetFromGEP/AArch64/split-gep.ll (revision 4cbab1e5ff733d3006d4f9542fdfa0c638c3ac20)
1; RUN: llc < %s -O3 -mtriple=aarch64-linux-gnu -aarch64-enable-gep-opt | FileCheck %s
2
3%struct = type { i32, i32, i32 }
4
5define 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
24then:
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
30else:
31 ret i32 0
32}
33