llvm/test/Analysis/MemorySSA/pr43493.ll

   1 ; RUN: opt -passes=loop-rotate -verify-memoryssa -S %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-LABEL: @func_35(i1 %arg)
   5 define void @func_35(i1 %arg) {
   6 entry:
   7   br i1 %arg, label %for.cond1704.preheader, label %return
   8
   9 for.cond1704.preheader:                           ; preds = %entry
  10   br label %for.cond1704
  11
  12 for.cond1704:                                     ; preds = %for.cond1704.preheader, %for.body1707
  13   br i1 false, label %for.body1707, label %return.loopexit
  14
  15 for.body1707:                                     ; preds = %for.cond1704
  16   store i32 1712, ptr undef, align 1
  17   br label %for.cond1704
  18
  19 for.body1102:                                     ; preds = %for.body1102
  20   br i1 %arg, label %for.body1102, label %return
  21
  22 return.loopexit:                                  ; preds = %for.cond1704
  23   br label %return
  24
  25 return:                                           ; preds = %return.loopexit, %for.body1102, %entry
  26   ret void
  27 }