diff options
| -rw-r--r-- | lib/Transforms/IPO/GlobalOpt.cpp | 2 | ||||
| -rw-r--r-- | test/Transforms/GlobalOpt/invariant-nodatalayout.ll | 17 |
2 files changed, 18 insertions, 1 deletions
diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp index 6250cc5..20af15e 100644 --- a/lib/Transforms/IPO/GlobalOpt.cpp +++ b/lib/Transforms/IPO/GlobalOpt.cpp @@ -2783,7 +2783,7 @@ bool Evaluator::EvaluateBlock(BasicBlock::iterator CurInst, Value *Ptr = PtrArg->stripPointerCasts(); if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Ptr)) { Type *ElemTy = cast<PointerType>(GV->getType())->getElementType(); - if (!Size->isAllOnesValue() && + if (TD && !Size->isAllOnesValue() && Size->getValue().getLimitedValue() >= TD->getTypeStoreSize(ElemTy)) { Invariants.insert(GV); diff --git a/test/Transforms/GlobalOpt/invariant-nodatalayout.ll b/test/Transforms/GlobalOpt/invariant-nodatalayout.ll new file mode 100644 index 0000000..a2abd52 --- /dev/null +++ b/test/Transforms/GlobalOpt/invariant-nodatalayout.ll @@ -0,0 +1,17 @@ +; RUN: opt -globalopt -S -o - < %s | FileCheck %s +; The check here is that it doesn't crash. + +declare {}* @llvm.invariant.start(i64 %size, i8* nocapture %ptr) + +@object1 = global { i32, i32 } zeroinitializer +; CHECK: @object1 = global { i32, i32 } zeroinitializer + +define void @ctor1() { + %ptr = bitcast {i32, i32}* @object1 to i8* + call {}* @llvm.invariant.start(i64 4, i8* %ptr) + ret void +} + +@llvm.global_ctors = appending constant + [1 x { i32, void ()* }] + [ { i32, void ()* } { i32 65535, void ()* @ctor1 } ] |