[llvm-branch-commits] [llvm] 221c2b8 - [BasicAA] Add more phi-phi tests (NFC)

[Nikita Popov via llvm-branch-commits]

Author: Nikita Popov
Date: 2020-11-22T16:53:06+01:00
New Revision: 221c2b8862b1e507a6e79ca2731c2f839a2fd482

URL: https://github.com/llvm/llvm-project/commit/221c2b8862b1e507a6e79ca2731c2f839a2fd482
DIFF: https://github.com/llvm/llvm-project/commit/221c2b8862b1e507a6e79ca2731c2f839a2fd482.diff

LOG: [BasicAA] Add more phi-phi tests (NFC)

Test a few more variations:
 * NoAlias with different strides
 * MustAlias without loop
 * MustAlias with same stride
 * MustAlias base pointers with different stride

Added: 
    

Modified: 
    llvm/test/Analysis/BasicAA/phi-speculation.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/BasicAA/phi-speculation.ll b/llvm/test/Analysis/BasicAA/phi-speculation.ll
index 198c5340488e..12b2310f4c45 100644
--- a/llvm/test/Analysis/BasicAA/phi-speculation.ll
+++ b/llvm/test/Analysis/BasicAA/phi-speculation.ll
@@ -92,3 +92,85 @@ while.body:
 the_exit:
   ret i32 1
 }
+
+; CHECK-LABEL: test_
diff erent_stride_noalias
+; CHECK: NoAlias: i16* %y.base, i8* %x.base
+; CHECK: NoAlias: i16* %y, i8* %x
+; CHECK: NoAlias: i16* %y.next, i8* %x.next
+define void @test_
diff erent_stride_noalias(i1 %c, i8* noalias %x.base, i16* noalias %y.base) {
+entry:
+  br label %loop
+
+loop:
+  %x = phi i8* [ %x.base, %entry ], [ %x.next, %loop ]
+  %y = phi i16* [ %y.base, %entry ], [ %y.next, %loop ]
+  %x.next = getelementptr i8, i8* %x, i64 1
+  %y.next = getelementptr i16, i16* %y, i64 1
+  br i1 %c, label %loop, label %exit
+
+exit:
+  ret void
+}
+
+; CHECK-LABEL: test_no_loop_mustalias
+; CHECK: MayAlias: i16* %z16, i8* %z8
+; TODO: (z8, z16) could be MustAlias
+define void @test_no_loop_mustalias(i1 %c, i8* noalias %x8, i8* noalias %y8) {
+  br i1 %c, label %if, label %else
+
+if:
+  %x16 = bitcast i8* %x8 to i16*
+  br label %end
+
+else:
+  %y16 = bitcast i8* %y8 to i16*
+  br label %end
+
+end:
+  %z8 = phi i8* [ %x8, %if ], [ %y8, %else ]
+  %z16 = phi i16* [ %x16, %if ], [ %y16, %else ]
+  ret void
+}
+
+; CHECK-LABEL: test_same_stride_mustalias
+; CHECK: MustAlias: i4* %y.base, i8* %x.base
+; CHECK: MayAlias: i4* %y, i8* %x
+; CHECK: MayAlias: i4* %y.next, i8* %x.next
+; TODO: (x, y) could be MustAlias
+define void @test_same_stride_mustalias(i1 %c, i8* noalias %x.base) {
+entry:
+  %y.base = bitcast i8* %x.base to i4*
+  br label %loop
+
+loop:
+  %x = phi i8* [ %x.base, %entry ], [ %x.next, %loop ]
+  %y = phi i4* [ %y.base, %entry ], [ %y.next, %loop ]
+  %x.next = getelementptr i8, i8* %x, i64 1
+  %y.next = getelementptr i4, i4* %y, i64 1
+  br i1 %c, label %loop, label %exit
+
+exit:
+  ret void
+}
+
+; CHECK-LABEL: test_
diff erent_stride_mustalias
+; CHECK: MustAlias: i16* %y.base, i8* %x.base
+; CHECK: MayAlias: i16* %y, i8* %x
+; CHECK: MayAlias: i16* %y.next, i8* %x.next
+; Even though the base pointers MustAlias, the 
diff erent strides don't preserve
+; this property across iterations.
+define void @test_
diff erent_stride_mustalias(i1 %c, i8* noalias %x.base) {
+entry:
+  %y.base = bitcast i8* %x.base to i16*
+  br label %loop
+
+loop:
+  %x = phi i8* [ %x.base, %entry ], [ %x.next, %loop ]
+  %y = phi i16* [ %y.base, %entry ], [ %y.next, %loop ]
+  %x.next = getelementptr i8, i8* %x, i64 1
+  %y.next = getelementptr i16, i16* %y, i64 1
+  br i1 %c, label %loop, label %exit
+
+exit:
+  ret void
+}