| ; RUN: llc -march=hexagon -disable-block-placement=0 -O2 < %s | FileCheck %s |
| ; CHECK: [[Reg:r[0-9]+]] = {{lsr\(r[0-9]+,#16\)|extractu\(r[0-9]+,#16,#16\)}} |
| ; CHECK-NOT: [[Reg]] = #0 |
| ; CHECK: align |
| ; CHECK-NEXT: LBB |
| |
| target triple = "hexagon" |
| |
| @g0 = common global [4 x i16] zeroinitializer, align 8 |
| |
| ; Function Attrs: nounwind |
| define i32 @f0() #0 { |
| b0: |
| %v0 = alloca i16, align 2 |
| call void @f1(i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), i16* %v0) #0 |
| %v1 = load i16, i16* %v0, align 2, !tbaa !0 |
| %v2 = icmp slt i16 %v1, -15 |
| br i1 %v2, label %b1, label %b4 |
| |
| b1: ; preds = %b0 |
| %v3 = load i32, i32* bitcast ([4 x i16]* @g0 to i32*), align 8 |
| %v4 = trunc i32 %v3 to i16 |
| %v5 = lshr i32 %v3, 16 |
| %v6 = trunc i32 %v5 to i16 |
| %v7 = load i32, i32* bitcast (i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 2) to i32*), align 4 |
| %v8 = trunc i32 %v7 to i16 |
| %v9 = lshr i32 %v7, 16 |
| %v10 = trunc i32 %v9 to i16 |
| br label %b2 |
| |
| b2: ; preds = %b2, %b1 |
| %v11 = phi i16 [ %v1, %b1 ], [ %v20, %b2 ] |
| %v12 = phi i16 [ %v10, %b1 ], [ 0, %b2 ] |
| %v13 = phi i16 [ %v8, %b1 ], [ %v12, %b2 ] |
| %v14 = phi i16 [ %v6, %b1 ], [ %v13, %b2 ] |
| %v15 = phi i16 [ %v4, %b1 ], [ %v14, %b2 ] |
| %v16 = phi i16 [ 0, %b1 ], [ %v19, %b2 ] |
| %v17 = icmp ne i16 %v16, 0 |
| %v18 = zext i1 %v17 to i16 |
| %v19 = or i16 %v15, %v18 |
| %v20 = add i16 %v11, 16 |
| %v21 = icmp slt i16 %v20, -15 |
| br i1 %v21, label %b2, label %b3 |
| |
| b3: ; preds = %b2 |
| store i16 %v14, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), align 8, !tbaa !0 |
| store i16 %v13, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 1), align 2, !tbaa !0 |
| store i16 %v12, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 2), align 4, !tbaa !0 |
| store i16 0, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 3), align 2, !tbaa !0 |
| store i16 %v20, i16* %v0, align 2, !tbaa !0 |
| br label %b4 |
| |
| b4: ; preds = %b3, %b0 |
| %v22 = phi i16 [ %v19, %b3 ], [ 0, %b0 ] |
| call void @f2(i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), i16 signext %v22) #0 |
| ret i32 0 |
| } |
| |
| declare void @f1(i16*, i16*) #0 |
| |
| declare void @f2(i16*, i16 signext) #0 |
| |
| attributes #0 = { nounwind } |
| |
| !0 = !{!1, !1, i64 0} |
| !1 = !{!"short", !2} |
| !2 = !{!"omnipotent char", !3} |
| !3 = !{!"Simple C/C++ TBAA"} |