[llvm] 04a6f80 - [BasicAA] Add additional 32-bit truncation test (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2021-10-01T21:20:59+02:00
New Revision: 04a6f80e9b23f42162f7408c539caa58151a6f2e

URL: https://github.com/llvm/llvm-project/commit/04a6f80e9b23f42162f7408c539caa58151a6f2e
DIFF: https://github.com/llvm/llvm-project/commit/04a6f80e9b23f42162f7408c539caa58151a6f2e.diff

LOG: [BasicAA] Add additional 32-bit truncation test (NFC)

This is a variant with a variable index, in which case the pointer
size adjustment is not performed.

Added: 
    

Modified: 
    llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll b/llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll
index aac593278ef6..5e02fbda317a 100644
--- a/llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll
+++ b/llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll
@@ -20,6 +20,18 @@ define void @mustalias_overflow_in_32_bit_constants(i8* %ptr) {
   ret void
 }
 
+; FIXME: This should also be MustAlias as in the previous test.
+define void @mustalias_overflow_in_32_with_var_index([1 x i8]* %ptr, i64 %n) {
+; CHECK-LABEL: Function: mustalias_overflow_in_32_with_var_index
+; CHECK:       NoAlias:  i8* %gep.1, i8* %gep.2
+;
+  %gep.1 = getelementptr [1 x i8], [1 x i8]* %ptr, i64 %n, i64 4294967296
+  store i8 0, i8* %gep.1
+  %gep.2 = getelementptr [1 x i8], [1 x i8]* %ptr, i64 %n, i64 0
+  store i8 1, i8* %gep.2
+  ret void
+}
+
 define void @noalias_overflow_in_32_bit_constants(i8* %ptr) {
 ; CHECK-LABEL: Function: noalias_overflow_in_32_bit_constants: 3 pointers, 0 call sites
 ; CHECK-NEXT:    MustAlias: i8* %gep.1, i8* %ptr