RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-11 07:18:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[AST] Add a test for attribute intersection

Browse Source 
Already works, but I initially convinced myself it doesn't, so add a test which shows it does.  :)

llvm-svn: 340453
This commit is contained in:
Philip Reames 2018-08-22 21:10:56 +00:00
parent ace715a4e3
commit 05de5c7fdc
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
test/Analysis/AliasSet/argmemonly.ll
View File

@ -123,3 +123,21 @@ entry:
declare void @my_memset(i8* nocapture writeonly, i8, i64) argmemonly
declare void @my_memcpy(i8* nocapture writeonly, i8* nocapture readonly, i64) argmemonly
declare void @my_memmove(i8* nocapture, i8* nocapture readonly, i64) argmemonly
; CHECK: Alias sets for function 'test_attribute_intersect':
; CHECK-NEXT: Alias Set Tracker: 2 alias sets for 1 pointer values.
; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] may alias, Mod/Ref
; CHECK-NEXT: 1 Unknown instructions: call void @attribute_intersect(i8* %a)
; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Ref Pointers: (i8* %a, 1)
define i8 @test_attribute_intersect(i8* noalias %a) {
entry:
;; This call is effectively readnone since the argument is readonly
;; and the function is declared writeonly.
call void @attribute_intersect(i8* %a)
%val = load i8, i8* %a
ret i8 %val
}
declare void @attribute_intersect(i8* readonly) argmemonly writeonly