| ; RUN: llc -march=hexagon < %s | FileCheck %s |
| |
| ; CHECK-DAG: r[[BASE:[0-9]+]] = add(r1,#1000) |
| ; CHECK-DAG: r[[IDX0:[0-9]+]] = add(r2,#5) |
| ; CHECK-DAG: r[[IDX1:[0-9]+]] = add(r2,#6) |
| ; CHECK-DAG: memw(r0+r[[IDX0]]<<#2) = r3 |
| ; CHECK-DAG: memw(r0+r[[IDX1]]<<#2) = r3 |
| ; CHECK-DAG: memw(r[[BASE]]+r[[IDX0]]<<#2) = r[[IDX0]] |
| ; CHECK-DAG: memw(r[[BASE]]+r[[IDX1]]<<#2) = r[[IDX0]] |
| |
| target triple = "hexagon" |
| |
| @G = external global i32, align 4 |
| |
| ; Function Attrs: norecurse nounwind |
| define void @fred(i32* nocapture %A, [50 x i32]* nocapture %B, i32 %N, i32 %M) #0 { |
| entry: |
| %add = add nsw i32 %N, 5 |
| %arrayidx = getelementptr inbounds i32, i32* %A, i32 %add |
| store i32 %M, i32* %arrayidx, align 4, !tbaa !1 |
| %add2 = add nsw i32 %N, 6 |
| %arrayidx3 = getelementptr inbounds i32, i32* %A, i32 %add2 |
| store i32 %M, i32* %arrayidx3, align 4, !tbaa !1 |
| %add4 = add nsw i32 %N, 35 |
| %arrayidx5 = getelementptr inbounds i32, i32* %A, i32 %add4 |
| store i32 %add, i32* %arrayidx5, align 4, !tbaa !1 |
| %arrayidx8 = getelementptr inbounds [50 x i32], [50 x i32]* %B, i32 %add, i32 %add |
| store i32 %add, i32* %arrayidx8, align 4, !tbaa !1 |
| %inc = add nsw i32 %N, 6 |
| %arrayidx8.1 = getelementptr inbounds [50 x i32], [50 x i32]* %B, i32 %add, i32 %inc |
| store i32 %add, i32* %arrayidx8.1, align 4, !tbaa !1 |
| %sub = add nsw i32 %N, 4 |
| %arrayidx10 = getelementptr inbounds [50 x i32], [50 x i32]* %B, i32 %add, i32 %sub |
| %0 = load i32, i32* %arrayidx10, align 4, !tbaa !1 |
| %add11 = add nsw i32 %0, 1 |
| store i32 %add11, i32* %arrayidx10, align 4, !tbaa !1 |
| %1 = load i32, i32* %arrayidx, align 4, !tbaa !1 |
| %add13 = add nsw i32 %N, 25 |
| %arrayidx15 = getelementptr inbounds [50 x i32], [50 x i32]* %B, i32 %add13, i32 %add |
| store i32 %1, i32* %arrayidx15, align 4, !tbaa !1 |
| store i32 5, i32* @G, align 4, !tbaa !1 |
| ret void |
| } |
| |
| attributes #0 = { norecurse nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length64b" } |
| |
| !1 = !{!2, !2, i64 0} |
| !2 = !{!"int", !3, i64 0} |
| !3 = !{!"omnipotent char", !4, i64 0} |
| !4 = !{!"Simple C/C++ TBAA"} |