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

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