; RUN: llc < %s -mtriple=aarch64-none-linux-gnu -stop-after branch-folder | FileCheck %s
target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"

; Function Attrs: norecurse nounwind
define void @foo(i32 %a, i32 %b, float* nocapture %foo_arr) #0 {
; CHECK: (load (s32) from %ir.arrayidx1.{{i[1-2]}})
entry:
  %cmp = icmp sgt i32 %a, 0
  br i1 %cmp, label %if.then, label %if.end

if.then:                                          ; preds = %entry
  %0 = load float, float* %foo_arr, align 4
  %arrayidx1.i1 = getelementptr inbounds float, float* %foo_arr, i64 1
  %1 = load float, float* %arrayidx1.i1, align 4
  %sub.i = fsub float %0, %1
  store float %sub.i, float* %foo_arr, align 4
  br label %if.end3

if.end:                                           ; preds = %entry
  %cmp1 = icmp sgt i32 %b, 0
  br i1 %cmp1, label %if.then2, label %if.end3

if.then2:                                         ; preds = %if.end
  %2 = load float, float* %foo_arr, align 4
  %arrayidx1.i2 = getelementptr inbounds float, float* %foo_arr, i64 1
  %3 = load float, float* %arrayidx1.i2, align 4
  %sub.i3 = fsub float %2, %3
  store float %sub.i3, float* %foo_arr, align 4
  br label %if.end3

if.end3:                                          ; preds = %if.then2, %if.end, %if.then
  ret void
}