| ; 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 |
| } |
