diff options
author | Rafael Espindola <rafael.espindola@gmail.com> | 2012-01-02 07:49:53 +0000 |
---|---|---|
committer | Rafael Espindola <rafael.espindola@gmail.com> | 2012-01-02 07:49:53 +0000 |
commit | 47f79bb58e42f1a08a7f388b8b1596ded7d49bbb (patch) | |
tree | 8324e159a48ba6691881b0b8f637a51683df8070 /unittests | |
parent | a86bcfb565bdea5bd45634fd2139ac17172a3500 (diff) | |
download | external_llvm-47f79bb58e42f1a08a7f388b8b1596ded7d49bbb.zip external_llvm-47f79bb58e42f1a08a7f388b8b1596ded7d49bbb.tar.gz external_llvm-47f79bb58e42f1a08a7f388b8b1596ded7d49bbb.tar.bz2 |
Materialize functions whose basic blocks are used by global variables. Fixes
PR11677.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147425 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'unittests')
-rw-r--r-- | unittests/CMakeLists.txt | 1 | ||||
-rw-r--r-- | unittests/VMCore/pr11677.cpp | 64 |
2 files changed, 65 insertions, 0 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index 2eff164..3cd7f2f 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -112,6 +112,7 @@ set(VMCoreSources VMCore/PassManagerTest.cpp VMCore/ValueMapTest.cpp VMCore/VerifierTest.cpp + VMCore/pr11677.cpp ) # MSVC9 and 8 cannot compile ValueMapTest.cpp due to their bug. diff --git a/unittests/VMCore/pr11677.cpp b/unittests/VMCore/pr11677.cpp new file mode 100644 index 0000000..362eec7 --- /dev/null +++ b/unittests/VMCore/pr11677.cpp @@ -0,0 +1,64 @@ +//===- llvm/unittest/VMCore/pr11677.cpp - Test for blockaddr --------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#include "llvm/Analysis/Verifier.h" +#include "llvm/Bitcode/BitstreamWriter.h" +#include "llvm/Bitcode/ReaderWriter.h" +#include "llvm/Constants.h" +#include "llvm/Instructions.h" +#include "llvm/LLVMContext.h" +#include "llvm/Module.h" +#include "llvm/PassManager.h" +#include "llvm/Support/MemoryBuffer.h" +#include "gtest/gtest.h" + +namespace llvm { +namespace { + +static Module *makeLLVMModule() { + Module* Mod = new Module("test-mem", getGlobalContext()); + + FunctionType* FuncTy = + FunctionType::get(Type::getVoidTy(Mod->getContext()), false); + Function* Func = Function::Create(FuncTy,GlobalValue::ExternalLinkage, + "func", Mod); + + BasicBlock* Entry = BasicBlock::Create(Mod->getContext(), "entry", Func); + new UnreachableInst(Mod->getContext(), Entry); + + BasicBlock* BB = BasicBlock::Create(Mod->getContext(), "bb", Func); + new UnreachableInst(Mod->getContext(), BB); + + PointerType* Int8Ptr = Type::getInt8PtrTy(Mod->getContext()); + new GlobalVariable(*Mod, Int8Ptr, /*isConstant=*/true, + GlobalValue::ExternalLinkage, + BlockAddress::get(BB), "table"); + + return Mod; +} + +static void writeModuleToBuffer(std::vector<unsigned char> &Buffer) { + Module *Mod = makeLLVMModule(); + BitstreamWriter Stream(Buffer); + WriteBitcodeToStream(Mod, Stream); +} + +TEST(PR11677, BlockAddr) { + std::vector<unsigned char> Mem; + writeModuleToBuffer(Mem); + StringRef Data((const char*)&Mem[0], Mem.size()); + MemoryBuffer *Buffer = MemoryBuffer::getMemBuffer(Data, "test", false); + std::string errMsg; + Module *m = getLazyBitcodeModule(Buffer, getGlobalContext(), &errMsg); + PassManager passes; + passes.add(createVerifierPass()); + passes.run(*m); +} +} +} |