1 ; RUN: opt < %s -O3 | llc -march=aarch64 -mtriple=aarch64-none-linux-gnu -stop-after branch-folder -o /dev/null | FileCheck %s
2 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
4 ; Function Attrs: nounwind
5 define void @test(float* %test_arr) #0 {
7 %test_arr.addr = alloca float*, align 8
8 store float* %test_arr, float** %test_arr.addr, align 8
9 %0 = load float*, float** %test_arr.addr, align 8
10 %arrayidx = getelementptr inbounds float, float* %0, i64 0
11 %1 = load float, float* %arrayidx, align 4
12 %2 = load float*, float** %test_arr.addr, align 8
13 %arrayidx1 = getelementptr inbounds float, float* %2, i64 1
14 %3 = load float, float* %arrayidx1, align 4
15 %sub = fsub float %1, %3
16 %4 = load float*, float** %test_arr.addr, align 8
17 %arrayidx2 = getelementptr inbounds float, float* %4, i64 0
18 store float %sub, float* %arrayidx2, align 4
22 ; Function Attrs: nounwind
23 define void @foo(i32 %a, i32 %b, float* %foo_arr) #0 {
24 ; CHECK: (load 4 from %ir.arrayidx1.i2), (load 4 from %ir.arrayidx1.i)
26 %a.addr = alloca i32, align 4
27 %b.addr = alloca i32, align 4
28 %foo_arr.addr = alloca float*, align 8
29 store i32 %a, i32* %a.addr, align 4
30 store i32 %b, i32* %b.addr, align 4
31 store float* %foo_arr, float** %foo_arr.addr, align 8
32 %0 = load i32, i32* %a.addr, align 4
33 %cmp = icmp sgt i32 %0, 0
34 br i1 %cmp, label %if.then, label %if.end
36 if.then: ; preds = %entry
37 %1 = load float*, float** %foo_arr.addr, align 8
38 call void @test(float* %1)
41 if.end: ; preds = %entry
42 %2 = load i32, i32* %b.addr, align 4
43 %cmp1 = icmp sgt i32 %2, 0
44 br i1 %cmp1, label %if.then2, label %if.end3
46 if.then2: ; preds = %if.end
47 %3 = load float*, float** %foo_arr.addr, align 8
48 call void @test(float* %3)
51 if.end3: ; preds = %if.then, %if.then2, %if.end