; RUN: llc -O3 -march=hexagon < %s | FileCheck %s ; REQUIRES: asserts ; ; Check that IMPLICIT_DEFs are packetized correctly ; (previously caused an assert). ; ; CHECK: f1: %0 = type { i8 (i8)*, i8 (i8, %1*)*, i8 (i8)* } %1 = type { [16384 x i16], [8192 x i16], [8192 x i16], [8192 x i32], i32, i32, i32, %2, %2, i32, i32, i32, i32 } %2 = type { i32, i32, i32 } %3 = type { %4 } %4 = type { i32, i8* } %5 = type { i8, i32, i32, i32, i16, i16, i16, i16, i8, i16, %6, %6, i32, i16, i16, i16, i16, i8 } %6 = type { i32, i32, i32, i32, i32, i32, i32, i8, i8 } %7 = type { i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, %2, %2, %8, i8 } %8 = type { %2, %2 } @g0 = external hidden unnamed_addr constant [7 x %0], align 8 @g1 = external hidden global %1, align 4 @g2 = external hidden constant %3, align 4 @g3 = external hidden constant %3, align 4 declare void @f0(%3*, i32, i32) define hidden fastcc i32 @f1(%5* %a0, %7* %a1, %2* %a2) { b0: br i1 undef, label %b1, label %b2 b1: ; preds = %b0 unreachable b2: ; preds = %b0 br i1 undef, label %b3, label %b4 b3: ; preds = %b2 br label %b55 b4: ; preds = %b2 br i1 undef, label %b6, label %b5 b5: ; preds = %b4 %v0 = getelementptr inbounds %5, %5* %a0, i32 0, i32 1 br label %b7 b6: ; preds = %b4 br label %b55 b7: ; preds = %b52, %b5 %v1 = phi i32 [ undef, %b5 ], [ %v43, %b52 ] %v2 = phi i32 [ 5, %b5 ], [ %v45, %b52 ] %v3 = load i32, i32* undef, align 4 %v4 = load i32, i32* %v0, align 4 %v5 = sext i32 %v4 to i64 %v6 = sdiv i64 0, %v5 %v7 = trunc i64 %v6 to i32 %v8 = icmp slt i32 %v7, 204800 br i1 %v8, label %b8, label %b9 b8: ; preds = %b7 call void @f0(%3* @g2, i32 %v3, i32 %v4) br label %b54 b9: ; preds = %b7 %v9 = load i8, i8* undef, align 1 %v10 = zext i8 %v9 to i32 br i1 undef, label %b10, label %b11 b10: ; preds = %b9 br label %b47 b11: ; preds = %b9 br i1 undef, label %b12, label %b47 b12: ; preds = %b11 br i1 undef, label %b13, label %b47 b13: ; preds = %b12 %v11 = getelementptr inbounds [7 x %0], [7 x %0]* @g0, i32 0, i32 %v10, i32 2 %v12 = load i8 (i8)*, i8 (i8)** %v11, align 4 %v13 = call zeroext i8 %v12(i8 zeroext %v9) br i1 undef, label %b14, label %b47 b14: ; preds = %b13 br i1 undef, label %b15, label %b16 b15: ; preds = %b14 br label %b46 b16: ; preds = %b14 br i1 false, label %b17, label %b22 b17: ; preds = %b16 br i1 undef, label %b18, label %b19 b18: ; preds = %b17 unreachable b19: ; preds = %b17 br label %b20 b20: ; preds = %b20, %b19 br i1 undef, label %b20, label %b21 b21: ; preds = %b20 unreachable b22: ; preds = %b16 br i1 false, label %b23, label %b24 b23: ; preds = %b22 br label %b47 b24: ; preds = %b22 br i1 false, label %b25, label %b26 b25: ; preds = %b24 unreachable b26: ; preds = %b24 br label %b27 b27: ; preds = %b36, %b26 %v14 = phi i32 [ 16, %b26 ], [ %v30, %b36 ] %v15 = getelementptr inbounds %1, %1* @g1, i32 0, i32 2, i32 %v14 %v16 = load i16, i16* %v15, align 2 %v17 = sext i16 %v16 to i32 %v18 = select i1 undef, i32 undef, i32 %v17 %v19 = sext i32 %v18 to i64 %v20 = or i32 %v18, undef br i1 false, label %b28, label %b29 b28: ; preds = %b27 unreachable b29: ; preds = %b27 br i1 false, label %b30, label %b31 b30: ; preds = %b29 unreachable b31: ; preds = %b29 %v21 = mul nsw i64 undef, %v19 %v22 = sdiv i64 0, %v19 %v23 = add nsw i64 %v22, 0 %v24 = lshr i64 %v23, 5 %v25 = trunc i64 %v24 to i32 %v26 = sub nsw i32 1608, %v25 %v27 = icmp sgt i16 %v16, -1 %v28 = and i1 undef, %v27 br i1 %v28, label %b32, label %b33 b32: ; preds = %b31 store i32 %v26, i32* undef, align 4 br label %b36 b33: ; preds = %b31 br i1 undef, label %b34, label %b35 b34: ; preds = %b33 %v29 = getelementptr inbounds %1, %1* @g1, i32 0, i32 3, i32 %v14 store i32 undef, i32* %v29, align 4 br label %b36 b35: ; preds = %b33 br label %b36 b36: ; preds = %b35, %b34, %b32 %v30 = add nuw nsw i32 %v14, 1 %v31 = icmp ult i32 %v30, 8192 br i1 %v31, label %b27, label %b37 b37: ; preds = %b36 br label %b38 b38: ; preds = %b38, %b37 br i1 undef, label %b38, label %b39 b39: ; preds = %b38 br i1 false, label %b40, label %b41 b40: ; preds = %b39 unreachable b41: ; preds = %b39 %v32 = icmp ult i8 %v9, 6 br i1 %v32, label %b43, label %b42 b42: ; preds = %b41 br label %b47 b43: ; preds = %b41 %v33 = load i64, i64* undef, align 8 br label %b44 b44: ; preds = %b44, %b43 br i1 undef, label %b45, label %b44 b45: ; preds = %b44 %v34 = sdiv i64 undef, %v33 %v35 = trunc i64 %v34 to i32 %v36 = add nsw i32 0, %v3 %v37 = sext i32 %v36 to i64 %v38 = mul nsw i64 %v37, 4096000 %v39 = sdiv i64 %v38, 0 %v40 = trunc i64 %v39 to i32 br label %b46 b46: ; preds = %b45, %b15 %v41 = phi i32 [ undef, %b15 ], [ %v40, %b45 ] br label %b47 b47: ; preds = %b46, %b42, %b23, %b13, %b12, %b11, %b10 %v42 = phi i8 [ 1, %b10 ], [ 0, %b46 ], [ 3, %b23 ], [ 1, %b42 ], [ %v13, %b13 ], [ undef, %b12 ], [ undef, %b11 ] %v43 = phi i32 [ %v1, %b10 ], [ %v41, %b46 ], [ %v1, %b23 ], [ %v1, %b42 ], [ %v1, %b13 ], [ %v1, %b12 ], [ %v1, %b11 ] %v44 = icmp eq i8 %v42, 1 br i1 %v44, label %b48, label %b49 b48: ; preds = %b47 br label %b54 b49: ; preds = %b47 br i1 undef, label %b50, label %b52 b50: ; preds = %b49 br i1 undef, label %b51, label %b53 b51: ; preds = %b50 br label %b52 b52: ; preds = %b51, %b49 %v45 = add nsw i32 %v2, -1 %v46 = icmp eq i32 %v45, 0 br i1 %v46, label %b54, label %b7 b53: ; preds = %b50 call void @f0(%3* @g3, i32 %v43, i32 undef) unreachable b54: ; preds = %b52, %b48, %b8 unreachable b55: ; preds = %b6, %b3 ret i32 0 }