llvm/unittests/ADT/IntEqClassesTest.cpp
Jakob Stoklund Olesen 2a6899c539 Add ADT/IntEqClasses.h as a light-weight implementation of EquivalenceClasses.h.
This implementation already exists as ConnectedVNInfoEqClasses in
LiveInterval.cpp, and it seems to be generally useful to have a light-weight way
of forming equivalence classes of small integers.

IntEqClasses doesn't allow enumeration of the elements in a class.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122293 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-21 00:04:46 +00:00

108 lines
2.8 KiB
C++

//===---- ADT/IntEqClassesTest.cpp - IntEqClasses unit tests ----*- C++ -*-===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "llvm/ADT/IntEqClasses.h"
#include "gtest/gtest.h"
using namespace llvm;
namespace {
TEST(IntEqClasses, Simple) {
IntEqClasses ec(10);
ec.join(0, 1);
ec.join(3, 2);
ec.join(4, 5);
ec.join(7, 6);
EXPECT_EQ(0u, ec.findLeader(0));
EXPECT_EQ(0u, ec.findLeader(1));
EXPECT_EQ(2u, ec.findLeader(2));
EXPECT_EQ(2u, ec.findLeader(3));
EXPECT_EQ(4u, ec.findLeader(4));
EXPECT_EQ(4u, ec.findLeader(5));
EXPECT_EQ(6u, ec.findLeader(6));
EXPECT_EQ(6u, ec.findLeader(7));
EXPECT_EQ(8u, ec.findLeader(8));
EXPECT_EQ(9u, ec.findLeader(9));
// join two non-leaders.
ec.join(1, 3);
EXPECT_EQ(0u, ec.findLeader(0));
EXPECT_EQ(0u, ec.findLeader(1));
EXPECT_EQ(0u, ec.findLeader(2));
EXPECT_EQ(0u, ec.findLeader(3));
EXPECT_EQ(4u, ec.findLeader(4));
EXPECT_EQ(4u, ec.findLeader(5));
EXPECT_EQ(6u, ec.findLeader(6));
EXPECT_EQ(6u, ec.findLeader(7));
EXPECT_EQ(8u, ec.findLeader(8));
EXPECT_EQ(9u, ec.findLeader(9));
// join two leaders.
ec.join(4, 8);
EXPECT_EQ(0u, ec.findLeader(0));
EXPECT_EQ(0u, ec.findLeader(1));
EXPECT_EQ(0u, ec.findLeader(2));
EXPECT_EQ(0u, ec.findLeader(3));
EXPECT_EQ(4u, ec.findLeader(4));
EXPECT_EQ(4u, ec.findLeader(5));
EXPECT_EQ(6u, ec.findLeader(6));
EXPECT_EQ(6u, ec.findLeader(7));
EXPECT_EQ(4u, ec.findLeader(8));
EXPECT_EQ(9u, ec.findLeader(9));
// join mixed.
ec.join(9, 1);
EXPECT_EQ(0u, ec.findLeader(0));
EXPECT_EQ(0u, ec.findLeader(1));
EXPECT_EQ(0u, ec.findLeader(2));
EXPECT_EQ(0u, ec.findLeader(3));
EXPECT_EQ(4u, ec.findLeader(4));
EXPECT_EQ(4u, ec.findLeader(5));
EXPECT_EQ(6u, ec.findLeader(6));
EXPECT_EQ(6u, ec.findLeader(7));
EXPECT_EQ(4u, ec.findLeader(8));
EXPECT_EQ(0u, ec.findLeader(9));
// compressed map.
ec.compress();
EXPECT_EQ(3u, ec.getNumClasses());
EXPECT_EQ(0u, ec[0]);
EXPECT_EQ(0u, ec[1]);
EXPECT_EQ(0u, ec[2]);
EXPECT_EQ(0u, ec[3]);
EXPECT_EQ(1u, ec[4]);
EXPECT_EQ(1u, ec[5]);
EXPECT_EQ(2u, ec[6]);
EXPECT_EQ(2u, ec[7]);
EXPECT_EQ(1u, ec[8]);
EXPECT_EQ(0u, ec[9]);
// uncompressed map.
ec.uncompress();
EXPECT_EQ(0u, ec.findLeader(0));
EXPECT_EQ(0u, ec.findLeader(1));
EXPECT_EQ(0u, ec.findLeader(2));
EXPECT_EQ(0u, ec.findLeader(3));
EXPECT_EQ(4u, ec.findLeader(4));
EXPECT_EQ(4u, ec.findLeader(5));
EXPECT_EQ(6u, ec.findLeader(6));
EXPECT_EQ(6u, ec.findLeader(7));
EXPECT_EQ(4u, ec.findLeader(8));
EXPECT_EQ(0u, ec.findLeader(9));
}
} // end anonymous namespace