1; RUN: llc -march=hexagon < %s | FileCheck %s
2
3; CHECK: [[REG0:(r[0-9]+)]] = add(r29
4; CHECK: [[REG1:(r[0-9]+)]] = add([[REG0]],#8)
5; CHECK-DAG: memd([[REG1]]+#8) =
6; CHECK-DAG: memd([[REG1]]+#0) =
7
8%s.0 = type { i32, i8, double, i32, float }
9
10@g0 = external local_unnamed_addr global i32, align 4
11
12define i32 @f0() local_unnamed_addr {
13b0:
14  %v0 = alloca [10 x %s.0], align 8
15  %v1 = bitcast [10 x %s.0]* %v0 to i8*
16  br label %b1
17
18b1:                                               ; preds = %b1, %b0
19  %v2 = phi i32 [ 0, %b0 ], [ %v6, %b1 ]
20  %v3 = getelementptr inbounds [10 x %s.0], [10 x %s.0]* %v0, i32 0, i32 %v2, i32 0
21  store i32 0, i32* %v3, align 8
22  %v4 = getelementptr inbounds [10 x %s.0], [10 x %s.0]* %v0, i32 0, i32 %v2, i32 1
23  store i8 0, i8* %v4, align 4
24  %v5 = getelementptr inbounds [10 x %s.0], [10 x %s.0]* %v0, i32 0, i32 %v2, i32 2
25  %v6 = add nuw nsw i32 %v2, 1
26  %v7 = icmp eq i32 %v6, 10
27  %v8 = bitcast double* %v5 to i8*
28  call void @llvm.memset.p0i8.i64(i8* align 8 %v8, i8 0, i64 16, i1 false)
29  br i1 %v7, label %b2, label %b1
30
31b2:                                               ; preds = %b1
32  br label %b3
33
34b3:                                               ; preds = %b3, %b2
35  %v9 = phi i32 [ 0, %b2 ], [ %v10, %b3 ]
36  %v10 = add nuw nsw i32 %v9, 1
37  %v11 = icmp eq i32 %v10, 10
38  br i1 %v11, label %b4, label %b3
39
40b4:                                               ; preds = %b3
41  %v12 = getelementptr inbounds [10 x %s.0], [10 x %s.0]* %v0, i32 0, i32 0, i32 0
42  %v13 = load i32, i32* %v12, align 8
43  %v14 = sub nsw i32 1122, %v13
44  %v15 = icmp eq i32 %v14, 1121
45  br i1 %v15, label %b6, label %b5
46
47b5:                                               ; preds = %b4
48  store i32 1, i32* @g0, align 4
49  br label %b6
50
51b6:                                               ; preds = %b5, %b4
52  tail call void @f1()
53  unreachable
54}
55
56declare void @f1() local_unnamed_addr
57
58; Function Attrs: argmemonly nounwind
59declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1) #0
60
61attributes #0 = { argmemonly nounwind }
62