blob: 68019ddc9ad4f7a79fe2012935b2ee86a6250f9b [file] [log] [blame]
Gabor Greifb3c90d92010-07-20 19:35:55 +00001//===---------- llvm/unittest/Support/Casting.cpp - Casting tests ---------===//
Gabor Greifee57dae2010-07-20 16:32:20 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Gabor Greifee57dae2010-07-20 16:32:20 +000010#include "llvm/Support/Casting.h"
Gabor Greifb3c90d92010-07-20 19:35:55 +000011#include "llvm/Support/Debug.h"
12#include "llvm/Support/raw_ostream.h"
Gabor Greifee57dae2010-07-20 16:32:20 +000013
14#include "gtest/gtest.h"
15#include <cstdlib>
16
Gabor Greife8950972010-07-20 17:06:28 +000017namespace llvm {
18
19// set up two example classes
20// with conversion facility
21//
22struct bar {
23 bar() {}
24 //struct foo *baz();
25private:
26 bar(const bar &);
27};
28struct foo {
29 void ext() const;
30 /* static bool classof(const bar *X) {
31 cerr << "Classof: " << X << "\n";
32 return true;
33 }*/
34};
35
36template <> struct isa_impl<foo,bar> {
37 static inline bool doit(const bar &Val) {
38 dbgs() << "Classof: " << &Val << "\n";
39 return true;
40 }
41};
42
43/*foo *bar::baz() {
44 return cast<foo>(this);
45}*/
46
47
48bar *fub();
49} // End llvm namespace
50
Gabor Greifee57dae2010-07-20 16:32:20 +000051using namespace llvm;
52
53namespace {
54
Gabor Greif08993c02010-07-20 16:51:18 +000055const foo *null_foo = NULL;
56
Gabor Greifee57dae2010-07-20 16:32:20 +000057extern bar &B1;
58extern const bar *B2;
Gabor Greif08993c02010-07-20 16:51:18 +000059// test various configurations of const
60const bar &B3 = B1;
61const bar *const B4 = B2;
Gabor Greifee57dae2010-07-20 16:32:20 +000062
Gabor Greifaf8e2ef2010-07-20 16:38:12 +000063TEST(CastingTest, isa) {
Gabor Greifee57dae2010-07-20 16:32:20 +000064 EXPECT_TRUE(isa<foo>(B1));
Gabor Greifaf8e2ef2010-07-20 16:38:12 +000065 EXPECT_TRUE(isa<foo>(B2));
66 EXPECT_TRUE(isa<foo>(B3));
67 EXPECT_TRUE(isa<foo>(B4));
Gabor Greifee57dae2010-07-20 16:32:20 +000068}
69
Gabor Greif08993c02010-07-20 16:51:18 +000070TEST(CastingTest, cast) {
71 foo &F1 = cast<foo>(B1);
72 EXPECT_NE(&F1, null_foo);
73 const foo *F3 = cast<foo>(B2);
74 EXPECT_NE(F3, null_foo);
75 const foo *F4 = cast<foo>(B2);
76 EXPECT_NE(F4, null_foo);
Gabor Greife8950972010-07-20 17:06:28 +000077 const foo &F5 = cast<foo>(B3);
78 EXPECT_NE(&F5, null_foo);
79 const foo *F6 = cast<foo>(B4);
80 EXPECT_NE(F6, null_foo);
81 foo *F7 = cast<foo>(fub());
82 EXPECT_EQ(F7, null_foo);
83
84/* foo *F8 = B1.baz();
85 EXPECT_NE(F8, null_foo);*/
Gabor Greif08993c02010-07-20 16:51:18 +000086}
87
88TEST(CastingTest, cast_or_null) {
89 const foo *F11 = cast_or_null<foo>(B2);
90 EXPECT_NE(F11, null_foo);
91 const foo *F12 = cast_or_null<foo>(B2);
92 EXPECT_NE(F12, null_foo);
93 const foo *F13 = cast_or_null<foo>(B4);
94 EXPECT_NE(F13, null_foo);
95 const foo *F14 = cast_or_null<foo>(fub()); // Shouldn't print.
96 EXPECT_EQ(F14, null_foo);
97}
98
Gabor Greife8950972010-07-20 17:06:28 +000099// These lines are errors...
100//foo *F20 = cast<foo>(B2); // Yields const foo*
101//foo &F21 = cast<foo>(B3); // Yields const foo&
102//foo *F22 = cast<foo>(B4); // Yields const foo*
103//foo &F23 = cast_or_null<foo>(B1);
104//const foo &F24 = cast_or_null<foo>(B3);
105
106
Gabor Greifee57dae2010-07-20 16:32:20 +0000107bar B;
108bar &B1 = B;
109const bar *B2 = &B;
110} // anonymous namespace
Gabor Greife8950972010-07-20 17:06:28 +0000111
112bar *llvm::fub() { return 0; }