commit ed1c0c7f5817be939872b462be984534bd48bb9b
author Evan Cheng <evan.cheng@apple.com> Mon Nov 28 22:37:34 2011 +0000
committer Evan Cheng <evan.cheng@apple.com> Mon Nov 28 22:37:34 2011 +0000
tree ef53597756cecb7f5cfd90c2e9359194a9497a86
parent a483fc8e6f9533317f517f2d03f3a41ec0aee663

Revert r145273 and fix in SelectionDAG::InferPtrAlignment() instead.
Conservatively returns zero when the GV does not specify an alignment nor is it
initialized. Previously it returns ABI alignment for type of the GV. However, if
the type is a "packed" type, then the under-specified alignments is attached to
the load / store instructions. In that case, the alignment of the type cannot be
trusted.
rdar://10464621


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145300 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/SelectionDAG/DAGCombiner.cpp

diff --git a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
index 2c4886a..d8208a4 100644
--- a/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
+++ b/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
@@ -6206,20 +6206,13 @@
 
   // Try to infer better alignment information than the load already has.
   if (OptLevel != CodeGenOpt::None && LD->isUnindexed()) {
-    unsigned ABIAlign = TLI.getTargetData()->
-      getABITypeAlignment(LD->getMemoryVT().getTypeForEVT(*DAG.getContext()));
-    unsigned LDAlign = LD->getAlignment();
-    // Do not touch loads with explicit alignments that are smaller than ABI
-    // alignment to avoid breaking loads from "packed" types.
-    if (!LDAlign || LDAlign >= ABIAlign) {
-      if (unsigned Align = DAG.InferPtrAlignment(Ptr)) {
-        if (Align > LDAlign)
-          return DAG.getExtLoad(LD->getExtensionType(), N->getDebugLoc(),
-                                LD->getValueType(0),
-                                Chain, Ptr, LD->getPointerInfo(),
-                                LD->getMemoryVT(),
-                                LD->isVolatile(), LD->isNonTemporal(), Align);
-      }
+    if (unsigned Align = DAG.InferPtrAlignment(Ptr)) {
+      if (Align > LD->getAlignment())
+        return DAG.getExtLoad(LD->getExtensionType(), N->getDebugLoc(),
+                              LD->getValueType(0),
+                              Chain, Ptr, LD->getPointerInfo(),
+                              LD->getMemoryVT(),
+                              LD->isVolatile(), LD->isNonTemporal(), Align);
     }
   }
 
@@ -6676,18 +6669,11 @@
 
   // Try to infer better alignment information than the store already has.
   if (OptLevel != CodeGenOpt::None && ST->isUnindexed()) {
-    unsigned ABIAlign = TLI.getTargetData()->
-      getABITypeAlignment(ST->getMemoryVT().getTypeForEVT(*DAG.getContext()));
-    unsigned STAlign = ST->getAlignment();
-    // Do not touch stores with explicit alignments that are smaller than ABI
-    // alignment to avoid breaking stores from "packed" types.
-    if (!STAlign || STAlign >= ABIAlign) {
-      if (unsigned Align = DAG.InferPtrAlignment(Ptr)) {
-        if (Align > STAlign)
-          return DAG.getTruncStore(Chain, N->getDebugLoc(), Value,
-                                   Ptr, ST->getPointerInfo(), ST->getMemoryVT(),
-                                   ST->isVolatile(), ST->isNonTemporal(),Align);
-      }
+    if (unsigned Align = DAG.InferPtrAlignment(Ptr)) {
+      if (Align > ST->getAlignment())
+        return DAG.getTruncStore(Chain, N->getDebugLoc(), Value,
+                                 Ptr, ST->getPointerInfo(), ST->getMemoryVT(),
+                                 ST->isVolatile(), ST->isNonTemporal(), Align);
     }
   }