test/Transforms/IndVarSimplify/pr24356.ll

   1 ; RUN: opt -S -indvars < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.10.0"
   5
   6 @a = common global i32 0, align 4
   7
   8 ; Function Attrs: nounwind ssp uwtable
   9 define void @fn1() {
  10 ; CHECK-LABEL: @fn1(
  11 bb:
  12   br label %bb4.preheader
  13
  14 bb4.preheader:                                    ; preds = %bb, %bb16
  15 ; CHECK-LABEL:  bb4.preheader:
  16   %b.03 = phi i8 [ 0, %bb ], [ %tmp17, %bb16 ]
  17 ; CHECK: %tmp9 = icmp ugt i8 %b.03, 1
  18 ; CHECK-NOT: %tmp9 = icmp ugt i8 0, 1
  19
  20   %tmp9 = icmp ugt i8 %b.03, 1
  21   br i1 %tmp9, label %bb4.preheader.bb18.loopexit.split_crit_edge, label %bb4.preheader.bb4.preheader.split_crit_edge
  22
  23 bb4.preheader.bb4.preheader.split_crit_edge:      ; preds = %bb4.preheader
  24   br label %bb4.preheader.split
  25
  26 bb4.preheader.bb18.loopexit.split_crit_edge:      ; preds = %bb4.preheader
  27   store i32 0, i32* @a, align 4
  28   br label %bb18.loopexit.split
  29
  30 bb4.preheader.split:                              ; preds = %bb4.preheader.bb4.preheader.split_crit_edge
  31   br label %bb7
  32
  33 bb4:                                              ; preds = %bb7
  34   %tmp6 = icmp slt i32 %storemerge2, 0
  35   br i1 %tmp6, label %bb7, label %bb16
  36
  37 bb7:                                              ; preds = %bb4.preheader.split, %bb4
  38   %storemerge2 = phi i32 [ 0, %bb4.preheader.split ], [ %tmp14, %bb4 ]
  39   %tmp14 = add nsw i32 %storemerge2, 1
  40   br i1 false, label %bb18.loopexit, label %bb4
  41
  42 bb16:                                             ; preds = %bb4
  43   %tmp14.lcssa5 = phi i32 [ %tmp14, %bb4 ]
  44   %tmp17 = add i8 %b.03, -1
  45   %tmp2 = icmp eq i8 %tmp17, -2
  46   br i1 %tmp2, label %bb18.loopexit1, label %bb4.preheader
  47
  48 bb18.loopexit:                                    ; preds = %bb7
  49   br label %bb18.loopexit.split
  50
  51 bb18.loopexit.split:                              ; preds = %bb4.preheader.bb18.loopexit.split_crit_edge, %bb18.loopexit
  52   br label %bb18
  53
  54 bb18.loopexit1:                                   ; preds = %bb16
  55   %tmp14.lcssa5.lcssa = phi i32 [ %tmp14.lcssa5, %bb16 ]
  56   store i32 %tmp14.lcssa5.lcssa, i32* @a, align 4
  57   br label %bb18
  58
  59 bb18:                                             ; preds = %bb18.loopexit1, %bb18.loopexit.split
  60   ret void
  61 }
  62
  63 declare void @abort()