test/Transforms/LoopSimplifyCFG/lcssa.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
   3 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(simplify-cfg)' -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
   4 ; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -enable-mssa-loop-dependency=true -verify-memoryssa -verify-loop-info -verify-dom-info -verify-loop-lcssa < %s | FileCheck %s
   5
   6 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   7
   8 define void @c() {
   9 ; CHECK-LABEL: @c(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    br label [[D:%.*]]
  12 ; CHECK:       d.loopexit:
  13 ; CHECK-NEXT:    [[DOTLCSSA:%.*]] = phi i32 [ [[TMP1:%.*]], [[FOR_COND:%.*]] ]
  14 ; CHECK-NEXT:    br label [[D]]
  15 ; CHECK:       d:
  16 ; CHECK-NEXT:    [[TMP0:%.*]] = phi i32 [ undef, [[ENTRY:%.*]] ], [ [[DOTLCSSA]], [[D_LOOPEXIT:%.*]] ]
  17 ; CHECK-NEXT:    br label [[FOR_COND]]
  18 ; CHECK:       for.cond:
  19 ; CHECK-NEXT:    [[TMP1]] = phi i32 [ [[TMP0]], [[D]] ], [ 0, [[IF_END:%.*]] ]
  20 ; CHECK-NEXT:    [[TOBOOL2:%.*]] = icmp eq i32 [[TMP1]], 0
  21 ; CHECK-NEXT:    br i1 [[TOBOOL2]], label [[IF_END]], label [[D_LOOPEXIT]]
  22 ; CHECK:       if.end:
  23 ; CHECK-NEXT:    br label [[FOR_COND]]
  24 ;
  25 entry:
  26   br label %d
  27
  28 d.loopexit:                                       ; preds = %if.end.7, %for.body
  29   %.lcssa = phi i32 [ %1, %for.body ], [ 0, %if.end.7 ]
  30   br label %d
  31
  32 d:                                                ; preds = %d.loopexit, %entry
  33   %0 = phi i32 [ undef, %entry ], [ %.lcssa, %d.loopexit ]
  34   br label %for.cond
  35
  36 for.cond:                                         ; preds = %if.end.8, %d
  37   %1 = phi i32 [ %0, %d ], [ 0, %if.end.8 ]
  38   br label %for.body
  39
  40 for.body:                                         ; preds = %for.cond
  41   %tobool2 = icmp eq i32 %1, 0
  42   br i1 %tobool2, label %if.end, label %d.loopexit
  43
  44 if.end:                                           ; preds = %for.body
  45   br label %if.end.7
  46
  47 if.end.7:                                         ; preds = %if.end
  48   br i1 true, label %if.end.8, label %d.loopexit
  49
  50 if.end.8:                                         ; preds = %if.end.7
  51   br label %for.cond
  52 }
  53
  54 define void @test_01() {
  55 ; CHECK-LABEL: @test_01(
  56 ; CHECK-NEXT:  entry:
  57 ; CHECK-NEXT:    br label [[FOR_COND:%.*]]
  58 ; CHECK:       for.cond.loopexit:
  59 ; CHECK-NEXT:    br label [[FOR_COND]]
  60 ; CHECK:       for.cond:
  61 ; CHECK-NEXT:    [[INC41_LCSSA3:%.*]] = phi i16 [ undef, [[FOR_COND_LOOPEXIT:%.*]] ], [ undef, [[ENTRY:%.*]] ]
  62 ; CHECK-NEXT:    switch i32 0, label [[FOR_COND_SPLIT:%.*]] [
  63 ; CHECK-NEXT:    i32 1, label [[FOR_COND_LOOPEXIT]]
  64 ; CHECK-NEXT:    ]
  65 ; CHECK:       for.cond.split:
  66 ; CHECK-NEXT:    [[INC41_LCSSA3_LCSSA:%.*]] = phi i16 [ [[INC41_LCSSA3]], [[FOR_COND]] ]
  67 ; CHECK-NEXT:    br label [[WHILE_COND:%.*]]
  68 ; CHECK:       while.cond:
  69 ; CHECK-NEXT:    [[INC41:%.*]] = phi i16 [ [[INC4:%.*]], [[WHILE_COND]] ], [ [[INC41_LCSSA3_LCSSA]], [[FOR_COND_SPLIT]] ]
  70 ; CHECK-NEXT:    [[INC4]] = add nsw i16 [[INC41]], 1
  71 ; CHECK-NEXT:    br label [[WHILE_COND]]
  72 ;
  73 entry:
  74   br label %for.cond
  75
  76 for.cond.loopexit:                                ; preds = %while.cond
  77   %inc41.lcssa = phi i16 [ %inc41, %while.cond ]
  78   br label %for.cond
  79
  80 for.cond:                                         ; preds = %for.cond.loopexit, %entry
  81   %inc41.lcssa3 = phi i16 [ %inc41.lcssa, %for.cond.loopexit ], [ undef, %entry ]
  82   br label %while.cond
  83
  84 while.cond:                                       ; preds = %while.body, %for.cond
  85   %inc41 = phi i16 [ %inc4, %while.body ], [ %inc41.lcssa3, %for.cond ]
  86   br i1 true, label %while.body, label %for.cond.loopexit
  87
  88 while.body:                                       ; preds = %while.cond
  89   %inc4 = add nsw i16 %inc41, 1
  90   br label %while.cond
  91 }
  92
  93 define void @bar() {
  94 ; CHECK-LABEL: @bar(
  95 ; CHECK-NEXT:  bb:
  96 ; CHECK-NEXT:    switch i32 0, label [[BB_SPLIT:%.*]] [
  97 ; CHECK-NEXT:    i32 1, label [[BB10:%.*]]
  98 ; CHECK-NEXT:    ]
  99 ; CHECK:       bb.split:
 100 ; CHECK-NEXT:    br label [[BB1:%.*]]
 101 ; CHECK:       bb1:
 102 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ [[TMP7:%.*]], [[BB6:%.*]] ], [ undef, [[BB_SPLIT]] ]
 103 ; CHECK-NEXT:    switch i32 undef, label [[BB5:%.*]] [
 104 ; CHECK-NEXT:    i32 0, label [[BB6]]
 105 ; CHECK-NEXT:    i32 1, label [[BB8:%.*]]
 106 ; CHECK-NEXT:    ]
 107 ; CHECK:       bb5:
 108 ; CHECK-NEXT:    ret void
 109 ; CHECK:       bb6:
 110 ; CHECK-NEXT:    [[TMP7]] = add i32 undef, 123
 111 ; CHECK-NEXT:    br label [[BB1]]
 112 ; CHECK:       bb8:
 113 ; CHECK-NEXT:    [[TMP9:%.*]] = phi i32 [ [[TMP]], [[BB1]] ]
 114 ; CHECK-NEXT:    [[USE:%.*]] = add i32 [[TMP9]], 1
 115 ; CHECK-NEXT:    ret void
 116 ; CHECK:       bb10:
 117 ; CHECK-NEXT:    ret void
 118 ;
 119
 120 bb:
 121   br label %bb1
 122
 123 bb1:                                              ; preds = %bb6, %bb
 124   %tmp = phi i32 [ %tmp7, %bb6 ], [ undef, %bb ]
 125   br i1 false, label %bb2, label %bb4
 126
 127 bb2:                                              ; preds = %bb1
 128   switch i32 undef, label %bb10 [
 129   i32 0, label %bb3
 130   i32 1, label %bb8
 131   ]
 132
 133 bb3:                                              ; preds = %bb2
 134   br label %bb6
 135
 136 bb4:                                              ; preds = %bb1
 137   switch i32 undef, label %bb5 [
 138   i32 0, label %bb6
 139   i32 1, label %bb8
 140   ]
 141
 142 bb5:                                              ; preds = %bb4
 143   ret void
 144
 145 bb6:                                              ; preds = %bb4, %bb3
 146   %tmp7 = add i32 undef, 123
 147   br label %bb1
 148
 149 bb8:                                              ; preds = %bb4, %bb2
 150   %tmp9 = phi i32 [ %tmp, %bb2 ], [ %tmp, %bb4 ]
 151   %use = add i32 %tmp9, 1
 152   ret void
 153
 154 bb10:                                             ; preds = %bb2
 155   ret void
 156 }
 157
 158 define void @memlcssa() {
 159 ; CHECK-LABEL: @memlcssa(
 160 ; CHECK-NEXT:  entry:
 161 ; CHECK-NEXT:    switch i32 0, label [[ENTRY_SPLIT:%.*]] [
 162 ; CHECK-NEXT:    i32 1, label [[DEFAULT_BB:%.*]]
 163 ; CHECK-NEXT:    ]
 164 ; CHECK:       entry.split:
 165 ; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
 166 ; CHECK:       for.body:
 167 ; CHECK-NEXT:    call void @foo()
 168 ; CHECK-NEXT:    br label [[FOR_BODY]]
 169 ; CHECK:       default.bb:
 170 ; CHECK-NEXT:    unreachable
 171 ;
 172 entry:
 173   br label %for.body
 174
 175 for.body:                                         ; preds = %exit, %entry
 176   br label %switch.bb
 177
 178 switch.bb:                                        ; preds = %for.body
 179   switch i2 1, label %default.bb [
 180   i2 1, label %case.bb
 181   ]
 182
 183 case.bb:                                          ; preds = %switch
 184   br label %exit
 185
 186 default.bb:                                       ; preds = %switch
 187   unreachable
 188
 189 exit:                                             ; preds = %case.bb
 190   call void @foo()
 191   br label %for.body
 192 }
 193
 194 declare void @foo()