test/Analysis/MemorySSA/pr43540.ll

   1 ; RUN: opt -S -licm -enable-mssa-loop-dependency=true %s | FileCheck %s
   2 @v_1 = global i8 0, align 1
   3 @v_2 =  global i8 0, align 1
   4
   5 ; CHECK-LABEL: @foo()
   6 ; CHECK: for.cond:
   7 ; CHECK-NOT: store
   8 ; CHECK: for.body:
   9 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
  10 ; CHECK: store
  11 define void @foo() {
  12 entry:
  13   br label %for.cond
  14
  15 for.cond:                                         ; preds = %for.body, %entry
  16   %0 = phi i16 [ %inc, %for.body ], [ 0, %entry ]
  17   %cmp = icmp slt i16 %0, 1
  18   br i1 %cmp, label %for.body, label %for.end
  19
  20 for.body:                                         ; preds = %for.cond
  21   call void @llvm.memcpy.p0i8.p0i8.i64(i8* @v_1, i8 * @v_2, i64 1, i1 false)
  22   store i8 1, i8 * @v_2, align 1
  23   %inc = add nsw i16 %0, 1
  24   br label %for.cond
  25
  26 for.end:                                          ; preds = %for.cond
  27   ret void
  28 }
  29
  30 ; Function Attrs: argmemonly nounwind willreturn
  31 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly, i8 * noalias nocapture readonly, i64, i1 immarg) #2
  32
  33 attributes #2 = { argmemonly nounwind willreturn }
  34