llvm/test/Transforms/LoopInterchange/interchanged-loop-nest-4.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt < %s -passes="loop(loop-interchange,loop-interchange)" -cache-line-size=8 -verify-dom-info -verify-loop-info \
   3 ; RUN:  -debug-only=loop-interchange 2>&1 | FileCheck %s
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6
   7 @g_75 = external global i32, align 1
   8 @g_78 = external global [6 x ptr], align 1
   9
  10 ; Loop interchange as a loopnest pass should always construct the loop nest from
  11 ; the outermost loop. This test case runs loop interchange twice. In the loop pass
  12 ; manager, it might occur that after the first loop interchange transformation
  13 ; the original outermost loop becomes a inner loop hence the loop nest constructed
  14 ; afterwards for the second loop interchange pass turns out to be a loop list of size
  15 ; 2 and is not valid. This causes functional issues.
  16 ;
  17 ; Make sure we always construct the valid and correct loop nest at the beginning
  18 ; of execution of a loopnest pass.
  19
  20 ; CHECK: Processing LoopList of size = 3
  21 ; CHECK: Processing LoopList of size = 3
  22 define void @loopnest_01() {
  23 entry:
  24   br label %for.cond5.preheader.i.i.i
  25
  26 for.cond5.preheader.i.i.i:                        ; preds = %for.end16.i.i.i, %entry
  27   %storemerge11.i.i.i = phi i32 [ 4, %entry ], [ %sub18.i.i.i, %for.end16.i.i.i ]
  28   br label %for.cond8.preheader.i.i.i
  29
  30 for.cond8.preheader.i.i.i:                        ; preds = %for.inc14.i.i.i, %for.cond5.preheader.i.i.i
  31   %l_105.18.i.i.i = phi i16 [ 0, %for.cond5.preheader.i.i.i ], [ %add15.i.i.i, %for.inc14.i.i.i ]
  32   br label %for.body10.i.i.i
  33
  34 for.body10.i.i.i:                                 ; preds = %for.body10.i.i.i, %for.cond8.preheader.i.i.i
  35   %storemerge56.i.i.i = phi i16 [ 5, %for.cond8.preheader.i.i.i ], [ %sub.i.i.i, %for.body10.i.i.i ]
  36   %arrayidx.i.i.i = getelementptr [6 x ptr], ptr @g_78, i16 0, i16 %storemerge56.i.i.i
  37   store ptr @g_75, ptr %arrayidx.i.i.i, align 1
  38   %sub.i.i.i = add nsw i16 %storemerge56.i.i.i, -1
  39   br i1 true, label %for.inc14.i.i.i, label %for.body10.i.i.i
  40
  41 for.inc14.i.i.i:                                  ; preds = %for.body10.i.i.i
  42   %add15.i.i.i = add nuw nsw i16 %l_105.18.i.i.i, 1
  43   %exitcond.not.i.i.i = icmp eq i16 %add15.i.i.i, 6
  44   br i1 %exitcond.not.i.i.i, label %for.end16.i.i.i, label %for.cond8.preheader.i.i.i
  45
  46 for.end16.i.i.i:                                  ; preds = %for.inc14.i.i.i
  47   %sub18.i.i.i = add nsw i32 %storemerge11.i.i.i, -1
  48   %cmp.i10.not.i.i = icmp eq i32 %storemerge11.i.i.i, 0
  49   br i1 %cmp.i10.not.i.i, label %func_4.exit.i, label %for.cond5.preheader.i.i.i
  50
  51 func_4.exit.i:                                    ; preds = %for.end16.i.i.i
  52   unreachable
  53 }