summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Staszak <jstaszak@apple.com>2011-09-02 14:57:37 +0000
committerJakub Staszak <jstaszak@apple.com>2011-09-02 14:57:37 +0000
commit8cec759339f69ff6479e50c13545db3a5337c71a (patch)
tree0406773f926f3e2955b6fa6f42a002e909c0f435
parent989621f1f8356c977d7578252422de1b65d24587 (diff)
downloadllvm-8cec759339f69ff6479e50c13545db3a5337c71a.tar.gz
llvm-8cec759339f69ff6479e50c13545db3a5337c71a.tar.bz2
llvm-8cec759339f69ff6479e50c13545db3a5337c71a.tar.xz
Compare type size instead of type _store_ size to make sure that BitCastInst
will be valid. This fixes PR10820. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139005 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Transforms/Scalar/GVN.cpp4
-rw-r--r--test/Transforms/GVN/pr10820.ll17
2 files changed, 19 insertions, 2 deletions
diff --git a/lib/Transforms/Scalar/GVN.cpp b/lib/Transforms/Scalar/GVN.cpp
index 3b4c252990..e3f61b5dff 100644
--- a/lib/Transforms/Scalar/GVN.cpp
+++ b/lib/Transforms/Scalar/GVN.cpp
@@ -689,8 +689,8 @@ static Value *CoerceAvailableValueToLoadType(Value *StoredVal,
// If this is already the right type, just return it.
Type *StoredValTy = StoredVal->getType();
- uint64_t StoreSize = TD.getTypeStoreSizeInBits(StoredValTy);
- uint64_t LoadSize = TD.getTypeStoreSizeInBits(LoadedTy);
+ uint64_t StoreSize = TD.getTypeSizeInBits(StoredValTy);
+ uint64_t LoadSize = TD.getTypeSizeInBits(LoadedTy);
// If the store and reload are the same size, we can always reuse it.
if (StoreSize == LoadSize) {
diff --git a/test/Transforms/GVN/pr10820.ll b/test/Transforms/GVN/pr10820.ll
new file mode 100644
index 0000000000..0242571438
--- /dev/null
+++ b/test/Transforms/GVN/pr10820.ll
@@ -0,0 +1,17 @@
+; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
+
+target datalayout =
+"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-f128:128:128-n8:16:32:64"
+target triple = "x86_64-unknown-linux-gnu"
+
+@g = external global i31
+
+define void @main() nounwind uwtable {
+entry:
+; CHECK: store i32
+ store i32 402662078, i32* bitcast (i31* @g to i32*), align 8
+ %0 = load i31* @g, align 8
+; CHECK: store i31
+ store i31 %0, i31* undef, align 1
+ unreachable
+}