[cfe-commits] r122748 - in /cfe/trunk/test/CXX/temp/temp.decls/temp.variadic: count.cpp metafunctions.cpp replace.cpp

[Douglas Gregor]

Author: dgregor
Date: Mon Jan  3 10:17:20 2011
New Revision: 122748

URL: http://llvm.org/viewvc/llvm-project?rev=122748&view=rev
Log:
Consolidate template metafunction tests for variadic templates into a single file

Added:
    cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp
Removed:
    cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/count.cpp
    cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/replace.cpp

Removed: cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/count.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/count.cpp?rev=122747&view=auto
==============================================================================
--- cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/count.cpp (original)
+++ cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/count.cpp (removed)
@@ -1,36 +0,0 @@
-// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
-
-namespace Basic {
-  template<typename Head, typename ...Tail>
-  struct count {
-    static const unsigned value = 1 + count<Tail...>::value;
-  };
-
-  template<typename T>
-  struct count<T> {
-    static const unsigned value = 1;
-  };
-
-  int check1[count<int>::value == 1? 1 : -1];
-  int check2[count<float, double>::value == 2? 1 : -1];
-  int check3[count<char, signed char, unsigned char>::value == 3? 1 : -1];
-}
-
-namespace WithPackExpansion {
-  template<typename ...> struct count;
-
-  template<typename Head, typename ...Tail>
-  struct count<Head, Tail...> {
-    static const unsigned value = 1 + count<Tail...>::value;
-  };
-
-  template<>
-  struct count<> {
-    static const unsigned value = 0;
-  };
-
-  int check0[count<>::value == 0? 1 : -1];
-  int check1[count<int>::value == 1? 1 : -1];
-  int check2[count<float, double>::value == 2? 1 : -1];
-  int check3[count<char, signed char, unsigned char>::value == 3? 1 : -1];
-}

Added: cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp?rev=122748&view=auto
==============================================================================
--- cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp (added)
+++ cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp Mon Jan  3 10:17:20 2011
@@ -0,0 +1,66 @@
+// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
+
+// This is a collection of various template metafunctions involving
+// variadic templates, which are meant to exercise common use cases.
+template<typename T, typename U>
+struct is_same {
+  static const bool value = false;
+};
+
+template<typename T>
+struct is_same<T, T> {
+  static const bool value = true;
+};
+
+template<typename...> struct tuple { };
+template<int ...> struct int_tuple { };
+
+namespace Count {
+  template<typename Head, typename ...Tail>
+  struct count {
+    static const unsigned value = 1 + count<Tail...>::value;
+  };
+
+  template<typename T>
+  struct count<T> {
+    static const unsigned value = 1;
+  };
+
+  int check1[count<int>::value == 1? 1 : -1];
+  int check2[count<float, double>::value == 2? 1 : -1];
+  int check3[count<char, signed char, unsigned char>::value == 3? 1 : -1];
+}
+
+namespace CountWithPackExpansion {
+  template<typename ...> struct count;
+
+  template<typename Head, typename ...Tail>
+  struct count<Head, Tail...> {
+    static const unsigned value = 1 + count<Tail...>::value;
+  };
+
+  template<>
+  struct count<> {
+    static const unsigned value = 0;
+  };
+
+  int check0[count<>::value == 0? 1 : -1];
+  int check1[count<int>::value == 1? 1 : -1];
+  int check2[count<float, double>::value == 2? 1 : -1];
+  int check3[count<char, signed char, unsigned char>::value == 3? 1 : -1];
+}
+
+namespace Replace {
+  // Simple metafunction that replaces the template arguments of
+  // template template parameters with 'int'.
+  template<typename T>
+  struct EverythingToInt;
+
+  template<template<typename ...> class TT, typename T1, typename T2>
+  struct EverythingToInt<TT<T1, T2> > {
+    typedef TT<int, int> type;
+  };
+
+  int check0[is_same<EverythingToInt<tuple<double, float>>::type, 
+             tuple<int, int>>::value? 1 : -1];
+}

Removed: cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/replace.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/replace.cpp?rev=122747&view=auto
==============================================================================
--- cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/replace.cpp (original)
+++ cfe/trunk/test/CXX/temp/temp.decls/temp.variadic/replace.cpp (removed)
@@ -1,26 +0,0 @@
-// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
-
-template<typename T, typename U>
-struct is_same {
-  static const bool value = false;
-};
-
-template<typename T>
-struct is_same<T, T> {
-  static const bool value = true;
-};
-
-// Simple metafunction that replaces the template arguments of
-// template template parameters with 'int'.
-template<typename T>
-struct EverythingToInt;
-
-template<template<typename ...> class TT, typename T1, typename T2>
-struct EverythingToInt<TT<T1, T2> > {
-  typedef TT<int, int> type;
-};
-
-template<typename...> struct tuple { };
-
-int check0[is_same<EverythingToInt<tuple<double, float>>::type, 
-                   tuple<int, int>>::value? 1 : -1];