diff options
| -rw-r--r-- | test/Analysis/BasicAA/featuretest.ll | 11 | ||||
| -rw-r--r-- | test/Transforms/BasicAA/featuretest.ll | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/featuretest.ll b/test/Analysis/BasicAA/featuretest.ll index 6884df2db5..cd57ef1a79 100644 --- a/test/Analysis/BasicAA/featuretest.ll +++ b/test/Analysis/BasicAA/featuretest.ll @@ -51,3 +51,14 @@ int %gep_distance_test(int* %A) { ret int %r } +; Test that if two pointers are spaced out by a constant offset, that they +; cannot alias, even if there is a variable offset between them... +int %gep_distance_test2({int,int}* %A, long %distance) { + %A = getelementptr {int,int}* %A, long 0, ubyte 0 + %REMOVEu = load int* %A + %B = getelementptr {int,int}* %A, long %distance, ubyte 1 + store int 7, int* %B ; B cannot alias A, it's at least 4 bytes away + %REMOVEv = load int* %A + %r = sub int %REMOVEu, %REMOVEv + ret int %r +} diff --git a/test/Transforms/BasicAA/featuretest.ll b/test/Transforms/BasicAA/featuretest.ll index 6884df2db5..cd57ef1a79 100644 --- a/test/Transforms/BasicAA/featuretest.ll +++ b/test/Transforms/BasicAA/featuretest.ll @@ -51,3 +51,14 @@ int %gep_distance_test(int* %A) { ret int %r } +; Test that if two pointers are spaced out by a constant offset, that they +; cannot alias, even if there is a variable offset between them... +int %gep_distance_test2({int,int}* %A, long %distance) { + %A = getelementptr {int,int}* %A, long 0, ubyte 0 + %REMOVEu = load int* %A + %B = getelementptr {int,int}* %A, long %distance, ubyte 1 + store int 7, int* %B ; B cannot alias A, it's at least 4 bytes away + %REMOVEv = load int* %A + %r = sub int %REMOVEu, %REMOVEv + ret int %r +} |