llvm/test/CodeGen/Hexagon/entryBB-isLoopHdr.ll

   1 ; RUN: llc -march=hexagon -hexagon-hwloop-preheader < %s | FileCheck %s
   2
   3 ; check for lack of assertion failures.
   4
   5 ; CHECK: %bb.0
   6
   7 ; Function Attrs: nounwind readnone
   8 declare i32 @llvm.hexagon.A2.sath(i32) #0
   9
  10 ; Function Attrs: nounwind readnone
  11 declare i32 @llvm.hexagon.A2.neg(i32) #0
  12
  13 define void @f0(i16 signext %a0) {
  14 b0:
  15   %v0 = icmp slt i16 %a0, 1
  16   br i1 %v0, label %b1, label %b3
  17
  18 b1:                                               ; preds = %b2, %b0
  19   %v1 = phi i16 [ %v11, %b2 ], [ %a0, %b0 ]
  20   %v2 = sext i16 %v1 to i32
  21   %v3 = tail call i32 @llvm.hexagon.A2.neg(i32 %v2)
  22   %v4 = tail call i32 @llvm.hexagon.A2.sath(i32 %v3)
  23   %v5 = trunc i32 %v4 to i16
  24   %v6 = shl i32 %v4, 16
  25   %v7 = ashr exact i32 %v6, 16
  26   %v8 = icmp slt i16 %v5, 0
  27   br i1 %v8, label %b2, label %b3
  28
  29 b2:                                               ; preds = %b1
  30   %v9 = tail call i32 @llvm.hexagon.A2.neg(i32 %v7)
  31   %v10 = tail call i32 @llvm.hexagon.A2.sath(i32 %v9)
  32   %v11 = trunc i32 %v10 to i16
  33   %v12 = icmp slt i16 %v11, 1
  34   br i1 %v12, label %b1, label %b3
  35
  36 b3:                                               ; preds = %b2, %b1, %b0
  37   ret void
  38 }
  39
  40 attributes #0 = { nounwind readnone }