test/Analysis/MemorySSA/loop-rotate-simplified-clone.ll

   1 ; RUN: opt -verify-memoryssa -enable-mssa-loop-dependency -loop-rotate %s -S | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-LABEL: @test()
   5 define dso_local void @test() {
   6 entry:
   7   br label %preheader
   8
   9 preheader:
  10   br label %l39
  11
  12 l39:
  13   %v40 = phi float (float)* [ @foo, %preheader ], [ %v43, %crit_edge ]
  14   %v41 = call float %v40(float undef)
  15   %v42 = load i32, i32* undef, align 8
  16   br i1 undef, label %crit_edge, label %loopexit
  17
  18 crit_edge:
  19   %v43 = load float (float)*, float (float)** undef, align 8
  20   br label %l39
  21
  22 loopexit:
  23   unreachable
  24 }
  25
  26 ; Function Attrs: readnone
  27 declare dso_local float @foo(float) #0 align 32
  28
  29 attributes #0 = { readnone }