Temporarily Revert "Add basic loop fusion pass."

As it's causing some bot failures (and per request from kbarton).

This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda.

llvm-svn: 358546

1 files changed, 0 insertions, 275 deletions

diff --git a/llvm/test/Transforms/LoopUnroll/runtime-loop-multiexit-dom-verify.ll b/llvm/test/Transforms/LoopUnroll/runtime-loop-multiexit-dom-verify.ll
deleted file mode 100644
index b3c0039dc15..00000000000
--- a/llvm/test/Transforms/LoopUnroll/runtime-loop-multiexit-dom-verify.ll
+++ /dev/null
@@ -1,275 +0,0 @@
-; RUN: opt < %s -loop-unroll -unroll-runtime=true -unroll-runtime-epilog=false -unroll-runtime-multi-exit=true -unroll-count=4  -verify-dom-info -S | FileCheck %s
-
-; REQUIRES: asserts
-; The tests below are for verifying dom tree after runtime unrolling
-; with multiple exit/exiting blocks.
-
-; We explicitly set the unroll count so that expensiveTripCount computation is allowed.
-
-; mergedexit block has edges from loop exit blocks.
-define i64 @test1() {
-; CHECK-LABEL: test1(
-; CHECK-LABEL: headerexit:
-; CHECK-NEXT:    %addphi = phi i64 [ %add.iv, %header ], [ %add.iv.1, %header.1 ], [ %add.iv.2, %header.2 ], [ %add.iv.3, %header.3 ]
-; CHECK-NEXT:    br label %mergedexit
-; CHECK-LABEL: latchexit:
-; CHECK-NEXT:    %shftphi = phi i64 [ %shft, %latch ], [ %shft.1, %latch.1 ], [ %shft.2, %latch.2 ], [ %shft.3, %latch.3 ]
-; CHECK-NEXT:    br label %mergedexit
-; CHECK-LABEL: mergedexit:
-; CHECK-NEXT:    %retval = phi i64 [ %addphi, %headerexit ], [ %shftphi, %latchexit ]
-; CHECK-NEXT:    ret i64 %retval
-entry:
-  br label %preheader
-
-preheader:                                              ; preds = %bb
-  %trip = zext i32 undef to i64
-  br label %header
-
-header:                                              ; preds = %latch, %preheader
-  %iv = phi i64 [ 2, %preheader ], [ %add.iv, %latch ]
-  %add.iv = add nuw nsw i64 %iv, 2
-  %cmp1 = icmp ult i64 %add.iv, %trip
-  br i1 %cmp1, label %latch, label %headerexit
-
-latch:                                             ; preds = %header
-  %shft = ashr i64 %add.iv, 1
-  %cmp2 = icmp ult i64 %shft, %trip
-  br i1 %cmp2, label %header, label %latchexit
-
-headerexit:                                              ; preds = %header
-  %addphi = phi i64 [ %add.iv, %header ]
-  br label %mergedexit
-
-latchexit:                                              ; preds = %latch
- %shftphi = phi i64 [ %shft, %latch ]
-  br label %mergedexit
-
-mergedexit:                                              ; preds = %latchexit, %headerexit
-  %retval = phi i64 [ %addphi, %headerexit ], [ %shftphi, %latchexit ]
-  ret i64 %retval
-}
-
-; mergedexit has edges from loop exit blocks and a block outside the loop.
-define  void @test2(i1 %cond, i32 %n) {
-; CHECK-LABEL: header.1:
-; CHECK-NEXT:    %add.iv.1 = add nuw nsw i64 %add.iv, 2
-; CHECK:         br i1 %cmp1.1, label %latch.1, label %headerexit
-; CHECK-LABEL: latch.3:
-; CHECK:         %cmp2.3 = icmp ult i64 %shft.3, %trip
-; CHECK-NEXT:    br i1 %cmp2.3, label %header, label %latchexit, !llvm.loop
-entry:
-  br i1 %cond, label %preheader, label %mergedexit
-
-preheader:                                              ; preds = %entry
-  %trip = zext i32 %n to i64
-  br label %header
-
-header:                                              ; preds = %latch, %preheader
-  %iv = phi i64 [ 2, %preheader ], [ %add.iv, %latch ]
-  %add.iv = add nuw nsw i64 %iv, 2
-  %cmp1 = icmp ult i64 %add.iv, %trip
-  br i1 %cmp1, label %latch, label %headerexit
-
-latch:                                             ; preds = %header
-  %shft = ashr i64 %add.iv, 1
-  %cmp2 = icmp ult i64 %shft, %trip
-  br i1 %cmp2, label %header, label %latchexit
-
-headerexit:                                              ; preds = %header
-  br label %mergedexit
-
-latchexit:                                              ; preds = %latch
-  br label %mergedexit
-
-mergedexit:                                              ; preds = %latchexit, %headerexit, %entry
-  ret void
-}
-
-
-; exitsucc is from loop exit block only.
-define i64 @test3(i32 %n) {
-; CHECK-LABEL: test3(
-; CHECK-LABEL:  headerexit:
-; CHECK-NEXT:     br label %exitsucc
-; CHECK-LABEL:  latchexit:
-; CHECK-NEXT:     %shftphi = phi i64 [ %shft, %latch ], [ %shft.1, %latch.1 ], [ %shft.2, %latch.2 ], [ %shft.3, %latch.3 ]
-; CHECK-NEXT:     ret i64 %shftphi
-; CHECK-LABEL:  exitsucc:
-; CHECK-NEXT:     ret i64 96
-entry:
-  br label %preheader
-
-preheader:                                              ; preds = %bb
-  %trip = zext i32 %n to i64
-  br label %header
-
-header:                                              ; preds = %latch, %preheader
-  %iv = phi i64 [ 2, %preheader ], [ %add.iv, %latch ]
-  %add.iv = add nuw nsw i64 %iv, 2
-  %cmp1 = icmp ult i64 %add.iv, %trip
-  br i1 %cmp1, label %latch, label %headerexit
-
-latch:                                             ; preds = %header
-  %shft = ashr i64 %add.iv, 1
-  %cmp2 = icmp ult i64 %shft, %trip
-  br i1 %cmp2, label %header, label %latchexit
-
-headerexit:                                              ; preds = %header
-  br label %exitsucc
-
-latchexit:                                              ; preds = %latch
-  %shftphi = phi i64 [ %shft, %latch ]
-  ret i64 %shftphi
-
-exitsucc:                                              ; preds = %headerexit
-  ret i64 96
-}
-
-; exit block (%default) has an exiting block and another exit block as predecessors.
-define void @test4(i16 %c3) {
-; CHECK-LABEL: test4
-
-; CHECK-LABEL: exiting.prol:
-; CHECK-NEXT:   switch i16 %c3, label %default.loopexit.loopexit1 [
-
-; CHECK-LABEL: exiting:
-; CHECK-NEXT:   switch i16 %c3, label %default.loopexit.loopexit [
-
-; CHECK-LABEL: default.loopexit.loopexit:
-; CHECK-NEXT:   br label %default.loopexit
-
-; CHECK-LABEL: default.loopexit.loopexit1:
-; CHECK-NEXT:   br label %default.loopexit
-
-; CHECK-LABEL: default.loopexit:
-; CHECK-NEXT:   br label %default
-preheader:
-  %c1 = zext i32 undef to i64
-  br label %header
-
-header:                                       ; preds = %latch, %preheader
-  %indvars.iv = phi i64 [ 0, %preheader ], [ %indvars.iv.next, %latch ]
-  br label %exiting
-
-exiting:                                           ; preds = %header
-  switch i16 %c3, label %default [
-    i16 45, label %otherexit
-    i16 95, label %latch
-  ]
-
-latch:                                          ; preds = %exiting
-  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
-  %c2 = icmp ult i64 %indvars.iv.next, %c1
-  br i1 %c2, label %header, label %latchexit
-
-latchexit:                                          ; preds = %latch
-  ret void
-
-default:                                          ; preds = %otherexit, %exiting
-  ret void
-
-otherexit:                                           ; preds = %exiting
-  br label %default
-}
-
-; exit block (%exitB) has an exiting block and another exit block as predecessors.
-; exiting block comes from inner loop.
-define void @test5() {
-; CHECK-LABEL: test5
-; CHECK-LABEL: bb1:
-; CHECK-NEXT:   br i1 false, label %outerH.prol.preheader, label %outerH.prol.loopexit
-
-; CHECK-LABEL: outerH.prol.preheader:
-; CHECK-NEXT:   br label %outerH.prol
-
-; CHECK-LABEL: outerH.prol:
-; CHECK-NEXT:   %tmp4.prol = phi i32 [ %tmp6.prol, %outerLatch.prol ], [ undef, %outerH.prol.preheader ]
-; CHECK-NEXT:   %prol.iter = phi i32 [ 0, %outerH.prol.preheader ], [ %prol.iter.sub, %outerLatch.prol ]
-; CHECK-NEXT:   br label %innerH.prol
-bb:
-  %tmp = icmp sgt i32 undef, 79
-  br i1 %tmp, label %outerLatchExit, label %bb1
-
-bb1:                                              ; preds = %bb
-  br label %outerH
-
-outerH:                                              ; preds = %outerLatch, %bb1
-  %tmp4 = phi i32 [ %tmp6, %outerLatch ], [ undef, %bb1 ]
-  br label %innerH
-
-innerH:                                              ; preds = %innerLatch, %outerH
-  br i1 undef, label %innerexiting, label %otherexitB
-
-innerexiting:                                             ; preds = %innerH
-  br i1 undef, label %innerLatch, label %exitB
-
-innerLatch:                                             ; preds = %innerexiting
-  %tmp13 = fcmp olt double undef, 2.000000e+00
-  br i1 %tmp13, label %innerH, label %outerLatch
-
-outerLatch:                                              ; preds = %innerLatch
-  %tmp6 = add i32 %tmp4, 1
-  %tmp7 = icmp sgt i32 %tmp6, 79
-  br i1 %tmp7, label %outerLatchExit, label %outerH
-
-outerLatchExit:                                              ; preds = %outerLatch, %bb
-  ret void
-
-exitB:                                             ; preds = %innerexiting, %otherexitB
-  ret void
-
-otherexitB:                                              ; preds = %innerH
-  br label %exitB
-
-}
-
-; Blocks reachable from exits (not_zero44) have the IDom as the block within the loop (Header).
-; Update the IDom to the preheader.
-define void @test6() {
-; CHECK-LABEL: test6
-; CHECK-LABEL: header.prol.preheader:
-; CHECK-NEXT:    br label %header.prol
-
-; CHECK-LABEL: header.prol:
-; CHECK-NEXT:    %indvars.iv.prol = phi i64 [ undef, %header.prol.preheader ], [ %indvars.iv.next.prol, %latch.prol ]
-; CHECK-NEXT:    %prol.iter = phi i64 [ 1, %header.prol.preheader ], [ %prol.iter.sub, %latch.prol ]
-; CHECK-NEXT:    br i1 false, label %latch.prol, label %otherexit.loopexit1
-
-; CHECK-LABEL: header.prol.loopexit.unr-lcssa:
-; CHECK-NEXT:    %indvars.iv.unr.ph = phi i64 [ %indvars.iv.next.prol, %latch.prol ]
-; CHECK-NEXT:    br label %header.prol.loopexit
-
-; CHECK-LABEL: header.prol.loopexit:
-; CHECK-NEXT:    %indvars.iv.unr = phi i64 [ undef, %entry ], [ %indvars.iv.unr.ph, %header.prol.loopexit.unr-lcssa ]
-; CHECK-NEXT:    br i1 true, label %latchexit, label %entry.new
-
-; CHECK-LABEL: entry.new:
-; CHECK-NEXT:    br label %header
-entry:
-  br label %header
-
-header:                                          ; preds = %latch, %entry
-  %indvars.iv = phi i64 [ undef, %entry ], [ %indvars.iv.next, %latch ]
-  br i1 undef, label %latch, label %otherexit
-
-latch:                                         ; preds = %header
-  %indvars.iv.next = add nsw i64 %indvars.iv, 2
-  %0 = icmp slt i64 %indvars.iv.next, 616
-  br i1 %0, label %header, label %latchexit
-
-latchexit:                                          ; preds = %latch
-  br label %latchexitsucc
-
-otherexit:                                 ; preds = %header
-  br label %otherexitsucc
-
-otherexitsucc:                                          ; preds = %otherexit
-  br label %not_zero44
-
-not_zero44:                                       ; preds = %latchexitsucc, %otherexitsucc
-  unreachable
-
-latchexitsucc:                                      ; preds = %latchexit
-  br label %not_zero44
-}
-