From 709fda69699e80166483f87a0273bb3bd04bba69 Mon Sep 17 00:00:00 2001 From: Philip Reames Date: Fri, 17 Aug 2018 21:58:26 +0000 Subject: [PATCH] [AST][Tests] Clarify what each test is doing git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@340100 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/AliasSet/argmemonly.ll | 43 +++++++++++++++------------- 1 file changed, 23 insertions(+), 20 deletions(-) diff --git a/test/Analysis/AliasSet/argmemonly.ll b/test/Analysis/AliasSet/argmemonly.ll index 4cc3614a29a..96e1c6ce7d0 100644 --- a/test/Analysis/AliasSet/argmemonly.ll +++ b/test/Analysis/AliasSet/argmemonly.ll @@ -3,34 +3,39 @@ @s = global i8 1, align 1 @d = global i8 2, align 1 -; CHECK: Alias sets for function 'test1': -; CHECK-NEXT: Alias Set Tracker: 3 alias sets for 2 pointer values. +; CHECK: Alias sets for function 'test_alloca_argmemonly': +; CHECK-NEXT: Alias Set Tracker: 2 alias sets for 1 pointer values. ; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, 1) ; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] may alias, Mod/Ref ; CHECK-NEXT: 1 Unknown instructions: call void @my_memcpy(i8* %d, i8* %s, i64 1) -; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, 1) -define void @test1(i8* %s, i8* %d) { +define void @test_alloca_argmemonly(i8* %s, i8* %d) { entry: %a = alloca i8, align 1 - %b = alloca i8, align 1 store i8 1, i8* %a, align 1 call void @my_memcpy(i8* %d, i8* %s, i64 1) - store i8 1, i8* %b, align 1 ret void } -; CHECK: Alias sets for function 'test3': -; CHECK-NEXT: Alias Set Tracker: 3 alias sets for 2 pointer values. +; CHECK: Alias sets for function 'test_readonly_arg' +; CHECK-NEXT: Alias Set Tracker: 1 alias sets for 1 pointer values. +; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 2] may alias, Mod/Ref Pointers: (i8* %s, 1) +; CHECK-NEXT: 1 Unknown instructions: call void @my_memcpy(i8* %d, i8* %s, i64 1) +define i8 @test_readonly_arg(i8* noalias %s, i8* noalias %d) { +entry: + call void @my_memcpy(i8* %d, i8* %s, i64 1) + %ret = load i8, i8* %s + ret i8 %ret +} + +; CHECK: Alias sets for function 'test_noalias_argmemonly': +; CHECK-NEXT: Alias Set Tracker: 2 alias sets for 1 pointer values. ; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %a, 1) ; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] may alias, Mod/Ref ; CHECK-NEXT: Unknown instructions: call void @my_memmove(i8* %d, i8* %s, i64 1) - -; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] must alias, Mod Pointers: (i8* %b, 1) -define void @test3(i8* noalias %a, i8* noalias %b, i8* %s, i8* %d) { +define void @test_noalias_argmemonly(i8* noalias %a, i8* %s, i8* %d) { entry: store i8 1, i8* %a, align 1 call void @my_memmove(i8* %d, i8* %s, i64 1) - store i8 1, i8* %b, align 1 ret void } @@ -46,11 +51,11 @@ entry: ret void } -; CHECK: Alias sets for function 'test6': +; CHECK: Alias sets for function 'test_argcollapse': ; CHECK-NEXT: Alias Set Tracker: 1 alias sets for 2 pointer values. ; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 3] may alias, Mod/Ref Pointers: (i8* %a, 1), (i8* %b, 1) ; CHECK-NEXT: 1 Unknown instructions: call void @my_memmove(i8* %b, i8* %a, i64 1) -define void @test6(i8* noalias %a, i8* noalias %b) { +define void @test_argcollapse(i8* noalias %a, i8* noalias %b) { entry: store i8 1, i8* %a, align 1 call void @my_memmove(i8* %b, i8* %a, i64 1) @@ -58,17 +63,15 @@ entry: ret void } -; CHECK: Alias sets for function 'test7': -; CHECK-NEXT: Alias Set Tracker: 1 alias sets for 2 pointer values. -; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 3] may alias, Mod/Ref Pointers: (i8* %a, 1), (i8* %b, 1) +; CHECK: Alias sets for function 'test_memcpy1': +; CHECK-NEXT: Alias Set Tracker: 1 alias sets for 0 pointer values. +; CHECK-NEXT: AliasSet[0x{{[0-9a-f]+}}, 1] may alias, Mod/Ref ; CHECK-NEXT: 2 Unknown instructions: call void @my_memcpy(i8* %b, i8* %a, i64 1), call void @my_memcpy(i8* %a, i8* %b, i64 1) -define void @test7(i8* noalias %a, i8* noalias %b) { +define void @test_memcpy1(i8* noalias %a, i8* noalias %b) { entry: - store i8 1, i8* %a, align 1 call void @my_memcpy(i8* %b, i8* %a, i64 1) call void @my_memcpy(i8* %a, i8* %b, i64 1) - store i8 1, i8* %b, align 1 ret void }