diff options
author | Dan Gohman <gohman@apple.com> | 2010-11-11 18:09:32 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-11-11 18:09:32 +0000 |
commit | 56653f0df85f8e4ee60941a6ca31c17ca6f936ff (patch) | |
tree | 3d6c94cc81a12f52caa81e644ce1965e50c43d24 /test/Analysis | |
parent | fca0b106f7df867912cd1de8bbd6285bb2ab7225 (diff) | |
download | external_llvm-56653f0df85f8e4ee60941a6ca31c17ca6f936ff.zip external_llvm-56653f0df85f8e4ee60941a6ca31c17ca6f936ff.tar.gz external_llvm-56653f0df85f8e4ee60941a6ca31c17ca6f936ff.tar.bz2 |
TBAA-enable ArgumentPromotion.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118804 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
-rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll new file mode 100644 index 0000000..83046aa --- /dev/null +++ b/test/Analysis/TypeBasedAliasAnalysis/argument-promotion.ll @@ -0,0 +1,31 @@ +; RUN: opt < %s -enable-tbaa -tbaa -basicaa -argpromotion -mem2reg -S | not grep alloca + +target datalayout = "E-p:64:64:64" + +define internal i32 @test(i32* %X, i32* %Y, i32* %Q) { + store i32 77, i32* %Q, !tbaa !2 + %A = load i32* %X, !tbaa !1 + %B = load i32* %Y, !tbaa !1 + %C = add i32 %A, %B + ret i32 %C +} + +define internal i32 @caller(i32* %B, i32* %Q) { + %A = alloca i32 + store i32 78, i32* %Q, !tbaa !2 + store i32 1, i32* %A, !tbaa !1 + %C = call i32 @test(i32* %A, i32* %B, i32* %Q) + ret i32 %C +} + +define i32 @callercaller(i32* %Q) { + %B = alloca i32 + store i32 2, i32* %B, !tbaa !1 + store i32 79, i32* %Q, !tbaa !2 + %X = call i32 @caller(i32* %B, i32* %Q) + ret i32 %X +} + +!0 = metadata !{metadata !"test"} +!1 = metadata !{metadata !"green", metadata !0} +!2 = metadata !{metadata !"blue", metadata !0} |