blob: ae84693bd636dcea635b47a8aaa70179b84a3086 [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() {}
Gabor Greifd1594672010-07-22 15:24:48 +000024 struct foo *baz();
25 struct foo *caz();
Gabor Greiff06eb372010-07-22 15:37:20 +000026 struct foo *daz();
27 struct foo *naz();
Gabor Greife8950972010-07-20 17:06:28 +000028private:
29 bar(const bar &);
30};
31struct foo {
32 void ext() const;
33 /* static bool classof(const bar *X) {
34 cerr << "Classof: " << X << "\n";
35 return true;
36 }*/
37};
38
Gabor Greiff06eb372010-07-22 15:37:20 +000039template <> struct isa_impl<foo, bar> {
Gabor Greife8950972010-07-20 17:06:28 +000040 static inline bool doit(const bar &Val) {
41 dbgs() << "Classof: " << &Val << "\n";
42 return true;
43 }
44};
45
Gabor Greifd1594672010-07-22 15:24:48 +000046foo *bar::baz() {
Gabor Greife8950972010-07-20 17:06:28 +000047 return cast<foo>(this);
Gabor Greifd1594672010-07-22 15:24:48 +000048}
49
50foo *bar::caz() {
51 return cast_or_null<foo>(this);
52}
53
Gabor Greiff06eb372010-07-22 15:37:20 +000054foo *bar::daz() {
Gabor Greifd1594672010-07-22 15:24:48 +000055 return dyn_cast<foo>(this);
Gabor Greiff06eb372010-07-22 15:37:20 +000056}
57
58foo *bar::naz() {
59 return dyn_cast_or_null<foo>(this);
60}
Gabor Greife8950972010-07-20 17:06:28 +000061
62
63bar *fub();
64} // End llvm namespace
65
Gabor Greifee57dae2010-07-20 16:32:20 +000066using namespace llvm;
67
68namespace {
69
Gabor Greif08993c02010-07-20 16:51:18 +000070const foo *null_foo = NULL;
71
Gabor Greifee57dae2010-07-20 16:32:20 +000072extern bar &B1;
73extern const bar *B2;
Gabor Greif08993c02010-07-20 16:51:18 +000074// test various configurations of const
75const bar &B3 = B1;
76const bar *const B4 = B2;
Gabor Greifee57dae2010-07-20 16:32:20 +000077
Gabor Greifaf8e2ef2010-07-20 16:38:12 +000078TEST(CastingTest, isa) {
Gabor Greifee57dae2010-07-20 16:32:20 +000079 EXPECT_TRUE(isa<foo>(B1));
Gabor Greifaf8e2ef2010-07-20 16:38:12 +000080 EXPECT_TRUE(isa<foo>(B2));
81 EXPECT_TRUE(isa<foo>(B3));
82 EXPECT_TRUE(isa<foo>(B4));
Gabor Greifee57dae2010-07-20 16:32:20 +000083}
84
Gabor Greif08993c02010-07-20 16:51:18 +000085TEST(CastingTest, cast) {
86 foo &F1 = cast<foo>(B1);
87 EXPECT_NE(&F1, null_foo);
88 const foo *F3 = cast<foo>(B2);
89 EXPECT_NE(F3, null_foo);
90 const foo *F4 = cast<foo>(B2);
91 EXPECT_NE(F4, null_foo);
Gabor Greife8950972010-07-20 17:06:28 +000092 const foo &F5 = cast<foo>(B3);
93 EXPECT_NE(&F5, null_foo);
94 const foo *F6 = cast<foo>(B4);
95 EXPECT_NE(F6, null_foo);
96 foo *F7 = cast<foo>(fub());
97 EXPECT_EQ(F7, null_foo);
Gabor Greifd1594672010-07-22 15:24:48 +000098 foo *F8 = B1.baz();
99 EXPECT_NE(F8, null_foo);
Gabor Greif08993c02010-07-20 16:51:18 +0000100}
101
102TEST(CastingTest, cast_or_null) {
103 const foo *F11 = cast_or_null<foo>(B2);
104 EXPECT_NE(F11, null_foo);
105 const foo *F12 = cast_or_null<foo>(B2);
106 EXPECT_NE(F12, null_foo);
107 const foo *F13 = cast_or_null<foo>(B4);
108 EXPECT_NE(F13, null_foo);
109 const foo *F14 = cast_or_null<foo>(fub()); // Shouldn't print.
110 EXPECT_EQ(F14, null_foo);
Gabor Greifd1594672010-07-22 15:24:48 +0000111 foo *F15 = B1.caz();
112 EXPECT_NE(F15, null_foo);
113}
114
115TEST(CastingTest, dyn_cast) {
Gabor Greif46a35012010-07-22 15:28:30 +0000116 const foo *F1 = dyn_cast<foo>(B2);
117 EXPECT_NE(F1, null_foo);
118 const foo *F2 = dyn_cast<foo>(B2);
119 EXPECT_NE(F2, null_foo);
120 const foo *F3 = dyn_cast<foo>(B4);
Gabor Greifd1594672010-07-22 15:24:48 +0000121 EXPECT_NE(F3, null_foo);
Gabor Greiff06eb372010-07-22 15:37:20 +0000122 // foo *F4 = dyn_cast<foo>(fub()); // not permittible
123 // EXPECT_EQ(F4, null_foo);
124 foo *F5 = B1.daz();
125 EXPECT_NE(F5, null_foo);
126}
127
128TEST(CastingTest, dyn_cast_or_null) {
129 const foo *F1 = dyn_cast_or_null<foo>(B2);
130 EXPECT_NE(F1, null_foo);
131 const foo *F2 = dyn_cast_or_null<foo>(B2);
132 EXPECT_NE(F2, null_foo);
133 const foo *F3 = dyn_cast_or_null<foo>(B4);
134 EXPECT_NE(F3, null_foo);
135 foo *F4 = dyn_cast_or_null<foo>(fub());
Gabor Greif46a35012010-07-22 15:28:30 +0000136 EXPECT_EQ(F4, null_foo);
Gabor Greiff06eb372010-07-22 15:37:20 +0000137 foo *F5 = B1.naz();
138 EXPECT_NE(F5, null_foo);
Gabor Greif08993c02010-07-20 16:51:18 +0000139}
140
Gabor Greife8950972010-07-20 17:06:28 +0000141// These lines are errors...
142//foo *F20 = cast<foo>(B2); // Yields const foo*
143//foo &F21 = cast<foo>(B3); // Yields const foo&
144//foo *F22 = cast<foo>(B4); // Yields const foo*
145//foo &F23 = cast_or_null<foo>(B1);
146//const foo &F24 = cast_or_null<foo>(B3);
147
148
Gabor Greifee57dae2010-07-20 16:32:20 +0000149bar B;
150bar &B1 = B;
151const bar *B2 = &B;
152} // anonymous namespace
Gabor Greife8950972010-07-20 17:06:28 +0000153
154bar *llvm::fub() { return 0; }