From 55d9d4a934eacffbcfbd3073b71aeacf6c576d38 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Tue, 17 Mar 2015 02:21:31 +0000 Subject: [PATCH] Fix the LLVM type used when lowering initializer list reference temporaries to global variables. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@232454 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGExpr.cpp | 7 ++++-- .../cxx0x-initializer-stdinitializerlist.cpp | 24 +++++++++++++++++++ 2 files changed, 29 insertions(+), 2 deletions(-) diff --git a/lib/CodeGen/CGExpr.cpp b/lib/CodeGen/CGExpr.cpp index 35275e58e9..92098752cb 100644 --- a/lib/CodeGen/CGExpr.cpp +++ b/lib/CodeGen/CGExpr.cpp @@ -316,13 +316,16 @@ createReferenceTemporary(CodeGenFunction &CGF, GV->setAlignment( CGF.getContext().getTypeAlignInChars(M->getType()).getQuantity()); // FIXME: Should we put the new global into a COMDAT? - return GV; + return llvm::ConstantExpr::getBitCast( + GV, CGF.ConvertTypeForMem(Inner->getType())->getPointerTo()); } return CGF.CreateMemTemp(Inner->getType(), "ref.tmp"); case SD_Thread: case SD_Static: - return CGF.CGM.GetAddrOfGlobalTemporary(M, Inner); + return llvm::ConstantExpr::getBitCast( + CGF.CGM.GetAddrOfGlobalTemporary(M, Inner), + CGF.ConvertTypeForMem(Inner->getType())->getPointerTo()); case SD_Dynamic: llvm_unreachable("temporary can't have dynamic storage duration"); diff --git a/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp b/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp index 382694ec03..b187aed881 100644 --- a/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp +++ b/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist.cpp @@ -482,3 +482,27 @@ namespace ConstExpr { f({C(1), C(2), C(3)}); } } + +namespace B19773010 { + template struct pair { + T1 first; + T2 second; + constexpr pair(T1 a, T2 b) : first(a), second(b) {} + }; + + enum E { ENUM_CONSTANT }; + struct testcase { + testcase(std::initializer_list>); + }; + void f1() { + // CHECK-LABEL: @_ZN9B197730102f1Ev + testcase a{{"", ENUM_CONSTANT}}; + // CHECK: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* bitcast ([1 x { i8*, i32 }]* @.ref.tmp{{.*}} to [1 x %"struct.B19773010::pair"]*), i64 0, i64 0), %"struct.B19773010::pair"** %__begin_, align 8 + } + void f2() { + // CHECK-LABEL: @_ZN9B197730102f2Ev + // CHECK: store %"struct.B19773010::pair"* getelementptr inbounds ([1 x %"struct.B19773010::pair"], [1 x %"struct.B19773010::pair"]* bitcast ([1 x { i8*, i32 }]* @_ZGRZN9B197730102f2EvE1p_ to [1 x %"struct.B19773010::pair"]*), i64 0, i64 0), %"struct.B19773010::pair"** getelementptr inbounds ([2 x %"class.std::initializer_list.10"], [2 x %"class.std::initializer_list.10"]* @_ZZN9B197730102f2EvE1p, i64 0, i64 1, i32 0), align 8 + static std::initializer_list> a, p[2] = + {a, {{"", ENUM_CONSTANT}}}; + } +} -- 2.40.0