New unit test for the cloning module, which so far only covers cloning of

instructions' optimization flags.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82934 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2009-09-27 21:39:46 +00:00
parent 06e4052699
commit 4dd68242f1
4 changed files with 120 additions and 1 deletions

View File

@ -9,7 +9,7 @@
LEVEL = ..
PARALLEL_DIRS = ADT ExecutionEngine Support VMCore
PARALLEL_DIRS = ADT ExecutionEngine Support Transforms VMCore
include $(LEVEL)/Makefile.common

View File

@ -0,0 +1,17 @@
##===- unittests/Transforms/Makefile -----------------------*- Makefile -*-===##
#
# The LLVM Compiler Infrastructure
#
# This file is distributed under the University of Illinois Open Source
# License. See LICENSE.TXT for details.
#
##===----------------------------------------------------------------------===##
LEVEL = ../..
PARALLEL_DIRS = Utils
include $(LEVEL)/Makefile.common
clean::
$(Verb) $(RM) -f *Tests

View File

@ -0,0 +1,87 @@
//===- Cloning.cpp - Unit tests for the Cloner ----------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "gtest/gtest.h"
#include "llvm/Argument.h"
#include "llvm/Instructions.h"
using namespace llvm;
TEST(CloneInstruction, OverflowBits) {
LLVMContext context;
Value *V = new Argument(Type::getInt32Ty(context));
BinaryOperator *Add = BinaryOperator::Create(Instruction::Add, V, V);
BinaryOperator *Sub = BinaryOperator::Create(Instruction::Sub, V, V);
BinaryOperator *Mul = BinaryOperator::Create(Instruction::Mul, V, V);
EXPECT_FALSE(Add->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Add->clone()->hasNoSignedWrap());
EXPECT_FALSE(Sub->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Sub->clone()->hasNoSignedWrap());
EXPECT_FALSE(Mul->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Mul->clone()->hasNoSignedWrap());
Add->setHasNoUnsignedWrap();
Sub->setHasNoUnsignedWrap();
Mul->setHasNoUnsignedWrap();
EXPECT_TRUE(Add->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Add->clone()->hasNoSignedWrap());
EXPECT_TRUE(Sub->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Sub->clone()->hasNoSignedWrap());
EXPECT_TRUE(Mul->clone()->hasNoUnsignedWrap());
EXPECT_FALSE(Mul->clone()->hasNoSignedWrap());
Add->setHasNoSignedWrap();
Sub->setHasNoSignedWrap();
Mul->setHasNoSignedWrap();
EXPECT_TRUE(Add->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Add->clone()->hasNoSignedWrap());
EXPECT_TRUE(Sub->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Sub->clone()->hasNoSignedWrap());
EXPECT_TRUE(Mul->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Mul->clone()->hasNoSignedWrap());
Add->setHasNoUnsignedWrap(false);
Sub->setHasNoUnsignedWrap(false);
Mul->setHasNoUnsignedWrap(false);
EXPECT_FALSE(Add->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Add->clone()->hasNoSignedWrap());
EXPECT_FALSE(Sub->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Sub->clone()->hasNoSignedWrap());
EXPECT_FALSE(Mul->clone()->hasNoUnsignedWrap());
EXPECT_TRUE(Mul->clone()->hasNoSignedWrap());
}
TEST(CloneInstruction, Inbounds) {
LLVMContext context;
Value *V = new Argument(Type::getInt32Ty(context)->getPointerTo());
Constant *Z = Constant::getNullValue(Type::getInt32Ty(context));
std::vector<Value *> ops;
ops.push_back(Z);
GetElementPtrInst *GEP = GetElementPtrInst::Create(V, ops.begin(), ops.end());
EXPECT_FALSE(GEP->clone()->isInBounds());
GEP->setIsInBounds();
EXPECT_TRUE(GEP->clone()->isInBounds());
}
TEST(CloneInstruction, Exact) {
LLVMContext context;
Value *V = new Argument(Type::getInt32Ty(context));
BinaryOperator *SDiv = BinaryOperator::Create(Instruction::SDiv, V, V);
EXPECT_FALSE(SDiv->clone()->isExact());
SDiv->setIsExact(true);
EXPECT_TRUE(SDiv->clone()->isExact());
}

View File

@ -0,0 +1,15 @@
##===- unittests/Transforms/Utils/Makefile -----------------*- Makefile -*-===##
#
# The LLVM Compiler Infrastructure
#
# This file is distributed under the University of Illinois Open Source
# License. See LICENSE.TXT for details.
#
##===----------------------------------------------------------------------===##
LEVEL = ../../..
TESTNAME = Utils
LINK_COMPONENTS := core support transformutils
include $(LEVEL)/Makefile.config
include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest