|  | ; RUN: llc -mtriple=hexagon -O3 -verify-machineinstrs < %s | FileCheck %s | 
|  | ; | 
|  | ; Make sure that this testcase passes the verifier. | 
|  | ; CHECK: call f1 | 
|  |  | 
|  | target triple = "hexagon" | 
|  |  | 
|  | %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 } | 
|  |  | 
|  | @g0 = external global %s.0, align 8 | 
|  | @g1 = external hidden unnamed_addr constant [3 x i8], align 1 | 
|  |  | 
|  | ; Function Attrs: nounwind | 
|  | define void @f0() local_unnamed_addr #0 { | 
|  | b0: | 
|  | br label %b1 | 
|  |  | 
|  | b1:                                               ; preds = %b0 | 
|  | switch i8 undef, label %b3 [ | 
|  | i8 35, label %b2 | 
|  | i8 10, label %b2 | 
|  | ] | 
|  |  | 
|  | b2:                                               ; preds = %b1, %b1 | 
|  | unreachable | 
|  |  | 
|  | b3:                                               ; preds = %b1 | 
|  | br label %b4 | 
|  |  | 
|  | b4:                                               ; preds = %b3 | 
|  | switch i8 undef, label %b6 [ | 
|  | i8 35, label %b5 | 
|  | i8 10, label %b5 | 
|  | ] | 
|  |  | 
|  | b5:                                               ; preds = %b4, %b4 | 
|  | unreachable | 
|  |  | 
|  | b6:                                               ; preds = %b4 | 
|  | call void (ptr, ptr, ...) @f1(ptr nonnull undef, ptr @g1, ptr getelementptr inbounds (%s.0, ptr @g0, i32 0, i32 45)) #0 | 
|  | br label %b7 | 
|  |  | 
|  | b7:                                               ; preds = %b6 | 
|  | switch i8 undef, label %b9 [ | 
|  | i8 35, label %b8 | 
|  | i8 10, label %b8 | 
|  | ] | 
|  |  | 
|  | b8:                                               ; preds = %b7, %b7 | 
|  | unreachable | 
|  |  | 
|  | b9:                                               ; preds = %b7 | 
|  | br label %b10 | 
|  |  | 
|  | b10:                                              ; preds = %b9 | 
|  | switch i8 undef, label %b12 [ | 
|  | i8 35, label %b11 | 
|  | i8 10, label %b11 | 
|  | ] | 
|  |  | 
|  | b11:                                              ; preds = %b10, %b10 | 
|  | unreachable | 
|  |  | 
|  | b12:                                              ; preds = %b10 | 
|  | br label %b13 | 
|  |  | 
|  | b13:                                              ; preds = %b12 | 
|  | switch i8 undef, label %b14 [ | 
|  | i8 35, label %b15 | 
|  | i8 10, label %b15 | 
|  | ] | 
|  |  | 
|  | b14:                                              ; preds = %b13 | 
|  | br label %b16 | 
|  |  | 
|  | b15:                                              ; preds = %b13, %b13 | 
|  | unreachable | 
|  |  | 
|  | b16:                                              ; preds = %b17, %b14 | 
|  | %v0 = phi ptr [ %v2, %b17 ], [ undef, %b14 ] | 
|  | %v1 = load i8, ptr %v0, align 1 | 
|  | switch i8 %v1, label %b17 [ | 
|  | i8 32, label %b18 | 
|  | i8 9, label %b18 | 
|  | ] | 
|  |  | 
|  | b17:                                              ; preds = %b16 | 
|  | %v2 = getelementptr inbounds i8, ptr %v0, i32 1 | 
|  | br label %b16 | 
|  |  | 
|  | b18:                                              ; preds = %b16, %b16 | 
|  | unreachable | 
|  | } | 
|  |  | 
|  | ; Function Attrs: nounwind | 
|  | declare void @f1(ptr nocapture readonly, ptr nocapture readonly, ...) local_unnamed_addr #0 | 
|  |  | 
|  | attributes #0 = { nounwind "target-cpu"="hexagonv62" } |