mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-26 04:32:44 +01:00
0e6a699715
Currently, we have some confusion in the codebase regarding the meaning of LocationSize::unknown(): Some parts (including most of BasicAA) assume that LocationSize::unknown() only allows accesses after the base pointer. Some parts (various callers of AA) assume that LocationSize::unknown() allows accesses both before and after the base pointer (but within the underlying object). This patch splits up LocationSize::unknown() into LocationSize::afterPointer() and LocationSize::beforeOrAfterPointer() to make this completely unambiguous. I tried my best to determine which one is appropriate for all the existing uses. The test changes in cs-cs.ll in particular illustrate a previously clearly incorrect AA result: We were effectively assuming that argmemonly functions were only allowed to access their arguments after the passed pointer, but not before it. I'm pretty sure that this was not intentional, and it's certainly not specified by LangRef that way. Differential Revision: https://reviews.llvm.org/D91649
214 lines
9.6 KiB
LLVM
214 lines
9.6 KiB
LLVM
; RUN: opt -basic-aa -print-alias-sets -S -o - < %s 2>&1 | FileCheck %s
|
|
|
|
@s = global i8 1, align 1
|
|
@d = global i8 2, align 1
|
|
|
|
|
|
; CHECK: Alias sets for function 'test_known_size':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %d, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Ref Pointers: (i8* %s, LocationSize::precise(1))
|
|
define void @test_known_size(i8* noalias %s, i8* noalias %d) {
|
|
entry:
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %d, i8* %s, i64 1, i1 false)
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test_unknown_size':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %d, unknown after)
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Ref Pointers: (i8* %s, unknown after)
|
|
define void @test_unknown_size(i8* noalias %s, i8* noalias %d, i64 %len) {
|
|
entry:
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %d, i8* %s, i64 %len, i1 false)
|
|
ret void
|
|
}
|
|
|
|
|
|
; CHECK: Alias sets for function 'test1':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test1(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %d, i8* %s, i64 1, i1 false)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test1_atomic':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test1_atomic(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store atomic i8 1, i8* %a unordered, align 1
|
|
call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %d, i8* align 1 %s, i64 1, i32 1)
|
|
store atomic i8 1, i8* %b unordered, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test2':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test2(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %d, i8* %s, i64 1, i1 true)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test3':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test3(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memmove.p0i8.p0i8.i64(i8* %d, i8* %s, i64 1, i1 false)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test3_atomic':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test3_atomic(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store atomic i8 1, i8* %a unordered, align 1
|
|
call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %d, i8* align 1 %s, i64 1, i32 1)
|
|
store atomic i8 1, i8* %b unordered, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test4':
|
|
; CHECK: Alias Set Tracker: 3 alias sets for 4 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK-NOT: 1 Unknown instructions
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %d, LocationSize::precise(1)), (i8* %s, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test4(i8* %s, i8* %d) {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memmove.p0i8.p0i8.i64(i8* %d, i8* %s, i64 1, i1 true)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test5':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test5() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %b, i8* %a, i64 1, i1 false)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test5_atomic':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test5_atomic() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store atomic i8 1, i8* %a unordered, align 1
|
|
call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %b, i8* align 1 %a, i64 1, i32 1)
|
|
store atomic i8 1, i8* %b unordered, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test6':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test6() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memmove.p0i8.p0i8.i64(i8* %b, i8* %a, i64 1, i1 false)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test6_atomic':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test6_atomic() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store atomic i8 1, i8* %a unordered, align 1
|
|
call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %b, i8* align 1 %a, i64 1, i32 1)
|
|
store atomic i8 1, i8* %b unordered, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test7':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test7() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store i8 1, i8* %a, align 1
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %b, i8* %a, i64 1, i1 false)
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* %b, i64 1, i1 false)
|
|
store i8 1, i8* %b, align 1
|
|
ret void
|
|
}
|
|
|
|
; CHECK: Alias sets for function 'test7_atomic':
|
|
; CHECK: Alias Set Tracker: 2 alias sets for 2 pointer values.
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %a, LocationSize::precise(1))
|
|
; CHECK: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod/Ref Pointers: (i8* %b, LocationSize::precise(1))
|
|
define void @test7_atomic() {
|
|
entry:
|
|
%a = alloca i8, align 1
|
|
%b = alloca i8, align 1
|
|
store atomic i8 1, i8* %a unordered, align 1
|
|
call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %b, i8* align 1 %a, i64 1, i32 1)
|
|
call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %a, i8* align 1 %b, i64 1, i32 1)
|
|
store atomic i8 1, i8* %b unordered, align 1
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1)
|
|
declare void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32)
|
|
declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i1)
|
|
declare void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32)
|