llvm/test/Transforms/SimpleLoopUnswitch/pr58719.ll

   1 ; RUN: opt -passes="require<globals-aa>,cgscc(instcombine),function(loop-mssa(loop-simplifycfg)),recompute-globalsaa,function(loop-mssa(simple-loop-unswitch<nontrivial>),print<memoryssa>)" -disable-output < %s
   2
   3 ; Check that don't crash if the Alias Analysis returns better results than
   4 ; before when cloning loop's memoryssa.
   5 define void @f(ptr %p) {
   6 entry:
   7   %0 = load i16, ptr %p, align 1
   8   ret void
   9 }
  10
  11 define void @g(i1 %tobool.not) {
  12 entry:
  13   br label %for.cond
  14
  15 for.cond:                                         ; preds = %if.then, %for.cond, %entry
  16   br i1 %tobool.not, label %if.then, label %for.cond
  17
  18 if.then:                                          ; preds = %for.cond
  19   call void @f()
  20   br label %for.cond
  21 }