mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-13 23:18:51 +00:00
89a08aa76a
it to actually test the new pass manager AA wiring. This patch was extracted from the (somewhat too large) D12357 and rebosed on top of the slightly different design of the new pass manager AA wiring that I just landed. With this we can start testing the AA in a thorough way with the new pass manager. Some minor cleanups to the code in the pass was necessitated here, but otherwise it is a very minimal change. Differential Revision: http://reviews.llvm.org/D17372 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@261403 91177308-0d34-0410-b5e6-96231b3b80d8
80 lines
2.6 KiB
C++
80 lines
2.6 KiB
C++
//===--- MixedTBAATest.cpp - Mixed TBAA 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/Analysis/TypeBasedAliasAnalysis.h"
|
|
#include "llvm/Analysis/AliasAnalysisEvaluator.h"
|
|
#include "llvm/Analysis/Passes.h"
|
|
#include "llvm/IR/Constants.h"
|
|
#include "llvm/IR/Instructions.h"
|
|
#include "llvm/IR/LLVMContext.h"
|
|
#include "llvm/IR/MDBuilder.h"
|
|
#include "llvm/IR/Module.h"
|
|
#include "llvm/IR/LegacyPassManager.h"
|
|
#include "llvm/Support/CommandLine.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
namespace llvm {
|
|
namespace {
|
|
|
|
class MixedTBAATest : public testing::Test {
|
|
protected:
|
|
MixedTBAATest() : M("MixedTBAATest", C), MD(C) {}
|
|
|
|
LLVMContext C;
|
|
Module M;
|
|
MDBuilder MD;
|
|
legacy::PassManager PM;
|
|
};
|
|
|
|
TEST_F(MixedTBAATest, MixedTBAA) {
|
|
// Setup function.
|
|
FunctionType *FTy = FunctionType::get(Type::getVoidTy(C),
|
|
std::vector<Type *>(), false);
|
|
auto *F = cast<Function>(M.getOrInsertFunction("f", FTy));
|
|
auto *BB = BasicBlock::Create(C, "entry", F);
|
|
auto IntType = Type::getInt32Ty(C);
|
|
auto PtrType = Type::getInt32PtrTy(C);
|
|
auto *Value = ConstantInt::get(IntType, 42);
|
|
auto *Addr = ConstantPointerNull::get(PtrType);
|
|
|
|
auto *Store1 = new StoreInst(Value, Addr, BB);
|
|
auto *Store2 = new StoreInst(Value, Addr, BB);
|
|
ReturnInst::Create(C, nullptr, BB);
|
|
|
|
// New TBAA metadata
|
|
{
|
|
auto RootMD = MD.createTBAARoot("Simple C/C++ TBAA");
|
|
auto MD1 = MD.createTBAAScalarTypeNode("omnipotent char", RootMD);
|
|
auto MD2 = MD.createTBAAScalarTypeNode("int", MD1);
|
|
auto MD3 = MD.createTBAAStructTagNode(MD2, MD2, 0);
|
|
Store2->setMetadata(LLVMContext::MD_tbaa, MD3);
|
|
}
|
|
|
|
// Old TBAA metadata
|
|
{
|
|
auto RootMD = MD.createTBAARoot("Simple C/C++ TBAA");
|
|
auto MD1 = MD.createTBAANode("omnipotent char", RootMD);
|
|
auto MD2 = MD.createTBAANode("int", MD1);
|
|
Store1->setMetadata(LLVMContext::MD_tbaa, MD2);
|
|
}
|
|
|
|
// Run the TBAA eval pass on a mixture of path-aware and non-path-aware TBAA.
|
|
// The order of the metadata (path-aware vs non-path-aware) is important,
|
|
// because the AA eval pass only runs one test per store-pair.
|
|
const char* args[] = { "MixedTBAATest", "-evaluate-aa-metadata" };
|
|
cl::ParseCommandLineOptions(sizeof(args) / sizeof(const char*), args);
|
|
PM.add(createTypeBasedAAWrapperPass());
|
|
PM.add(createAAEvalPass());
|
|
PM.run(M);
|
|
}
|
|
|
|
} // end anonymous namspace
|
|
} // end llvm namespace
|
|
|