mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-18 10:31:57 +00:00
bea4626f93
Add a unnamed_addr bit to global variables and functions. This will be used to indicate that the address is not significant and therefore the constant or function can be merged with others. If an optimization pass can show that an address is not used, it can set this. Examples of things that can have this set by the FE are globals created to hold string literals and C++ constructors. Adding unnamed_addr to a non-const global should have no effect unless an optimization can transform that global into a constant. Aliases are not allowed to have unnamed_addr since I couldn't figure out any use for it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123063 91177308-0d34-0410-b5e6-96231b3b80d8
66 lines
2.3 KiB
C++
66 lines
2.3 KiB
C++
//===- llvm/unittest/VMCore/VerifierTest.cpp - Verifier unit tests --------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Constants.h"
|
|
#include "llvm/DerivedTypes.h"
|
|
#include "llvm/Function.h"
|
|
#include "llvm/GlobalAlias.h"
|
|
#include "llvm/GlobalVariable.h"
|
|
#include "llvm/Instructions.h"
|
|
#include "llvm/LLVMContext.h"
|
|
#include "llvm/Module.h"
|
|
#include "llvm/ADT/OwningPtr.h"
|
|
#include "llvm/Analysis/Verifier.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
namespace llvm {
|
|
namespace {
|
|
|
|
TEST(VerifierTest, Branch_i1) {
|
|
LLVMContext &C = getGlobalContext();
|
|
FunctionType *FTy = FunctionType::get(Type::getVoidTy(C), /*isVarArg=*/false);
|
|
OwningPtr<Function> F(Function::Create(FTy, GlobalValue::ExternalLinkage));
|
|
BasicBlock *Entry = BasicBlock::Create(C, "entry", F.get());
|
|
BasicBlock *Exit = BasicBlock::Create(C, "exit", F.get());
|
|
ReturnInst::Create(C, Exit);
|
|
|
|
// To avoid triggering an assertion in BranchInst::Create, we first create
|
|
// a branch with an 'i1' condition ...
|
|
|
|
Constant *False = ConstantInt::getFalse(C);
|
|
BranchInst *BI = BranchInst::Create(Exit, Exit, False, Entry);
|
|
|
|
// ... then use setOperand to redirect it to a value of different type.
|
|
|
|
Constant *Zero32 = ConstantInt::get(IntegerType::get(C, 32), 0);
|
|
BI->setOperand(0, Zero32);
|
|
|
|
EXPECT_TRUE(verifyFunction(*F, ReturnStatusAction));
|
|
}
|
|
|
|
TEST(VerifierTest, AliasUnnamedAddr) {
|
|
LLVMContext &C = getGlobalContext();
|
|
Module M("M", C);
|
|
const Type *Ty = Type::getInt8Ty(C);
|
|
Constant *Init = Constant::getNullValue(Ty);
|
|
GlobalVariable *Aliasee = new GlobalVariable(M, Ty, true,
|
|
GlobalValue::ExternalLinkage,
|
|
Init, "foo");
|
|
GlobalAlias *GA = new GlobalAlias(Type::getInt8PtrTy(C),
|
|
GlobalValue::ExternalLinkage,
|
|
"bar", Aliasee, &M);
|
|
GA->setUnnamedAddr(true);
|
|
std::string Error;
|
|
EXPECT_TRUE(verifyModule(M, ReturnStatusAction, &Error));
|
|
EXPECT_TRUE(StringRef(Error).startswith("Alias cannot have unnamed_addr"));
|
|
}
|
|
|
|
}
|
|
}
|