1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
; 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 4 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
}
|
