ebab105670
When using stripPointerCasts() and getUnderlyingObject(), don't strip through a bitcast from ptr to <1 x ptr>, which is not a no-op pointer cast. Calling code is generally not prepared to handle that situation, resulting in incorrect alias analysis results for example. Fixes https://github.com/llvm/llvm-project/issues/97600.
13 lines
628 B
LLVM
13 lines
628 B
LLVM
; RUN: opt -print-all-alias-modref-info -passes=aa-eval -disable-output < %s 2>&1 | FileCheck %s
|
|
|
|
; CHECK: MayAlias: i8* %b, i8* %p
|
|
; CHECK: Just Ref: Ptr: i8* %p <-> %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr %a, i32 8, <1 x i1> %c, <1 x ptr> poison)
|
|
; CHECK: Just Ref: Ptr: i8* %b <-> %v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr %a, i32 8, <1 x i1> %c, <1 x ptr> poison)
|
|
define void @test(ptr %a, ptr %b, <1 x i1> %c) {
|
|
%v1p = call <1 x ptr> @llvm.masked.load.v1p0.p0(ptr %a, i32 8, <1 x i1> %c, <1 x ptr> poison)
|
|
%p = bitcast <1 x ptr> %v1p to ptr
|
|
load i8, ptr %p
|
|
store i8 0, ptr %b
|
|
ret void
|
|
}
|