diff --git a/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll b/test/Analysis/TypeBasedAliasAnalysis/aliastest.ll index bd008f3c923..e9b479d6cd8 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 {