Implement std::is_same.

RTC: 124148
Change-Id: Id0737361f92d0ff46411254c3e1e3df22d6d8a10
Reviewed-on: http://gfw160.aus.stglabs.ibm.com:8080/gerrit/21795
Tested-by: Jenkins Server
Reviewed-by: STEPHEN M. CPREK <smcprek@us.ibm.com>
Reviewed-by: Brian Silver <bsilver@us.ibm.com>
Reviewed-by: Richard J. Knight <rjknight@us.ibm.com>
Reviewed-by: A. Patrick Williams III <iawillia@us.ibm.com>

5 files changed, 264 insertions, 0 deletions

diff --git a/src/include/type_traits b/src/include/type_traits
new file mode 100644
index 000000000..2e29907b3
--- /dev/null
+++ b/src/include/type_traits
@@ -0,0 +1,28 @@
+/* IBM_PROLOG_BEGIN_TAG                                                   */
+/* This is an automatically generated prolog.                             */
+/*                                                                        */
+/* $Source: src/include/type_traits $                                     */
+/*                                                                        */
+/* OpenPOWER HostBoot Project                                             */
+/*                                                                        */
+/* Contributors Listed Below - COPYRIGHT 2015                             */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
+/*                                                                        */
+/* Licensed under the Apache License, Version 2.0 (the "License");        */
+/* you may not use this file except in compliance with the License.       */
+/* You may obtain a copy of the License at                                */
+/*                                                                        */
+/*     http://www.apache.org/licenses/LICENSE-2.0                         */
+/*                                                                        */
+/* Unless required by applicable law or agreed to in writing, software    */
+/* distributed under the License is distributed on an "AS IS" BASIS,      */
+/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        */
+/* implied. See the License for the specific language governing           */
+/* permissions and limitations under the License.                         */
+/*                                                                        */
+/* IBM_PROLOG_END_TAG                                                     */
+#include <util/impl/integral.H>
+#include <util/impl/is_same.H>
+
+/* vim: set filetype=cpp : */
diff --git a/src/include/util/impl/integral.H b/src/include/util/impl/integral.H
new file mode 100644
index 000000000..b814e2655
--- /dev/null
+++ b/src/include/util/impl/integral.H
@@ -0,0 +1,46 @@
+/* IBM_PROLOG_BEGIN_TAG                                                   */
+/* This is an automatically generated prolog.                             */
+/*                                                                        */
+/* $Source: src/include/util/traits/integral.H $                          */
+/*                                                                        */
+/* OpenPOWER HostBoot Project                                             */
+/*                                                                        */
+/* Contributors Listed Below - COPYRIGHT 2015                             */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
+/*                                                                        */
+/* Licensed under the Apache License, Version 2.0 (the "License");        */
+/* you may not use this file except in compliance with the License.       */
+/* You may obtain a copy of the License at                                */
+/*                                                                        */
+/*     http://www.apache.org/licenses/LICENSE-2.0                         */
+/*                                                                        */
+/* Unless required by applicable law or agreed to in writing, software    */
+/* distributed under the License is distributed on an "AS IS" BASIS,      */
+/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        */
+/* implied. See the License for the specific language governing           */
+/* permissions and limitations under the License.                         */
+/*                                                                        */
+/* IBM_PROLOG_END_TAG                                                     */
+#ifndef __UTIL_IMPL_INTEGRAL_H
+#define __UTIL_IMPL_INTEGRAL_H
+namespace std
+{
+    template <typename T, T v>
+    struct integral_constant
+    {
+        static constexpr T value = v;
+
+        typedef T value_type;
+        typedef integral_constant<T,v> type;
+
+        constexpr operator value_type() const { return value; }
+        constexpr value_type operator()() const { return value; }
+    };
+
+    struct true_type : integral_constant<bool, true> {};
+    struct false_type : integral_constant<bool, false> {};
+
+}
+#endif
+/* vim: set filetype=cpp : */
diff --git a/src/include/util/impl/is_same.H b/src/include/util/impl/is_same.H
new file mode 100644
index 000000000..8950e9535
--- /dev/null
+++ b/src/include/util/impl/is_same.H
@@ -0,0 +1,42 @@
+/* IBM_PROLOG_BEGIN_TAG                                                   */
+/* This is an automatically generated prolog.                             */
+/*                                                                        */
+/* $Source: src/include/util/traits/is_same.H $                           */
+/*                                                                        */
+/* OpenPOWER HostBoot Project                                             */
+/*                                                                        */
+/* Contributors Listed Below - COPYRIGHT 2015                             */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
+/*                                                                        */
+/* Licensed under the Apache License, Version 2.0 (the "License");        */
+/* you may not use this file except in compliance with the License.       */
+/* You may obtain a copy of the License at                                */
+/*                                                                        */
+/*     http://www.apache.org/licenses/LICENSE-2.0                         */
+/*                                                                        */
+/* Unless required by applicable law or agreed to in writing, software    */
+/* distributed under the License is distributed on an "AS IS" BASIS,      */
+/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        */
+/* implied. See the License for the specific language governing           */
+/* permissions and limitations under the License.                         */
+/*                                                                        */
+/* IBM_PROLOG_END_TAG                                                     */
+#ifndef __UTIL_IMPL_IS_SAME_H
+#define __UTIL_IMPL_IS_SAME_H
+
+#include <util/impl/integral.H>
+
+namespace std
+{
+
+    template <typename T1, typename T2>
+    struct is_same : std::false_type {};
+
+    template <typename T>
+    struct is_same<T, T> : std::true_type {};
+
+}
+
+#endif
+/* vim: set filetype=cpp : */
diff --git a/src/usr/testcore/lib/integral.H b/src/usr/testcore/lib/integral.H
new file mode 100644
index 000000000..74750582e
--- /dev/null
+++ b/src/usr/testcore/lib/integral.H
@@ -0,0 +1,87 @@
+/* IBM_PROLOG_BEGIN_TAG                                                   */
+/* This is an automatically generated prolog.                             */
+/*                                                                        */
+/* $Source: src/usr/testcore/lib/integral.H $                             */
+/*                                                                        */
+/* OpenPOWER HostBoot Project                                             */
+/*                                                                        */
+/* Contributors Listed Below - COPYRIGHT 2015                             */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
+/*                                                                        */
+/* Licensed under the Apache License, Version 2.0 (the "License");        */
+/* you may not use this file except in compliance with the License.       */
+/* You may obtain a copy of the License at                                */
+/*                                                                        */
+/*     http://www.apache.org/licenses/LICENSE-2.0                         */
+/*                                                                        */
+/* Unless required by applicable law or agreed to in writing, software    */
+/* distributed under the License is distributed on an "AS IS" BASIS,      */
+/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        */
+/* implied. See the License for the specific language governing           */
+/* permissions and limitations under the License.                         */
+/*                                                                        */
+/* IBM_PROLOG_END_TAG                                                     */
+#ifndef __LIB_INTEGRAL_H
+#define __LIB_INTEGRAL_H
+
+#include <cxxtest/TestSuite.H>
+#include <type_traits>
+#include <stdint.h>
+
+class STLIntegralTest : public CxxTest::TestSuite
+{
+    public:
+        void testIntegral()
+        {
+            using namespace std;
+
+            if (!integral_constant<bool, true>::value)
+            {
+                TS_FAIL("integral_constant<bool, true>::value != true");
+            }
+            if (integral_constant<bool, false>::value)
+            {
+                TS_FAIL("integral_constant<bool, false>::value != false");
+            }
+            if (integral_constant<size_t, 100>::value != 100)
+            {
+                TS_FAIL("integral_constant<size_t, 100>::value != 100");
+            }
+            auto v = integral_constant<size_t, 20>();
+            if (v() != 20)
+            {
+                TS_FAIL("v() != 20");
+            }
+
+            // Test compile of value_type.
+            integral_constant<size_t, 20>::value_type a = 30;
+            if (a != 30)
+            {
+                TS_FAIL("a != 30");
+            }
+            // Test compile of type.
+            integral_constant<size_t, 20>::type::value_type b = 40;
+            if (b != 40)
+            {
+                TS_FAIL("b != 40");
+            }
+
+        }
+
+        void testBoolTypes()
+        {
+            using namespace std;
+
+            if (!true_type::value)
+            {
+                TS_FAIL("true_type is not true.");
+            }
+            if (false_type::value)
+            {
+                TS_FAIL("false_type is not false.");
+            }
+        }
+};
+
+#endif
diff --git a/src/usr/testcore/lib/is_same.H b/src/usr/testcore/lib/is_same.H
new file mode 100644
index 000000000..0e303c54e
--- /dev/null
+++ b/src/usr/testcore/lib/is_same.H
@@ -0,0 +1,61 @@
+/* IBM_PROLOG_BEGIN_TAG                                                   */
+/* This is an automatically generated prolog.                             */
+/*                                                                        */
+/* $Source: src/usr/testcore/lib/is_same.H $                              */
+/*                                                                        */
+/* OpenPOWER HostBoot Project                                             */
+/*                                                                        */
+/* Contributors Listed Below - COPYRIGHT 2015                             */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
+/*                                                                        */
+/* Licensed under the Apache License, Version 2.0 (the "License");        */
+/* you may not use this file except in compliance with the License.       */
+/* You may obtain a copy of the License at                                */
+/*                                                                        */
+/*     http://www.apache.org/licenses/LICENSE-2.0                         */
+/*                                                                        */
+/* Unless required by applicable law or agreed to in writing, software    */
+/* distributed under the License is distributed on an "AS IS" BASIS,      */
+/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        */
+/* implied. See the License for the specific language governing           */
+/* permissions and limitations under the License.                         */
+/*                                                                        */
+/* IBM_PROLOG_END_TAG                                                     */
+#ifndef __LIB_IS_SAME_H
+#define __LIB_IS_SAME_H
+
+#include <cxxtest/TestSuite.H>
+#include <type_traits>
+
+class STLIsSameTest : public CxxTest::TestSuite
+{
+    public:
+        void testIsSame()
+        {
+            using namespace std;
+
+            if (is_same<char,int>::value)
+            {
+                TS_FAIL("is_same<char,int> is true.");
+            }
+            if (is_same<char*,void*>::value)
+            {
+                TS_FAIL("is_same<char*,void*> is true.");
+            }
+            if (is_same<size_t, const size_t>::value)
+            {
+                TS_FAIL("is_same<size_t, const size_t> is true.");
+            }
+            if (!is_same<int,int>::value)
+            {
+                TS_FAIL("is_same<int,int> is false.");
+            }
+            if (!is_same<const char*,const char*>::value)
+            {
+                TS_FAIL("is_same<const char*, const char*> is false.");
+            }
+        }
+};
+
+#endif