diff options
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/TypeBasedAliasAnalysis/aliastest.ll | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll b/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll index bd008f3..e9b479d 100644 --- a/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll +++ b/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll @@ -1,5 +1,7 @@ ; RUN: opt < %s -enable-tbaa -tbaa -basicaa -gvn -S | FileCheck %s +; Test that basic alias queries work. + ; CHECK: @test0_yes ; CHECK: add i8 %x, %x define i8 @test0_yes(i8* %a, i8* %b) nounwind { @@ -20,6 +22,8 @@ define i8 @test0_no(i8* %a, i8* %b) nounwind { ret i8 %z } +; Test that basic invariant-memory queries work. + ; CHECK: @test1_yes ; CHECK: add i8 %x, %x define i8 @test1_yes(i8* %a, i8* %b) nounwind { |