llvm/test/CodeGen/Hexagon/bug6757-endloop.ll

   1 ; RUN: llc -march=hexagon < %s | FileCheck %s
   2
   3 ; Make sure that we can handle loops with multiple ENDLOOP instructions.
   4 ; This situation can arise due to tail duplication.
   5
   6 ; CHECK: loop1([[LP:.LBB0_[0-9]+]]
   7 ; CHECK: endloop1
   8 ; CHECK: [[LP]]:
   9 ; CHECK-NOT: loop1(
  10 ; CHECK: endloop1
  11
  12 %s.0 = type { i32, ptr }
  13 %s.1 = type { i32, i32, i32, i32 }
  14
  15 define void @f0(ptr nocapture readonly %a0, ptr nocapture readonly %a1) {
  16 b0:
  17   %v1 = load i32, ptr %a1, align 4
  18   %v2 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 3
  19   %v3 = load i32, ptr %v2, align 4
  20   %v4 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 2
  21   %v5 = load i32, ptr %v4, align 4
  22   %v6 = getelementptr inbounds %s.1, ptr %a1, i32 0, i32 1
  23   %v7 = load i32, ptr %v6, align 4
  24   %v8 = getelementptr inbounds %s.0, ptr %a0, i32 0, i32 1
  25   %v9 = load ptr, ptr %v8, align 4
  26   %v11 = mul i32 %v1, 10
  27   %v12 = icmp eq i32 %v1, %v3
  28   %v13 = icmp eq i32 %v5, 0
  29   br i1 %v12, label %b3, label %b1
  30
  31 b1:                                               ; preds = %b0
  32   br i1 %v13, label %b14, label %b2
  33
  34 b2:                                               ; preds = %b1
  35   %v14 = lshr i32 %v11, 5
  36   %v15 = getelementptr inbounds i32, ptr %v9, i32 %v14
  37   %v16 = and i32 %v11, 30
  38   %v17 = icmp eq i32 %v16, 0
  39   br label %b11
  40
  41 b3:                                               ; preds = %b0
  42   br i1 %v13, label %b14, label %b4
  43
  44 b4:                                               ; preds = %b3
  45   br label %b5
  46
  47 b5:                                               ; preds = %b6, %b4
  48   %v19 = phi i32 [ %v11, %b4 ], [ %v22, %b6 ]
  49   %v20 = phi i32 [ %v5, %b4 ], [ %v21, %b6 ]
  50   %v21 = add i32 %v20, -1
  51   %v22 = add i32 %v19, -10
  52   %v23 = lshr i32 %v22, 5
  53   %v24 = getelementptr inbounds i32, ptr %v9, i32 %v23
  54   %v25 = and i32 %v22, 31
  55   %v26 = load i32, ptr %a0, align 4
  56   %v27 = mul i32 %v26, %v7
  57   %v28 = icmp eq i32 %v25, 0
  58   br i1 %v28, label %b7, label %b6
  59
  60 b6:                                               ; preds = %b10, %b9, %b8, %b5
  61   %v29 = icmp eq i32 %v21, 0
  62   br i1 %v29, label %b14, label %b5
  63
  64 b7:                                               ; preds = %b5
  65   %v30 = icmp ugt i32 %v27, 1
  66   br i1 %v30, label %b8, label %b9
  67
  68 b8:                                               ; preds = %b7
  69   %v31 = icmp ugt i32 %v27, 3
  70   br i1 %v31, label %b10, label %b6
  71
  72 b9:                                               ; preds = %b7
  73   %v32 = load volatile i32, ptr %v24, align 4
  74   store volatile i32 %v32, ptr %v24, align 4
  75   br label %b6
  76
  77 b10:                                              ; preds = %b10, %b8
  78   %v33 = phi i32 [ %v37, %b10 ], [ %v27, %b8 ]
  79   %v34 = phi ptr [ %v35, %b10 ], [ %v24, %b8 ]
  80   %v35 = getelementptr inbounds i32, ptr %v34, i32 -1
  81   %v36 = load volatile i32, ptr %v34, align 4
  82   %v37 = add i32 %v33, -4
  83   %v38 = icmp ugt i32 %v37, 3
  84   br i1 %v38, label %b10, label %b6
  85
  86 b11:                                              ; preds = %b12, %b2
  87   %v39 = phi i32 [ %v5, %b2 ], [ %v40, %b12 ]
  88   %v40 = add i32 %v39, -1
  89   br i1 %v17, label %b13, label %b12
  90
  91 b12:                                              ; preds = %b13, %b11
  92   %v41 = icmp eq i32 %v40, 0
  93   br i1 %v41, label %b14, label %b11
  94
  95 b13:                                              ; preds = %b11
  96   %v42 = load volatile i32, ptr %v15, align 4
  97   %v43 = load volatile i32, ptr %v15, align 4
  98   %v44 = and i32 %v43, %v42
  99   store volatile i32 %v44, ptr %v15, align 4
 100   br label %b12
 101
 102 b14:                                              ; preds = %b12, %b6, %b3, %b1
 103   ret void
 104 }