-; RUN: opt < %s -O3 | llc -march=aarch64 -mtriple=aarch64-none-linux-gnu -stop-after branch-folder -o /dev/null | FileCheck %s
-target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
-
-; Function Attrs: nounwind
-define void @test(float* %test_arr) #0 {
-entry:
- %test_arr.addr = alloca float*, align 8
- store float* %test_arr, float** %test_arr.addr, align 8
- %0 = load float*, float** %test_arr.addr, align 8
- %arrayidx = getelementptr inbounds float, float* %0, i64 0
- %1 = load float, float* %arrayidx, align 4
- %2 = load float*, float** %test_arr.addr, align 8
- %arrayidx1 = getelementptr inbounds float, float* %2, i64 1
- %3 = load float, float* %arrayidx1, align 4
- %sub = fsub float %1, %3
- %4 = load float*, float** %test_arr.addr, align 8
- %arrayidx2 = getelementptr inbounds float, float* %4, i64 0
- store float %sub, float* %arrayidx2, align 4
- ret void
-}
-
-; Function Attrs: nounwind
-define void @foo(i32 %a, i32 %b, float* %foo_arr) #0 {
-; CHECK: (load 4 from %ir.arrayidx1.i2), (load 4 from %ir.arrayidx1.i)
-entry:
- %a.addr = alloca i32, align 4
- %b.addr = alloca i32, align 4
- %foo_arr.addr = alloca float*, align 8
- store i32 %a, i32* %a.addr, align 4
- store i32 %b, i32* %b.addr, align 4
- store float* %foo_arr, float** %foo_arr.addr, align 8
- %0 = load i32, i32* %a.addr, align 4
- %cmp = icmp sgt i32 %0, 0
- br i1 %cmp, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- %1 = load float*, float** %foo_arr.addr, align 8
- call void @test(float* %1)
- br label %if.end3
-
-if.end: ; preds = %entry
- %2 = load i32, i32* %b.addr, align 4
- %cmp1 = icmp sgt i32 %2, 0
- br i1 %cmp1, label %if.then2, label %if.end3
-
-if.then2: ; preds = %if.end
- %3 = load float*, float** %foo_arr.addr, align 8
- call void @test(float* %3)
- br label %if.end3
-
-if.end3: ; preds = %if.then, %if.then2, %if.end
- ret void
-}