; RUN: llc -march=hexagon < %s | FileCheck %s
; REQUIRES: asserts
; CHECK: f0
target triple = "hexagon"
@g0 = internal unnamed_addr global [24 x i16] zeroinitializer, align 8
; Function Attrs: nounwind
define void @f0(ptr nocapture %a0) #0 {
b0:
%v0 = alloca [128 x i16], align 8
%v1 = alloca [16 x i16], align 8
%v2 = bitcast ptr %v0 to ptr
call void @llvm.lifetime.start.p0(i64 256, ptr %v2) #2
%v3 = getelementptr [128 x i16], ptr %v0, i32 0, i32 80
br label %b8
b1: ; preds = %b3
br label %b2
b2: ; preds = %b4, %b1
call void @llvm.lifetime.end.p0(i64 256, ptr %v2) #2
ret void
b3: ; preds = %b5, %b3
%v4 = phi ptr [ %v26, %b5 ], [ %v9, %b3 ]
%v5 = phi i32 [ 0, %b5 ], [ %v7, %b3 ]
%v6 = bitcast ptr %v4 to ptr
store <4 x i16> <i16 1, i16 1, i16 1, i16 1>, ptr %v6, align 8
%v7 = add nsw i32 %v5, 4
%v8 = icmp slt i32 %v5, 12
%v9 = getelementptr i16, ptr %v4, i32 4
br i1 %v8, label %b3, label %b1
b4: ; preds = %b6
%v10 = getelementptr [16 x i16], ptr %v1, i32 0, i32 13
%v11 = bitcast ptr %v10 to ptr
%v12 = load <2 x i16>, ptr %v11, align 2
%v13 = icmp sgt <2 x i16> %v12, <i16 11, i16 11>
%v14 = zext <2 x i1> %v13 to <2 x i32>
%v15 = add <2 x i32> %v39, %v14
%v16 = add <2 x i32> %v15, %v40
%v17 = extractelement <2 x i32> %v16, i32 0
%v18 = extractelement <2 x i32> %v16, i32 1
%v19 = getelementptr [16 x i16], ptr %v1, i32 0, i32 15
%v20 = load i16, ptr %v19, align 2
%v21 = icmp sgt i16 %v20, 11
%v22 = zext i1 %v21 to i32
%v23 = add i32 %v18, %v22
%v24 = add i32 %v23, %v17
%v25 = icmp slt i32 %v24, 5
br i1 %v25, label %b5, label %b2
b5: ; preds = %b4
%v26 = getelementptr [16 x i16], ptr %v1, i32 0, i32 0
br label %b3
b6: ; preds = %b7, %b6
%v27 = phi <2 x i32> [ zeroinitializer, %b7 ], [ %v40, %b6 ]
%v28 = phi <2 x i32> [ zeroinitializer, %b7 ], [ %v39, %b6 ]
%v29 = phi ptr [ %v44, %b7 ], [ %v43, %b6 ]
%v30 = phi i32 [ 0, %b7 ], [ %v41, %b6 ]
%v31 = bitcast ptr %v29 to ptr
%v32 = load <4 x i16>, ptr %v31, align 2
%v33 = icmp sgt <4 x i16> %v32, <i16 11, i16 11, i16 11, i16 11>
%v34 = zext <4 x i1> %v33 to <4 x i16>
%v35 = shufflevector <4 x i16> %v34, <4 x i16> undef, <2 x i32> <i32 2, i32 3>
%v36 = shufflevector <4 x i16> %v34, <4 x i16> undef, <2 x i32> <i32 0, i32 1>
%v37 = zext <2 x i16> %v36 to <2 x i32>
%v38 = zext <2 x i16> %v35 to <2 x i32>
%v39 = add <2 x i32> %v28, %v37
%v40 = add <2 x i32> %v27, %v38
%v41 = add nsw i32 %v30, 4
%v42 = icmp slt i32 %v30, 4
%v43 = getelementptr i16, ptr %v29, i32 4
br i1 %v42, label %b6, label %b4
b7: ; preds = %b8
%v44 = getelementptr [16 x i16], ptr %v1, i32 0, i32 5
br label %b6
b8: ; preds = %b8, %b0
%v45 = phi ptr [ %v3, %b0 ], [ %v53, %b8 ]
%v46 = phi ptr [ @g0, %b0 ], [ %v54, %b8 ]
%v47 = phi i32 [ 0, %b0 ], [ %v51, %b8 ]
%v48 = bitcast ptr %v45 to ptr
%v49 = load <4 x i16>, ptr %v48, align 8
%v50 = bitcast ptr %v46 to ptr
store <4 x i16> %v49, ptr %v50, align 8
%v51 = add nsw i32 %v47, 4
%v52 = icmp slt i32 %v47, 20
%v53 = getelementptr i16, ptr %v45, i32 4
%v54 = getelementptr i16, ptr %v46, i32 4
br i1 %v52, label %b8, label %b7
}
; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #1
; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #1
attributes #0 = { nounwind "target-cpu"="hexagonv55" }
attributes #1 = { argmemonly nounwind }
attributes #2 = { nounwind }