1 ; RUN: llc -march=hexagon < %s | FileCheck %s
3 ; CHECK-DAG: r[[BASE:[0-9]+]] = add(r1,#1000)
4 ; CHECK-DAG: r[[IDX0:[0-9]+]] = add(r2,#5)
5 ; CHECK-DAG: r[[IDX1:[0-9]+]] = add(r2,#6)
6 ; CHECK-DAG: memw(r0+r[[IDX0]]<<#2) = r3
7 ; CHECK-DAG: memw(r0+r[[IDX1]]<<#2) = r3
8 ; CHECK-DAG: memw(r[[BASE]]+r[[IDX0]]<<#2) = r[[IDX0]]
9 ; CHECK-DAG: memw(r[[BASE]]+r[[IDX1]]<<#2) = r[[IDX0]]
11 target triple = "hexagon"
13 @G = external global i32, align 4
15 ; Function Attrs: norecurse nounwind
16 define void @fred(ptr nocapture %A, ptr nocapture %B, i32 %N, i32 %M) #0 {
18 %add = add nsw i32 %N, 5
19 %arrayidx = getelementptr inbounds i32, ptr %A, i32 %add
20 store i32 %M, ptr %arrayidx, align 4, !tbaa !1
21 %add2 = add nsw i32 %N, 6
22 %arrayidx3 = getelementptr inbounds i32, ptr %A, i32 %add2
23 store i32 %M, ptr %arrayidx3, align 4, !tbaa !1
24 %add4 = add nsw i32 %N, 35
25 %arrayidx5 = getelementptr inbounds i32, ptr %A, i32 %add4
26 store i32 %add, ptr %arrayidx5, align 4, !tbaa !1
27 %arrayidx8 = getelementptr inbounds [50 x i32], ptr %B, i32 %add, i32 %add
28 store i32 %add, ptr %arrayidx8, align 4, !tbaa !1
29 %inc = add nsw i32 %N, 6
30 %arrayidx8.1 = getelementptr inbounds [50 x i32], ptr %B, i32 %add, i32 %inc
31 store i32 %add, ptr %arrayidx8.1, align 4, !tbaa !1
32 %sub = add nsw i32 %N, 4
33 %arrayidx10 = getelementptr inbounds [50 x i32], ptr %B, i32 %add, i32 %sub
34 %0 = load i32, ptr %arrayidx10, align 4, !tbaa !1
35 %add11 = add nsw i32 %0, 1
36 store i32 %add11, ptr %arrayidx10, align 4, !tbaa !1
37 %1 = load i32, ptr %arrayidx, align 4, !tbaa !1
38 %add13 = add nsw i32 %N, 25
39 %arrayidx15 = getelementptr inbounds [50 x i32], ptr %B, i32 %add13, i32 %add
40 store i32 %1, ptr %arrayidx15, align 4, !tbaa !1
41 store i32 5, ptr @G, align 4, !tbaa !1
45 attributes #0 = { norecurse nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length64b" }
48 !2 = !{!"int", !3, i64 0}
49 !3 = !{!"omnipotent char", !4, i64 0}
50 !4 = !{!"Simple C/C++ TBAA"}