test/CodeGen/Hexagon/swp-swap.ll

   1 ; RUN: llc -march=hexagon -enable-pipeliner -stats -o /dev/null < %s 2>&1 | FileCheck %s --check-prefix=STATS
   2 ; REQUIRES: asserts
   3
   4 ; Test that we don't pipeline, incorrectly, the swap operation.
   5
   6 ; STATS-NOT: 1 pipeliner   - Number of loops software pipelined
   7
   8 @g0 = common global i32* null, align 4
   9
  10 ; Function Attrs: nounwind
  11 define void @f0(i32 %a0, i32 %a1, i32 %a2) #0 {
  12 b0:
  13   %v0 = icmp sgt i32 %a2, 0
  14   br i1 %v0, label %b1, label %b4
  15
  16 b1:                                               ; preds = %b0
  17   %v1 = load i32*, i32** @g0, align 4, !tbaa !0
  18   br label %b2
  19
  20 b2:                                               ; preds = %b2, %b1
  21   %v2 = phi i32 [ %a0, %b1 ], [ %v9, %b2 ]
  22   %v3 = phi i32 [ %a2, %b1 ], [ %v11, %b2 ]
  23   %v4 = phi i32 [ %a1, %b1 ], [ %v10, %b2 ]
  24   %v5 = getelementptr inbounds i32, i32* %v1, i32 %v2
  25   %v6 = load i32, i32* %v5, align 4, !tbaa !4
  26   %v7 = getelementptr inbounds i32, i32* %v1, i32 %v4
  27   %v8 = load i32, i32* %v7, align 4, !tbaa !4
  28   store i32 %v8, i32* %v5, align 4, !tbaa !4
  29   store i32 %v6, i32* %v7, align 4, !tbaa !4
  30   %v9 = add nsw i32 %v2, 1
  31   %v10 = add nsw i32 %v4, 1
  32   %v11 = add nsw i32 %v3, -1
  33   %v12 = icmp sgt i32 %v11, 0
  34   br i1 %v12, label %b2, label %b3
  35
  36 b3:                                               ; preds = %b2
  37   br label %b4
  38
  39 b4:                                               ; preds = %b3, %b0
  40   ret void
  41 }
  42
  43 attributes #0 = { nounwind "target-cpu"="hexagonv55" }
  44
  45 !0 = !{!1, !1, i64 0}
  46 !1 = !{!"any pointer", !2, i64 0}
  47 !2 = !{!"omnipotent char", !3, i64 0}
  48 !3 = !{!"Simple C/C++ TBAA"}
  49 !4 = !{!5, !5, i64 0}
  50 !5 = !{!"int", !2, i64 0}