llvm/test/Analysis/MemoryDependenceAnalysis/memdep_requires_dominator_tree.ll

   1 ; RUN: opt -passes=gvn < %s
   2
   3 define void @__memdep_requires_dominator_tree(ptr nocapture %bufUInt, ptr nocapture %pattern) nounwind {
   4 entry:
   5   br label %for.body
   6
   7 for.exit:                                         ; preds = %for.body
   8   ret void
   9
  10 for.body:                                         ; preds = %for.body, %entry
  11   %i.01 = phi i32 [ 0, %entry ], [ %tmp8.7, %for.body ]
  12   %arrayidx = getelementptr i32, ptr %bufUInt, i32 %i.01
  13   %arrayidx5 = getelementptr i32, ptr %pattern, i32 %i.01
  14   %tmp6 = load i32, ptr %arrayidx5, align 4
  15   store i32 %tmp6, ptr %arrayidx, align 4
  16   %tmp8.7 = add i32 %i.01, 8
  17   %cmp.7 = icmp ult i32 %tmp8.7, 1024
  18   br i1 %cmp.7, label %for.body, label %for.exit
  19 }