test/CodeGen/Hexagon/aggressive_licm.ll

   1 ; RUN: llc -march=hexagon -disable-block-placement=0 -O2 < %s | FileCheck %s
   2 ; CHECK: [[Reg:r[0-9]+]] = {{lsr\(r[0-9]+,#16\)|extractu\(r[0-9]+,#16,#16\)}}
   3 ; CHECK-NOT: [[Reg]] = #0
   4 ; CHECK: align
   5 ; CHECK-NEXT: LBB
   6
   7 target triple = "hexagon"
   8
   9 @g0 = common global [4 x i16] zeroinitializer, align 8
  10
  11 ; Function Attrs: nounwind
  12 define i32 @f0() #0 {
  13 b0:
  14   %v0 = alloca i16, align 2
  15   call void @f1(i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), i16* %v0) #0
  16   %v1 = load i16, i16* %v0, align 2, !tbaa !0
  17   %v2 = icmp slt i16 %v1, -15
  18   br i1 %v2, label %b1, label %b4
  19
  20 b1:                                               ; preds = %b0
  21   %v3 = load i32, i32* bitcast ([4 x i16]* @g0 to i32*), align 8
  22   %v4 = trunc i32 %v3 to i16
  23   %v5 = lshr i32 %v3, 16
  24   %v6 = trunc i32 %v5 to i16
  25   %v7 = load i32, i32* bitcast (i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 2) to i32*), align 4
  26   %v8 = trunc i32 %v7 to i16
  27   %v9 = lshr i32 %v7, 16
  28   %v10 = trunc i32 %v9 to i16
  29   br label %b2
  30
  31 b2:                                               ; preds = %b2, %b1
  32   %v11 = phi i16 [ %v1, %b1 ], [ %v20, %b2 ]
  33   %v12 = phi i16 [ %v10, %b1 ], [ 0, %b2 ]
  34   %v13 = phi i16 [ %v8, %b1 ], [ %v12, %b2 ]
  35   %v14 = phi i16 [ %v6, %b1 ], [ %v13, %b2 ]
  36   %v15 = phi i16 [ %v4, %b1 ], [ %v14, %b2 ]
  37   %v16 = phi i16 [ 0, %b1 ], [ %v19, %b2 ]
  38   %v17 = icmp ne i16 %v16, 0
  39   %v18 = zext i1 %v17 to i16
  40   %v19 = or i16 %v15, %v18
  41   %v20 = add i16 %v11, 16
  42   %v21 = icmp slt i16 %v20, -15
  43   br i1 %v21, label %b2, label %b3
  44
  45 b3:                                               ; preds = %b2
  46   store i16 %v14, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), align 8, !tbaa !0
  47   store i16 %v13, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 1), align 2, !tbaa !0
  48   store i16 %v12, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 2), align 4, !tbaa !0
  49   store i16 0, i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 3), align 2, !tbaa !0
  50   store i16 %v20, i16* %v0, align 2, !tbaa !0
  51   br label %b4
  52
  53 b4:                                               ; preds = %b3, %b0
  54   %v22 = phi i16 [ %v19, %b3 ], [ 0, %b0 ]
  55   call void @f2(i16* getelementptr inbounds ([4 x i16], [4 x i16]* @g0, i32 0, i32 0), i16 signext %v22) #0
  56   ret i32 0
  57 }
  58
  59 declare void @f1(i16*, i16*) #0
  60
  61 declare void @f2(i16*, i16 signext) #0
  62
  63 attributes #0 = { nounwind }
  64
  65 !0 = !{!1, !1, i64 0}
  66 !1 = !{!"short", !2}
  67 !2 = !{!"omnipotent char", !3}
  68 !3 = !{!"Simple C/C++ TBAA"}