1 ; RUN: llc -march=hexagon -O3 -verify-machineinstrs < %s | FileCheck %s
3 ; Make sure that this testcase passes the verifier.
6 target triple = "hexagon"
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 }
10 @g0 = external global %s.0, align 8
11 @g1 = external hidden unnamed_addr constant [3 x i8], align 1
13 ; Function Attrs: nounwind
14 define void @f0() local_unnamed_addr #0 {
19 switch i8 undef, label %b3 [
24 b2: ; preds = %b1, %b1
31 switch i8 undef, label %b6 [
36 b5: ; preds = %b4, %b4
40 call void (ptr, ptr, ...) @f1(ptr nonnull undef, ptr @g1, ptr getelementptr inbounds (%s.0, ptr @g0, i32 0, i32 45)) #0
44 switch i8 undef, label %b9 [
49 b8: ; preds = %b7, %b7
56 switch i8 undef, label %b12 [
61 b11: ; preds = %b10, %b10
68 switch i8 undef, label %b14 [
76 b15: ; preds = %b13, %b13
79 b16: ; preds = %b17, %b14
80 %v0 = phi ptr [ %v2, %b17 ], [ undef, %b14 ]
81 %v1 = load i8, ptr %v0, align 1
82 switch i8 %v1, label %b17 [
88 %v2 = getelementptr inbounds i8, ptr %v0, i32 1
91 b18: ; preds = %b16, %b16
95 ; Function Attrs: nounwind
96 declare void @f1(ptr nocapture readonly, ptr nocapture readonly, ...) local_unnamed_addr #0
98 attributes #0 = { nounwind "target-cpu"="hexagonv62" }