llvm/test/Analysis/MemorySSA/pr46275.ll

   1 ; RUN: opt -S -memoryssa -loop-deletion -loop-simplifycfg -verify-memoryssa < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-LABEL: @foo()
   5 define void @foo() {
   6 entry:
   7   br i1 false, label %for.body.lr.ph, label %for.end
   8
   9 for.body.lr.ph:                                   ; preds = %entry
  10   br label %for.body
  11
  12 for.body:                                         ; preds = %for.body, %for.body.lr.ph
  13   call void @foo()
  14   call void @foo()
  15   br i1 false, label %for.body, label %for.cond.for.end_crit_edge
  16
  17 for.cond.for.end_crit_edge:                       ; preds = %for.body
  18   unreachable
  19
  20 for.end:                                          ; preds = %entry
  21   ret void
  22 }
  23