1; RUN: llc -march=hexagon -O3 -verify-machineinstrs < %s | FileCheck %s
2;
3; Make sure that this testcase passes the verifier.
4; CHECK: call f1
5
6target triple = "hexagon"
7
8%s.0 = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [2 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i64, i32, i32, i64, i32, i32, i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
9
10@g0 = external global %s.0, align 8
11@g1 = external hidden unnamed_addr constant [3 x i8], align 1
12
13; Function Attrs: nounwind
14define void @f0() local_unnamed_addr #0 {
15b0:
16  br label %b1
17
18b1:                                               ; preds = %b0
19  switch i8 undef, label %b3 [
20    i8 35, label %b2
21    i8 10, label %b2
22  ]
23
24b2:                                               ; preds = %b1, %b1
25  unreachable
26
27b3:                                               ; preds = %b1
28  br label %b4
29
30b4:                                               ; preds = %b3
31  switch i8 undef, label %b6 [
32    i8 35, label %b5
33    i8 10, label %b5
34  ]
35
36b5:                                               ; preds = %b4, %b4
37  unreachable
38
39b6:                                               ; preds = %b4
40  call void (i8*, i8*, ...) @f1(i8* nonnull undef, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @g1, i32 0, i32 0), i32* getelementptr inbounds (%s.0, %s.0* @g0, i32 0, i32 45)) #0
41  br label %b7
42
43b7:                                               ; preds = %b6
44  switch i8 undef, label %b9 [
45    i8 35, label %b8
46    i8 10, label %b8
47  ]
48
49b8:                                               ; preds = %b7, %b7
50  unreachable
51
52b9:                                               ; preds = %b7
53  br label %b10
54
55b10:                                              ; preds = %b9
56  switch i8 undef, label %b12 [
57    i8 35, label %b11
58    i8 10, label %b11
59  ]
60
61b11:                                              ; preds = %b10, %b10
62  unreachable
63
64b12:                                              ; preds = %b10
65  br label %b13
66
67b13:                                              ; preds = %b12
68  switch i8 undef, label %b14 [
69    i8 35, label %b15
70    i8 10, label %b15
71  ]
72
73b14:                                              ; preds = %b13
74  br label %b16
75
76b15:                                              ; preds = %b13, %b13
77  unreachable
78
79b16:                                              ; preds = %b17, %b14
80  %v0 = phi i8* [ %v2, %b17 ], [ undef, %b14 ]
81  %v1 = load i8, i8* %v0, align 1
82  switch i8 %v1, label %b17 [
83    i8 32, label %b18
84    i8 9, label %b18
85  ]
86
87b17:                                              ; preds = %b16
88  %v2 = getelementptr inbounds i8, i8* %v0, i32 1
89  br label %b16
90
91b18:                                              ; preds = %b16, %b16
92  unreachable
93}
94
95; Function Attrs: nounwind
96declare void @f1(i8* nocapture readonly, i8* nocapture readonly, ...) local_unnamed_addr #0
97
98attributes #0 = { nounwind "target-cpu"="hexagonv62" }
99