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

   1 ; RUN: opt -loop-rotate -enable-mssa-loop-dependency %s -S | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; Check that loop rotate keeps proper mapping between cloned instructions,
   5 ; otherwise, MemorySSA will assert.
   6
   7 ; CHECK-LABEL: @f
   8 define void @f() {
   9 entry:
  10   br label %for.body16
  11
  12 for.cond.cleanup15:                               ; preds = %for.body16
  13   ret void
  14
  15 for.body16:                                       ; preds = %for.body16.for.body16_crit_edge, %entry
  16   %call.i = tail call float @expf(float 0.000000e+00) #1
  17   %0 = load float*, float** undef, align 8
  18   br i1 undef, label %for.cond.cleanup15, label %for.body16.for.body16_crit_edge
  19
  20 for.body16.for.body16_crit_edge:                  ; preds = %for.body16
  21   %.pre = load float, float* undef, align 8
  22   br label %for.body16
  23 }
  24
  25 declare float @expf(float)
  26