test_primitiveConversions.cpp revision 13477:4d61110c6046 
1/*
2 * Copyright (c) 2017, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#include "precompiled.hpp"
26#include "memory/allocation.hpp"
27#include "metaprogramming/isSame.hpp"
28#include "metaprogramming/primitiveConversions.hpp"
29#include "unittest.hpp"
30#include "utilities/debug.hpp"
31
32struct PrimitiveConversionsTestSupport: AllStatic {
33
34  template<size_t byte_size> struct SignedTypeOfSize;
35  template<size_t byte_size> struct UnsignedTypeOfSize;
36
37  template<typename T> struct Signed;
38  template<typename T> struct Unsigned;
39};
40
41#define DEFINE_CANONICAL_SIGNED_TYPE(T)                                 \
42  template<>                                                            \
43  struct PrimitiveConversionsTestSupport::SignedTypeOfSize<sizeof(T)>   \
44    : public AllStatic                                                  \
45  {                                                                     \
46    typedef T type;                                                     \
47  };
48
49#define DEFINE_CANONICAL_UNSIGNED_TYPE(T)                               \
50  template<>                                                            \
51  struct PrimitiveConversionsTestSupport::UnsignedTypeOfSize<sizeof(T)> \
52    : public AllStatic                                                  \
53  {                                                                     \
54    typedef T type;                                                     \
55  };
56
57#define DEFINE_INTEGER_TYPES_OF_SIZE(NBITS)            \
58  DEFINE_CANONICAL_SIGNED_TYPE(int ## NBITS ## _t)     \
59  DEFINE_CANONICAL_UNSIGNED_TYPE(uint ## NBITS ## _t)
60
61DEFINE_INTEGER_TYPES_OF_SIZE(8)
62DEFINE_INTEGER_TYPES_OF_SIZE(16)
63DEFINE_INTEGER_TYPES_OF_SIZE(32)
64DEFINE_INTEGER_TYPES_OF_SIZE(64)
65
66#undef DEFINE_INTEGER_TYPES_OF_SIZE
67#undef DEFINE_CANONICAL_SIGNED_TYPE
68#undef DEFINE_CANONICAL_UNSIGNED_TYPE
69
70template<typename T>
71struct PrimitiveConversionsTestSupport::Signed
72  : public SignedTypeOfSize<sizeof(T)>
73{};
74
75template<typename T>
76struct PrimitiveConversionsTestSupport::Unsigned
77  : public UnsignedTypeOfSize<sizeof(T)>
78{};
79
80TEST(PrimitiveConversionsTest, round_trip_int) {
81  int  sfive = 5;
82  int  mfive = -5;
83  uint ufive = 5u;
84
85  typedef PrimitiveConversionsTestSupport::Signed<int>::type SI;
86  typedef PrimitiveConversionsTestSupport::Unsigned<int>::type UI;
87
88  EXPECT_EQ(sfive, PrimitiveConversions::cast<int>(PrimitiveConversions::cast<SI>(sfive)));
89  EXPECT_EQ(sfive, PrimitiveConversions::cast<int>(PrimitiveConversions::cast<UI>(sfive)));
90
91  EXPECT_EQ(mfive, PrimitiveConversions::cast<int>(PrimitiveConversions::cast<SI>(mfive)));
92  EXPECT_EQ(mfive, PrimitiveConversions::cast<int>(PrimitiveConversions::cast<UI>(mfive)));
93
94  EXPECT_EQ(ufive, PrimitiveConversions::cast<uint>(PrimitiveConversions::cast<SI>(ufive)));
95  EXPECT_EQ(ufive, PrimitiveConversions::cast<uint>(PrimitiveConversions::cast<UI>(ufive)));
96}
97
98TEST(PrimitiveConversionsTest, round_trip_float) {
99  float  ffive = 5.0f;
100  double dfive = 5.0;
101
102  typedef PrimitiveConversionsTestSupport::Signed<float>::type SF;
103  typedef PrimitiveConversionsTestSupport::Unsigned<float>::type UF;
104
105  typedef PrimitiveConversionsTestSupport::Signed<double>::type SD;
106  typedef PrimitiveConversionsTestSupport::Unsigned<double>::type UD;
107
108  EXPECT_EQ(ffive, PrimitiveConversions::cast<float>(PrimitiveConversions::cast<SF>(ffive)));
109  EXPECT_EQ(ffive, PrimitiveConversions::cast<float>(PrimitiveConversions::cast<UF>(ffive)));
110
111  EXPECT_EQ(dfive, PrimitiveConversions::cast<double>(PrimitiveConversions::cast<SD>(dfive)));
112  EXPECT_EQ(dfive, PrimitiveConversions::cast<double>(PrimitiveConversions::cast<UD>(dfive)));
113}
114
115TEST(PrimitiveConversionsTest, round_trip_ptr) {
116  int five = 5;
117  int* pfive = &five;
118  const int* cpfive = &five;
119
120  typedef PrimitiveConversionsTestSupport::Signed<int*>::type SIP;
121  typedef PrimitiveConversionsTestSupport::Unsigned<int*>::type UIP;
122
123  EXPECT_EQ(pfive, PrimitiveConversions::cast<int*>(PrimitiveConversions::cast<SIP>(pfive)));
124  EXPECT_EQ(pfive, PrimitiveConversions::cast<int*>(PrimitiveConversions::cast<UIP>(pfive)));
125
126  EXPECT_EQ(cpfive, PrimitiveConversions::cast<const int*>(PrimitiveConversions::cast<SIP>(cpfive)));
127  EXPECT_EQ(cpfive, PrimitiveConversions::cast<const int*>(PrimitiveConversions::cast<UIP>(cpfive)));
128}
129