mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 04:30:23 +00:00
266 lines
8.4 KiB
C++
266 lines
8.4 KiB
C++
|
//===---- llvm/unittest/IR/PatternMatch.cpp - PatternMatch 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/ADT/STLExtras.h"
|
||
|
#include "llvm/Analysis/ValueTracking.h"
|
||
|
#include "llvm/IR/BasicBlock.h"
|
||
|
#include "llvm/IR/Constants.h"
|
||
|
#include "llvm/IR/DataLayout.h"
|
||
|
#include "llvm/IR/DerivedTypes.h"
|
||
|
#include "llvm/IR/Instructions.h"
|
||
|
#include "llvm/IR/IRBuilder.h"
|
||
|
#include "llvm/IR/LLVMContext.h"
|
||
|
#include "llvm/IR/MDBuilder.h"
|
||
|
#include "llvm/IR/Operator.h"
|
||
|
#include "llvm/Support/NoFolder.h"
|
||
|
#include "llvm/Support/PatternMatch.h"
|
||
|
#include "gtest/gtest.h"
|
||
|
|
||
|
using namespace llvm::PatternMatch;
|
||
|
|
||
|
namespace llvm {
|
||
|
namespace {
|
||
|
|
||
|
/// Ordered floating point minimum/maximum tests.
|
||
|
|
||
|
static void m_OrdFMin_expect_match_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_TRUE(m_OrdFMin(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
EXPECT_EQ(L, MatchL);
|
||
|
EXPECT_EQ(R, MatchR);
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_OrdFMin_expect_nomatch_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_FALSE(m_OrdFMin(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_OrdFMax_expect_match_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_TRUE(m_OrdFMax(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
EXPECT_EQ(L, MatchL);
|
||
|
EXPECT_EQ(R, MatchR);
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_OrdFMax_expect_nomatch_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_FALSE(m_OrdFMax(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
|
||
|
|
||
|
TEST(PatternMatchTest, FloatingPointOrderedMin) {
|
||
|
LLVMContext &C(getGlobalContext());
|
||
|
IRBuilder<true, NoFolder> Builder(C);
|
||
|
|
||
|
Type *FltTy = Builder.getFloatTy();
|
||
|
Value *L = ConstantFP::get(FltTy, 1.0);
|
||
|
Value *R = ConstantFP::get(FltTy, 2.0);
|
||
|
|
||
|
// Test OLT.
|
||
|
Value *Cmp = Builder.CreateFCmpOLT(L, R);
|
||
|
Value *Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test OLE.
|
||
|
Cmp = Builder.CreateFCmpOLE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on OGE.
|
||
|
Cmp = Builder.CreateFCmpOGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMin_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on OGT.
|
||
|
Cmp = Builder.CreateFCmpOGT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMin_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on OGE with inverted select.
|
||
|
Cmp = Builder.CreateFCmpOGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_OrdFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on OGT with inverted select.
|
||
|
Cmp = Builder.CreateFCmpOGT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_OrdFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
}
|
||
|
|
||
|
TEST(PatternMatchTest, FloatingPointOrderedMax) {
|
||
|
LLVMContext &C(getGlobalContext());
|
||
|
IRBuilder<true, NoFolder> Builder(C);
|
||
|
|
||
|
Type *FltTy = Builder.getFloatTy();
|
||
|
Value *L = ConstantFP::get(FltTy, 1.0);
|
||
|
Value *R = ConstantFP::get(FltTy, 2.0);
|
||
|
|
||
|
// Test OGT.
|
||
|
Value *Cmp = Builder.CreateFCmpOGT(L, R);
|
||
|
Value *Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test OGE.
|
||
|
Cmp = Builder.CreateFCmpOGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on OLE.
|
||
|
Cmp = Builder.CreateFCmpOLE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMax_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on OLT.
|
||
|
Cmp = Builder.CreateFCmpOLT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_OrdFMax_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on OLE with inverted select.
|
||
|
Cmp = Builder.CreateFCmpOLE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_OrdFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on OLT with inverted select.
|
||
|
Cmp = Builder.CreateFCmpOLT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_OrdFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
}
|
||
|
|
||
|
/// Unordered floating point minimum/maximum tests.
|
||
|
|
||
|
static void m_UnordFMin_expect_match_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_TRUE(m_UnordFMin(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
EXPECT_EQ(L, MatchL);
|
||
|
EXPECT_EQ(R, MatchR);
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_UnordFMin_expect_nomatch_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_FALSE(m_UnordFMin(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_UnordFMax_expect_match_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_TRUE(m_UnordFMax(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
EXPECT_EQ(L, MatchL);
|
||
|
EXPECT_EQ(R, MatchR);
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
static void m_UnordFMax_expect_nomatch_and_delete(Value *Cmp, Value *Select,
|
||
|
Value *L, Value *R) {
|
||
|
Value *MatchL, *MatchR;
|
||
|
EXPECT_FALSE(m_UnordFMax(m_Value(MatchL), m_Value(MatchR)).match(Select));
|
||
|
delete Select;
|
||
|
delete Cmp;
|
||
|
}
|
||
|
|
||
|
TEST(PatternMatchTest, FloatingPointUnorderedMin) {
|
||
|
LLVMContext &C(getGlobalContext());
|
||
|
IRBuilder<true, NoFolder> Builder(C);
|
||
|
|
||
|
Type *FltTy = Builder.getFloatTy();
|
||
|
Value *L = ConstantFP::get(FltTy, 1.0);
|
||
|
Value *R = ConstantFP::get(FltTy, 2.0);
|
||
|
|
||
|
// Test ULT.
|
||
|
Value *Cmp = Builder.CreateFCmpULT(L, R);
|
||
|
Value *Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test ULE.
|
||
|
Cmp = Builder.CreateFCmpULE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on UGE.
|
||
|
Cmp = Builder.CreateFCmpUGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMin_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on UGT.
|
||
|
Cmp = Builder.CreateFCmpUGT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMin_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on UGE with inverted select.
|
||
|
Cmp = Builder.CreateFCmpUGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_UnordFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on UGT with inverted select.
|
||
|
Cmp = Builder.CreateFCmpUGT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_UnordFMin_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
}
|
||
|
|
||
|
TEST(PatternMatchTest, FloatingPointUnorderedMax) {
|
||
|
LLVMContext &C(getGlobalContext());
|
||
|
IRBuilder<true, NoFolder> Builder(C);
|
||
|
|
||
|
Type *FltTy = Builder.getFloatTy();
|
||
|
Value *L = ConstantFP::get(FltTy, 1.0);
|
||
|
Value *R = ConstantFP::get(FltTy, 2.0);
|
||
|
|
||
|
// Test UGT.
|
||
|
Value *Cmp = Builder.CreateFCmpUGT(L, R);
|
||
|
Value *Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test UGE.
|
||
|
Cmp = Builder.CreateFCmpUGE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on ULE.
|
||
|
Cmp = Builder.CreateFCmpULE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMax_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test no match on ULT.
|
||
|
Cmp = Builder.CreateFCmpULT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, L, R);
|
||
|
m_UnordFMax_expect_nomatch_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on ULE with inverted select.
|
||
|
Cmp = Builder.CreateFCmpULE(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_UnordFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
|
||
|
// Test match on ULT with inverted select.
|
||
|
Cmp = Builder.CreateFCmpULT(L, R);
|
||
|
Select = Builder.CreateSelect(Cmp, R, L);
|
||
|
m_UnordFMax_expect_match_and_delete(Cmp, Select, L, R);
|
||
|
}
|
||
|
|
||
|
} // anonymous namespace.
|
||
|
} // llvm namespace.
|