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

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