File tree 2 files changed +21
-0
lines changed
2 files changed +21
-0
lines changed Original file line number Diff line number Diff line change @@ -350,6 +350,9 @@ struct CastedValue {
350
350
}
351
351
352
352
bool hasSameCastsAs (const CastedValue &Other) const {
353
+ if (V->getType () != Other.V ->getType ())
354
+ return false ;
355
+
353
356
if (ZExtBits == Other.ZExtBits && SExtBits == Other.SExtBits &&
354
357
TruncBits == Other.TruncBits )
355
358
return true ;
Original file line number Diff line number Diff line change
1
+ ; RUN: opt -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output %s 2>&1 | FileCheck %s
2
+
3
+ target datalayout = "p0:64:64-p5:32:32"
4
+
5
+ ; CHECK: Function: indexing_different_sized_addrspace: 2 pointers, 0 call sites
6
+ ; CHECK: MayAlias: i32* %gep.in.0, i32 addrspace(5)* %gep.in.5.1
7
+
8
+ define i1 @indexing_different_sized_addrspace (ptr addrspace (5 ) %arg , i64 %arg1 , i32 %arg2 ) {
9
+ bb:
10
+ %arg.addrspacecast = addrspacecast ptr addrspace (5 ) %arg to ptr
11
+ %gep.in.5 = getelementptr i8 , ptr addrspace (5 ) %arg , i32 16
12
+ %gep.in.0 = getelementptr i8 , ptr %arg.addrspacecast , i64 %arg1
13
+ %gep.in.5.1 = getelementptr i8 , ptr addrspace (5 ) %gep.in.5 , i32 %arg2
14
+ %load.0 = load i32 , ptr %gep.in.0 , align 4
15
+ %load.1 = load i32 , ptr addrspace (5 ) %gep.in.5.1 , align 4
16
+ %cmp = icmp slt i32 %load.0 , %load.1
17
+ ret i1 %cmp
18
+ }
You can’t perform that action at this time.
0 commit comments