[llvm] r279998 - Propagate TBAA info in SelectionDAG::getIndexedLoad
Krzysztof Parzyszek via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 29 12:50:15 PDT 2016
Author: kparzysz
Date: Mon Aug 29 14:50:15 2016
New Revision: 279998
URL: http://llvm.org/viewvc/llvm-project?rev=279998&view=rev
Log:
Propagate TBAA info in SelectionDAG::getIndexedLoad
Patch by Pranav Bhandarkar.
Added:
llvm/trunk/test/CodeGen/Hexagon/post-inc-aa-metadata.ll
Modified:
llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
Modified: llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp?rev=279998&r1=279997&r2=279998&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp (original)
+++ llvm/trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp Mon Aug 29 14:50:15 2016
@@ -5146,7 +5146,8 @@ SDValue SelectionDAG::getIndexedLoad(SDV
LD->getMemOperand()->getFlags() & ~MachineMemOperand::MOInvariant;
return getLoad(AM, LD->getExtensionType(), OrigLoad.getValueType(), dl,
LD->getChain(), Base, Offset, LD->getPointerInfo(),
- LD->getMemoryVT(), LD->getAlignment(), MMOFlags);
+ LD->getMemoryVT(), LD->getAlignment(), MMOFlags,
+ LD->getAAInfo());
}
SDValue SelectionDAG::getStore(SDValue Chain, const SDLoc &dl, SDValue Val,
Added: llvm/trunk/test/CodeGen/Hexagon/post-inc-aa-metadata.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Hexagon/post-inc-aa-metadata.ll?rev=279998&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Hexagon/post-inc-aa-metadata.ll (added)
+++ llvm/trunk/test/CodeGen/Hexagon/post-inc-aa-metadata.ll Mon Aug 29 14:50:15 2016
@@ -0,0 +1,37 @@
+; RUN: llc -march=hexagon -debug-only=isel < %s 2>&1 | FileCheck %s
+; REQUIRES: asserts
+
+; Check that the generated post-increment load has TBAA information.
+; CHECK-LABEL: Machine code for function fred:
+; CHECK: = V6_vL32b_pi %vreg{{[0-9]+}}<tied1>, 64; mem:LD64[{{.*}}](tbaa=
+
+target triple = "hexagon"
+
+; Function Attrs: norecurse nounwind
+define void @fred(<16 x i32>* nocapture %p, <16 x i32>* nocapture readonly %q, i32 %n) local_unnamed_addr #0 {
+entry:
+ %tobool2 = icmp eq i32 %n, 0
+ br i1 %tobool2, label %while.end, label %while.body
+
+while.body: ; preds = %entry, %while.body
+ %n.addr.05 = phi i32 [ %dec, %while.body ], [ %n, %entry ]
+ %q.addr.04 = phi <16 x i32>* [ %incdec.ptr, %while.body ], [ %q, %entry ]
+ %p.addr.03 = phi <16 x i32>* [ %incdec.ptr1, %while.body ], [ %p, %entry ]
+ %dec = add i32 %n.addr.05, -1
+ %incdec.ptr = getelementptr inbounds <16 x i32>, <16 x i32>* %q.addr.04, i32 1
+ %0 = load <16 x i32>, <16 x i32>* %q.addr.04, align 64, !tbaa !1
+ %incdec.ptr1 = getelementptr inbounds <16 x i32>, <16 x i32>* %p.addr.03, i32 1
+ store <16 x i32> %0, <16 x i32>* %p.addr.03, align 64, !tbaa !1
+ %tobool = icmp eq i32 %dec, 0
+ br i1 %tobool, label %while.end, label %while.body
+
+while.end: ; preds = %while.body, %entry
+ ret void
+}
+
+attributes #0 = { norecurse nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,-hvx-double" }
+
+
+!1 = !{!2, !2, i64 0}
+!2 = !{!"omnipotent char", !3, i64 0}
+!3 = !{!"Simple C/C++ TBAA"}
More information about the llvm-commits
mailing list