llvm/test/Analysis/MemorySSA/loop-rotate-disablebasicaa.ll

   1 ; RUN: opt -disable-basic-aa -enable-new-pm=0 -print-memoryssa -disable-output %s 2>&1 | FileCheck %s
   2 ; RUN: opt -passes='print<memoryssa>' -disable-output %s 2>&1 | FileCheck %s
   3
   4 ; Note: if @foo is modelled as a MemoryDef, this test will assert with -loop-rotate, due to MemorySSA not
   5 ; being preserved when moving instructions that may not read from or write to memory.
   6
   7 ; CHECK-LABEL: @main
   8 ; CHECK-NOT: MemoryDef
   9 define void @main() {
  10 entry:
  11   br label %for.cond120
  12
  13 for.cond120:                                      ; preds = %for.body127, %entry
  14   call void @foo()
  15   br i1 undef, label %for.body127, label %for.cond.cleanup126
  16
  17 for.cond.cleanup126:                              ; preds = %for.cond120
  18   unreachable
  19
  20 for.body127:                                      ; preds = %for.cond120
  21   %0 = load i16**, i16*** undef, align 1
  22   br label %for.cond120
  23 }
  24
  25 declare void @foo() readnone
  26
  27