diff --git a/clang/include/clang/AST/Expr.h b/clang/include/clang/AST/Expr.h index c2bb87d3c057..23fd420914f4 100644 --- a/clang/include/clang/AST/Expr.h +++ b/clang/include/clang/AST/Expr.h @@ -2382,53 +2382,6 @@ public: virtual child_iterator child_end(); }; - -class ParenListExpr : public Expr { - Stmt **Exprs; - unsigned NumExprs; - SourceLocation LParenLoc, RParenLoc; - -protected: - virtual void DoDestroy(ASTContext& C); - -public: - ParenListExpr(ASTContext& C, SourceLocation lparenloc, Expr **exprs, - unsigned numexprs, SourceLocation rparenloc); - - ~ParenListExpr() {} - - /// \brief Build an empty paren list. - //explicit ParenListExpr(EmptyShell Empty) : Expr(ParenListExprClass, Empty) { } - - unsigned getNumExprs() const { return NumExprs; } - - const Expr* getExpr(unsigned Init) const { - assert(Init < getNumExprs() && "Initializer access out of range!"); - return cast_or_null(Exprs[Init]); - } - - Expr* getExpr(unsigned Init) { - assert(Init < getNumExprs() && "Initializer access out of range!"); - return cast_or_null(Exprs[Init]); - } - - SourceLocation getLParenLoc() const { return LParenLoc; } - SourceLocation getRParenLoc() const { return RParenLoc; } - - virtual SourceRange getSourceRange() const { - return SourceRange(LParenLoc, RParenLoc); - } - static bool classof(const Stmt *T) { - return T->getStmtClass() == ParenListExprClass; - } - static bool classof(const ParenListExpr *) { return true; } - - // Iterators - virtual child_iterator child_begin(); - virtual child_iterator child_end(); -}; - - //===----------------------------------------------------------------------===// // Clang Extensions //===----------------------------------------------------------------------===// diff --git a/clang/include/clang/AST/StmtNodes.def b/clang/include/clang/AST/StmtNodes.def index 924ad3970f0d..914ea2798b49 100644 --- a/clang/include/clang/AST/StmtNodes.def +++ b/clang/include/clang/AST/StmtNodes.def @@ -91,7 +91,6 @@ EXPR(ExtVectorElementExpr , Expr) EXPR(InitListExpr , Expr) EXPR(DesignatedInitExpr , Expr) EXPR(ImplicitValueInitExpr , Expr) -EXPR(ParenListExpr , Expr) EXPR(VAArgExpr , Expr) // GNU Extensions. diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td index cc447385f5e2..61e492b6f6d6 100644 --- a/clang/include/clang/Basic/DiagnosticSemaKinds.td +++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td @@ -2017,9 +2017,6 @@ def err_shufflevector_argument_too_large : Error< "index for __builtin_shufflevector must be less than the total number " "of vector elements">; -def err_vector_incorrect_num_initializers : Error< - "%select{too many|too few}0 elements in vector initialization (expected %1 elements, have %2)">; -def err_altivec_empty_initializer : Error<"expected initializer">; def err_stack_const_level : Error< "level argument for a stack address builtin must be constant">; diff --git a/clang/include/clang/Parse/Action.h b/clang/include/clang/Parse/Action.h index 777f75e5a602..b2be36eb0501 100644 --- a/clang/include/clang/Parse/Action.h +++ b/clang/include/clang/Parse/Action.h @@ -825,12 +825,6 @@ public: return move(Val); // Default impl returns operand. } - virtual OwningExprResult ActOnParenListExpr(SourceLocation L, - SourceLocation R, - MultiExprArg Val) { - return ExprEmpty(); - } - // Postfix Expressions. virtual OwningExprResult ActOnPostfixUnaryOp(Scope *S, SourceLocation OpLoc, tok::TokenKind Kind, @@ -907,12 +901,11 @@ public: return ExprEmpty(); } - virtual OwningExprResult ActOnCastExpr(Scope *S, SourceLocation LParenLoc, - TypeTy *Ty, SourceLocation RParenLoc, - ExprArg Op) { + virtual OwningExprResult ActOnCastExpr(SourceLocation LParenLoc, TypeTy *Ty, + SourceLocation RParenLoc, ExprArg Op) { return ExprEmpty(); } - + virtual OwningExprResult ActOnBinOp(Scope *S, SourceLocation TokLoc, tok::TokenKind Kind, ExprArg LHS, ExprArg RHS) { diff --git a/clang/include/clang/Parse/Parser.h b/clang/include/clang/Parse/Parser.h index 9e785a65ff8a..f2faa1c758d8 100644 --- a/clang/include/clang/Parse/Parser.h +++ b/clang/include/clang/Parse/Parser.h @@ -705,11 +705,9 @@ private: unsigned MinPrec); OwningExprResult ParseCastExpression(bool isUnaryExpression, bool isAddressOfOperand, - bool &NotCastExpr, - bool parseParenAsExprList); + bool &NotCastExpr); OwningExprResult ParseCastExpression(bool isUnaryExpression, - bool isAddressOfOperand = false, - bool parseParenAsExprList = false); + bool isAddressOfOperand = false); OwningExprResult ParsePostfixExpressionSuffix(OwningExprResult LHS); OwningExprResult ParseSizeofAlignofExpression(); OwningExprResult ParseBuiltinPrimaryExpression(); @@ -735,7 +733,6 @@ private: }; OwningExprResult ParseParenExpression(ParenParseOption &ExprType, bool stopIfCastExpr, - bool parseAsExprList, TypeTy *&CastTy, SourceLocation &RParenLoc); diff --git a/clang/lib/AST/Expr.cpp b/clang/lib/AST/Expr.cpp index ce8bb516c090..2c07de6c79ac 100644 --- a/clang/lib/AST/Expr.cpp +++ b/clang/lib/AST/Expr.cpp @@ -1784,26 +1784,6 @@ void DesignatedInitExpr::DoDestroy(ASTContext &C) { Expr::DoDestroy(C); } -ParenListExpr::ParenListExpr(ASTContext& C, SourceLocation lparenloc, - Expr **exprs, unsigned nexprs, - SourceLocation rparenloc) -: Expr(ParenListExprClass, QualType(), - hasAnyTypeDependentArguments(exprs, nexprs), - hasAnyValueDependentArguments(exprs, nexprs)), - NumExprs(nexprs), LParenLoc(lparenloc), RParenLoc(rparenloc) { - - Exprs = new (C) Stmt*[nexprs]; - for (unsigned i = 0; i != nexprs; ++i) - Exprs[i] = exprs[i]; -} - -void ParenListExpr::DoDestroy(ASTContext& C) { - DestroyChildren(C); - if (Exprs) C.Deallocate(Exprs); - this->~ParenListExpr(); - C.Deallocate(this); -} - //===----------------------------------------------------------------------===// // ExprIterator. //===----------------------------------------------------------------------===// @@ -2008,14 +1988,6 @@ Stmt::child_iterator ImplicitValueInitExpr::child_end() { return child_iterator(); } -// ParenListExpr -Stmt::child_iterator ParenListExpr::child_begin() { - return &Exprs[0]; -} -Stmt::child_iterator ParenListExpr::child_end() { - return &Exprs[0]+NumExprs; -} - // ObjCStringLiteral Stmt::child_iterator ObjCStringLiteral::child_begin() { return &String; diff --git a/clang/lib/AST/StmtPrinter.cpp b/clang/lib/AST/StmtPrinter.cpp index a2c04978b030..a5b0df8e45ca 100644 --- a/clang/lib/AST/StmtPrinter.cpp +++ b/clang/lib/AST/StmtPrinter.cpp @@ -850,15 +850,6 @@ void StmtPrinter::VisitInitListExpr(InitListExpr* Node) { OS << " }"; } -void StmtPrinter::VisitParenListExpr(ParenListExpr* Node) { - OS << "( "; - for (unsigned i = 0, e = Node->getNumExprs(); i != e; ++i) { - if (i) OS << ", "; - PrintExpr(Node->getExpr(i)); - } - OS << " )"; -} - void StmtPrinter::VisitDesignatedInitExpr(DesignatedInitExpr *Node) { for (DesignatedInitExpr::designators_iterator D = Node->designators_begin(), DEnd = Node->designators_end(); diff --git a/clang/lib/AST/StmtProfile.cpp b/clang/lib/AST/StmtProfile.cpp index 5d9b8bc7bbc1..d0f02ae95bc1 100644 --- a/clang/lib/AST/StmtProfile.cpp +++ b/clang/lib/AST/StmtProfile.cpp @@ -245,10 +245,6 @@ void StmtProfiler::VisitParenExpr(ParenExpr *S) { VisitExpr(S); } -void StmtProfiler::VisitParenListExpr(ParenListExpr *S) { - VisitExpr(S); -} - void StmtProfiler::VisitUnaryOperator(UnaryOperator *S) { VisitExpr(S); ID.AddInteger(S->getOpcode()); diff --git a/clang/lib/CodeGen/CGExprScalar.cpp b/clang/lib/CodeGen/CGExprScalar.cpp index e761e9f3c7d3..0eb21c953244 100644 --- a/clang/lib/CodeGen/CGExprScalar.cpp +++ b/clang/lib/CodeGen/CGExprScalar.cpp @@ -475,7 +475,7 @@ Value *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, } // A scalar can be splatted to an extended vector of the same element type - if (DstType->isExtVectorType() && !SrcType->isVectorType()) { + if (DstType->isExtVectorType() && !isa(SrcType)) { // Cast the scalar to element type QualType EltTy = DstType->getAsExtVectorType()->getElementType(); llvm::Value *Elt = EmitScalarConversion(Src, SrcType, EltTy); diff --git a/clang/lib/Frontend/PrintParserCallbacks.cpp b/clang/lib/Frontend/PrintParserCallbacks.cpp index 2101a85f4113..c933a2f320dc 100644 --- a/clang/lib/Frontend/PrintParserCallbacks.cpp +++ b/clang/lib/Frontend/PrintParserCallbacks.cpp @@ -574,9 +574,8 @@ namespace { Out << __FUNCTION__ << "\n"; return ExprEmpty(); } - virtual OwningExprResult ActOnCastExpr(Scope *S, SourceLocation LParenLoc, - TypeTy *Ty, SourceLocation RParenLoc, - ExprArg Op) { + virtual OwningExprResult ActOnCastExpr(SourceLocation LParenLoc, TypeTy *Ty, + SourceLocation RParenLoc,ExprArg Op){ Out << __FUNCTION__ << "\n"; return ExprEmpty(); } diff --git a/clang/lib/Parse/ParseExpr.cpp b/clang/lib/Parse/ParseExpr.cpp index 6e7deef95dc3..62bd9ae73ce0 100644 --- a/clang/lib/Parse/ParseExpr.cpp +++ b/clang/lib/Parse/ParseExpr.cpp @@ -407,13 +407,11 @@ Parser::ParseRHSOfBinaryExpression(OwningExprResult LHS, unsigned MinPrec) { /// due to member pointers. /// Parser::OwningExprResult Parser::ParseCastExpression(bool isUnaryExpression, - bool isAddressOfOperand, - bool parseParenAsExprList){ + bool isAddressOfOperand) { bool NotCastExpr; OwningExprResult Res = ParseCastExpression(isUnaryExpression, isAddressOfOperand, - NotCastExpr, - parseParenAsExprList); + NotCastExpr); if (NotCastExpr) Diag(Tok, diag::err_expected_expression); return move(Res); @@ -532,8 +530,7 @@ Parser::OwningExprResult Parser::ParseCastExpression(bool isUnaryExpression, /// Parser::OwningExprResult Parser::ParseCastExpression(bool isUnaryExpression, bool isAddressOfOperand, - bool &NotCastExpr, - bool parseParenAsExprList){ + bool &NotCastExpr) { OwningExprResult Res(Actions); tok::TokenKind SavedKind = Tok.getKind(); NotCastExpr = false; @@ -558,7 +555,7 @@ Parser::OwningExprResult Parser::ParseCastExpression(bool isUnaryExpression, SourceLocation LParenLoc = Tok.getLocation(); SourceLocation RParenLoc; Res = ParseParenExpression(ParenExprType, false/*stopIfCastExr*/, - parseParenAsExprList, CastTy, RParenLoc); + CastTy, RParenLoc); if (Res.isInvalid()) return move(Res); switch (ParenExprType) { @@ -1024,7 +1021,7 @@ Parser::ParseExprAfterTypeofSizeofAlignof(const Token &OpTok, // operands. EnterExpressionEvaluationContext Unevaluated(Actions, Action::Unevaluated); - Operand = ParseParenExpression(ExprType, true/*stopIfCastExpr*/, false, + Operand = ParseParenExpression(ExprType, true/*stopIfCastExpr*/, CastTy, RParenLoc); CastRange = SourceRange(LParenLoc, RParenLoc); @@ -1281,8 +1278,7 @@ Parser::OwningExprResult Parser::ParseBuiltinPrimaryExpression() { /// Parser::OwningExprResult Parser::ParseParenExpression(ParenParseOption &ExprType, bool stopIfCastExpr, - bool parseAsExprList, TypeTy *&CastTy, - SourceLocation &RParenLoc) { + TypeTy *&CastTy, SourceLocation &RParenLoc) { assert(Tok.is(tok::l_paren) && "Not a paren expr!"); GreaterThanIsOperatorScope G(GreaterThanIsOperator, true); SourceLocation OpenLoc = ConsumeParen(); @@ -1342,25 +1338,14 @@ Parser::ParseParenExpression(ParenParseOption &ExprType, bool stopIfCastExpr, // Parse the cast-expression that follows it next. // TODO: For cast expression with CastTy. - Result = ParseCastExpression(false, false, true); + Result = ParseCastExpression(false); if (!Result.isInvalid()) - Result = Actions.ActOnCastExpr(CurScope, OpenLoc, CastTy, RParenLoc, - move(Result)); + Result = Actions.ActOnCastExpr(OpenLoc, CastTy, RParenLoc,move(Result)); return move(Result); } Diag(Tok, diag::err_expected_lbrace_in_compound_literal); return ExprError(); - } else if (parseAsExprList) { - // Parse the expression-list. - ExprVector ArgExprs(Actions); - CommaLocsTy CommaLocs; - - if (!ParseExpressionList(ArgExprs, CommaLocs)) { - ExprType = SimpleExpr; - Result = Actions.ActOnParenListExpr(OpenLoc, Tok.getLocation(), - move_arg(ArgExprs)); - } } else { Result = ParseExpression(); ExprType = SimpleExpr; diff --git a/clang/lib/Parse/ParseExprCXX.cpp b/clang/lib/Parse/ParseExprCXX.cpp index 46526e47dd82..91b4d4d5a962 100644 --- a/clang/lib/Parse/ParseExprCXX.cpp +++ b/clang/lib/Parse/ParseExprCXX.cpp @@ -1154,7 +1154,7 @@ Parser::ParseCXXAmbiguousParenExpression(ParenParseOption &ExprType, // will be consumed. Result = ParseCastExpression(false/*isUnaryExpression*/, false/*isAddressofOperand*/, - NotCastExpr, false); + NotCastExpr); } // If we parsed a cast-expression, it's really a type-id, otherwise it's @@ -1196,8 +1196,7 @@ Parser::ParseCXXAmbiguousParenExpression(ParenParseOption &ExprType, // Result is what ParseCastExpression returned earlier. if (!Result.isInvalid()) - Result = Actions.ActOnCastExpr(CurScope, LParenLoc, CastTy, RParenLoc, - move(Result)); + Result = Actions.ActOnCastExpr(LParenLoc, CastTy, RParenLoc,move(Result)); return move(Result); } diff --git a/clang/lib/Sema/Sema.h b/clang/lib/Sema/Sema.h index e183e3a49688..4f7ae7ec0d1e 100644 --- a/clang/lib/Sema/Sema.h +++ b/clang/lib/Sema/Sema.h @@ -50,7 +50,6 @@ namespace clang { class Stmt; class Expr; class InitListExpr; - class ParenListExpr; class DesignatedInitExpr; class CallExpr; class DeclRefExpr; @@ -1485,10 +1484,7 @@ public: virtual OwningExprResult ActOnCharacterConstant(const Token &); virtual OwningExprResult ActOnParenExpr(SourceLocation L, SourceLocation R, ExprArg Val); - virtual OwningExprResult ActOnParenListExpr(SourceLocation L, - SourceLocation R, - MultiExprArg Val); - + /// ActOnStringLiteral - The specified tokens were lexed as pasted string /// fragments (e.g. "foo" "bar" L"baz"). virtual OwningExprResult ActOnStringLiteral(const Token *Toks, @@ -1549,14 +1545,8 @@ public: SourceLocation *CommaLocs, SourceLocation RParenLoc); - virtual OwningExprResult ActOnCastExpr(Scope *S, SourceLocation LParenLoc, - TypeTy *Ty, SourceLocation RParenLoc, - ExprArg Op); - - OwningExprResult ConvertParenListExpr(Scope *S, ParenListExpr *E); - OwningExprResult ActOnCastOfParenListExpr(Scope *S, SourceLocation LParenLoc, - SourceLocation RParenLoc, - ParenListExpr *E, QualType Ty); + virtual OwningExprResult ActOnCastExpr(SourceLocation LParenLoc, TypeTy *Ty, + SourceLocation RParenLoc, ExprArg Op); virtual OwningExprResult ActOnCompoundLiteral(SourceLocation LParenLoc, TypeTy *Ty, diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp index 23e58de68c97..f00ab5412d32 100644 --- a/clang/lib/Sema/SemaExpr.cpp +++ b/clang/lib/Sema/SemaExpr.cpp @@ -1918,8 +1918,7 @@ Sema::ActOnArraySubscriptExpr(Scope *S, ExprArg Base, SourceLocation LLoc, << LHSExp->getSourceRange() << RHSExp->getSourceRange()); } // C99 6.5.2.1p1 - if (!(IndexExpr->getType()->isIntegerType() && - IndexExpr->getType()->isScalarType()) && !IndexExpr->isTypeDependent()) + if (!IndexExpr->getType()->isIntegerType() && !IndexExpr->isTypeDependent()) return ExprError(Diag(LLoc, diag::err_typecheck_subscript_not_integer) << IndexExpr->getSourceRange()); @@ -2115,11 +2114,6 @@ Sema::ActOnMemberReferenceExpr(Scope *S, ExprArg Base, SourceLocation OpLoc, Expr *BaseExpr = Base.takeAs(); assert(BaseExpr && "no record expression"); - // If BaseExpr is a ParenListExpr then convert it into a standard - // paren expr since this is not an altivec initializer. - if (ParenListExpr *PE = dyn_cast(BaseExpr)) - BaseExpr = ConvertParenListExpr(S, PE).takeAs(); - // Perform default conversions. DefaultFunctionArrayConversion(BaseExpr); @@ -2695,11 +2689,6 @@ Sema::ActOnCallExpr(Scope *S, ExprArg fn, SourceLocation LParenLoc, FunctionDecl *FDecl = NULL; NamedDecl *NDecl = NULL; DeclarationName UnqualifiedName; - - // If the function is a ParenListExpr, then convert it into a standard - // paren expr since this is not an altivec initializer. - if (ParenListExpr *PE = dyn_cast(Fn)) - Fn = ConvertParenListExpr(S, PE).takeAs(); if (getLangOptions().CPlusPlus) { // Determine whether this is a dependent call inside a C++ template, @@ -3101,7 +3090,7 @@ bool Sema::CheckExtVectorCast(SourceRange R, QualType DestTy, QualType SrcTy) { } Action::OwningExprResult -Sema::ActOnCastExpr(Scope *S, SourceLocation LParenLoc, TypeTy *Ty, +Sema::ActOnCastExpr(SourceLocation LParenLoc, TypeTy *Ty, SourceLocation RParenLoc, ExprArg Op) { CastExpr::CastKind Kind = CastExpr::CK_Unknown; @@ -3110,10 +3099,6 @@ Sema::ActOnCastExpr(Scope *S, SourceLocation LParenLoc, TypeTy *Ty, Expr *castExpr = Op.takeAs(); QualType castType = QualType::getFromOpaquePtr(Ty); - - // If the Expr being casted is a ParenListExpr, handle it specially. - if (ParenListExpr *PE = dyn_cast(castExpr)) - return ActOnCastOfParenListExpr(S, LParenLoc, RParenLoc, PE, castType); if (CheckCastTypes(SourceRange(LParenLoc, RParenLoc), castType, castExpr, Kind)) @@ -3123,68 +3108,6 @@ Sema::ActOnCastExpr(Scope *S, SourceLocation LParenLoc, TypeTy *Ty, LParenLoc, RParenLoc)); } -/// This is not an AltiVec-style cast, so turn the ParenListExpr into a sequence -/// of comma binary operators. -Action::OwningExprResult -Sema::ConvertParenListExpr(Scope *S, ParenListExpr *E) { - OwningExprResult Result(*this, E->getExpr(0)); - - for (unsigned i = 1, e = E->getNumExprs(); i != e && !Result.isInvalid(); ++i) - Result = ActOnBinOp(S, E->getExprLoc(), tok::comma, move(Result), - Owned(E->getExpr(i))); - return move(Result); -} - -Action::OwningExprResult -Sema::ActOnCastOfParenListExpr(Scope *S, SourceLocation LParenLoc, - SourceLocation RParenLoc, - ParenListExpr *E, QualType Ty) { - // If this is an altivec initializer, '(' type ')' '(' init, ..., init ')' - // then handle it as such. - if (getLangOptions().AltiVec && Ty->isVectorType()) { - if (E->getNumExprs() == 0) { - Diag(E->getExprLoc(), diag::err_altivec_empty_initializer); - return ExprError(); - } - - llvm::SmallVector initExprs; - for (unsigned i = 0, e = E->getNumExprs(); i != e; ++i) - initExprs.push_back(E->getExpr(i)); - - // FIXME: This means that pretty-printing the final AST will produce curly - // braces instead of the original commas. - InitListExpr *E = new (Context) InitListExpr(LParenLoc, &initExprs[0], - initExprs.size(), RParenLoc); - E->setType(Ty); - return ActOnCompoundLiteral(LParenLoc, Ty.getAsOpaquePtr(), RParenLoc, - Owned(E)); - } else { - // This is not an AltiVec-style cast, so turn the ParenListExpr into a - // sequence of BinOp comma operators. - OwningExprResult Result = ConvertParenListExpr(S, E); - Expr *castExpr = (Expr *)Result.get(); - CastExpr::CastKind Kind = CastExpr::CK_Unknown; - - if (CheckCastTypes(SourceRange(LParenLoc, RParenLoc), Ty, castExpr, Kind)) - return ExprError(); - - return Owned(new (Context) CStyleCastExpr(Ty.getNonReferenceType(), - CastExpr::CK_Unknown, - Result.takeAs(), Ty, - LParenLoc, RParenLoc)); - } -} - -Action::OwningExprResult Sema::ActOnParenListExpr(SourceLocation L, - SourceLocation R, - MultiExprArg Val) { - unsigned nexprs = Val.size(); - Expr **exprs = reinterpret_cast(Val.release()); - assert((exprs != 0) && "ActOnParenListExpr() missing expr list"); - Expr *expr = new (Context) ParenListExpr(Context, L, exprs, nexprs, R); - return Owned(expr); -} - /// Note that lhs is not null here, even if this is the gnu "x ?: y" extension. /// In that case, lhs = cond. /// C99 6.5.15 @@ -3209,8 +3132,6 @@ QualType Sema::CheckConditionalOperands(Expr *&Cond, Expr *&LHS, Expr *&RHS, } // Now check the two expressions. - if (LHSTy->isVectorType() || RHSTy->isVectorType()) - return CheckVectorOperands(QuestionLoc, LHS, RHS); // If both operands have arithmetic type, do the usual arithmetic conversions // to find a common type: C99 6.5.15p3,5. diff --git a/clang/lib/Sema/SemaInit.cpp b/clang/lib/Sema/SemaInit.cpp index 1e564ce45fbb..29113822f730 100644 --- a/clang/lib/Sema/SemaInit.cpp +++ b/clang/lib/Sema/SemaInit.cpp @@ -805,47 +805,16 @@ void InitListChecker::CheckVectorType(InitListExpr *IList, QualType DeclType, unsigned &StructuredIndex) { if (Index < IList->getNumInits()) { const VectorType *VT = DeclType->getAsVectorType(); - unsigned maxElements = VT->getNumElements(); - unsigned numEltsInit = 0; + int maxElements = VT->getNumElements(); QualType elementType = VT->getElementType(); - if (!SemaRef.getLangOptions().OpenCL) { - for (unsigned i = 0; i < maxElements; ++i, ++numEltsInit) { - // Don't attempt to go past the end of the init list - if (Index >= IList->getNumInits()) - break; - CheckSubElementType(IList, elementType, Index, - StructuredList, StructuredIndex); - } - } else { - // OpenCL initializers allows vectors to be constructed from vectors. - for (unsigned i = 0; i < maxElements; ++i) { - // Don't attempt to go past the end of the init list - if (Index >= IList->getNumInits()) - break; - QualType IType = IList->getInit(Index)->getType(); - if (!IType->isVectorType()) { - CheckSubElementType(IList, elementType, Index, - StructuredList, StructuredIndex); - ++numEltsInit; - } else { - const VectorType *IVT = IType->getAsVectorType(); - unsigned numIElts = IVT->getNumElements(); - QualType VecType = SemaRef.Context.getExtVectorType(elementType, - numIElts); - CheckSubElementType(IList, VecType, Index, - StructuredList, StructuredIndex); - numEltsInit += numIElts; - } - } + for (int i = 0; i < maxElements; ++i) { + // Don't attempt to go past the end of the init list + if (Index >= IList->getNumInits()) + break; + CheckSubElementType(IList, elementType, Index, + StructuredList, StructuredIndex); } - - // OpenCL & AltiVec require all elements to be initialized. - if (numEltsInit != maxElements) - if (SemaRef.getLangOptions().OpenCL || SemaRef.getLangOptions().AltiVec) - SemaRef.Diag(IList->getSourceRange().getBegin(), - diag::err_vector_incorrect_num_initializers) - << (numEltsInit < maxElements) << maxElements << numEltsInit; } } diff --git a/clang/lib/Sema/SemaTemplateInstantiateExpr.cpp b/clang/lib/Sema/SemaTemplateInstantiateExpr.cpp index 7a09210fe048..186c98cf53ec 100644 --- a/clang/lib/Sema/SemaTemplateInstantiateExpr.cpp +++ b/clang/lib/Sema/SemaTemplateInstantiateExpr.cpp @@ -638,20 +638,6 @@ TemplateExprInstantiator::VisitInitListExpr(InitListExpr *E) { E->getRBraceLoc()); } -Sema::OwningExprResult -TemplateExprInstantiator::VisitParenListExpr(ParenListExpr *E) { - ASTOwningVector<&ActionBase::DeleteExpr, 4> Inits(SemaRef); - for (unsigned I = 0, N = E->getNumExprs(); I != N; ++I) { - OwningExprResult Init = Visit(E->getExpr(I)); - if (Init.isInvalid()) - return SemaRef.ExprError(); - Inits.push_back(Init.takeAs()); - } - - return SemaRef.ActOnParenListExpr(E->getLParenLoc(), E->getRParenLoc(), - move_arg(Inits)); -} - Sema::OwningExprResult TemplateExprInstantiator::VisitDesignatedInitExpr(DesignatedInitExpr *E) { Designation Desig; @@ -900,7 +886,7 @@ TemplateExprInstantiator::VisitCStyleCastExpr(CStyleCastExpr *E) { if (SubExpr.isInvalid()) return SemaRef.ExprError(); - return SemaRef.ActOnCastExpr(/*Scope=*/0, E->getLParenLoc(), + return SemaRef.ActOnCastExpr(E->getLParenLoc(), ExplicitTy.getAsOpaquePtr(), E->getRParenLoc(), move(SubExpr)); diff --git a/clang/test/Sema/altivec-init.c b/clang/test/Sema/altivec-init.c deleted file mode 100644 index 6185186903b0..000000000000 --- a/clang/test/Sema/altivec-init.c +++ /dev/null @@ -1,16 +0,0 @@ -// RUN: clang-cc %s -faltivec -verify -pedantic -fsyntax-only -fblocks=0 - -typedef int v4 __attribute((vector_size(16))); -typedef short v8 __attribute((vector_size(16))); - -v8 foo(void) { - v8 a; - v4 b; - a = (v8){4, 2}; // expected-error {{too few elements in vector initialization (expected 8 elements, have 2)}} - b = (v4)(5, 6, 7, 8, 9); // expected-warning {{excess elements in vector initializer}} - b = (v4)(5, 6, 8, 8.0f); - return (v8){0, 1, 2, 3, 1, 2, 3, 4}; - - // FIXME: test that (type)(fn)(args) still works with -faltivec - // FIXME: test that c++ overloaded commas still work -faltivec -} diff --git a/clang/tools/clang-cc/clang-cc.cpp b/clang/tools/clang-cc/clang-cc.cpp index a7cff1d1a27a..e935baa27f3a 100644 --- a/clang/tools/clang-cc/clang-cc.cpp +++ b/clang/tools/clang-cc/clang-cc.cpp @@ -385,10 +385,6 @@ OverflowChecking("ftrapv", llvm::cl::desc("Trap on integer overflow"), llvm::cl::init(false)); -static llvm::cl::opt -AltiVec("faltivec", llvm::cl::desc("Enable AltiVec vector initializer syntax"), - llvm::cl::init(false)); - static llvm::cl::opt ObjCSenderDispatch("fobjc-sender-dependent-dispatch", llvm::cl::desc("Enable sender-dependent dispatch for" @@ -505,9 +501,6 @@ static void InitializeLangOptions(LangOptions &Options, LangKind LK){ if (ObjCEnableGCBitmapPrint) Options.ObjCGCBitmapPrint = 1; - if (AltiVec) - Options.AltiVec = 1; - Options.setVisibilityMode(SymbolVisibility); Options.OverflowChecking = OverflowChecking; }