Author: Nikita Popov Date: 2020-12-05T21:22:57+01:00 New Revision: ae5e013f6e3a1391fd44e292857e359b83806c2f
URL: https://github.com/llvm/llvm-project/commit/ae5e013f6e3a1391fd44e292857e359b83806c2f DIFF: https://github.com/llvm/llvm-project/commit/ae5e013f6e3a1391fd44e292857e359b83806c2f.diff LOG: [BasicAA] Add more tests for non-equal index (NFC) Added: Modified: llvm/test/Analysis/BasicAA/sequential-gep.ll Removed: ################################################################################ diff --git a/llvm/test/Analysis/BasicAA/sequential-gep.ll b/llvm/test/Analysis/BasicAA/sequential-gep.ll index ab97c6492d36..0b53958d6f68 100644 --- a/llvm/test/Analysis/BasicAA/sequential-gep.ll +++ b/llvm/test/Analysis/BasicAA/sequential-gep.ll @@ -51,4 +51,65 @@ define void @t5([8 x i32]* %p, i32 %addend, i32* %q) { ret void } +; CHECK-LABEL: Function: add_non_zero_simple +; CHECK: MayAlias: i32* %gep1, i32* %gep2 +; TODO: This could be NoAlias. +define void @add_non_zero_simple(i32* %p, i32 %addend, i32* %q) { + %knownnonzero = load i32, i32* %q, !range !0 + %add = add i32 %addend, %knownnonzero + %gep1 = getelementptr i32, i32* %p, i32 %addend + %gep2 = getelementptr i32, i32* %p, i32 %add + ret void +} + +; CHECK-LABEL: Function: add_non_zero_ diff erent_scales +; CHECK: MayAlias: i16* %gep2, i32* %gep1 +define void @add_non_zero_ diff erent_scales(i32* %p, i32 %addend, i32* %q) { + %knownnonzero = load i32, i32* %q, !range !0 + %add = add i32 %addend, %knownnonzero + %p16 = bitcast i32* %p to i16* + %gep1 = getelementptr i32, i32* %p, i32 %addend + %gep2 = getelementptr i16, i16* %p16, i32 %add + ret void +} + +; CHECK-LABEL: Function: add_non_zero_ diff erent_sizes +; CHECK: MayAlias: i16* %gep1.16, i32* %gep2 +; CHECK: MayAlias: i16* %gep2.16, i32* %gep1 +; CHECK: MayAlias: i16* %gep1.16, i16* %gep2.16 +; CHECK: MayAlias: i32* %gep2, i64* %gep1.64 +; CHECK: MayAlias: i16* %gep2.16, i64* %gep1.64 +; CHECK: MayAlias: i32* %gep1, i64* %gep2.64 +; CHECK: MayAlias: i16* %gep1.16, i64* %gep2.64 +; CHECK: MayAlias: i64* %gep1.64, i64* %gep2.64 +; TODO: The first three could be NoAlias. +define void @add_non_zero_ diff erent_sizes(i32* %p, i32 %addend, i32* %q) { + %knownnonzero = load i32, i32* %q, !range !0 + %add = add i32 %addend, %knownnonzero + %gep1 = getelementptr i32, i32* %p, i32 %addend + %gep2 = getelementptr i32, i32* %p, i32 %add + %gep1.16 = bitcast i32* %gep1 to i16* + %gep2.16 = bitcast i32* %gep2 to i16* + %gep1.64 = bitcast i32* %gep1 to i64* + %gep2.64 = bitcast i32* %gep2 to i64* + ret void +} + + +; CHECK-LABEL: add_non_zero_with_offset +; MayAlias: i32* %gep1, i32* %gep2 +; NoAlias: i16* %gep1.16, i16* %gep2.16 +define void @add_non_zero_with_offset(i32* %p, i32 %addend, i32* %q) { + %knownnonzero = load i32, i32* %q, !range !0 + %add = add i32 %addend, %knownnonzero + %p.8 = bitcast i32* %p to i8* + %p.off.8 = getelementptr i8, i8* %p.8, i32 2 + %p.off = bitcast i8* %p.off.8 to i32* + %gep1 = getelementptr i32, i32* %p.off, i32 %addend + %gep2 = getelementptr i32, i32* %p, i32 %add + %gep1.16 = bitcast i32* %gep1 to i16* + %gep2.16 = bitcast i32* %gep2 to i16* + ret void +} + !0 = !{ i32 1, i32 5 } _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits