|  | ; RUN: llc -march=hexagon -relocation-model=pic < %s | FileCheck %s | 
|  |  | 
|  | ; CHECK: r{{[0-9]+}} = add({{pc|PC}},##.LJTI{{[0-9_]+}}@PCREL) | 
|  | ; CHECK: r{{[0-9]+}} = memw(r{{[0-9]}}+##g0@GOT | 
|  | ; CHECK: r{{[0-9]+}} = add({{pc|PC}},##_GLOBAL_OFFSET_TABLE_@PCREL) | 
|  | ; CHECK: r{{[0-9]+}} = memw(r{{[0-9]*}}+##g1@GOT) | 
|  |  | 
|  | @g0 = external global i32 | 
|  | @g1 = external global i32 | 
|  |  | 
|  | ; Function Attrs: nounwind | 
|  | define i32 @f0(i32 %a0) #0 { | 
|  | b0: | 
|  | switch i32 %a0, label %b8 [ | 
|  | i32 2, label %b1 | 
|  | i32 3, label %b2 | 
|  | i32 4, label %b3 | 
|  | i32 5, label %b4 | 
|  | i32 6, label %b5 | 
|  | i32 7, label %b6 | 
|  | i32 8, label %b7 | 
|  | ] | 
|  |  | 
|  | b1:                                               ; preds = %b0 | 
|  | tail call void bitcast (void (...)* @f1 to void ()*)() #0 | 
|  | br label %b8 | 
|  |  | 
|  | b2:                                               ; preds = %b0 | 
|  | %v0 = load i32, i32* @g0, align 4, !tbaa !0 | 
|  | %v1 = add nsw i32 %v0, 99 | 
|  | br label %b9 | 
|  |  | 
|  | b3:                                               ; preds = %b0 | 
|  | %v2 = load i32, i32* @g1, align 4, !tbaa !0 | 
|  | %v3 = load i32, i32* @g0, align 4, !tbaa !0 | 
|  | %v4 = add nsw i32 %v3, %v2 | 
|  | tail call void @f2(i32 %v4) #0 | 
|  | br label %b8 | 
|  |  | 
|  | b4:                                               ; preds = %b0 | 
|  | %v5 = load i32, i32* @g1, align 4, !tbaa !0 | 
|  | %v6 = load i32, i32* @g0, align 4, !tbaa !0 | 
|  | %v7 = mul nsw i32 %v6, 2 | 
|  | %v8 = add i32 %v5, 9 | 
|  | %v9 = add i32 %v8, %v7 | 
|  | tail call void @f2(i32 %v9) #0 | 
|  | br label %b8 | 
|  |  | 
|  | b5:                                               ; preds = %b0 | 
|  | br label %b8 | 
|  |  | 
|  | b6:                                               ; preds = %b0 | 
|  | br label %b7 | 
|  |  | 
|  | b7:                                               ; preds = %b6, %b0 | 
|  | %v10 = phi i32 [ 2, %b0 ], [ 4, %b6 ] | 
|  | br label %b8 | 
|  |  | 
|  | b8:                                               ; preds = %b7, %b5, %b4, %b3, %b1, %b0 | 
|  | %v11 = phi i32 [ %a0, %b0 ], [ %v10, %b7 ], [ 7, %b5 ], [ 5, %b4 ], [ 4, %b3 ], [ 2, %b1 ] | 
|  | %v12 = add nsw i32 %v11, 522 | 
|  | br label %b9 | 
|  |  | 
|  | b9:                                               ; preds = %b8, %b2 | 
|  | %v13 = phi i32 [ %v12, %b8 ], [ %v1, %b2 ] | 
|  | ret i32 %v13 | 
|  | } | 
|  |  | 
|  | declare void @f1(...) | 
|  |  | 
|  | declare void @f2(i32) | 
|  |  | 
|  | attributes #0 = { nounwind } | 
|  |  | 
|  | !0 = !{!1, !1, i64 0} | 
|  | !1 = !{!"int", !2} | 
|  | !2 = !{!"omnipotent char", !3} | 
|  | !3 = !{!"Simple C/C++ TBAA"} |