1; RUN: llc -O2 -march=hexagon < %s | FileCheck %s
2; CHECK-NOT: memw
3; CHECK: memub
4
5target triple = "hexagon"
6
7%s.0 = type <{ i8, %s.1 }>
8%s.1 = type { [16 x i32] }
9
10; Function Attrs: nounwind
11define i32 @f0(i32 %a0, %s.0* nocapture %a1) #0 {
12b0:
13  %v0 = icmp sgt i32 %a0, 0
14  br i1 %v0, label %b1, label %b10
15
16b1:                                               ; preds = %b0
17  br label %b4
18
19b2:                                               ; preds = %b4
20  br i1 %v0, label %b3, label %b10
21
22b3:                                               ; preds = %b2
23  br label %b7
24
25b4:                                               ; preds = %b4, %b1
26  %v1 = phi i32 [ %v6, %b4 ], [ 0, %b1 ]
27  %v2 = phi i32 [ %v5, %b4 ], [ 0, %b1 ]
28  %v3 = getelementptr inbounds %s.0, %s.0* %a1, i32 0, i32 1, i32 0, i32 %v1
29  %v4 = load i32, i32* %v3, align 1, !tbaa !0
30  %v5 = add nsw i32 %v4, %v2
31  %v6 = add nsw i32 %v1, 1
32  %v7 = icmp eq i32 %v6, %a0
33  br i1 %v7, label %b2, label %b4
34
35b5:                                               ; preds = %b7
36  br i1 %v0, label %b6, label %b10
37
38b6:                                               ; preds = %b5
39  br label %b8
40
41b7:                                               ; preds = %b7, %b3
42  %v8 = phi i32 [ %v13, %b7 ], [ 0, %b3 ]
43  %v9 = phi i32 [ %v12, %b7 ], [ %v5, %b3 ]
44  %v10 = getelementptr inbounds %s.0, %s.0* %a1, i32 0, i32 1, i32 0, i32 %v8
45  %v11 = load i32, i32* %v10, align 1, !tbaa !0
46  %v12 = add nsw i32 %v11, %v9
47  %v13 = add nsw i32 %v8, 1
48  %v14 = icmp eq i32 %v13, %a0
49  br i1 %v14, label %b5, label %b7
50
51b8:                                               ; preds = %b8, %b6
52  %v15 = phi i32 [ %v17, %b8 ], [ 0, %b6 ]
53  %v16 = getelementptr inbounds %s.0, %s.0* %a1, i32 0, i32 1, i32 0, i32 %v15
54  store i32 %a0, i32* %v16, align 1, !tbaa !0
55  %v17 = add nsw i32 %v15, 1
56  %v18 = icmp eq i32 %v17, %a0
57  br i1 %v18, label %b9, label %b8
58
59b9:                                               ; preds = %b8
60  br label %b10
61
62b10:                                              ; preds = %b9, %b5, %b2, %b0
63  %v19 = phi i32 [ %v12, %b5 ], [ %v5, %b2 ], [ 0, %b0 ], [ %v12, %b9 ]
64  ret i32 %v19
65}
66
67attributes #0 = { nounwind }
68
69!0 = !{!1, !1, i64 0}
70!1 = !{!"int", !2}
71!2 = !{!"omnipotent char", !3}
72!3 = !{!"Simple C/C++ TBAA"}
73