163 lines · plain
1; RUN: llc -mtriple=hexagon < %s2; REQUIRES: asserts3 4%s.0 = type { i8, i8, ptr, i8, i32, ptr, ptr }5%s.1 = type { ptr, %s.2, ptr, %s.2 }6%s.2 = type { i8, %s.3, i8 }7%s.3 = type { ptr }8%s.4 = type { [65 x i8], i16, ptr, ptr }9 10@g0 = private unnamed_addr constant [4 x i8] c"and\00", align 111@g1 = private unnamed_addr constant [3 x i8] c"or\00", align 112@g2 = private unnamed_addr constant [8 x i8] c"implies\00", align 113@g3 = private unnamed_addr constant [3 x i8] c"if\00", align 114@g4 = global [4 x %s.0] [%s.0 { i8 1, i8 38, ptr @g0, i8 1, i32 8, ptr null, ptr null }, %s.0 { i8 2, i8 124, ptr @g1, i8 1, i32 7, ptr null, ptr null }, %s.0 { i8 3, i8 62, ptr @g2, i8 1, i32 1, ptr null, ptr null }, %s.0 { i8 4, i8 60, ptr @g3, i8 1, i32 1, ptr null, ptr null }], align 815@g5 = internal global [64 x i8] zeroinitializer, align 816@g6 = internal unnamed_addr global ptr null, align 417 18; Function Attrs: nounwind19define ptr @f0() #0 {20b0:21 %v0 = tail call ptr @f1(ptr null) #022 br label %b123 24b1: ; preds = %b1, %b025 %v1 = tail call zeroext i8 @f2(ptr @g5) #026 switch i8 %v1, label %b1 [27 i8 8, label %b228 i8 6, label %b229 ]30 31b2: ; preds = %b1, %b132 ret ptr %v033}34 35declare ptr @f1(ptr) #036 37declare zeroext i8 @f2(ptr) #038 39; Function Attrs: nounwind40define void @f3() #0 {41b0:42 store ptr @g4, ptr @g6, align 443 store ptr @g4, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 0, i32 5), align 844 store ptr @g4, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 0, i32 6), align 445 %v0 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1, i32 2), align 446 br label %b147 48b1: ; preds = %b1, %b049 %v1 = phi ptr [ @g4, %b0 ], [ %v9, %b1 ]50 %v2 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 251 %v3 = load ptr, ptr %v2, align 452 %v4 = tail call i32 @f4(ptr %v0, ptr %v3) #053 %v5 = icmp sgt i32 %v4, 054 %v6 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 555 %v7 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 656 %v8 = select i1 %v5, ptr %v6, ptr %v757 %v9 = load ptr, ptr %v8, align 458 %v10 = icmp eq ptr %v9, null59 br i1 %v10, label %b2, label %b160 61b2: ; preds = %b162 %v11 = phi i32 [ %v4, %b1 ]63 %v12 = phi ptr [ %v1, %b1 ]64 %v13 = icmp sgt i32 %v11, 065 br i1 %v13, label %b3, label %b466 67b3: ; preds = %b268 %v14 = getelementptr inbounds %s.0, ptr %v12, i32 0, i32 569 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1), ptr %v14, align 470 br label %b471 72b4: ; preds = %b3, %b273 %v15 = getelementptr inbounds %s.0, ptr %v12, i32 0, i32 674 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1), ptr %v15, align 475 %v16 = load ptr, ptr @g6, align 476 %v17 = icmp eq ptr %v16, null77 br i1 %v17, label %b8, label %b578 79b5: ; preds = %b480 %v18 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2, i32 2), align 481 br label %b682 83b6: ; preds = %b6, %b584 %v19 = phi ptr [ %v16, %b5 ], [ %v27, %b6 ]85 %v20 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 286 %v21 = load ptr, ptr %v20, align 487 %v22 = tail call i32 @f4(ptr %v18, ptr %v21) #088 %v23 = icmp sgt i32 %v22, 089 %v24 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 590 %v25 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 691 %v26 = select i1 %v23, ptr %v24, ptr %v2592 %v27 = load ptr, ptr %v26, align 493 %v28 = icmp eq ptr %v27, null94 br i1 %v28, label %b7, label %b695 96b7: ; preds = %b697 %v29 = phi i32 [ %v22, %b6 ]98 %v30 = phi ptr [ %v19, %b6 ]99 br label %b8100 101b8: ; preds = %b7, %b4102 %v31 = phi i32 [ %v11, %b4 ], [ %v29, %b7 ]103 %v32 = phi ptr [ null, %b4 ], [ %v30, %b7 ]104 %v33 = icmp sgt i32 %v31, 0105 br i1 %v33, label %b9, label %b10106 107b9: ; preds = %b8108 %v34 = getelementptr inbounds %s.0, ptr %v32, i32 0, i32 5109 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2), ptr %v34, align 4110 br label %b10111 112b10: ; preds = %b9, %b8113 %v35 = getelementptr inbounds %s.0, ptr %v32, i32 0, i32 6114 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2), ptr %v35, align 4115 %v36 = load ptr, ptr @g6, align 4116 %v37 = icmp eq ptr %v36, null117 br i1 %v37, label %b14, label %b11118 119b11: ; preds = %b10120 %v38 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3, i32 2), align 4121 br label %b12122 123b12: ; preds = %b12, %b11124 %v39 = phi ptr [ %v36, %b11 ], [ %v47, %b12 ]125 %v40 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 2126 %v41 = load ptr, ptr %v40, align 4127 %v42 = tail call i32 @f4(ptr %v38, ptr %v41) #0128 %v43 = icmp sgt i32 %v42, 0129 %v44 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 5130 %v45 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 6131 %v46 = select i1 %v43, ptr %v44, ptr %v45132 %v47 = load ptr, ptr %v46, align 4133 %v48 = icmp eq ptr %v47, null134 br i1 %v48, label %b13, label %b12135 136b13: ; preds = %b12137 %v49 = phi i32 [ %v42, %b12 ]138 %v50 = phi ptr [ %v39, %b12 ]139 br label %b14140 141b14: ; preds = %b13, %b10142 %v51 = phi i32 [ %v31, %b10 ], [ %v49, %b13 ]143 %v52 = phi ptr [ null, %b10 ], [ %v50, %b13 ]144 %v53 = icmp sgt i32 %v51, 0145 br i1 %v53, label %b15, label %b16146 147b15: ; preds = %b14148 %v54 = getelementptr inbounds %s.0, ptr %v52, i32 0, i32 5149 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3), ptr %v54, align 4150 br label %b16151 152b16: ; preds = %b15, %b14153 %v55 = getelementptr inbounds %s.0, ptr %v52, i32 0, i32 6154 store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3), ptr %v55, align 4155 ret void156}157 158; Function Attrs: nounwind readonly159declare i32 @f4(ptr nocapture, ptr nocapture) #1160 161attributes #0 = { nounwind }162attributes #1 = { nounwind readonly }163