[PATCH] D48330: [GVN] Avoid casting a vector of size less than 8 bits to i8

Matthew Voss via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jun 21 14:48:35 PDT 2018


This revision was automatically updated to reflect the committed changes.
Closed by commit rL335294: [GVN] Avoid casting a vector of size less than 8 bits to i8 (authored by ormris, committed by ).

Repository:
  rL LLVM

https://reviews.llvm.org/D48330

Files:
  llvm/trunk/lib/Transforms/Utils/VNCoercion.cpp
  llvm/trunk/test/Transforms/GVN/pr28879.ll


Index: llvm/trunk/test/Transforms/GVN/pr28879.ll
===================================================================
--- llvm/trunk/test/Transforms/GVN/pr28879.ll
+++ llvm/trunk/test/Transforms/GVN/pr28879.ll
@@ -0,0 +1,34 @@
+; RUN: opt -gvn <%s -S -o - | FileCheck %s
+
+define void @f() {
+entry:
+  %a = alloca <7 x i1>, align 2
+  store <7 x i1> undef, <7 x i1>* %a, align 2
+; CHECK: store <7 x i1> undef, <7 x i1>*
+  %0 = getelementptr inbounds <7 x i1>, <7 x i1>* %a, i64 0, i64 0
+  %val = load i1, i1* %0, align 2
+; CHECK: load i1, i1* 
+  br i1 %val, label %cond.true, label %cond.false
+
+cond.true:
+  ret void
+
+cond.false:
+  ret void
+}
+
+define <7 x i1> @g(<7 x i1>* %a) {
+entry:
+  %vec = load <7 x i1>, <7 x i1>* %a
+; CHECK: load <7 x i1>, <7 x i1>*
+  %0 = getelementptr inbounds <7 x i1>, <7 x i1>* %a, i64 0, i64 0
+  %val = load i1, i1* %0, align 2
+; CHECK: load i1, i1*
+  br i1 %val, label %cond.true, label %cond.false
+
+cond.true:
+  ret <7 x i1> %vec
+
+cond.false:
+  ret <7 x i1> <i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>
+}
Index: llvm/trunk/lib/Transforms/Utils/VNCoercion.cpp
===================================================================
--- llvm/trunk/lib/Transforms/Utils/VNCoercion.cpp
+++ llvm/trunk/lib/Transforms/Utils/VNCoercion.cpp
@@ -20,8 +20,14 @@
       StoredVal->getType()->isStructTy() || StoredVal->getType()->isArrayTy())
     return false;
 
+  uint64_t StoreSize = DL.getTypeSizeInBits(StoredVal->getType());
+
+  // The store size must be byte-aligned to support future type casts.
+  if (llvm::alignTo(StoreSize, 8) != StoreSize)
+    return false;
+
   // The store has to be at least as big as the load.
-  if (DL.getTypeSizeInBits(StoredVal->getType()) < DL.getTypeSizeInBits(LoadTy))
+  if (StoreSize < DL.getTypeSizeInBits(LoadTy))
     return false;
 
   // Don't coerce non-integral pointers to integers or vice versa.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D48330.152384.patch
Type: text/x-patch
Size: 1923 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180621/d0ebcb3d/attachment.bin>


More information about the llvm-commits mailing list