[LAA] Merge memchecks for accesses separated by a constant offset
[oota-llvm.git] / test / Transforms / LoopDistribute / basic-with-memchecks.ll
index fde06d33c5a5ceb19a6fc012da851240a83ffae8..3aced48504111637a7d644fbdb73e3cb91371a75 100644 (file)
@@ -32,8 +32,9 @@ entry:
   %e = load i32*, i32** @E, align 8
   br label %for.body
 
-; We have two compares for each array overlap check which is a total of 10
-; compares.
+; We have two compares for each array overlap check.
+; Since the checks to A and A + 4 get merged, this will give us a
+; total of 8 compares.
 ;
 ; CHECK: for.body.lver.memcheck:
 ; CHECK:     = icmp
@@ -48,9 +49,6 @@ entry:
 ; CHECK:     = icmp
 ; CHECK:     = icmp
 
-; CHECK:     = icmp
-; CHECK:     = icmp
-
 ; CHECK-NOT: = icmp
 ; CHECK:     br i1 %memcheck.conflict, label %for.body.ph.lver.orig, label %for.body.ph.ldist1