test/Transforms/LoopDeletion/simplify-then-delete.ll

   1 ; RUN: opt < %s -S -indvars -loop-deletion -simplifycfg | FileCheck %s
   2 ; PR5794
   3
   4 ; Indvars and loop deletion should be able to eliminate all looping
   5 ; in this testcase.
   6
   7 ; CHECK:      define i32 @pmat(i32 %m, i32 %n, double* %y) nounwind {
   8 ; CHECK-NEXT: entry:
   9 ; CHECK-NEXT:   ret i32 0
  10 ; CHECK-NEXT: }
  11
  12 target datalayout = "e-p:64:64:64"
  13
  14 define i32 @pmat(i32 %m, i32 %n, double* %y) nounwind {
  15 entry:
  16   %cmp4 = icmp sgt i32 %m, 0
  17   br i1 %cmp4, label %bb.n10, label %w.e12
  18
  19 w.c:
  20   %cmp = icmp slt i32 %inc11, %m
  21   br i1 %cmp, label %w.c2.p, label %w.c.w.e12c
  22
  23 w.c.w.e12c:
  24   br label %w.c.w.e12c.s
  25
  26 w.c.w.e12c.s:
  27   br label %w.e12
  28
  29 bb.n10:
  30   %cmp51 = icmp sgt i32 %n, 0
  31   br i1 %cmp51, label %bb.n10.w.c.w.e12c.sc, label %bb.n10.bb.n10.sc
  32
  33 bb.n10.bb.n10.sc:
  34   br label %bb.n10.s
  35
  36 bb.n10.w.c.w.e12c.sc:
  37   br label %w.c.w.e12c.s
  38
  39 bb.n10.s:
  40   br label %w.c2.p
  41
  42 w.c2.p:
  43   %i.05 = phi i32 [ 0, %bb.n10.s ], [ %inc11, %w.c ]
  44   br i1 false, label %bb.n, label %w.e
  45
  46 w.c2:
  47   br i1 undef, label %w.b6, label %w.c2.w.ec
  48
  49 w.c2.w.ec:
  50   br label %w.e
  51
  52 bb.n:
  53   br label %w.b6
  54
  55 w.b6:
  56   br label %w.c2
  57
  58 w.e:
  59   %i.08 = phi i32 [ undef, %w.c2.w.ec ], [ %i.05, %w.c2.p ]
  60   %inc11 = add nsw i32 %i.08, 1
  61   br label %w.c
  62
  63 w.e12:
  64   ret i32 0
  65 }