diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-01-02 19:17:04 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-01-02 19:17:04 +0000 |
| commit | b915e9e0fc85ba6f398b3fab0db6a81a8913af94 (patch) | |
| tree | 98b8f811c7aff2547cab8642daf372d6c59502fb /test/Analysis/GlobalsModRef | |
| parent | 6421cca32f69ac849537a3cff78c352195e99f1b (diff) | |
Vendor import of llvm trunk r290819:vendor/llvm/llvm-trunk-r290819
Notes
Notes:
svn path=/vendor/llvm/dist/; revision=311116
svn path=/vendor/llvm/llvm-trunk-r290819/; revision=311117; tag=vendor/llvm/llvm-trunk-r290819
Diffstat (limited to 'test/Analysis/GlobalsModRef')
| -rw-r--r-- | test/Analysis/GlobalsModRef/dead-uses.ll | 54 | ||||
| -rw-r--r-- | test/Analysis/GlobalsModRef/func-memattributes.ll | 24 | ||||
| -rw-r--r-- | test/Analysis/GlobalsModRef/global-used-by-global.ll | 54 |
3 files changed, 120 insertions, 12 deletions
diff --git a/test/Analysis/GlobalsModRef/dead-uses.ll b/test/Analysis/GlobalsModRef/dead-uses.ll new file mode 100644 index 000000000000..a96655d48bfd --- /dev/null +++ b/test/Analysis/GlobalsModRef/dead-uses.ll @@ -0,0 +1,54 @@ +; RUN: opt < %s -instcombine -globals-aa -licm -S | FileCheck %s + +; Make sure -globals-aa ignores dead uses of globals. + +@a = internal global i32 0, align 4 +@c = common global i32 0, align 4 + +; Function Attrs: nounwind +define i32 @g() { +; Make sure the load of @a is hoisted. +; CHECK-LABEL: define i32 @g() +; CHECK: entry: +; CHECK-NEXT: load i32, i32* @a, align 4 +; CHECK-NEXT: br label %for.cond +entry: + br label %for.cond + +for.cond: ; preds = %for.inc, %entry + %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] + %sum.0 = phi i32 [ 0, %entry ], [ %add, %for.inc ] + %cmp = icmp slt i32 %i.0, 1000 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %0 = load i32, i32* @a, align 4 + %add = add nsw i32 %sum.0, %0 + call void @f() + br label %for.inc + +for.inc: ; preds = %for.body + %inc = add nsw i32 %i.0, 1 + br label %for.cond + +for.end: ; preds = %for.cond + ret i32 %sum.0 +} + +; Function Attrs: nounwind +define internal void @f() { +entry: + %tobool = icmp ne i32 0, 0 + br i1 %tobool, label %if.then, label %if.end + +if.then: ; preds = %entry + store i32 ptrtoint (i32* @a to i32), i32* @c, align 4 + br label %if.end + +if.end: ; preds = %if.then, %entry + %0 = load i32, i32* @c, align 4 + %inc = add nsw i32 %0, 1 + store i32 %inc, i32* @c, align 4 + ret void +} + diff --git a/test/Analysis/GlobalsModRef/func-memattributes.ll b/test/Analysis/GlobalsModRef/func-memattributes.ll index 5494512592e3..c1c269118739 100644 --- a/test/Analysis/GlobalsModRef/func-memattributes.ll +++ b/test/Analysis/GlobalsModRef/func-memattributes.ll @@ -2,30 +2,30 @@ @X = internal global i32 4 -define void @test0() { +define i32 @test0() { ; CHECK-LABEL: @test0 ; CHECK: store i32 0, i32* @X -; CHECK-NEXT: call void @func_readonly() #0 +; CHECK-NEXT: call i32 @func_readonly() #0 ; CHECK-NEXT: store i32 1, i32* @X store i32 0, i32* @X - call void @func_readonly() #0 + %x = call i32 @func_readonly() #0 store i32 1, i32* @X - ret void + ret i32 %x } -define void @test1() { +define i32 @test1() { ; CHECK-LABEL: @test1 ; CHECK-NOT: store -; CHECK: call void @func_read_argmem_only() #1 +; CHECK: call i32 @func_read_argmem_only() #1 ; CHECK-NEXT: store i32 3, i32* @X store i32 2, i32* @X - call void @func_read_argmem_only() #1 + %x = call i32 @func_read_argmem_only() #1 store i32 3, i32* @X - ret void + ret i32 %x } -declare void @func_readonly() #0 -declare void @func_read_argmem_only() #1 +declare i32 @func_readonly() #0 +declare i32 @func_read_argmem_only() #1 -attributes #0 = { readonly } -attributes #1 = { readonly argmemonly } +attributes #0 = { readonly nounwind } +attributes #1 = { readonly argmemonly nounwind } diff --git a/test/Analysis/GlobalsModRef/global-used-by-global.ll b/test/Analysis/GlobalsModRef/global-used-by-global.ll new file mode 100644 index 000000000000..98a8e3a834c1 --- /dev/null +++ b/test/Analysis/GlobalsModRef/global-used-by-global.ll @@ -0,0 +1,54 @@ +; RUN: opt < %s -globals-aa -gvn -S | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" + +@a = internal global i32* null, align 8 +@b = global i32** @a, align 8 +@c = global i32** @a, align 8 +@d = common global i32 0, align 4 + +; Make sure we globals-aa doesn't get confused and allow hoisting +; the load from @a out of the loop. + +; CHECK-LABEL: define i32 @main() +; CHECK: for.body: +; CHECK-NEXT: %2 = load i32**, i32*** @b, align 8 +; CHECK-NEXT: store i32* @d, i32** %2, align 8 +; CHECK-NEXT: %3 = load i32*, i32** @a, align 8 +; CHECK-NEXT: %cmp1 = icmp ne i32* %3, @d +; CHECK-NEXT: br i1 %cmp1, label %if.then, label %if.end + +define i32 @main() { +entry: + %0 = load i32, i32* @d, align 4 + br label %for.cond + +for.cond: ; preds = %if.end, %entry + %1 = phi i32 [ %inc, %if.end ], [ %0, %entry ] + %cmp = icmp slt i32 %1, 1 + br i1 %cmp, label %for.body, label %for.end + +for.body: ; preds = %for.cond + %2 = load i32**, i32*** @b, align 8 + store i32* @d, i32** %2, align 8 + %3 = load i32*, i32** @a, align 8 + %cmp1 = icmp ne i32* %3, @d + br i1 %cmp1, label %if.then, label %if.end + +if.then: ; preds = %for.body + br label %return + +if.end: ; preds = %for.body + %4 = load i32, i32* @d, align 4 + %inc = add nsw i32 %4, 1 + store i32 %inc, i32* @d, align 4 + br label %for.cond + +for.end: ; preds = %for.cond + br label %return + +return: ; preds = %for.end, %if.then + %retval.0 = phi i32 [ 1, %if.then ], [ 0, %for.end ] + ret i32 %retval.0 +} + |