[llvm] 342d7b6 - [BasicAA][NFC] Improve comment.

[Clement Courbet via llvm-commits]

Author: Clement Courbet
Date: 2021-10-11T10:42:59+02:00
New Revision: 342d7b654c63cadaa6135913c9582a7272fced58

URL: https://github.com/llvm/llvm-project/commit/342d7b654c63cadaa6135913c9582a7272fced58
DIFF: https://github.com/llvm/llvm-project/commit/342d7b654c63cadaa6135913c9582a7272fced58.diff

LOG: [BasicAA][NFC] Improve comment.

Added: 
    

Modified: 
    llvm/test/Analysis/BasicAA/assume-index-positive.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/BasicAA/assume-index-positive.ll b/llvm/test/Analysis/BasicAA/assume-index-positive.ll
index bbe7263590cf..88f2d84fcabb 100644
--- a/llvm/test/Analysis/BasicAA/assume-index-positive.ll
+++ b/llvm/test/Analysis/BasicAA/assume-index-positive.ll
@@ -54,8 +54,10 @@ define void @test2(double* %ptr, i32 %skip) {
   ret void
 }
 
-; Same as @test1, but the assume just guarantees %skip > -3, which is not
-; enough to derive NoAlias
+; Same as @test1, this time the assume just guarantees %skip > -3, which is
+; enough to derive NoAlias for %ptr and %col.ptr.2 (distance is more than 3
+; doubles, and we load 1 double), but not %col.ptr.1 and %col.ptr.2 (distance
+; is more than 3 doubles, and we load 6 doubles).
 define void @test3(double* %ptr, i32 %skip) {
 ; CHECK-LABEL: Function: test3: 4 pointers, 1 call sites
 ; CHECK-NEXT:  MustAlias:   <6 x double>* %col.ptr.1, double* %ptr