[llvm-commits] [llvm] r116745 - /llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll
Dan Gohman
gohman at apple.com
Mon Oct 18 14:00:09 PDT 2010
Author: djg
Date: Mon Oct 18 16:00:09 2010
New Revision: 116745
URL: http://llvm.org/viewvc/llvm-project?rev=116745&view=rev
Log:
Add a basic testcase for TBAA-aware LICM.
Added:
llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll
Added: llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll?rev=116745&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll (added)
+++ llvm/trunk/test/Analysis/TypeBasedAliasAnalysis/licm.ll Mon Oct 18 16:00:09 2010
@@ -0,0 +1,33 @@
+; RUN: opt -tbaa -licm -enable-tbaa -S < %s | FileCheck %s
+
+; LICM should be able to hoist the address load out of the loop
+; by using TBAA information.
+
+; CHECK: entry:
+; CHECK-NEXT: %tmp3 = load double** @P, !tbaa !0
+; CHECK-NEXT: br label %for.body
+
+ at P = common global double* null
+
+define void @foo(i64 %n) nounwind {
+entry:
+ br label %for.body
+
+for.body: ; preds = %entry, %for.body
+ %i.07 = phi i64 [ %inc, %for.body ], [ 0, %entry ]
+ %tmp3 = load double** @P, !tbaa !1
+ %scevgep = getelementptr double* %tmp3, i64 %i.07
+ %tmp4 = load double* %scevgep, !tbaa !2
+ %mul = fmul double %tmp4, 2.300000e+00
+ store double %mul, double* %scevgep, !tbaa !2
+ %inc = add i64 %i.07, 1
+ %exitcond = icmp eq i64 %inc, %n
+ br i1 %exitcond, label %for.end, label %for.body
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+!0 = metadata !{metadata !"root", null}
+!1 = metadata !{metadata !"pointer", metadata !0}
+!2 = metadata !{metadata !"double", metadata !0}
More information about the llvm-commits
mailing list