llvm/test/CodeGen/Hexagon/early-if-merge-loop.ll

   1 ; RUN: llc -march=hexagon < %s | FileCheck %s
   2 ; Make sure that the loop in the end has only one basic block.
   3
   4 ; CHECK-LABEL: fred
   5 ; CHECK: %b2
   6 ; Rely on the comments, make sure the one for the loop header is present.
   7 ; CHECK: %loop
   8 ; CHECK: %should_merge
   9 ; CHECK: %exit
  10
  11 target triple = "hexagon"
  12
  13 define i32 @fred(i32 %a0, ptr nocapture readonly %a1) #0 {
  14 b2:
  15   %v4 = getelementptr inbounds i32, ptr %a1, i32 1
  16   %v5 = zext i32 %a0 to i64
  17   br label %loop
  18
  19 loop:                                             ; preds = %should_merge, %b2
  20   %v7 = phi i32 [ 0, %b2 ], [ %v49, %should_merge ]
  21   %v8 = phi i32 [ 0, %b2 ], [ %v42, %should_merge ]
  22   %v9 = phi ptr [ %v4, %b2 ], [ %v53, %should_merge ]
  23   %v10 = phi i32 [ 0, %b2 ], [ %v30, %should_merge ]
  24   %v11 = phi ptr [ %a1, %b2 ], [ %v51, %should_merge ]
  25   %v12 = phi i32 [ 0, %b2 ], [ %v23, %should_merge ]
  26   %v13 = phi i32 [ 2, %b2 ], [ %v54, %should_merge ]
  27   %v14 = load i32, ptr %v11, align 4, !tbaa !0
  28   %v15 = load i32, ptr %v9, align 4, !tbaa !0
  29   %v16 = icmp ult i32 %v13, 30
  30   %v17 = zext i32 %v12 to i64
  31   %v18 = shl nuw i64 %v17, 32
  32   %v19 = zext i32 %v14 to i64
  33   %v20 = or i64 %v18, %v19
  34   %v21 = tail call i64 @llvm.hexagon.A2.addp(i64 %v20, i64 %v5)
  35   %v22 = lshr i64 %v21, 32
  36   %v23 = trunc i64 %v22 to i32
  37   %v24 = zext i32 %v10 to i64
  38   %v25 = shl nuw i64 %v24, 32
  39   %v26 = zext i32 %v15 to i64
  40   %v27 = or i64 %v25, %v26
  41   %v28 = tail call i64 @llvm.hexagon.A2.addp(i64 %v27, i64 %v5)
  42   %v29 = lshr i64 %v28, 32
  43   %v30 = trunc i64 %v29 to i32
  44   %v31 = getelementptr inbounds i32, ptr %a1, i32 %v13
  45   %v32 = load i32, ptr %v31, align 4, !tbaa !0
  46   %v33 = or i32 %v13, 1
  47   %v34 = getelementptr inbounds i32, ptr %a1, i32 %v33
  48   %v35 = load i32, ptr %v34, align 4, !tbaa !0
  49   %v36 = zext i32 %v8 to i64
  50   %v37 = shl nuw i64 %v36, 32
  51   %v38 = zext i32 %v32 to i64
  52   %v39 = or i64 %v37, %v38
  53   %v40 = tail call i64 @llvm.hexagon.A2.subp(i64 %v39, i64 %v5)
  54   %v41 = lshr i64 %v40, 32
  55   %v42 = trunc i64 %v41 to i32
  56   %v43 = zext i32 %v7 to i64
  57   %v44 = shl nuw i64 %v43, 32
  58   %v45 = zext i32 %v35 to i64
  59   %v46 = or i64 %v44, %v45
  60   %v47 = tail call i64 @llvm.hexagon.A2.subp(i64 %v46, i64 %v5)
  61   %v48 = lshr i64 %v47, 32
  62   %v49 = trunc i64 %v48 to i32
  63   br i1 %v16, label %should_merge, label %exit
  64
  65 should_merge:                                     ; preds = %loop
  66   %v50 = add nuw nsw i32 %v13, 2
  67   %v51 = getelementptr inbounds i32, ptr %a1, i32 %v50
  68   %v52 = add nuw nsw i32 %v13, 3
  69   %v53 = getelementptr inbounds i32, ptr %a1, i32 %v52
  70   %v54 = add nuw nsw i32 %v13, 4
  71   br label %loop
  72
  73 exit:                                             ; preds = %loop
  74   %v57 = tail call i64 @llvm.hexagon.A2.combinew(i32 %v42, i32 %v23)
  75   %v58 = tail call i64 @llvm.hexagon.A2.combinew(i32 %v49, i32 %v30)
  76   %v59 = tail call i64 @llvm.hexagon.A2.addp(i64 %v57, i64 %v58)
  77   %v60 = lshr i64 %v59, 32
  78   %v61 = trunc i64 %v60 to i32
  79   ret i32 %v61
  80 }
  81
  82 declare i64 @llvm.hexagon.A2.addp(i64, i64) #1
  83 declare i64 @llvm.hexagon.A2.subp(i64, i64) #1
  84 declare i64 @llvm.hexagon.A2.combinew(i32, i32) #1
  85
  86 attributes #0 = { nounwind readonly "target-cpu"="hexagonv60" "target-features"="-hvx,-long-calls" }
  87 attributes #1 = { nounwind readnone }
  88
  89 !0 = !{!1, !1, i64 0}
  90 !1 = !{!"long", !2, i64 0}
  91 !2 = !{!"omnipotent char", !3, i64 0}
  92 !3 = !{!"Simple C/C++ TBAA"}