diff options
| author | Dan Gohman <gohman@apple.com> | 2010-11-11 16:21:47 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-11-11 16:21:47 +0000 |
| commit | 0cc4c7516e2e5b1feaa9850de03615b6329ef919 (patch) | |
| tree | 85d6ec798dcb36b4afc01e1e4f9b69ba6c9cc48b /llvm/test | |
| parent | c3b4ea7b7d7e1c6f2e29ef3c85f798d94741111a (diff) | |
| download | bcm5719-llvm-0cc4c7516e2e5b1feaa9850de03615b6329ef919.tar.gz bcm5719-llvm-0cc4c7516e2e5b1feaa9850de03615b6329ef919.zip | |
Make Sink tbaa-aware.
llvm-svn: 118788
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Analysis/TypeBasedAliasAnalysis/sink.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/llvm/test/Analysis/TypeBasedAliasAnalysis/sink.ll b/llvm/test/Analysis/TypeBasedAliasAnalysis/sink.ll new file mode 100644 index 00000000000..e9bb61f602e --- /dev/null +++ b/llvm/test/Analysis/TypeBasedAliasAnalysis/sink.ll @@ -0,0 +1,20 @@ +; RUN: opt -tbaa -enable-tbaa -sink -S < %s | FileCheck %s + +; CHECK: a: +; CHECK: %f = load float* %p, !tbaa !2 +; CHECK: store float %f, float* %q + +define void @foo(float* %p, i1 %c, float* %q, float* %r) { + %f = load float* %p, !tbaa !0 + store float 0.0, float* %r, !tbaa !1 + br i1 %c, label %a, label %b +a: + store float %f, float* %q + br label %b +b: + ret void +} + +!0 = metadata !{metadata !"A", metadata !2} +!1 = metadata !{metadata !"B", metadata !2} +!2 = metadata !{metadata !"test"} |
