maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix const-eval of vector init-lists of a vector. 

Like any other type, an init list for a vector can have the same type as
the vector itself; handle that case.

<rdar://problem/14990460>

llvm-svn: 190844
This commit is contained in:
Eli Friedman 2013-09-17 04:07:02 +00:00
parent 79d1bff2ad
commit 1409e6e7c6
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/AST/ExprConstant.cpp
View File

@ -5262,7 +5262,7 @@ VectorExprEvaluator::VisitInitListExpr(const InitListExpr *E) {
while (CountElts < NumElements) { while (CountElts < NumElements) {
// Handle nested vector initialization. // Handle nested vector initialization.
if (CountInits < NumInits if (CountInits < NumInits
&& E->getInit(CountInits)->getType()->isExtVectorType()) { && E->getInit(CountInits)->getType()->isVectorType()) {
APValue v; APValue v;
if (!EvaluateVector(E->getInit(CountInits), v, Info)) if (!EvaluateVector(E->getInit(CountInits), v, Info))
return Error(E); return Error(E);

7
clang/test/CodeGenCXX/static-init-4.cpp Normal file
View File

@ -0,0 +1,7 @@
// RUN: %clang_cc1 -std=c++11 -S -emit-llvm -o - %s -triple x86_64-linux-gnu | FileCheck %s
typedef __attribute__((vector_size(4*4))) float float32x4_t;
union QDSUnion { float32x4_t q; float s[4]; };
constexpr float32x4_t a = {1,2,3,4};
QDSUnion t = {{(a)}};
// CHECK: @t = global %union.QDSUnion { <4 x float> <float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00> }