diff options
author | Chandler Carruth <chandlerc@gmail.com> | 2010-09-03 21:12:34 +0000 |
---|---|---|
committer | Chandler Carruth <chandlerc@gmail.com> | 2010-09-03 21:12:34 +0000 |
commit | 17fb855280be411389361f1c79753e0013c4187c (patch) | |
tree | fbf84b9e0fe9e6f83e95048bffba49c5a7993097 /test/CodeGenCXX/template-anonymous-types.cpp | |
parent | 9c20fa9d46645480872f239a2fc631996ba7dc23 (diff) |
Allow anonymous and local types. The support was already in place for these,
but this makes them work even as an extension in C++98. This resolves PR8077.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113011 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGenCXX/template-anonymous-types.cpp')
-rw-r--r-- | test/CodeGenCXX/template-anonymous-types.cpp | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/CodeGenCXX/template-anonymous-types.cpp b/test/CodeGenCXX/template-anonymous-types.cpp new file mode 100644 index 0000000000..0b219ffc12 --- /dev/null +++ b/test/CodeGenCXX/template-anonymous-types.cpp @@ -0,0 +1,40 @@ +// RUN: %clang_cc1 %s -triple x86_64-unknown-linux-gnu -emit-llvm -o - | FileCheck %s + +struct S { + enum { FOO = 42 }; + enum { BAR = 42 }; +}; + +template <typename T> struct X { + T value; + + X(T t) : value(t) {} + + // Again, two instantiations should be present. + int f() { return value; } +}; + +template <typename T> int f(T t) { + X<T> x(t); + return x.f(); +} + +void test() { + // Look for two instantiations, entirely internal to this TU, one for FOO's + // type and one for BAR's. + // CHECK: define internal i32 @"_Z1fIN1S3$_0EEiT_"(i32 %t) + (void)f(S::FOO); + // CHECK: define internal i32 @"_Z1fIN1S3$_1EEiT_"(i32 %t) + (void)f(S::BAR); + + // Now check for the class template instantiations. Annoyingly, they are in + // reverse order. + // + // BAR's instantiation of X: + // CHECK: define internal i32 @"_ZN1XIN1S3$_1EE1fEv"(%struct.X* %this) + // CHECK: define internal void @"_ZN1XIN1S3$_1EEC2ES1_"(%struct.X* %this, i32 %t) + // + // FOO's instantiation of X: + // CHECK: define internal i32 @"_ZN1XIN1S3$_0EE1fEv"(%struct.X* %this) + // CHECK: define internal void @"_ZN1XIN1S3$_0EEC2ES1_"(%struct.X* %this, i32 %t) +} |