llvm/test/CodeGen/PowerPC/hardware-loops-crash.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=hardware-loops -verify-loop-lcssa -S | FileCheck %s
   3
   4 target datalayout = "E-m:e-i64:64-n32:64"
   5 target triple = "ppc64-unknown-linux-elf"
   6
   7 declare i1 @cond() readnone
   8
   9 ; Make sure we do not crash on the test.
  10
  11 define void @test() {
  12 ; CHECK-LABEL: @test(
  13 ; CHECK-NEXT:  entry:
  14 ; CHECK-NEXT:    br label [[WHILE_COND:%.*]]
  15 ; CHECK:       while.cond:
  16 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
  17 ; CHECK:       for.body:
  18 ; CHECK-NEXT:    br label [[FOR_INC:%.*]]
  19 ; CHECK:       for.inc:
  20 ; CHECK-NEXT:    [[C_0:%.*]] = call i1 @cond()
  21 ; CHECK-NEXT:    br i1 [[C_0]], label [[WHILE_COND25_PREHEADER:%.*]], label [[FOR_BODY]]
  22 ; CHECK:       while.cond25.preheader:
  23 ; CHECK-NEXT:    [[INDVARS_IV349_PH:%.*]] = phi i64 [ 50, [[FOR_INC]] ]
  24 ; CHECK-NEXT:    call void @llvm.set.loop.iterations.i64(i64 51)
  25 ; CHECK-NEXT:    br label [[WHILE_COND25:%.*]]
  26 ; CHECK:       while.cond25:
  27 ; CHECK-NEXT:    [[INDVAR:%.*]] = phi i64 [ 0, [[WHILE_COND25_PREHEADER]] ], [ [[INDVAR_NEXT:%.*]], [[LAND_RHS:%.*]] ]
  28 ; CHECK-NEXT:    [[INDVARS_IV349:%.*]] = phi i64 [ [[INDVARS_IV_NEXT350:%.*]], [[LAND_RHS]] ], [ [[INDVARS_IV349_PH]], [[WHILE_COND25_PREHEADER]] ]
  29 ; CHECK-NEXT:    [[TMP0:%.*]] = call i1 @llvm.loop.decrement.i64(i64 1)
  30 ; CHECK-NEXT:    br i1 [[TMP0]], label [[LAND_RHS]], label [[WHILE_END187:%.*]]
  31 ; CHECK:       land.rhs:
  32 ; CHECK-NEXT:    [[INDVARS_IV_NEXT350]] = add nsw i64 [[INDVARS_IV349]], -1
  33 ; CHECK-NEXT:    [[C_1:%.*]] = call i1 @cond()
  34 ; CHECK-NEXT:    [[INDVAR_NEXT]] = add i64 [[INDVAR]], 1
  35 ; CHECK-NEXT:    br i1 [[C_1]], label [[WHILE_COND25]], label [[WHILE_END:%.*]]
  36 ; CHECK:       while.end:
  37 ; CHECK-NEXT:    [[INDVAR_LCSSA1:%.*]] = phi i64 [ [[INDVAR]], [[LAND_RHS]] ]
  38 ; CHECK-NEXT:    [[C_2:%.*]] = call i1 @cond()
  39 ; CHECK-NEXT:    br i1 [[C_2]], label [[WHILE_END187]], label [[WHILE_COND35_PREHEADER:%.*]]
  40 ; CHECK:       while.cond35.preheader:
  41 ; CHECK-NEXT:    [[TMP1:%.*]] = mul nsw i64 [[INDVAR_LCSSA1]], -1
  42 ; CHECK-NEXT:    [[TMP2:%.*]] = add i64 [[TMP1]], 51
  43 ; CHECK-NEXT:    call void @llvm.set.loop.iterations.i64(i64 [[TMP2]])
  44 ; CHECK-NEXT:    br label [[WHILE_COND35:%.*]]
  45 ; CHECK:       while.cond35:
  46 ; CHECK-NEXT:    [[TMP3:%.*]] = call i1 @llvm.loop.decrement.i64(i64 1)
  47 ; CHECK-NEXT:    br i1 [[TMP3]], label [[LAND_RHS37:%.*]], label [[IF_END51:%.*]]
  48 ; CHECK:       land.rhs37:
  49 ; CHECK-NEXT:    br label [[WHILE_COND35]]
  50 ; CHECK:       if.end51:
  51 ; CHECK-NEXT:    br label [[WHILE_COND_BACKEDGE:%.*]]
  52 ; CHECK:       while.cond.backedge:
  53 ; CHECK-NEXT:    br label [[WHILE_COND]]
  54 ; CHECK:       while.end187:
  55 ; CHECK-NEXT:    ret void
  56 ;
  57 entry:
  58   br label %while.cond
  59
  60 while.cond:                                       ; preds = %while.cond.backedge, %entry
  61   br label %for.body
  62
  63 for.body:                                         ; preds = %for.inc, %while.cond
  64   br label %for.inc
  65
  66 for.inc:                                          ; preds = %for.body
  67   %c.0 = call i1 @cond()
  68   br i1 %c.0, label %while.cond25, label %for.body
  69
  70 while.cond25:                                     ; preds = %land.rhs, %for.inc
  71   %indvars.iv349 = phi i64 [ %indvars.iv.next350, %land.rhs ], [ 50, %for.inc ]
  72   %cmp26.not = icmp eq i64 %indvars.iv349, 0
  73   br i1 %cmp26.not, label %while.end187, label %land.rhs
  74
  75 land.rhs:                                         ; preds = %while.cond25
  76   %indvars.iv.next350 = add nsw i64 %indvars.iv349, -1
  77   %c.1 = call i1 @cond()
  78   br i1 %c.1, label %while.cond25, label %while.end
  79
  80 while.end:                                        ; preds = %land.rhs
  81   %c.2 = call i1 @cond()
  82   br i1 %c.2, label %while.end187, label %while.cond35.preheader
  83
  84 while.cond35.preheader:                           ; preds = %while.end
  85   %0 = and i64 %indvars.iv349, 4294967295
  86   br label %while.cond35
  87
  88 while.cond35:                                     ; preds = %land.rhs37, %while.cond35.preheader
  89   %indvars.iv351 = phi i64 [ %0, %while.cond35.preheader ], [ %indvars.iv.next352, %land.rhs37 ]
  90   %cmp36 = icmp sgt i64 %indvars.iv351, 0
  91   br i1 %cmp36, label %land.rhs37, label %if.end51
  92
  93 land.rhs37:                                       ; preds = %while.cond35
  94   %indvars.iv.next352 = add nsw i64 %indvars.iv351, -1
  95   br label %while.cond35
  96
  97 if.end51:                                         ; preds = %while.cond35
  98   br label %while.cond.backedge
  99
 100 while.cond.backedge:                              ; preds = %if.end51
 101   br label %while.cond
 102
 103 while.end187:                                     ; preds = %while.end, %while.cond25
 104   ret void
 105 }