1; RUN: llc -mtriple=hexagon < %s | FileCheck %s 2 3; Make sure that we can handle loops with multiple ENDLOOP instructions. 4; This situation can arise due to tail duplication. 5 6; CHECK: loop1([[LP:.LBB0_[0-9]+]] 7; CHECK: endloop1 8; CHECK: [[LP]]: 9; CHECK-NOT: loop1( 10; CHECK: endloop1 11 12%s.0 = type { i32, ptr } 13%s.1 = type { i32, i32, i32, i32 } 14 15define void @f0(ptr nocapture readonly %a0, ptr nocapture readonly %a1) { 16b0: 17 %v1 = load i32, ptr %a1, align 4 18 %v2 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 3 19 %v3 = load i32, ptr %v2, align 4 20 %v4 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 2 21 %v5 = load i32, ptr %v4, align 4 22 %v6 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 1 23 %v7 = load i32, ptr %v6, align 4 24 %v8 = getelementptr inbounds %s.0, ptr %a0, i32 0, i32 1 25 %v9 = load ptr, ptr %v8, align 4 26 %v11 = mul i32 %v1, 10 27 %v12 = icmp eq i32 %v1, %v3 28 %v13 = icmp eq i32 %v5, 0 29 br i1 %v12, label %b3, label %b1 30 31b1: ; preds = %b0 32 br i1 %v13, label %b14, label %b2 33 34b2: ; preds = %b1 35 %v14 = lshr i32 %v11, 5 36 %v15 = getelementptr inbounds i32, ptr %v9, i32 %v14 37 %v16 = and i32 %v11, 30 38 %v17 = icmp eq i32 %v16, 0 39 br label %b11 40 41b3: ; preds = %b0 42 br i1 %v13, label %b14, label %b4 43 44b4: ; preds = %b3 45 br label %b5 46 47b5: ; preds = %b6, %b4 48 %v19 = phi i32 [ %v11, %b4 ], [ %v22, %b6 ] 49 %v20 = phi i32 [ %v5, %b4 ], [ %v21, %b6 ] 50 %v21 = add i32 %v20, -1 51 %v22 = add i32 %v19, -10 52 %v23 = lshr i32 %v22, 5 53 %v24 = getelementptr inbounds i32, ptr %v9, i32 %v23 54 %v25 = and i32 %v22, 31 55 %v26 = load i32, ptr %a0, align 4 56 %v27 = mul i32 %v26, %v7 57 %v28 = icmp eq i32 %v25, 0 58 br i1 %v28, label %b7, label %b6 59 60b6: ; preds = %b10, %b9, %b8, %b5 61 %v29 = icmp eq i32 %v21, 0 62 br i1 %v29, label %b14, label %b5 63 64b7: ; preds = %b5 65 %v30 = icmp ugt i32 %v27, 1 66 br i1 %v30, label %b8, label %b9 67 68b8: ; preds = %b7 69 %v31 = icmp ugt i32 %v27, 3 70 br i1 %v31, label %b10, label %b6 71 72b9: ; preds = %b7 73 %v32 = load volatile i32, ptr %v24, align 4 74 store volatile i32 %v32, ptr %v24, align 4 75 br label %b6 76 77b10: ; preds = %b10, %b8 78 %v33 = phi i32 [ %v37, %b10 ], [ %v27, %b8 ] 79 %v34 = phi ptr [ %v35, %b10 ], [ %v24, %b8 ] 80 %v35 = getelementptr inbounds i32, ptr %v34, i32 -1 81 %v36 = load volatile i32, ptr %v34, align 4 82 %v37 = add i32 %v33, -4 83 %v38 = icmp ugt i32 %v37, 3 84 br i1 %v38, label %b10, label %b6 85 86b11: ; preds = %b12, %b2 87 %v39 = phi i32 [ %v5, %b2 ], [ %v40, %b12 ] 88 %v40 = add i32 %v39, -1 89 br i1 %v17, label %b13, label %b12 90 91b12: ; preds = %b13, %b11 92 %v41 = icmp eq i32 %v40, 0 93 br i1 %v41, label %b14, label %b11 94 95b13: ; preds = %b11 96 %v42 = load volatile i32, ptr %v15, align 4 97 %v43 = load volatile i32, ptr %v15, align 4 98 %v44 = and i32 %v43, %v42 99 store volatile i32 %v44, ptr %v15, align 4 100 br label %b12 101 102b14: ; preds = %b12, %b6, %b3, %b1 103 ret void 104} 105