[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / dhry_stall.ll
bloba9eae47c23777f95e6cb7924805b9d8cb59c39a2
1 ; RUN: llc -march=hexagon -O3 < %s | FileCheck %s
3 ; CHECK: }
4 ; CHECK: [[REG0:r([0-9]+)]] = addasl
5 ; CHECK: {
6 ; CHECK: }
7 ; CHECK: memw([[REG0]]
9 target triple = "hexagon"
11 @g0 = external global i32
13 ; Function Attrs: nounwind
14 define i32 @f0(i32* nocapture %a0, [50 x i32]* nocapture %a1, i32 %a2, i32 %a3) #0 {
15 b0:
16   %v0 = add nsw i32 %a2, 5
17   %v1 = getelementptr inbounds i32, i32* %a0, i32 %v0
18   store i32 %a3, i32* %v1, align 4, !tbaa !0
19   %v2 = add nsw i32 %a2, 6
20   %v3 = getelementptr inbounds i32, i32* %a0, i32 %v2
21   store i32 %a3, i32* %v3, align 4, !tbaa !0
22   %v4 = add nsw i32 %a2, 35
23   %v5 = getelementptr inbounds i32, i32* %a0, i32 %v4
24   store i32 %v0, i32* %v5, align 4, !tbaa !0
25   %v6 = getelementptr inbounds [50 x i32], [50 x i32]* %a1, i32 %v0, i32 %v0
26   store i32 %v0, i32* %v6, align 4, !tbaa !0
27   %v7 = add nsw i32 %a2, 6
28   %v8 = getelementptr inbounds [50 x i32], [50 x i32]* %a1, i32 %v0, i32 %v7
29   store i32 %v0, i32* %v8, align 4, !tbaa !0
30   %v9 = add nsw i32 %a2, 4
31   %v10 = getelementptr inbounds [50 x i32], [50 x i32]* %a1, i32 %v0, i32 %v9
32   %v11 = load i32, i32* %v10, align 4, !tbaa !0
33   %v12 = add nsw i32 %v11, 1
34   store i32 %v12, i32* %v10, align 4, !tbaa !0
35   %v13 = load i32, i32* %v1, align 4, !tbaa !0
36   %v14 = add nsw i32 %a2, 25
37   %v15 = getelementptr inbounds [50 x i32], [50 x i32]* %a1, i32 %v14, i32 %v0
38   store i32 %v13, i32* %v15, align 4, !tbaa !0
39   store i32 5, i32* @g0, align 4, !tbaa !0
40   ret i32 undef
43 attributes #0 = { nounwind "target-cpu"="hexagonv60" "target-features"="+hvxv60,+hvx-length64b" }
45 !0 = !{!1, !1, i64 0}
46 !1 = !{!"int", !2, i64 0}
47 !2 = !{!"omnipotent char", !3, i64 0}
48 !3 = !{!"Simple C/C++ TBAA"}