llvm/test/Transforms/SimpleLoopUnswitch/pr59546.ll

   1 ; RUN: opt -passes="scc-oz-module-inliner,function(loop-mssa(no-op-loop)),recompute-globalsaa,function(loop-mssa(simple-loop-unswitch<nontrivial>))" -disable-output < %s
   2 ; Check that don't crash if the Alias Analysis returns better results than
   3 ; before when cloning loop's memoryssa.
   4
   5 @a = internal global i16 0
   6
   7 define void @h() {
   8 entry:
   9   br label %end
  10
  11 body:                                       ; No predecessors!
  12   call void @g(ptr null)
  13   br label %end
  14
  15 end:                                        ; preds = %while.body, %entry
  16   ret void
  17 }
  18
  19 define internal void @g(ptr %a) #0 {
  20 entry:
  21   br label %while.cond
  22
  23 while.cond:                                       ; preds = %while.body, %entry
  24   %0 = load i16, ptr %a, align 1
  25   %tobool.not = icmp eq i16 %0, 0
  26   br i1 %tobool.not, label %while.end, label %while.body
  27
  28 while.body:                                       ; preds = %while.cond
  29   call void @f()
  30   br label %while.cond
  31
  32 while.end:                                        ; preds = %while.cond
  33   ret void
  34 }
  35
  36 define internal void @f() #0 {
  37   store i16 0, ptr @a, align 1
  38   ret void
  39 }
  40
  41 attributes #0 = { noinline }