1193326Sed//===--- CGExprScalar.cpp - Emit LLVM Code for Scalar Exprs ---------------===// 2193326Sed// 3193326Sed// The LLVM Compiler Infrastructure 4193326Sed// 5193326Sed// This file is distributed under the University of Illinois Open Source 6193326Sed// License. See LICENSE.TXT for details. 7193326Sed// 8193326Sed//===----------------------------------------------------------------------===// 9193326Sed// 10193326Sed// This contains code to emit Expr nodes with scalar LLVM types as LLVM code. 11193326Sed// 12193326Sed//===----------------------------------------------------------------------===// 13193326Sed 14193326Sed#include "CodeGenFunction.h" 15212904Sdim#include "CGCXXABI.h" 16252723Sdim#include "CGDebugInfo.h" 17198092Srdivacky#include "CGObjCRuntime.h" 18193326Sed#include "CodeGenModule.h" 19193326Sed#include "clang/AST/ASTContext.h" 20193326Sed#include "clang/AST/DeclObjC.h" 21193326Sed#include "clang/AST/RecordLayout.h" 22193326Sed#include "clang/AST/StmtVisitor.h" 23193326Sed#include "clang/Basic/TargetInfo.h" 24252723Sdim#include "clang/Frontend/CodeGenOptions.h" 25252723Sdim#include "llvm/IR/Constants.h" 26252723Sdim#include "llvm/IR/DataLayout.h" 27252723Sdim#include "llvm/IR/Function.h" 28252723Sdim#include "llvm/IR/GlobalVariable.h" 29252723Sdim#include "llvm/IR/Intrinsics.h" 30252723Sdim#include "llvm/IR/Module.h" 31193326Sed#include "llvm/Support/CFG.h" 32193326Sed#include <cstdarg> 33193326Sed 34193326Sedusing namespace clang; 35193326Sedusing namespace CodeGen; 36193326Sedusing llvm::Value; 37193326Sed 38193326Sed//===----------------------------------------------------------------------===// 39193326Sed// Scalar Expression Emitter 40193326Sed//===----------------------------------------------------------------------===// 41193326Sed 42218893Sdimnamespace { 43193326Sedstruct BinOpInfo { 44193326Sed Value *LHS; 45193326Sed Value *RHS; 46193326Sed QualType Ty; // Computation Type. 47210299Sed BinaryOperator::Opcode Opcode; // Opcode of BinOp to perform 48245431Sdim bool FPContractable; 49210299Sed const Expr *E; // Entire expr, for error unsupported. May not be binop. 50193326Sed}; 51193326Sed 52218893Sdimstatic bool MustVisitNullValue(const Expr *E) { 53218893Sdim // If a null pointer expression's type is the C++0x nullptr_t, then 54218893Sdim // it's not necessarily a simple constant and it must be evaluated 55218893Sdim // for its potential side effects. 56218893Sdim return E->getType()->isNullPtrType(); 57218893Sdim} 58218893Sdim 59199990Srdivackyclass ScalarExprEmitter 60193326Sed : public StmtVisitor<ScalarExprEmitter, Value*> { 61193326Sed CodeGenFunction &CGF; 62193326Sed CGBuilderTy &Builder; 63193326Sed bool IgnoreResultAssign; 64198092Srdivacky llvm::LLVMContext &VMContext; 65193326Sedpublic: 66193326Sed 67193326Sed ScalarExprEmitter(CodeGenFunction &cgf, bool ira=false) 68198092Srdivacky : CGF(cgf), Builder(CGF.Builder), IgnoreResultAssign(ira), 69198092Srdivacky VMContext(cgf.getLLVMContext()) { 70193326Sed } 71198092Srdivacky 72193326Sed //===--------------------------------------------------------------------===// 73193326Sed // Utilities 74193326Sed //===--------------------------------------------------------------------===// 75193326Sed 76193326Sed bool TestAndClearIgnoreResultAssign() { 77198092Srdivacky bool I = IgnoreResultAssign; 78198092Srdivacky IgnoreResultAssign = false; 79198092Srdivacky return I; 80198092Srdivacky } 81193326Sed 82226890Sdim llvm::Type *ConvertType(QualType T) { return CGF.ConvertType(T); } 83193326Sed LValue EmitLValue(const Expr *E) { return CGF.EmitLValue(E); } 84245431Sdim LValue EmitCheckedLValue(const Expr *E, CodeGenFunction::TypeCheckKind TCK) { 85245431Sdim return CGF.EmitCheckedLValue(E, TCK); 86245431Sdim } 87193326Sed 88245431Sdim void EmitBinOpCheck(Value *Check, const BinOpInfo &Info); 89245431Sdim 90263509Sdim Value *EmitLoadOfLValue(LValue LV, SourceLocation Loc) { 91263509Sdim return CGF.EmitLoadOfLValue(LV, Loc).getScalarVal(); 92193326Sed } 93198092Srdivacky 94193326Sed /// EmitLoadOfLValue - Given an expression with complex type that represents a 95193326Sed /// value l-value, this method emits the address of the l-value, then loads 96193326Sed /// and returns the result. 97193326Sed Value *EmitLoadOfLValue(const Expr *E) { 98263509Sdim return EmitLoadOfLValue(EmitCheckedLValue(E, CodeGenFunction::TCK_Load), 99263509Sdim E->getExprLoc()); 100193326Sed } 101198092Srdivacky 102193326Sed /// EmitConversionToBool - Convert the specified expression value to a 103193326Sed /// boolean (i1) truth value. This is equivalent to "Val != 0". 104193326Sed Value *EmitConversionToBool(Value *Src, QualType DstTy); 105198092Srdivacky 106245431Sdim /// \brief Emit a check that a conversion to or from a floating-point type 107245431Sdim /// does not overflow. 108245431Sdim void EmitFloatConversionCheck(Value *OrigSrc, QualType OrigSrcType, 109245431Sdim Value *Src, QualType SrcType, 110245431Sdim QualType DstType, llvm::Type *DstTy); 111245431Sdim 112193326Sed /// EmitScalarConversion - Emit a conversion from the specified type to the 113193326Sed /// specified destination type, both of which are LLVM scalar types. 114193326Sed Value *EmitScalarConversion(Value *Src, QualType SrcTy, QualType DstTy); 115193326Sed 116193326Sed /// EmitComplexToScalarConversion - Emit a conversion from the specified 117198092Srdivacky /// complex type to the specified destination type, where the destination type 118198092Srdivacky /// is an LLVM scalar type. 119193326Sed Value *EmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 120193326Sed QualType SrcTy, QualType DstTy); 121193326Sed 122208600Srdivacky /// EmitNullValue - Emit a value that corresponds to null for the given type. 123208600Srdivacky Value *EmitNullValue(QualType Ty); 124208600Srdivacky 125218893Sdim /// EmitFloatToBoolConversion - Perform an FP to boolean conversion. 126218893Sdim Value *EmitFloatToBoolConversion(Value *V) { 127218893Sdim // Compare against 0.0 for fp scalars. 128218893Sdim llvm::Value *Zero = llvm::Constant::getNullValue(V->getType()); 129218893Sdim return Builder.CreateFCmpUNE(V, Zero, "tobool"); 130218893Sdim } 131218893Sdim 132218893Sdim /// EmitPointerToBoolConversion - Perform a pointer to boolean conversion. 133218893Sdim Value *EmitPointerToBoolConversion(Value *V) { 134218893Sdim Value *Zero = llvm::ConstantPointerNull::get( 135218893Sdim cast<llvm::PointerType>(V->getType())); 136218893Sdim return Builder.CreateICmpNE(V, Zero, "tobool"); 137218893Sdim } 138218893Sdim 139218893Sdim Value *EmitIntToBoolConversion(Value *V) { 140218893Sdim // Because of the type rules of C, we often end up computing a 141218893Sdim // logical value, then zero extending it to int, then wanting it 142218893Sdim // as a logical value again. Optimize this common case. 143218893Sdim if (llvm::ZExtInst *ZI = dyn_cast<llvm::ZExtInst>(V)) { 144218893Sdim if (ZI->getOperand(0)->getType() == Builder.getInt1Ty()) { 145218893Sdim Value *Result = ZI->getOperand(0); 146218893Sdim // If there aren't any more uses, zap the instruction to save space. 147218893Sdim // Note that there can be more uses, for example if this 148218893Sdim // is the result of an assignment. 149218893Sdim if (ZI->use_empty()) 150218893Sdim ZI->eraseFromParent(); 151218893Sdim return Result; 152218893Sdim } 153218893Sdim } 154218893Sdim 155221345Sdim return Builder.CreateIsNotNull(V, "tobool"); 156218893Sdim } 157218893Sdim 158193326Sed //===--------------------------------------------------------------------===// 159193326Sed // Visitor Methods 160193326Sed //===--------------------------------------------------------------------===// 161193326Sed 162218893Sdim Value *Visit(Expr *E) { 163218893Sdim return StmtVisitor<ScalarExprEmitter, Value*>::Visit(E); 164218893Sdim } 165263509Sdim 166193326Sed Value *VisitStmt(Stmt *S) { 167193326Sed S->dump(CGF.getContext().getSourceManager()); 168226890Sdim llvm_unreachable("Stmt can't have complex result type!"); 169193326Sed } 170193326Sed Value *VisitExpr(Expr *S); 171263509Sdim 172218893Sdim Value *VisitParenExpr(ParenExpr *PE) { 173263509Sdim return Visit(PE->getSubExpr()); 174218893Sdim } 175224145Sdim Value *VisitSubstNonTypeTemplateParmExpr(SubstNonTypeTemplateParmExpr *E) { 176263509Sdim return Visit(E->getReplacement()); 177224145Sdim } 178221345Sdim Value *VisitGenericSelectionExpr(GenericSelectionExpr *GE) { 179221345Sdim return Visit(GE->getResultExpr()); 180221345Sdim } 181193326Sed 182193326Sed // Leaves. 183193326Sed Value *VisitIntegerLiteral(const IntegerLiteral *E) { 184221345Sdim return Builder.getInt(E->getValue()); 185193326Sed } 186193326Sed Value *VisitFloatingLiteral(const FloatingLiteral *E) { 187198092Srdivacky return llvm::ConstantFP::get(VMContext, E->getValue()); 188193326Sed } 189193326Sed Value *VisitCharacterLiteral(const CharacterLiteral *E) { 190193326Sed return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 191193326Sed } 192235633Sdim Value *VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *E) { 193235633Sdim return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 194235633Sdim } 195193326Sed Value *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) { 196193326Sed return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 197193326Sed } 198210299Sed Value *VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *E) { 199208600Srdivacky return EmitNullValue(E->getType()); 200193326Sed } 201193326Sed Value *VisitGNUNullExpr(const GNUNullExpr *E) { 202208600Srdivacky return EmitNullValue(E->getType()); 203193326Sed } 204212904Sdim Value *VisitOffsetOfExpr(OffsetOfExpr *E); 205221345Sdim Value *VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *E); 206193326Sed Value *VisitAddrLabelExpr(const AddrLabelExpr *E) { 207198893Srdivacky llvm::Value *V = CGF.GetAddrOfLabel(E->getLabel()); 208198893Srdivacky return Builder.CreateBitCast(V, ConvertType(E->getType())); 209193326Sed } 210198092Srdivacky 211218893Sdim Value *VisitSizeOfPackExpr(SizeOfPackExpr *E) { 212221345Sdim return llvm::ConstantInt::get(ConvertType(E->getType()),E->getPackLength()); 213218893Sdim } 214218893Sdim 215235633Sdim Value *VisitPseudoObjectExpr(PseudoObjectExpr *E) { 216235633Sdim return CGF.EmitPseudoObjectRValue(E).getScalarVal(); 217235633Sdim } 218235633Sdim 219218893Sdim Value *VisitOpaqueValueExpr(OpaqueValueExpr *E) { 220218893Sdim if (E->isGLValue()) 221263509Sdim return EmitLoadOfLValue(CGF.getOpaqueLValueMapping(E), E->getExprLoc()); 222218893Sdim 223218893Sdim // Otherwise, assume the mapping is the scalar directly. 224218893Sdim return CGF.getOpaqueRValueMapping(E).getScalarVal(); 225218893Sdim } 226235633Sdim 227193326Sed // l-values. 228193326Sed Value *VisitDeclRefExpr(DeclRefExpr *E) { 229235633Sdim if (CodeGenFunction::ConstantEmission result = CGF.tryEmitAsConstant(E)) { 230235633Sdim if (result.isReference()) 231263509Sdim return EmitLoadOfLValue(result.getReferenceLValue(CGF, E), 232263509Sdim E->getExprLoc()); 233235633Sdim return result.getValue(); 234218893Sdim } 235235633Sdim return EmitLoadOfLValue(E); 236235633Sdim } 237218893Sdim 238198092Srdivacky Value *VisitObjCSelectorExpr(ObjCSelectorExpr *E) { 239198092Srdivacky return CGF.EmitObjCSelectorExpr(E); 240193326Sed } 241198092Srdivacky Value *VisitObjCProtocolExpr(ObjCProtocolExpr *E) { 242198092Srdivacky return CGF.EmitObjCProtocolExpr(E); 243193326Sed } 244198092Srdivacky Value *VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 245193326Sed return EmitLoadOfLValue(E); 246193326Sed } 247193326Sed Value *VisitObjCMessageExpr(ObjCMessageExpr *E) { 248263509Sdim if (E->getMethodDecl() && 249221345Sdim E->getMethodDecl()->getResultType()->isReferenceType()) 250221345Sdim return EmitLoadOfLValue(E); 251193326Sed return CGF.EmitObjCMessageExpr(E).getScalarVal(); 252193326Sed } 253193326Sed 254200583Srdivacky Value *VisitObjCIsaExpr(ObjCIsaExpr *E) { 255200583Srdivacky LValue LV = CGF.EmitObjCIsaExpr(E); 256263509Sdim Value *V = CGF.EmitLoadOfLValue(LV, E->getExprLoc()).getScalarVal(); 257200583Srdivacky return V; 258200583Srdivacky } 259200583Srdivacky 260193326Sed Value *VisitArraySubscriptExpr(ArraySubscriptExpr *E); 261193326Sed Value *VisitShuffleVectorExpr(ShuffleVectorExpr *E); 262263509Sdim Value *VisitConvertVectorExpr(ConvertVectorExpr *E); 263199990Srdivacky Value *VisitMemberExpr(MemberExpr *E); 264193326Sed Value *VisitExtVectorElementExpr(Expr *E) { return EmitLoadOfLValue(E); } 265193326Sed Value *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 266193326Sed return EmitLoadOfLValue(E); 267193326Sed } 268198092Srdivacky 269198398Srdivacky Value *VisitInitListExpr(InitListExpr *E); 270198092Srdivacky 271193326Sed Value *VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E) { 272252723Sdim return EmitNullValue(E->getType()); 273193326Sed } 274224145Sdim Value *VisitExplicitCastExpr(ExplicitCastExpr *E) { 275193326Sed if (E->getType()->isVariablyModifiedType()) 276224145Sdim CGF.EmitVariablyModifiedType(E->getType()); 277224145Sdim return VisitCastExpr(E); 278193326Sed } 279224145Sdim Value *VisitCastExpr(CastExpr *E); 280193326Sed 281193326Sed Value *VisitCallExpr(const CallExpr *E) { 282193326Sed if (E->getCallReturnType()->isReferenceType()) 283193326Sed return EmitLoadOfLValue(E); 284198092Srdivacky 285193326Sed return CGF.EmitCallExpr(E).getScalarVal(); 286193326Sed } 287193326Sed 288193326Sed Value *VisitStmtExpr(const StmtExpr *E); 289193326Sed 290193326Sed // Unary Operators. 291210299Sed Value *VisitUnaryPostDec(const UnaryOperator *E) { 292202379Srdivacky LValue LV = EmitLValue(E->getSubExpr()); 293210299Sed return EmitScalarPrePostIncDec(E, LV, false, false); 294202379Srdivacky } 295193326Sed Value *VisitUnaryPostInc(const UnaryOperator *E) { 296210299Sed LValue LV = EmitLValue(E->getSubExpr()); 297210299Sed return EmitScalarPrePostIncDec(E, LV, true, false); 298193326Sed } 299193326Sed Value *VisitUnaryPreDec(const UnaryOperator *E) { 300210299Sed LValue LV = EmitLValue(E->getSubExpr()); 301210299Sed return EmitScalarPrePostIncDec(E, LV, false, true); 302193326Sed } 303193326Sed Value *VisitUnaryPreInc(const UnaryOperator *E) { 304210299Sed LValue LV = EmitLValue(E->getSubExpr()); 305210299Sed return EmitScalarPrePostIncDec(E, LV, true, true); 306193326Sed } 307210299Sed 308218893Sdim llvm::Value *EmitAddConsiderOverflowBehavior(const UnaryOperator *E, 309218893Sdim llvm::Value *InVal, 310218893Sdim llvm::Value *NextVal, 311218893Sdim bool IsInc); 312218893Sdim 313210299Sed llvm::Value *EmitScalarPrePostIncDec(const UnaryOperator *E, LValue LV, 314210299Sed bool isInc, bool isPre); 315210299Sed 316263509Sdim 317193326Sed Value *VisitUnaryAddrOf(const UnaryOperator *E) { 318218893Sdim if (isa<MemberPointerType>(E->getType())) // never sugared 319218893Sdim return CGF.CGM.getMemberPointerConstant(E); 320218893Sdim 321193326Sed return EmitLValue(E->getSubExpr()).getAddress(); 322193326Sed } 323218893Sdim Value *VisitUnaryDeref(const UnaryOperator *E) { 324218893Sdim if (E->getType()->isVoidType()) 325218893Sdim return Visit(E->getSubExpr()); // the actual value should be unused 326218893Sdim return EmitLoadOfLValue(E); 327218893Sdim } 328193326Sed Value *VisitUnaryPlus(const UnaryOperator *E) { 329193326Sed // This differs from gcc, though, most likely due to a bug in gcc. 330193326Sed TestAndClearIgnoreResultAssign(); 331193326Sed return Visit(E->getSubExpr()); 332193326Sed } 333193326Sed Value *VisitUnaryMinus (const UnaryOperator *E); 334193326Sed Value *VisitUnaryNot (const UnaryOperator *E); 335193326Sed Value *VisitUnaryLNot (const UnaryOperator *E); 336193326Sed Value *VisitUnaryReal (const UnaryOperator *E); 337193326Sed Value *VisitUnaryImag (const UnaryOperator *E); 338193326Sed Value *VisitUnaryExtension(const UnaryOperator *E) { 339193326Sed return Visit(E->getSubExpr()); 340193326Sed } 341263509Sdim 342193326Sed // C++ 343226890Sdim Value *VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *E) { 344226890Sdim return EmitLoadOfLValue(E); 345226890Sdim } 346263509Sdim 347193326Sed Value *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 348193326Sed return Visit(DAE->getExpr()); 349193326Sed } 350252723Sdim Value *VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) { 351252723Sdim CodeGenFunction::CXXDefaultInitExprScope Scope(CGF); 352252723Sdim return Visit(DIE->getExpr()); 353252723Sdim } 354193326Sed Value *VisitCXXThisExpr(CXXThisExpr *TE) { 355193326Sed return CGF.LoadCXXThis(); 356198092Srdivacky } 357198092Srdivacky 358218893Sdim Value *VisitExprWithCleanups(ExprWithCleanups *E) { 359235633Sdim CGF.enterFullExpression(E); 360235633Sdim CodeGenFunction::RunCleanupsScope Scope(CGF); 361235633Sdim return Visit(E->getSubExpr()); 362193326Sed } 363193326Sed Value *VisitCXXNewExpr(const CXXNewExpr *E) { 364193326Sed return CGF.EmitCXXNewExpr(E); 365193326Sed } 366198092Srdivacky Value *VisitCXXDeleteExpr(const CXXDeleteExpr *E) { 367198092Srdivacky CGF.EmitCXXDeleteExpr(E); 368198092Srdivacky return 0; 369198092Srdivacky } 370200583Srdivacky Value *VisitUnaryTypeTraitExpr(const UnaryTypeTraitExpr *E) { 371221345Sdim return Builder.getInt1(E->getValue()); 372200583Srdivacky } 373198092Srdivacky 374218893Sdim Value *VisitBinaryTypeTraitExpr(const BinaryTypeTraitExpr *E) { 375218893Sdim return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 376218893Sdim } 377218893Sdim 378221345Sdim Value *VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *E) { 379221345Sdim return llvm::ConstantInt::get(Builder.getInt32Ty(), E->getValue()); 380221345Sdim } 381221345Sdim 382221345Sdim Value *VisitExpressionTraitExpr(const ExpressionTraitExpr *E) { 383221345Sdim return llvm::ConstantInt::get(Builder.getInt1Ty(), E->getValue()); 384221345Sdim } 385221345Sdim 386198092Srdivacky Value *VisitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *E) { 387198092Srdivacky // C++ [expr.pseudo]p1: 388198092Srdivacky // The result shall only be used as the operand for the function call 389198092Srdivacky // operator (), and the result of such a call has type void. The only 390198092Srdivacky // effect is the evaluation of the postfix-expression before the dot or 391198092Srdivacky // arrow. 392198092Srdivacky CGF.EmitScalarExpr(E->getBase()); 393198092Srdivacky return 0; 394198092Srdivacky } 395198092Srdivacky 396198092Srdivacky Value *VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E) { 397208600Srdivacky return EmitNullValue(E->getType()); 398198092Srdivacky } 399198893Srdivacky 400198893Srdivacky Value *VisitCXXThrowExpr(const CXXThrowExpr *E) { 401198893Srdivacky CGF.EmitCXXThrowExpr(E); 402198893Srdivacky return 0; 403198893Srdivacky } 404198893Srdivacky 405218893Sdim Value *VisitCXXNoexceptExpr(const CXXNoexceptExpr *E) { 406221345Sdim return Builder.getInt1(E->getValue()); 407218893Sdim } 408218893Sdim 409193326Sed // Binary Operators. 410193326Sed Value *EmitMul(const BinOpInfo &Ops) { 411223017Sdim if (Ops.Ty->isSignedIntegerOrEnumerationType()) { 412245431Sdim switch (CGF.getLangOpts().getSignedOverflowBehavior()) { 413210299Sed case LangOptions::SOB_Defined: 414210299Sed return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 415245431Sdim case LangOptions::SOB_Undefined: 416252723Sdim if (!CGF.SanOpts->SignedIntegerOverflow) 417245431Sdim return Builder.CreateNSWMul(Ops.LHS, Ops.RHS, "mul"); 418245431Sdim // Fall through. 419210299Sed case LangOptions::SOB_Trapping: 420210299Sed return EmitOverflowCheckedBinOp(Ops); 421210299Sed } 422210299Sed } 423245431Sdim 424252723Sdim if (Ops.Ty->isUnsignedIntegerType() && CGF.SanOpts->UnsignedIntegerOverflow) 425252723Sdim return EmitOverflowCheckedBinOp(Ops); 426252723Sdim 427203955Srdivacky if (Ops.LHS->getType()->isFPOrFPVectorTy()) 428194613Sed return Builder.CreateFMul(Ops.LHS, Ops.RHS, "mul"); 429193326Sed return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 430193326Sed } 431193326Sed /// Create a binary op that checks for overflow. 432193326Sed /// Currently only supports +, - and *. 433193326Sed Value *EmitOverflowCheckedBinOp(const BinOpInfo &Ops); 434245431Sdim 435218893Sdim // Check for undefined division and modulus behaviors. 436263509Sdim void EmitUndefinedBehaviorIntegerDivAndRemCheck(const BinOpInfo &Ops, 437218893Sdim llvm::Value *Zero,bool isDiv); 438252723Sdim // Common helper for getting how wide LHS of shift is. 439252723Sdim static Value *GetWidthMinusOneValue(Value* LHS,Value* RHS); 440193326Sed Value *EmitDiv(const BinOpInfo &Ops); 441193326Sed Value *EmitRem(const BinOpInfo &Ops); 442193326Sed Value *EmitAdd(const BinOpInfo &Ops); 443193326Sed Value *EmitSub(const BinOpInfo &Ops); 444193326Sed Value *EmitShl(const BinOpInfo &Ops); 445193326Sed Value *EmitShr(const BinOpInfo &Ops); 446193326Sed Value *EmitAnd(const BinOpInfo &Ops) { 447193326Sed return Builder.CreateAnd(Ops.LHS, Ops.RHS, "and"); 448193326Sed } 449193326Sed Value *EmitXor(const BinOpInfo &Ops) { 450193326Sed return Builder.CreateXor(Ops.LHS, Ops.RHS, "xor"); 451193326Sed } 452193326Sed Value *EmitOr (const BinOpInfo &Ops) { 453193326Sed return Builder.CreateOr(Ops.LHS, Ops.RHS, "or"); 454193326Sed } 455193326Sed 456193326Sed BinOpInfo EmitBinOps(const BinaryOperator *E); 457207619Srdivacky LValue EmitCompoundAssignLValue(const CompoundAssignOperator *E, 458207619Srdivacky Value *(ScalarExprEmitter::*F)(const BinOpInfo &), 459210299Sed Value *&Result); 460207619Srdivacky 461193326Sed Value *EmitCompoundAssign(const CompoundAssignOperator *E, 462193326Sed Value *(ScalarExprEmitter::*F)(const BinOpInfo &)); 463193326Sed 464193326Sed // Binary operators and binary compound assignment operators. 465193326Sed#define HANDLEBINOP(OP) \ 466193326Sed Value *VisitBin ## OP(const BinaryOperator *E) { \ 467193326Sed return Emit ## OP(EmitBinOps(E)); \ 468193326Sed } \ 469193326Sed Value *VisitBin ## OP ## Assign(const CompoundAssignOperator *E) { \ 470193326Sed return EmitCompoundAssign(E, &ScalarExprEmitter::Emit ## OP); \ 471193326Sed } 472201361Srdivacky HANDLEBINOP(Mul) 473201361Srdivacky HANDLEBINOP(Div) 474201361Srdivacky HANDLEBINOP(Rem) 475201361Srdivacky HANDLEBINOP(Add) 476201361Srdivacky HANDLEBINOP(Sub) 477201361Srdivacky HANDLEBINOP(Shl) 478201361Srdivacky HANDLEBINOP(Shr) 479201361Srdivacky HANDLEBINOP(And) 480201361Srdivacky HANDLEBINOP(Xor) 481201361Srdivacky HANDLEBINOP(Or) 482193326Sed#undef HANDLEBINOP 483193326Sed 484193326Sed // Comparisons. 485193326Sed Value *EmitCompare(const BinaryOperator *E, unsigned UICmpOpc, 486193326Sed unsigned SICmpOpc, unsigned FCmpOpc); 487193326Sed#define VISITCOMP(CODE, UI, SI, FP) \ 488193326Sed Value *VisitBin##CODE(const BinaryOperator *E) { \ 489193326Sed return EmitCompare(E, llvm::ICmpInst::UI, llvm::ICmpInst::SI, \ 490193326Sed llvm::FCmpInst::FP); } 491201361Srdivacky VISITCOMP(LT, ICMP_ULT, ICMP_SLT, FCMP_OLT) 492201361Srdivacky VISITCOMP(GT, ICMP_UGT, ICMP_SGT, FCMP_OGT) 493201361Srdivacky VISITCOMP(LE, ICMP_ULE, ICMP_SLE, FCMP_OLE) 494201361Srdivacky VISITCOMP(GE, ICMP_UGE, ICMP_SGE, FCMP_OGE) 495201361Srdivacky VISITCOMP(EQ, ICMP_EQ , ICMP_EQ , FCMP_OEQ) 496201361Srdivacky VISITCOMP(NE, ICMP_NE , ICMP_NE , FCMP_UNE) 497193326Sed#undef VISITCOMP 498198092Srdivacky 499193326Sed Value *VisitBinAssign (const BinaryOperator *E); 500193326Sed 501193326Sed Value *VisitBinLAnd (const BinaryOperator *E); 502193326Sed Value *VisitBinLOr (const BinaryOperator *E); 503193326Sed Value *VisitBinComma (const BinaryOperator *E); 504193326Sed 505199482Srdivacky Value *VisitBinPtrMemD(const Expr *E) { return EmitLoadOfLValue(E); } 506199482Srdivacky Value *VisitBinPtrMemI(const Expr *E) { return EmitLoadOfLValue(E); } 507199482Srdivacky 508193326Sed // Other Operators. 509193326Sed Value *VisitBlockExpr(const BlockExpr *BE); 510218893Sdim Value *VisitAbstractConditionalOperator(const AbstractConditionalOperator *); 511193326Sed Value *VisitChooseExpr(ChooseExpr *CE); 512193326Sed Value *VisitVAArgExpr(VAArgExpr *VE); 513193326Sed Value *VisitObjCStringLiteral(const ObjCStringLiteral *E) { 514193326Sed return CGF.EmitObjCStringLiteral(E); 515193326Sed } 516245431Sdim Value *VisitObjCBoxedExpr(ObjCBoxedExpr *E) { 517245431Sdim return CGF.EmitObjCBoxedExpr(E); 518235633Sdim } 519235633Sdim Value *VisitObjCArrayLiteral(ObjCArrayLiteral *E) { 520235633Sdim return CGF.EmitObjCArrayLiteral(E); 521235633Sdim } 522235633Sdim Value *VisitObjCDictionaryLiteral(ObjCDictionaryLiteral *E) { 523235633Sdim return CGF.EmitObjCDictionaryLiteral(E); 524235633Sdim } 525223017Sdim Value *VisitAsTypeExpr(AsTypeExpr *CE); 526226890Sdim Value *VisitAtomicExpr(AtomicExpr *AE); 527193326Sed}; 528193326Sed} // end anonymous namespace. 529193326Sed 530193326Sed//===----------------------------------------------------------------------===// 531193326Sed// Utilities 532193326Sed//===----------------------------------------------------------------------===// 533193326Sed 534193326Sed/// EmitConversionToBool - Convert the specified expression value to a 535193326Sed/// boolean (i1) truth value. This is equivalent to "Val != 0". 536193326SedValue *ScalarExprEmitter::EmitConversionToBool(Value *Src, QualType SrcType) { 537198398Srdivacky assert(SrcType.isCanonical() && "EmitScalarConversion strips typedefs"); 538198092Srdivacky 539218893Sdim if (SrcType->isRealFloatingType()) 540218893Sdim return EmitFloatToBoolConversion(Src); 541198092Srdivacky 542212904Sdim if (const MemberPointerType *MPT = dyn_cast<MemberPointerType>(SrcType)) 543212904Sdim return CGF.CGM.getCXXABI().EmitMemberPointerIsNotNull(CGF, Src, MPT); 544198092Srdivacky 545193326Sed assert((SrcType->isIntegerType() || isa<llvm::PointerType>(Src->getType())) && 546193326Sed "Unknown scalar type to convert"); 547198092Srdivacky 548218893Sdim if (isa<llvm::IntegerType>(Src->getType())) 549218893Sdim return EmitIntToBoolConversion(Src); 550198092Srdivacky 551218893Sdim assert(isa<llvm::PointerType>(Src->getType())); 552218893Sdim return EmitPointerToBoolConversion(Src); 553193326Sed} 554193326Sed 555245431Sdimvoid ScalarExprEmitter::EmitFloatConversionCheck(Value *OrigSrc, 556245431Sdim QualType OrigSrcType, 557245431Sdim Value *Src, QualType SrcType, 558245431Sdim QualType DstType, 559245431Sdim llvm::Type *DstTy) { 560245431Sdim using llvm::APFloat; 561245431Sdim using llvm::APSInt; 562245431Sdim 563245431Sdim llvm::Type *SrcTy = Src->getType(); 564245431Sdim 565245431Sdim llvm::Value *Check = 0; 566245431Sdim if (llvm::IntegerType *IntTy = dyn_cast<llvm::IntegerType>(SrcTy)) { 567245431Sdim // Integer to floating-point. This can fail for unsigned short -> __half 568245431Sdim // or unsigned __int128 -> float. 569245431Sdim assert(DstType->isFloatingType()); 570245431Sdim bool SrcIsUnsigned = OrigSrcType->isUnsignedIntegerOrEnumerationType(); 571245431Sdim 572245431Sdim APFloat LargestFloat = 573245431Sdim APFloat::getLargest(CGF.getContext().getFloatTypeSemantics(DstType)); 574245431Sdim APSInt LargestInt(IntTy->getBitWidth(), SrcIsUnsigned); 575245431Sdim 576245431Sdim bool IsExact; 577245431Sdim if (LargestFloat.convertToInteger(LargestInt, APFloat::rmTowardZero, 578245431Sdim &IsExact) != APFloat::opOK) 579245431Sdim // The range of representable values of this floating point type includes 580245431Sdim // all values of this integer type. Don't need an overflow check. 581245431Sdim return; 582245431Sdim 583245431Sdim llvm::Value *Max = llvm::ConstantInt::get(VMContext, LargestInt); 584245431Sdim if (SrcIsUnsigned) 585245431Sdim Check = Builder.CreateICmpULE(Src, Max); 586245431Sdim else { 587245431Sdim llvm::Value *Min = llvm::ConstantInt::get(VMContext, -LargestInt); 588245431Sdim llvm::Value *GE = Builder.CreateICmpSGE(Src, Min); 589245431Sdim llvm::Value *LE = Builder.CreateICmpSLE(Src, Max); 590245431Sdim Check = Builder.CreateAnd(GE, LE); 591245431Sdim } 592245431Sdim } else { 593245431Sdim const llvm::fltSemantics &SrcSema = 594245431Sdim CGF.getContext().getFloatTypeSemantics(OrigSrcType); 595245431Sdim if (isa<llvm::IntegerType>(DstTy)) { 596252723Sdim // Floating-point to integer. This has undefined behavior if the source is 597252723Sdim // +-Inf, NaN, or doesn't fit into the destination type (after truncation 598252723Sdim // to an integer). 599245431Sdim unsigned Width = CGF.getContext().getIntWidth(DstType); 600245431Sdim bool Unsigned = DstType->isUnsignedIntegerOrEnumerationType(); 601245431Sdim 602245431Sdim APSInt Min = APSInt::getMinValue(Width, Unsigned); 603252723Sdim APFloat MinSrc(SrcSema, APFloat::uninitialized); 604245431Sdim if (MinSrc.convertFromAPInt(Min, !Unsigned, APFloat::rmTowardZero) & 605245431Sdim APFloat::opOverflow) 606245431Sdim // Don't need an overflow check for lower bound. Just check for 607245431Sdim // -Inf/NaN. 608252723Sdim MinSrc = APFloat::getInf(SrcSema, true); 609252723Sdim else 610252723Sdim // Find the largest value which is too small to represent (before 611252723Sdim // truncation toward zero). 612252723Sdim MinSrc.subtract(APFloat(SrcSema, 1), APFloat::rmTowardNegative); 613245431Sdim 614245431Sdim APSInt Max = APSInt::getMaxValue(Width, Unsigned); 615252723Sdim APFloat MaxSrc(SrcSema, APFloat::uninitialized); 616245431Sdim if (MaxSrc.convertFromAPInt(Max, !Unsigned, APFloat::rmTowardZero) & 617245431Sdim APFloat::opOverflow) 618245431Sdim // Don't need an overflow check for upper bound. Just check for 619245431Sdim // +Inf/NaN. 620252723Sdim MaxSrc = APFloat::getInf(SrcSema, false); 621252723Sdim else 622252723Sdim // Find the smallest value which is too large to represent (before 623252723Sdim // truncation toward zero). 624252723Sdim MaxSrc.add(APFloat(SrcSema, 1), APFloat::rmTowardPositive); 625252723Sdim 626252723Sdim // If we're converting from __half, convert the range to float to match 627252723Sdim // the type of src. 628252723Sdim if (OrigSrcType->isHalfType()) { 629252723Sdim const llvm::fltSemantics &Sema = 630252723Sdim CGF.getContext().getFloatTypeSemantics(SrcType); 631252723Sdim bool IsInexact; 632252723Sdim MinSrc.convert(Sema, APFloat::rmTowardZero, &IsInexact); 633252723Sdim MaxSrc.convert(Sema, APFloat::rmTowardZero, &IsInexact); 634252723Sdim } 635252723Sdim 636252723Sdim llvm::Value *GE = 637252723Sdim Builder.CreateFCmpOGT(Src, llvm::ConstantFP::get(VMContext, MinSrc)); 638252723Sdim llvm::Value *LE = 639252723Sdim Builder.CreateFCmpOLT(Src, llvm::ConstantFP::get(VMContext, MaxSrc)); 640252723Sdim Check = Builder.CreateAnd(GE, LE); 641245431Sdim } else { 642252723Sdim // FIXME: Maybe split this sanitizer out from float-cast-overflow. 643252723Sdim // 644252723Sdim // Floating-point to floating-point. This has undefined behavior if the 645252723Sdim // source is not in the range of representable values of the destination 646252723Sdim // type. The C and C++ standards are spectacularly unclear here. We 647252723Sdim // diagnose finite out-of-range conversions, but allow infinities and NaNs 648252723Sdim // to convert to the corresponding value in the smaller type. 649252723Sdim // 650252723Sdim // C11 Annex F gives all such conversions defined behavior for IEC 60559 651252723Sdim // conforming implementations. Unfortunately, LLVM's fptrunc instruction 652252723Sdim // does not. 653252723Sdim 654252723Sdim // Converting from a lower rank to a higher rank can never have 655252723Sdim // undefined behavior, since higher-rank types must have a superset 656252723Sdim // of values of lower-rank types. 657252723Sdim if (CGF.getContext().getFloatingTypeOrder(OrigSrcType, DstType) != 1) 658252723Sdim return; 659252723Sdim 660252723Sdim assert(!OrigSrcType->isHalfType() && 661252723Sdim "should not check conversion from __half, it has the lowest rank"); 662252723Sdim 663245431Sdim const llvm::fltSemantics &DstSema = 664245431Sdim CGF.getContext().getFloatTypeSemantics(DstType); 665252723Sdim APFloat MinBad = APFloat::getLargest(DstSema, false); 666252723Sdim APFloat MaxBad = APFloat::getInf(DstSema, false); 667252723Sdim 668245431Sdim bool IsInexact; 669252723Sdim MinBad.convert(SrcSema, APFloat::rmTowardZero, &IsInexact); 670252723Sdim MaxBad.convert(SrcSema, APFloat::rmTowardZero, &IsInexact); 671245431Sdim 672252723Sdim Value *AbsSrc = CGF.EmitNounwindRuntimeCall( 673252723Sdim CGF.CGM.getIntrinsic(llvm::Intrinsic::fabs, Src->getType()), Src); 674252723Sdim llvm::Value *GE = 675252723Sdim Builder.CreateFCmpOGT(AbsSrc, llvm::ConstantFP::get(VMContext, MinBad)); 676252723Sdim llvm::Value *LE = 677252723Sdim Builder.CreateFCmpOLT(AbsSrc, llvm::ConstantFP::get(VMContext, MaxBad)); 678252723Sdim Check = Builder.CreateNot(Builder.CreateAnd(GE, LE)); 679245431Sdim } 680245431Sdim } 681245431Sdim 682245431Sdim // FIXME: Provide a SourceLocation. 683245431Sdim llvm::Constant *StaticArgs[] = { 684245431Sdim CGF.EmitCheckTypeDescriptor(OrigSrcType), 685245431Sdim CGF.EmitCheckTypeDescriptor(DstType) 686245431Sdim }; 687252723Sdim CGF.EmitCheck(Check, "float_cast_overflow", StaticArgs, OrigSrc, 688252723Sdim CodeGenFunction::CRK_Recoverable); 689245431Sdim} 690245431Sdim 691193326Sed/// EmitScalarConversion - Emit a conversion from the specified type to the 692193326Sed/// specified destination type, both of which are LLVM scalar types. 693193326SedValue *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, 694193326Sed QualType DstType) { 695193326Sed SrcType = CGF.getContext().getCanonicalType(SrcType); 696193326Sed DstType = CGF.getContext().getCanonicalType(DstType); 697193326Sed if (SrcType == DstType) return Src; 698198092Srdivacky 699193326Sed if (DstType->isVoidType()) return 0; 700193326Sed 701245431Sdim llvm::Value *OrigSrc = Src; 702245431Sdim QualType OrigSrcType = SrcType; 703226890Sdim llvm::Type *SrcTy = Src->getType(); 704226890Sdim 705252723Sdim // If casting to/from storage-only half FP, use special intrinsics. 706252723Sdim if (SrcType->isHalfType() && !CGF.getContext().getLangOpts().NativeHalfType) { 707226890Sdim Src = Builder.CreateCall(CGF.CGM.getIntrinsic(llvm::Intrinsic::convert_from_fp16), Src); 708226890Sdim SrcType = CGF.getContext().FloatTy; 709235633Sdim SrcTy = CGF.FloatTy; 710226890Sdim } 711226890Sdim 712193326Sed // Handle conversions to bool first, they are special: comparisons against 0. 713193326Sed if (DstType->isBooleanType()) 714193326Sed return EmitConversionToBool(Src, SrcType); 715198092Srdivacky 716226890Sdim llvm::Type *DstTy = ConvertType(DstType); 717193326Sed 718193326Sed // Ignore conversions like int -> uint. 719226890Sdim if (SrcTy == DstTy) 720193326Sed return Src; 721193326Sed 722198092Srdivacky // Handle pointer conversions next: pointers can only be converted to/from 723198092Srdivacky // other pointers and integers. Check for pointer types in terms of LLVM, as 724198092Srdivacky // some native types (like Obj-C id) may map to a pointer type. 725193326Sed if (isa<llvm::PointerType>(DstTy)) { 726193326Sed // The source value may be an integer, or a pointer. 727226890Sdim if (isa<llvm::PointerType>(SrcTy)) 728193326Sed return Builder.CreateBitCast(Src, DstTy, "conv"); 729198092Srdivacky 730193326Sed assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?"); 731193326Sed // First, convert to the correct width so that we control the kind of 732193326Sed // extension. 733226890Sdim llvm::Type *MiddleTy = CGF.IntPtrTy; 734223017Sdim bool InputSigned = SrcType->isSignedIntegerOrEnumerationType(); 735193326Sed llvm::Value* IntResult = 736193326Sed Builder.CreateIntCast(Src, MiddleTy, InputSigned, "conv"); 737193326Sed // Then, cast to pointer. 738193326Sed return Builder.CreateIntToPtr(IntResult, DstTy, "conv"); 739193326Sed } 740198092Srdivacky 741226890Sdim if (isa<llvm::PointerType>(SrcTy)) { 742193326Sed // Must be an ptr to int cast. 743193326Sed assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?"); 744193326Sed return Builder.CreatePtrToInt(Src, DstTy, "conv"); 745193326Sed } 746198092Srdivacky 747193326Sed // A scalar can be splatted to an extended vector of the same element type 748198092Srdivacky if (DstType->isExtVectorType() && !SrcType->isVectorType()) { 749193326Sed // Cast the scalar to element type 750198092Srdivacky QualType EltTy = DstType->getAs<ExtVectorType>()->getElementType(); 751193326Sed llvm::Value *Elt = EmitScalarConversion(Src, SrcType, EltTy); 752193326Sed 753193326Sed // Splat the element across to all elements 754193326Sed unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 755252723Sdim return Builder.CreateVectorSplat(NumElements, Elt, "splat"); 756193326Sed } 757193326Sed 758193326Sed // Allow bitcast from vector to integer/fp of the same size. 759226890Sdim if (isa<llvm::VectorType>(SrcTy) || 760193326Sed isa<llvm::VectorType>(DstTy)) 761193326Sed return Builder.CreateBitCast(Src, DstTy, "conv"); 762198092Srdivacky 763193326Sed // Finally, we have the arithmetic types: real int/float. 764226890Sdim Value *Res = NULL; 765226890Sdim llvm::Type *ResTy = DstTy; 766226890Sdim 767245431Sdim // An overflowing conversion has undefined behavior if either the source type 768245431Sdim // or the destination type is a floating-point type. 769252723Sdim if (CGF.SanOpts->FloatCastOverflow && 770245431Sdim (OrigSrcType->isFloatingType() || DstType->isFloatingType())) 771252723Sdim EmitFloatConversionCheck(OrigSrc, OrigSrcType, Src, SrcType, DstType, 772252723Sdim DstTy); 773245431Sdim 774226890Sdim // Cast to half via float 775252723Sdim if (DstType->isHalfType() && !CGF.getContext().getLangOpts().NativeHalfType) 776235633Sdim DstTy = CGF.FloatTy; 777226890Sdim 778226890Sdim if (isa<llvm::IntegerType>(SrcTy)) { 779223017Sdim bool InputSigned = SrcType->isSignedIntegerOrEnumerationType(); 780193326Sed if (isa<llvm::IntegerType>(DstTy)) 781226890Sdim Res = Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 782193326Sed else if (InputSigned) 783226890Sdim Res = Builder.CreateSIToFP(Src, DstTy, "conv"); 784193326Sed else 785226890Sdim Res = Builder.CreateUIToFP(Src, DstTy, "conv"); 786226890Sdim } else if (isa<llvm::IntegerType>(DstTy)) { 787226890Sdim assert(SrcTy->isFloatingPointTy() && "Unknown real conversion"); 788223017Sdim if (DstType->isSignedIntegerOrEnumerationType()) 789226890Sdim Res = Builder.CreateFPToSI(Src, DstTy, "conv"); 790193326Sed else 791226890Sdim Res = Builder.CreateFPToUI(Src, DstTy, "conv"); 792226890Sdim } else { 793226890Sdim assert(SrcTy->isFloatingPointTy() && DstTy->isFloatingPointTy() && 794226890Sdim "Unknown real conversion"); 795226890Sdim if (DstTy->getTypeID() < SrcTy->getTypeID()) 796226890Sdim Res = Builder.CreateFPTrunc(Src, DstTy, "conv"); 797226890Sdim else 798226890Sdim Res = Builder.CreateFPExt(Src, DstTy, "conv"); 799193326Sed } 800193326Sed 801226890Sdim if (DstTy != ResTy) { 802226890Sdim assert(ResTy->isIntegerTy(16) && "Only half FP requires extra conversion"); 803226890Sdim Res = Builder.CreateCall(CGF.CGM.getIntrinsic(llvm::Intrinsic::convert_to_fp16), Res); 804226890Sdim } 805226890Sdim 806226890Sdim return Res; 807193326Sed} 808193326Sed 809198092Srdivacky/// EmitComplexToScalarConversion - Emit a conversion from the specified complex 810198092Srdivacky/// type to the specified destination type, where the destination type is an 811198092Srdivacky/// LLVM scalar type. 812193326SedValue *ScalarExprEmitter:: 813193326SedEmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 814193326Sed QualType SrcTy, QualType DstTy) { 815193326Sed // Get the source element type. 816252723Sdim SrcTy = SrcTy->castAs<ComplexType>()->getElementType(); 817198092Srdivacky 818193326Sed // Handle conversions to bool first, they are special: comparisons against 0. 819193326Sed if (DstTy->isBooleanType()) { 820193326Sed // Complex != 0 -> (Real != 0) | (Imag != 0) 821193326Sed Src.first = EmitScalarConversion(Src.first, SrcTy, DstTy); 822193326Sed Src.second = EmitScalarConversion(Src.second, SrcTy, DstTy); 823193326Sed return Builder.CreateOr(Src.first, Src.second, "tobool"); 824193326Sed } 825198092Srdivacky 826193326Sed // C99 6.3.1.7p2: "When a value of complex type is converted to a real type, 827193326Sed // the imaginary part of the complex value is discarded and the value of the 828193326Sed // real part is converted according to the conversion rules for the 829198092Srdivacky // corresponding real type. 830193326Sed return EmitScalarConversion(Src.first, SrcTy, DstTy); 831193326Sed} 832193326Sed 833208600SrdivackyValue *ScalarExprEmitter::EmitNullValue(QualType Ty) { 834252723Sdim return CGF.EmitFromMemory(CGF.CGM.EmitNullConstant(Ty), Ty); 835208600Srdivacky} 836208600Srdivacky 837245431Sdim/// \brief Emit a sanitization check for the given "binary" operation (which 838245431Sdim/// might actually be a unary increment which has been lowered to a binary 839245431Sdim/// operation). The check passes if \p Check, which is an \c i1, is \c true. 840245431Sdimvoid ScalarExprEmitter::EmitBinOpCheck(Value *Check, const BinOpInfo &Info) { 841245431Sdim StringRef CheckName; 842252723Sdim SmallVector<llvm::Constant *, 4> StaticData; 843252723Sdim SmallVector<llvm::Value *, 2> DynamicData; 844245431Sdim 845245431Sdim BinaryOperatorKind Opcode = Info.Opcode; 846245431Sdim if (BinaryOperator::isCompoundAssignmentOp(Opcode)) 847245431Sdim Opcode = BinaryOperator::getOpForCompoundAssignment(Opcode); 848245431Sdim 849245431Sdim StaticData.push_back(CGF.EmitCheckSourceLocation(Info.E->getExprLoc())); 850245431Sdim const UnaryOperator *UO = dyn_cast<UnaryOperator>(Info.E); 851245431Sdim if (UO && UO->getOpcode() == UO_Minus) { 852245431Sdim CheckName = "negate_overflow"; 853245431Sdim StaticData.push_back(CGF.EmitCheckTypeDescriptor(UO->getType())); 854245431Sdim DynamicData.push_back(Info.RHS); 855245431Sdim } else { 856245431Sdim if (BinaryOperator::isShiftOp(Opcode)) { 857245431Sdim // Shift LHS negative or too large, or RHS out of bounds. 858245431Sdim CheckName = "shift_out_of_bounds"; 859245431Sdim const BinaryOperator *BO = cast<BinaryOperator>(Info.E); 860245431Sdim StaticData.push_back( 861245431Sdim CGF.EmitCheckTypeDescriptor(BO->getLHS()->getType())); 862245431Sdim StaticData.push_back( 863245431Sdim CGF.EmitCheckTypeDescriptor(BO->getRHS()->getType())); 864245431Sdim } else if (Opcode == BO_Div || Opcode == BO_Rem) { 865245431Sdim // Divide or modulo by zero, or signed overflow (eg INT_MAX / -1). 866245431Sdim CheckName = "divrem_overflow"; 867252723Sdim StaticData.push_back(CGF.EmitCheckTypeDescriptor(Info.Ty)); 868245431Sdim } else { 869245431Sdim // Signed arithmetic overflow (+, -, *). 870245431Sdim switch (Opcode) { 871245431Sdim case BO_Add: CheckName = "add_overflow"; break; 872245431Sdim case BO_Sub: CheckName = "sub_overflow"; break; 873245431Sdim case BO_Mul: CheckName = "mul_overflow"; break; 874245431Sdim default: llvm_unreachable("unexpected opcode for bin op check"); 875245431Sdim } 876252723Sdim StaticData.push_back(CGF.EmitCheckTypeDescriptor(Info.Ty)); 877245431Sdim } 878245431Sdim DynamicData.push_back(Info.LHS); 879245431Sdim DynamicData.push_back(Info.RHS); 880245431Sdim } 881245431Sdim 882252723Sdim CGF.EmitCheck(Check, CheckName, StaticData, DynamicData, 883252723Sdim CodeGenFunction::CRK_Recoverable); 884245431Sdim} 885245431Sdim 886193326Sed//===----------------------------------------------------------------------===// 887193326Sed// Visitor Methods 888193326Sed//===----------------------------------------------------------------------===// 889193326Sed 890193326SedValue *ScalarExprEmitter::VisitExpr(Expr *E) { 891193326Sed CGF.ErrorUnsupported(E, "scalar expression"); 892193326Sed if (E->getType()->isVoidType()) 893193326Sed return 0; 894193326Sed return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 895193326Sed} 896193326Sed 897193326SedValue *ScalarExprEmitter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) { 898210299Sed // Vector Mask Case 899263509Sdim if (E->getNumSubExprs() == 2 || 900210299Sed (E->getNumSubExprs() == 3 && E->getExpr(2)->getType()->isVectorType())) { 901210299Sed Value *LHS = CGF.EmitScalarExpr(E->getExpr(0)); 902210299Sed Value *RHS = CGF.EmitScalarExpr(E->getExpr(1)); 903210299Sed Value *Mask; 904263509Sdim 905226890Sdim llvm::VectorType *LTy = cast<llvm::VectorType>(LHS->getType()); 906210299Sed unsigned LHSElts = LTy->getNumElements(); 907210299Sed 908210299Sed if (E->getNumSubExprs() == 3) { 909210299Sed Mask = CGF.EmitScalarExpr(E->getExpr(2)); 910263509Sdim 911210299Sed // Shuffle LHS & RHS into one input vector. 912226890Sdim SmallVector<llvm::Constant*, 32> concat; 913210299Sed for (unsigned i = 0; i != LHSElts; ++i) { 914221345Sdim concat.push_back(Builder.getInt32(2*i)); 915221345Sdim concat.push_back(Builder.getInt32(2*i+1)); 916210299Sed } 917263509Sdim 918218893Sdim Value* CV = llvm::ConstantVector::get(concat); 919210299Sed LHS = Builder.CreateShuffleVector(LHS, RHS, CV, "concat"); 920210299Sed LHSElts *= 2; 921210299Sed } else { 922210299Sed Mask = RHS; 923210299Sed } 924263509Sdim 925226890Sdim llvm::VectorType *MTy = cast<llvm::VectorType>(Mask->getType()); 926210299Sed llvm::Constant* EltMask; 927263509Sdim 928263509Sdim EltMask = llvm::ConstantInt::get(MTy->getElementType(), 929263509Sdim llvm::NextPowerOf2(LHSElts-1)-1); 930263509Sdim 931210299Sed // Mask off the high bits of each shuffle index. 932235633Sdim Value *MaskBits = llvm::ConstantVector::getSplat(MTy->getNumElements(), 933235633Sdim EltMask); 934210299Sed Mask = Builder.CreateAnd(Mask, MaskBits, "mask"); 935263509Sdim 936210299Sed // newv = undef 937210299Sed // mask = mask & maskbits 938210299Sed // for each elt 939210299Sed // n = extract mask i 940210299Sed // x = extract val n 941210299Sed // newv = insert newv, x, i 942226890Sdim llvm::VectorType *RTy = llvm::VectorType::get(LTy->getElementType(), 943263509Sdim MTy->getNumElements()); 944210299Sed Value* NewV = llvm::UndefValue::get(RTy); 945210299Sed for (unsigned i = 0, e = MTy->getNumElements(); i != e; ++i) { 946235633Sdim Value *IIndx = Builder.getInt32(i); 947235633Sdim Value *Indx = Builder.CreateExtractElement(Mask, IIndx, "shuf_idx"); 948210299Sed Indx = Builder.CreateZExt(Indx, CGF.Int32Ty, "idx_zext"); 949263509Sdim 950210299Sed Value *VExt = Builder.CreateExtractElement(LHS, Indx, "shuf_elt"); 951235633Sdim NewV = Builder.CreateInsertElement(NewV, VExt, IIndx, "shuf_ins"); 952210299Sed } 953210299Sed return NewV; 954210299Sed } 955263509Sdim 956210299Sed Value* V1 = CGF.EmitScalarExpr(E->getExpr(0)); 957210299Sed Value* V2 = CGF.EmitScalarExpr(E->getExpr(1)); 958263509Sdim 959226890Sdim SmallVector<llvm::Constant*, 32> indices; 960263509Sdim for (unsigned i = 2; i < E->getNumSubExprs(); ++i) { 961263509Sdim llvm::APSInt Idx = E->getShuffleMaskIdx(CGF.getContext(), i-2); 962263509Sdim // Check for -1 and output it as undef in the IR. 963263509Sdim if (Idx.isSigned() && Idx.isAllOnesValue()) 964263509Sdim indices.push_back(llvm::UndefValue::get(CGF.Int32Ty)); 965263509Sdim else 966263509Sdim indices.push_back(Builder.getInt32(Idx.getZExtValue())); 967193326Sed } 968210299Sed 969218893Sdim Value *SV = llvm::ConstantVector::get(indices); 970193326Sed return Builder.CreateShuffleVector(V1, V2, SV, "shuffle"); 971193326Sed} 972263509Sdim 973263509SdimValue *ScalarExprEmitter::VisitConvertVectorExpr(ConvertVectorExpr *E) { 974263509Sdim QualType SrcType = E->getSrcExpr()->getType(), 975263509Sdim DstType = E->getType(); 976263509Sdim 977263509Sdim Value *Src = CGF.EmitScalarExpr(E->getSrcExpr()); 978263509Sdim 979263509Sdim SrcType = CGF.getContext().getCanonicalType(SrcType); 980263509Sdim DstType = CGF.getContext().getCanonicalType(DstType); 981263509Sdim if (SrcType == DstType) return Src; 982263509Sdim 983263509Sdim assert(SrcType->isVectorType() && 984263509Sdim "ConvertVector source type must be a vector"); 985263509Sdim assert(DstType->isVectorType() && 986263509Sdim "ConvertVector destination type must be a vector"); 987263509Sdim 988263509Sdim llvm::Type *SrcTy = Src->getType(); 989263509Sdim llvm::Type *DstTy = ConvertType(DstType); 990263509Sdim 991263509Sdim // Ignore conversions like int -> uint. 992263509Sdim if (SrcTy == DstTy) 993263509Sdim return Src; 994263509Sdim 995263509Sdim QualType SrcEltType = SrcType->getAs<VectorType>()->getElementType(), 996263509Sdim DstEltType = DstType->getAs<VectorType>()->getElementType(); 997263509Sdim 998263509Sdim assert(SrcTy->isVectorTy() && 999263509Sdim "ConvertVector source IR type must be a vector"); 1000263509Sdim assert(DstTy->isVectorTy() && 1001263509Sdim "ConvertVector destination IR type must be a vector"); 1002263509Sdim 1003263509Sdim llvm::Type *SrcEltTy = SrcTy->getVectorElementType(), 1004263509Sdim *DstEltTy = DstTy->getVectorElementType(); 1005263509Sdim 1006263509Sdim if (DstEltType->isBooleanType()) { 1007263509Sdim assert((SrcEltTy->isFloatingPointTy() || 1008263509Sdim isa<llvm::IntegerType>(SrcEltTy)) && "Unknown boolean conversion"); 1009263509Sdim 1010263509Sdim llvm::Value *Zero = llvm::Constant::getNullValue(SrcTy); 1011263509Sdim if (SrcEltTy->isFloatingPointTy()) { 1012263509Sdim return Builder.CreateFCmpUNE(Src, Zero, "tobool"); 1013263509Sdim } else { 1014263509Sdim return Builder.CreateICmpNE(Src, Zero, "tobool"); 1015263509Sdim } 1016263509Sdim } 1017263509Sdim 1018263509Sdim // We have the arithmetic types: real int/float. 1019263509Sdim Value *Res = NULL; 1020263509Sdim 1021263509Sdim if (isa<llvm::IntegerType>(SrcEltTy)) { 1022263509Sdim bool InputSigned = SrcEltType->isSignedIntegerOrEnumerationType(); 1023263509Sdim if (isa<llvm::IntegerType>(DstEltTy)) 1024263509Sdim Res = Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 1025263509Sdim else if (InputSigned) 1026263509Sdim Res = Builder.CreateSIToFP(Src, DstTy, "conv"); 1027263509Sdim else 1028263509Sdim Res = Builder.CreateUIToFP(Src, DstTy, "conv"); 1029263509Sdim } else if (isa<llvm::IntegerType>(DstEltTy)) { 1030263509Sdim assert(SrcEltTy->isFloatingPointTy() && "Unknown real conversion"); 1031263509Sdim if (DstEltType->isSignedIntegerOrEnumerationType()) 1032263509Sdim Res = Builder.CreateFPToSI(Src, DstTy, "conv"); 1033263509Sdim else 1034263509Sdim Res = Builder.CreateFPToUI(Src, DstTy, "conv"); 1035263509Sdim } else { 1036263509Sdim assert(SrcEltTy->isFloatingPointTy() && DstEltTy->isFloatingPointTy() && 1037263509Sdim "Unknown real conversion"); 1038263509Sdim if (DstEltTy->getTypeID() < SrcEltTy->getTypeID()) 1039263509Sdim Res = Builder.CreateFPTrunc(Src, DstTy, "conv"); 1040263509Sdim else 1041263509Sdim Res = Builder.CreateFPExt(Src, DstTy, "conv"); 1042263509Sdim } 1043263509Sdim 1044263509Sdim return Res; 1045263509Sdim} 1046263509Sdim 1047199990SrdivackyValue *ScalarExprEmitter::VisitMemberExpr(MemberExpr *E) { 1048235633Sdim llvm::APSInt Value; 1049235633Sdim if (E->EvaluateAsInt(Value, CGF.getContext(), Expr::SE_AllowSideEffects)) { 1050199990Srdivacky if (E->isArrow()) 1051199990Srdivacky CGF.EmitScalarExpr(E->getBase()); 1052199990Srdivacky else 1053199990Srdivacky EmitLValue(E->getBase()); 1054235633Sdim return Builder.getInt(Value); 1055199990Srdivacky } 1056218893Sdim 1057199990Srdivacky return EmitLoadOfLValue(E); 1058199990Srdivacky} 1059193326Sed 1060193326SedValue *ScalarExprEmitter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 1061193326Sed TestAndClearIgnoreResultAssign(); 1062193326Sed 1063193326Sed // Emit subscript expressions in rvalue context's. For most cases, this just 1064193326Sed // loads the lvalue formed by the subscript expr. However, we have to be 1065193326Sed // careful, because the base of a vector subscript is occasionally an rvalue, 1066193326Sed // so we can't get it as an lvalue. 1067193326Sed if (!E->getBase()->getType()->isVectorType()) 1068193326Sed return EmitLoadOfLValue(E); 1069198092Srdivacky 1070193326Sed // Handle the vector case. The base must be a vector, the index must be an 1071193326Sed // integer value. 1072193326Sed Value *Base = Visit(E->getBase()); 1073193326Sed Value *Idx = Visit(E->getIdx()); 1074252723Sdim QualType IdxTy = E->getIdx()->getType(); 1075252723Sdim 1076263509Sdim if (CGF.SanOpts->ArrayBounds) 1077252723Sdim CGF.EmitBoundsCheck(E, E->getBase(), Idx, IdxTy, /*Accessed*/true); 1078252723Sdim 1079252723Sdim bool IdxSigned = IdxTy->isSignedIntegerOrEnumerationType(); 1080210299Sed Idx = Builder.CreateIntCast(Idx, CGF.Int32Ty, IdxSigned, "vecidxcast"); 1081193326Sed return Builder.CreateExtractElement(Base, Idx, "vecext"); 1082193326Sed} 1083193326Sed 1084198398Srdivackystatic llvm::Constant *getMaskElt(llvm::ShuffleVectorInst *SVI, unsigned Idx, 1085226890Sdim unsigned Off, llvm::Type *I32Ty) { 1086198398Srdivacky int MV = SVI->getMaskValue(Idx); 1087263509Sdim if (MV == -1) 1088198398Srdivacky return llvm::UndefValue::get(I32Ty); 1089198398Srdivacky return llvm::ConstantInt::get(I32Ty, Off+MV); 1090198398Srdivacky} 1091198398Srdivacky 1092198398SrdivackyValue *ScalarExprEmitter::VisitInitListExpr(InitListExpr *E) { 1093198398Srdivacky bool Ignore = TestAndClearIgnoreResultAssign(); 1094198398Srdivacky (void)Ignore; 1095198398Srdivacky assert (Ignore == false && "init list ignored"); 1096198398Srdivacky unsigned NumInitElements = E->getNumInits(); 1097263509Sdim 1098198398Srdivacky if (E->hadArrayRangeDesignator()) 1099198398Srdivacky CGF.ErrorUnsupported(E, "GNU array range designator extension"); 1100263509Sdim 1101226890Sdim llvm::VectorType *VType = 1102198398Srdivacky dyn_cast<llvm::VectorType>(ConvertType(E->getType())); 1103263509Sdim 1104226890Sdim if (!VType) { 1105226890Sdim if (NumInitElements == 0) { 1106226890Sdim // C++11 value-initialization for the scalar. 1107226890Sdim return EmitNullValue(E->getType()); 1108226890Sdim } 1109226890Sdim // We have a scalar in braces. Just use the first element. 1110198398Srdivacky return Visit(E->getInit(0)); 1111226890Sdim } 1112263509Sdim 1113198398Srdivacky unsigned ResElts = VType->getNumElements(); 1114263509Sdim 1115263509Sdim // Loop over initializers collecting the Value for each, and remembering 1116198398Srdivacky // whether the source was swizzle (ExtVectorElementExpr). This will allow 1117198398Srdivacky // us to fold the shuffle for the swizzle into the shuffle for the vector 1118198398Srdivacky // initializer, since LLVM optimizers generally do not want to touch 1119198398Srdivacky // shuffles. 1120198398Srdivacky unsigned CurIdx = 0; 1121198398Srdivacky bool VIsUndefShuffle = false; 1122198398Srdivacky llvm::Value *V = llvm::UndefValue::get(VType); 1123198398Srdivacky for (unsigned i = 0; i != NumInitElements; ++i) { 1124198398Srdivacky Expr *IE = E->getInit(i); 1125198398Srdivacky Value *Init = Visit(IE); 1126226890Sdim SmallVector<llvm::Constant*, 16> Args; 1127263509Sdim 1128226890Sdim llvm::VectorType *VVT = dyn_cast<llvm::VectorType>(Init->getType()); 1129263509Sdim 1130198398Srdivacky // Handle scalar elements. If the scalar initializer is actually one 1131263509Sdim // element of a different vector of the same width, use shuffle instead of 1132198398Srdivacky // extract+insert. 1133198398Srdivacky if (!VVT) { 1134198398Srdivacky if (isa<ExtVectorElementExpr>(IE)) { 1135198398Srdivacky llvm::ExtractElementInst *EI = cast<llvm::ExtractElementInst>(Init); 1136198398Srdivacky 1137198398Srdivacky if (EI->getVectorOperandType()->getNumElements() == ResElts) { 1138198398Srdivacky llvm::ConstantInt *C = cast<llvm::ConstantInt>(EI->getIndexOperand()); 1139198398Srdivacky Value *LHS = 0, *RHS = 0; 1140198398Srdivacky if (CurIdx == 0) { 1141198398Srdivacky // insert into undef -> shuffle (src, undef) 1142198398Srdivacky Args.push_back(C); 1143235633Sdim Args.resize(ResElts, llvm::UndefValue::get(CGF.Int32Ty)); 1144198398Srdivacky 1145198398Srdivacky LHS = EI->getVectorOperand(); 1146198398Srdivacky RHS = V; 1147198398Srdivacky VIsUndefShuffle = true; 1148198398Srdivacky } else if (VIsUndefShuffle) { 1149198398Srdivacky // insert into undefshuffle && size match -> shuffle (v, src) 1150198398Srdivacky llvm::ShuffleVectorInst *SVV = cast<llvm::ShuffleVectorInst>(V); 1151198398Srdivacky for (unsigned j = 0; j != CurIdx; ++j) 1152210299Sed Args.push_back(getMaskElt(SVV, j, 0, CGF.Int32Ty)); 1153221345Sdim Args.push_back(Builder.getInt32(ResElts + C->getZExtValue())); 1154235633Sdim Args.resize(ResElts, llvm::UndefValue::get(CGF.Int32Ty)); 1155235633Sdim 1156198398Srdivacky LHS = cast<llvm::ShuffleVectorInst>(V)->getOperand(0); 1157198398Srdivacky RHS = EI->getVectorOperand(); 1158198398Srdivacky VIsUndefShuffle = false; 1159198398Srdivacky } 1160198398Srdivacky if (!Args.empty()) { 1161218893Sdim llvm::Constant *Mask = llvm::ConstantVector::get(Args); 1162198398Srdivacky V = Builder.CreateShuffleVector(LHS, RHS, Mask); 1163198398Srdivacky ++CurIdx; 1164198398Srdivacky continue; 1165198398Srdivacky } 1166198398Srdivacky } 1167198398Srdivacky } 1168221345Sdim V = Builder.CreateInsertElement(V, Init, Builder.getInt32(CurIdx), 1169221345Sdim "vecinit"); 1170198398Srdivacky VIsUndefShuffle = false; 1171198398Srdivacky ++CurIdx; 1172198398Srdivacky continue; 1173198398Srdivacky } 1174263509Sdim 1175198398Srdivacky unsigned InitElts = VVT->getNumElements(); 1176198398Srdivacky 1177263509Sdim // If the initializer is an ExtVecEltExpr (a swizzle), and the swizzle's 1178198398Srdivacky // input is the same width as the vector being constructed, generate an 1179198398Srdivacky // optimized shuffle of the swizzle input into the result. 1180198893Srdivacky unsigned Offset = (CurIdx == 0) ? 0 : ResElts; 1181198398Srdivacky if (isa<ExtVectorElementExpr>(IE)) { 1182198398Srdivacky llvm::ShuffleVectorInst *SVI = cast<llvm::ShuffleVectorInst>(Init); 1183198398Srdivacky Value *SVOp = SVI->getOperand(0); 1184226890Sdim llvm::VectorType *OpTy = cast<llvm::VectorType>(SVOp->getType()); 1185263509Sdim 1186198398Srdivacky if (OpTy->getNumElements() == ResElts) { 1187198398Srdivacky for (unsigned j = 0; j != CurIdx; ++j) { 1188198398Srdivacky // If the current vector initializer is a shuffle with undef, merge 1189198398Srdivacky // this shuffle directly into it. 1190198398Srdivacky if (VIsUndefShuffle) { 1191198398Srdivacky Args.push_back(getMaskElt(cast<llvm::ShuffleVectorInst>(V), j, 0, 1192210299Sed CGF.Int32Ty)); 1193198398Srdivacky } else { 1194221345Sdim Args.push_back(Builder.getInt32(j)); 1195198398Srdivacky } 1196198398Srdivacky } 1197198398Srdivacky for (unsigned j = 0, je = InitElts; j != je; ++j) 1198210299Sed Args.push_back(getMaskElt(SVI, j, Offset, CGF.Int32Ty)); 1199235633Sdim Args.resize(ResElts, llvm::UndefValue::get(CGF.Int32Ty)); 1200198398Srdivacky 1201198398Srdivacky if (VIsUndefShuffle) 1202198398Srdivacky V = cast<llvm::ShuffleVectorInst>(V)->getOperand(0); 1203198398Srdivacky 1204198398Srdivacky Init = SVOp; 1205198398Srdivacky } 1206198398Srdivacky } 1207198398Srdivacky 1208198398Srdivacky // Extend init to result vector length, and then shuffle its contribution 1209198398Srdivacky // to the vector initializer into V. 1210198398Srdivacky if (Args.empty()) { 1211198398Srdivacky for (unsigned j = 0; j != InitElts; ++j) 1212221345Sdim Args.push_back(Builder.getInt32(j)); 1213235633Sdim Args.resize(ResElts, llvm::UndefValue::get(CGF.Int32Ty)); 1214218893Sdim llvm::Constant *Mask = llvm::ConstantVector::get(Args); 1215198398Srdivacky Init = Builder.CreateShuffleVector(Init, llvm::UndefValue::get(VVT), 1216198893Srdivacky Mask, "vext"); 1217198398Srdivacky 1218198398Srdivacky Args.clear(); 1219198398Srdivacky for (unsigned j = 0; j != CurIdx; ++j) 1220221345Sdim Args.push_back(Builder.getInt32(j)); 1221198398Srdivacky for (unsigned j = 0; j != InitElts; ++j) 1222221345Sdim Args.push_back(Builder.getInt32(j+Offset)); 1223235633Sdim Args.resize(ResElts, llvm::UndefValue::get(CGF.Int32Ty)); 1224198398Srdivacky } 1225198398Srdivacky 1226198398Srdivacky // If V is undef, make sure it ends up on the RHS of the shuffle to aid 1227198398Srdivacky // merging subsequent shuffles into this one. 1228198398Srdivacky if (CurIdx == 0) 1229198398Srdivacky std::swap(V, Init); 1230218893Sdim llvm::Constant *Mask = llvm::ConstantVector::get(Args); 1231198398Srdivacky V = Builder.CreateShuffleVector(V, Init, Mask, "vecinit"); 1232198398Srdivacky VIsUndefShuffle = isa<llvm::UndefValue>(Init); 1233198398Srdivacky CurIdx += InitElts; 1234198398Srdivacky } 1235263509Sdim 1236198398Srdivacky // FIXME: evaluate codegen vs. shuffling against constant null vector. 1237198398Srdivacky // Emit remaining default initializers. 1238226890Sdim llvm::Type *EltTy = VType->getElementType(); 1239263509Sdim 1240198398Srdivacky // Emit remaining default initializers 1241198398Srdivacky for (/* Do not initialize i*/; CurIdx < ResElts; ++CurIdx) { 1242221345Sdim Value *Idx = Builder.getInt32(CurIdx); 1243198398Srdivacky llvm::Value *Init = llvm::Constant::getNullValue(EltTy); 1244198398Srdivacky V = Builder.CreateInsertElement(V, Init, Idx, "vecinit"); 1245198398Srdivacky } 1246198398Srdivacky return V; 1247198398Srdivacky} 1248198398Srdivacky 1249199990Srdivackystatic bool ShouldNullCheckClassCastValue(const CastExpr *CE) { 1250199990Srdivacky const Expr *E = CE->getSubExpr(); 1251206084Srdivacky 1252212904Sdim if (CE->getCastKind() == CK_UncheckedDerivedToBase) 1253206084Srdivacky return false; 1254263509Sdim 1255199990Srdivacky if (isa<CXXThisExpr>(E)) { 1256199990Srdivacky // We always assume that 'this' is never null. 1257199990Srdivacky return false; 1258199990Srdivacky } 1259263509Sdim 1260199990Srdivacky if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(CE)) { 1261212904Sdim // And that glvalue casts are never null. 1262212904Sdim if (ICE->getValueKind() != VK_RValue) 1263199990Srdivacky return false; 1264199990Srdivacky } 1265199990Srdivacky 1266199990Srdivacky return true; 1267199990Srdivacky} 1268199990Srdivacky 1269198092Srdivacky// VisitCastExpr - Emit code for an explicit or implicit cast. Implicit casts 1270198092Srdivacky// have to handle a more broad range of conversions than explicit casts, as they 1271198092Srdivacky// handle things like function to ptr-to-function decay etc. 1272224145SdimValue *ScalarExprEmitter::VisitCastExpr(CastExpr *CE) { 1273199990Srdivacky Expr *E = CE->getSubExpr(); 1274198092Srdivacky QualType DestTy = CE->getType(); 1275212904Sdim CastKind Kind = CE->getCastKind(); 1276263509Sdim 1277198092Srdivacky if (!DestTy->isVoidType()) 1278198092Srdivacky TestAndClearIgnoreResultAssign(); 1279193326Sed 1280199990Srdivacky // Since almost all cast kinds apply to scalars, this switch doesn't have 1281199990Srdivacky // a default case, so the compiler will warn on a missing case. The cases 1282199990Srdivacky // are in the same order as in the CastKind enum. 1283198092Srdivacky switch (Kind) { 1284218893Sdim case CK_Dependent: llvm_unreachable("dependent cast kind in IR gen!"); 1285245431Sdim case CK_BuiltinFnToFnPtr: 1286245431Sdim llvm_unreachable("builtin functions are handled elsewhere"); 1287245431Sdim 1288263509Sdim case CK_LValueBitCast: 1289212904Sdim case CK_ObjCObjectLValueCast: { 1290210299Sed Value *V = EmitLValue(E).getAddress(); 1291263509Sdim V = Builder.CreateBitCast(V, 1292210299Sed ConvertType(CGF.getContext().getPointerType(DestTy))); 1293263509Sdim return EmitLoadOfLValue(CGF.MakeNaturalAlignAddrLValue(V, DestTy), 1294263509Sdim CE->getExprLoc()); 1295210299Sed } 1296226890Sdim 1297226890Sdim case CK_CPointerToObjCPointerCast: 1298226890Sdim case CK_BlockPointerToObjCPointerCast: 1299212904Sdim case CK_AnyPointerToBlockPointerCast: 1300212904Sdim case CK_BitCast: { 1301198092Srdivacky Value *Src = Visit(const_cast<Expr*>(E)); 1302198092Srdivacky return Builder.CreateBitCast(Src, ConvertType(DestTy)); 1303198092Srdivacky } 1304235633Sdim case CK_AtomicToNonAtomic: 1305235633Sdim case CK_NonAtomicToAtomic: 1306212904Sdim case CK_NoOp: 1307212904Sdim case CK_UserDefinedConversion: 1308199482Srdivacky return Visit(const_cast<Expr*>(E)); 1309198092Srdivacky 1310212904Sdim case CK_BaseToDerived: { 1311245431Sdim const CXXRecordDecl *DerivedClassDecl = DestTy->getPointeeCXXRecordDecl(); 1312245431Sdim assert(DerivedClassDecl && "BaseToDerived arg isn't a C++ object pointer!"); 1313245431Sdim 1314252723Sdim llvm::Value *V = Visit(E); 1315252723Sdim 1316263509Sdim llvm::Value *Derived = 1317263509Sdim CGF.GetAddressOfDerivedClass(V, DerivedClassDecl, 1318263509Sdim CE->path_begin(), CE->path_end(), 1319263509Sdim ShouldNullCheckClassCastValue(CE)); 1320263509Sdim 1321252723Sdim // C++11 [expr.static.cast]p11: Behavior is undefined if a downcast is 1322252723Sdim // performed and the object is not of the derived type. 1323252723Sdim if (CGF.SanitizePerformTypeCheck) 1324252723Sdim CGF.EmitTypeCheck(CodeGenFunction::TCK_DowncastPointer, CE->getExprLoc(), 1325263509Sdim Derived, DestTy->getPointeeType()); 1326252723Sdim 1327263509Sdim return Derived; 1328199990Srdivacky } 1329212904Sdim case CK_UncheckedDerivedToBase: 1330212904Sdim case CK_DerivedToBase: { 1331245431Sdim const CXXRecordDecl *DerivedClassDecl = 1332245431Sdim E->getType()->getPointeeCXXRecordDecl(); 1333245431Sdim assert(DerivedClassDecl && "DerivedToBase arg isn't a C++ object pointer!"); 1334193326Sed 1335263509Sdim return CGF.GetAddressOfBaseClass(Visit(E), DerivedClassDecl, 1336212904Sdim CE->path_begin(), CE->path_end(), 1337207619Srdivacky ShouldNullCheckClassCastValue(CE)); 1338198092Srdivacky } 1339212904Sdim case CK_Dynamic: { 1340199990Srdivacky Value *V = Visit(const_cast<Expr*>(E)); 1341199990Srdivacky const CXXDynamicCastExpr *DCE = cast<CXXDynamicCastExpr>(CE); 1342199990Srdivacky return CGF.EmitDynamicCast(V, DCE); 1343199990Srdivacky } 1344199990Srdivacky 1345212904Sdim case CK_ArrayToPointerDecay: { 1346199482Srdivacky assert(E->getType()->isArrayType() && 1347199482Srdivacky "Array to pointer decay must have array source type!"); 1348193326Sed 1349199482Srdivacky Value *V = EmitLValue(E).getAddress(); // Bitfields can't be arrays. 1350199482Srdivacky 1351199482Srdivacky // Note that VLA pointers are always decayed, so we don't need to do 1352199482Srdivacky // anything here. 1353199482Srdivacky if (!E->getType()->isVariableArrayType()) { 1354199482Srdivacky assert(isa<llvm::PointerType>(V->getType()) && "Expected pointer"); 1355199482Srdivacky assert(isa<llvm::ArrayType>(cast<llvm::PointerType>(V->getType()) 1356199482Srdivacky ->getElementType()) && 1357199482Srdivacky "Expected pointer to array"); 1358199482Srdivacky V = Builder.CreateStructGEP(V, 0, "arraydecay"); 1359199482Srdivacky } 1360199482Srdivacky 1361226890Sdim // Make sure the array decay ends up being the right type. This matters if 1362226890Sdim // the array type was of an incomplete type. 1363226890Sdim return CGF.Builder.CreateBitCast(V, ConvertType(CE->getType())); 1364199482Srdivacky } 1365212904Sdim case CK_FunctionToPointerDecay: 1366199482Srdivacky return EmitLValue(E).getAddress(); 1367199482Srdivacky 1368218893Sdim case CK_NullToPointer: 1369218893Sdim if (MustVisitNullValue(E)) 1370218893Sdim (void) Visit(E); 1371218893Sdim 1372218893Sdim return llvm::ConstantPointerNull::get( 1373218893Sdim cast<llvm::PointerType>(ConvertType(DestTy))); 1374218893Sdim 1375212904Sdim case CK_NullToMemberPointer: { 1376218893Sdim if (MustVisitNullValue(E)) 1377212904Sdim (void) Visit(E); 1378199482Srdivacky 1379212904Sdim const MemberPointerType *MPT = CE->getType()->getAs<MemberPointerType>(); 1380212904Sdim return CGF.CGM.getCXXABI().EmitNullMemberPointer(MPT); 1381212904Sdim } 1382212904Sdim 1383235633Sdim case CK_ReinterpretMemberPointer: 1384212904Sdim case CK_BaseToDerivedMemberPointer: 1385212904Sdim case CK_DerivedToBaseMemberPointer: { 1386199990Srdivacky Value *Src = Visit(E); 1387263509Sdim 1388212904Sdim // Note that the AST doesn't distinguish between checked and 1389212904Sdim // unchecked member pointer conversions, so we always have to 1390212904Sdim // implement checked conversions here. This is inefficient when 1391212904Sdim // actual control flow may be required in order to perform the 1392212904Sdim // check, which it is for data member pointers (but not member 1393212904Sdim // function pointers on Itanium and ARM). 1394212904Sdim return CGF.CGM.getCXXABI().EmitMemberPointerConversion(CGF, CE, Src); 1395199990Srdivacky } 1396224145Sdim 1397226890Sdim case CK_ARCProduceObject: 1398224145Sdim return CGF.EmitARCRetainScalarExpr(E); 1399226890Sdim case CK_ARCConsumeObject: 1400224145Sdim return CGF.EmitObjCConsumeObject(E->getType(), Visit(E)); 1401226890Sdim case CK_ARCReclaimReturnedObject: { 1402224145Sdim llvm::Value *value = Visit(E); 1403224145Sdim value = CGF.EmitARCRetainAutoreleasedReturnValue(value); 1404224145Sdim return CGF.EmitObjCConsumeObject(E->getType(), value); 1405224145Sdim } 1406226890Sdim case CK_ARCExtendBlockObject: 1407226890Sdim return CGF.EmitARCExtendBlockObject(E); 1408224145Sdim 1409235633Sdim case CK_CopyAndAutoreleaseBlockObject: 1410235633Sdim return CGF.EmitBlockCopyAndAutorelease(Visit(E), E->getType()); 1411263509Sdim 1412218893Sdim case CK_FloatingRealToComplex: 1413218893Sdim case CK_FloatingComplexCast: 1414218893Sdim case CK_IntegralRealToComplex: 1415218893Sdim case CK_IntegralComplexCast: 1416218893Sdim case CK_IntegralComplexToFloatingComplex: 1417218893Sdim case CK_FloatingComplexToIntegralComplex: 1418212904Sdim case CK_ConstructorConversion: 1419218893Sdim case CK_ToUnion: 1420218893Sdim llvm_unreachable("scalar cast to non-scalar value"); 1421199990Srdivacky 1422218893Sdim case CK_LValueToRValue: 1423218893Sdim assert(CGF.getContext().hasSameUnqualifiedType(E->getType(), DestTy)); 1424218893Sdim assert(E->isGLValue() && "lvalue-to-rvalue applied to r-value!"); 1425218893Sdim return Visit(const_cast<Expr*>(E)); 1426218893Sdim 1427212904Sdim case CK_IntegralToPointer: { 1428198092Srdivacky Value *Src = Visit(const_cast<Expr*>(E)); 1429212904Sdim 1430198398Srdivacky // First, convert to the correct width so that we control the kind of 1431198398Srdivacky // extension. 1432226890Sdim llvm::Type *MiddleTy = CGF.IntPtrTy; 1433223017Sdim bool InputSigned = E->getType()->isSignedIntegerOrEnumerationType(); 1434198398Srdivacky llvm::Value* IntResult = 1435198398Srdivacky Builder.CreateIntCast(Src, MiddleTy, InputSigned, "conv"); 1436212904Sdim 1437198398Srdivacky return Builder.CreateIntToPtr(IntResult, ConvertType(DestTy)); 1438198092Srdivacky } 1439224145Sdim case CK_PointerToIntegral: 1440224145Sdim assert(!DestTy->isBooleanType() && "bool should use PointerToBool"); 1441224145Sdim return Builder.CreatePtrToInt(Visit(E), ConvertType(DestTy)); 1442212904Sdim 1443212904Sdim case CK_ToVoid: { 1444218893Sdim CGF.EmitIgnoredExpr(E); 1445199482Srdivacky return 0; 1446198092Srdivacky } 1447212904Sdim case CK_VectorSplat: { 1448226890Sdim llvm::Type *DstTy = ConvertType(DestTy); 1449199482Srdivacky Value *Elt = Visit(const_cast<Expr*>(E)); 1450235633Sdim Elt = EmitScalarConversion(Elt, E->getType(), 1451235633Sdim DestTy->getAs<VectorType>()->getElementType()); 1452199482Srdivacky 1453199482Srdivacky // Splat the element across to all elements 1454199482Srdivacky unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 1455252723Sdim return Builder.CreateVectorSplat(NumElements, Elt, "splat");; 1456199482Srdivacky } 1457218893Sdim 1458212904Sdim case CK_IntegralCast: 1459212904Sdim case CK_IntegralToFloating: 1460212904Sdim case CK_FloatingToIntegral: 1461212904Sdim case CK_FloatingCast: 1462199990Srdivacky return EmitScalarConversion(Visit(E), E->getType(), DestTy); 1463218893Sdim case CK_IntegralToBoolean: 1464218893Sdim return EmitIntToBoolConversion(Visit(E)); 1465218893Sdim case CK_PointerToBoolean: 1466218893Sdim return EmitPointerToBoolConversion(Visit(E)); 1467218893Sdim case CK_FloatingToBoolean: 1468218893Sdim return EmitFloatToBoolConversion(Visit(E)); 1469212904Sdim case CK_MemberPointerToBoolean: { 1470212904Sdim llvm::Value *MemPtr = Visit(E); 1471212904Sdim const MemberPointerType *MPT = E->getType()->getAs<MemberPointerType>(); 1472212904Sdim return CGF.CGM.getCXXABI().EmitMemberPointerIsNotNull(CGF, MemPtr, MPT); 1473199482Srdivacky } 1474198092Srdivacky 1475218893Sdim case CK_FloatingComplexToReal: 1476218893Sdim case CK_IntegralComplexToReal: 1477218893Sdim return CGF.EmitComplexExpr(E, false, true).first; 1478193326Sed 1479218893Sdim case CK_FloatingComplexToBoolean: 1480218893Sdim case CK_IntegralComplexToBoolean: { 1481218893Sdim CodeGenFunction::ComplexPairTy V = CGF.EmitComplexExpr(E); 1482198092Srdivacky 1483218893Sdim // TODO: kill this function off, inline appropriate case here 1484193326Sed return EmitComplexToScalarConversion(V, E->getType(), DestTy); 1485193326Sed } 1486193326Sed 1487252723Sdim case CK_ZeroToOCLEvent: { 1488252723Sdim assert(DestTy->isEventT() && "CK_ZeroToOCLEvent cast on non event type"); 1489252723Sdim return llvm::Constant::getNullValue(ConvertType(DestTy)); 1490218893Sdim } 1491218893Sdim 1492252723Sdim } 1493252723Sdim 1494218893Sdim llvm_unreachable("unknown scalar cast"); 1495193326Sed} 1496193326Sed 1497193326SedValue *ScalarExprEmitter::VisitStmtExpr(const StmtExpr *E) { 1498218893Sdim CodeGenFunction::StmtExprEvaluation eval(CGF); 1499263509Sdim llvm::Value *RetAlloca = CGF.EmitCompoundStmt(*E->getSubStmt(), 1500263509Sdim !E->getType()->isVoidType()); 1501263509Sdim if (!RetAlloca) 1502263509Sdim return 0; 1503263509Sdim return CGF.EmitLoadOfScalar(CGF.MakeAddrLValue(RetAlloca, E->getType()), 1504263509Sdim E->getExprLoc()); 1505193326Sed} 1506193326Sed 1507193326Sed//===----------------------------------------------------------------------===// 1508193326Sed// Unary Operators 1509193326Sed//===----------------------------------------------------------------------===// 1510193326Sed 1511210299Sedllvm::Value *ScalarExprEmitter:: 1512218893SdimEmitAddConsiderOverflowBehavior(const UnaryOperator *E, 1513218893Sdim llvm::Value *InVal, 1514218893Sdim llvm::Value *NextVal, bool IsInc) { 1515245431Sdim switch (CGF.getLangOpts().getSignedOverflowBehavior()) { 1516218893Sdim case LangOptions::SOB_Defined: 1517218893Sdim return Builder.CreateAdd(InVal, NextVal, IsInc ? "inc" : "dec"); 1518245431Sdim case LangOptions::SOB_Undefined: 1519252723Sdim if (!CGF.SanOpts->SignedIntegerOverflow) 1520245431Sdim return Builder.CreateNSWAdd(InVal, NextVal, IsInc ? "inc" : "dec"); 1521245431Sdim // Fall through. 1522218893Sdim case LangOptions::SOB_Trapping: 1523218893Sdim BinOpInfo BinOp; 1524218893Sdim BinOp.LHS = InVal; 1525218893Sdim BinOp.RHS = NextVal; 1526218893Sdim BinOp.Ty = E->getType(); 1527218893Sdim BinOp.Opcode = BO_Add; 1528245431Sdim BinOp.FPContractable = false; 1529218893Sdim BinOp.E = E; 1530218893Sdim return EmitOverflowCheckedBinOp(BinOp); 1531218893Sdim } 1532226890Sdim llvm_unreachable("Unknown SignedOverflowBehaviorTy"); 1533218893Sdim} 1534218893Sdim 1535218893Sdimllvm::Value * 1536218893SdimScalarExprEmitter::EmitScalarPrePostIncDec(const UnaryOperator *E, LValue LV, 1537218893Sdim bool isInc, bool isPre) { 1538263509Sdim 1539218893Sdim QualType type = E->getSubExpr()->getType(); 1540235633Sdim llvm::PHINode *atomicPHI = 0; 1541252723Sdim llvm::Value *value; 1542252723Sdim llvm::Value *input; 1543218893Sdim 1544218893Sdim int amount = (isInc ? 1 : -1); 1545218893Sdim 1546235633Sdim if (const AtomicType *atomicTy = type->getAs<AtomicType>()) { 1547252723Sdim type = atomicTy->getValueType(); 1548252723Sdim if (isInc && type->isBooleanType()) { 1549252723Sdim llvm::Value *True = CGF.EmitToMemory(Builder.getTrue(), type); 1550252723Sdim if (isPre) { 1551252723Sdim Builder.Insert(new llvm::StoreInst(True, 1552252723Sdim LV.getAddress(), LV.isVolatileQualified(), 1553252723Sdim LV.getAlignment().getQuantity(), 1554252723Sdim llvm::SequentiallyConsistent)); 1555252723Sdim return Builder.getTrue(); 1556252723Sdim } 1557252723Sdim // For atomic bool increment, we just store true and return it for 1558252723Sdim // preincrement, do an atomic swap with true for postincrement 1559252723Sdim return Builder.CreateAtomicRMW(llvm::AtomicRMWInst::Xchg, 1560252723Sdim LV.getAddress(), True, llvm::SequentiallyConsistent); 1561252723Sdim } 1562252723Sdim // Special case for atomic increment / decrement on integers, emit 1563252723Sdim // atomicrmw instructions. We skip this if we want to be doing overflow 1564263509Sdim // checking, and fall into the slow path with the atomic cmpxchg loop. 1565252723Sdim if (!type->isBooleanType() && type->isIntegerType() && 1566252723Sdim !(type->isUnsignedIntegerType() && 1567252723Sdim CGF.SanOpts->UnsignedIntegerOverflow) && 1568252723Sdim CGF.getLangOpts().getSignedOverflowBehavior() != 1569252723Sdim LangOptions::SOB_Trapping) { 1570252723Sdim llvm::AtomicRMWInst::BinOp aop = isInc ? llvm::AtomicRMWInst::Add : 1571252723Sdim llvm::AtomicRMWInst::Sub; 1572252723Sdim llvm::Instruction::BinaryOps op = isInc ? llvm::Instruction::Add : 1573252723Sdim llvm::Instruction::Sub; 1574252723Sdim llvm::Value *amt = CGF.EmitToMemory( 1575252723Sdim llvm::ConstantInt::get(ConvertType(type), 1, true), type); 1576252723Sdim llvm::Value *old = Builder.CreateAtomicRMW(aop, 1577252723Sdim LV.getAddress(), amt, llvm::SequentiallyConsistent); 1578252723Sdim return isPre ? Builder.CreateBinOp(op, old, amt) : old; 1579252723Sdim } 1580263509Sdim value = EmitLoadOfLValue(LV, E->getExprLoc()); 1581252723Sdim input = value; 1582252723Sdim // For every other atomic operation, we need to emit a load-op-cmpxchg loop 1583235633Sdim llvm::BasicBlock *startBB = Builder.GetInsertBlock(); 1584235633Sdim llvm::BasicBlock *opBB = CGF.createBasicBlock("atomic_op", CGF.CurFn); 1585252723Sdim value = CGF.EmitToMemory(value, type); 1586235633Sdim Builder.CreateBr(opBB); 1587235633Sdim Builder.SetInsertPoint(opBB); 1588235633Sdim atomicPHI = Builder.CreatePHI(value->getType(), 2); 1589235633Sdim atomicPHI->addIncoming(value, startBB); 1590235633Sdim value = atomicPHI; 1591252723Sdim } else { 1592263509Sdim value = EmitLoadOfLValue(LV, E->getExprLoc()); 1593252723Sdim input = value; 1594235633Sdim } 1595235633Sdim 1596218893Sdim // Special case of integer increment that we have to check first: bool++. 1597218893Sdim // Due to promotion rules, we get: 1598218893Sdim // bool++ -> bool = bool + 1 1599218893Sdim // -> bool = (int)bool + 1 1600218893Sdim // -> bool = ((int)bool + 1 != 0) 1601218893Sdim // An interesting aspect of this is that increment is always true. 1602218893Sdim // Decrement does not have this property. 1603218893Sdim if (isInc && type->isBooleanType()) { 1604218893Sdim value = Builder.getTrue(); 1605218893Sdim 1606218893Sdim // Most common case by far: integer increment. 1607218893Sdim } else if (type->isIntegerType()) { 1608218893Sdim 1609245431Sdim llvm::Value *amt = llvm::ConstantInt::get(value->getType(), amount, true); 1610218893Sdim 1611221345Sdim // Note that signed integer inc/dec with width less than int can't 1612221345Sdim // overflow because of promotion rules; we're just eliding a few steps here. 1613252723Sdim if (value->getType()->getPrimitiveSizeInBits() >= 1614252723Sdim CGF.IntTy->getBitWidth() && 1615252723Sdim type->isSignedIntegerOrEnumerationType()) { 1616218893Sdim value = EmitAddConsiderOverflowBehavior(E, value, amt, isInc); 1617252723Sdim } else if (value->getType()->getPrimitiveSizeInBits() >= 1618252723Sdim CGF.IntTy->getBitWidth() && type->isUnsignedIntegerType() && 1619252723Sdim CGF.SanOpts->UnsignedIntegerOverflow) { 1620252723Sdim BinOpInfo BinOp; 1621252723Sdim BinOp.LHS = value; 1622252723Sdim BinOp.RHS = llvm::ConstantInt::get(value->getType(), 1, false); 1623252723Sdim BinOp.Ty = E->getType(); 1624252723Sdim BinOp.Opcode = isInc ? BO_Add : BO_Sub; 1625252723Sdim BinOp.FPContractable = false; 1626252723Sdim BinOp.E = E; 1627252723Sdim value = EmitOverflowCheckedBinOp(BinOp); 1628252723Sdim } else 1629218893Sdim value = Builder.CreateAdd(value, amt, isInc ? "inc" : "dec"); 1630263509Sdim 1631218893Sdim // Next most common: pointer increment. 1632218893Sdim } else if (const PointerType *ptr = type->getAs<PointerType>()) { 1633218893Sdim QualType type = ptr->getPointeeType(); 1634218893Sdim 1635218893Sdim // VLA types don't have constant size. 1636224145Sdim if (const VariableArrayType *vla 1637224145Sdim = CGF.getContext().getAsVariableArrayType(type)) { 1638224145Sdim llvm::Value *numElts = CGF.getVLASize(vla).first; 1639224145Sdim if (!isInc) numElts = Builder.CreateNSWNeg(numElts, "vla.negsize"); 1640245431Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) 1641224145Sdim value = Builder.CreateGEP(value, numElts, "vla.inc"); 1642221345Sdim else 1643224145Sdim value = Builder.CreateInBoundsGEP(value, numElts, "vla.inc"); 1644263509Sdim 1645218893Sdim // Arithmetic on function pointers (!) is just +-1. 1646218893Sdim } else if (type->isFunctionType()) { 1647221345Sdim llvm::Value *amt = Builder.getInt32(amount); 1648218893Sdim 1649218893Sdim value = CGF.EmitCastToVoidPtr(value); 1650245431Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) 1651221345Sdim value = Builder.CreateGEP(value, amt, "incdec.funcptr"); 1652221345Sdim else 1653221345Sdim value = Builder.CreateInBoundsGEP(value, amt, "incdec.funcptr"); 1654218893Sdim value = Builder.CreateBitCast(value, input->getType()); 1655218893Sdim 1656218893Sdim // For everything else, we can just do a simple increment. 1657210299Sed } else { 1658221345Sdim llvm::Value *amt = Builder.getInt32(amount); 1659245431Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) 1660221345Sdim value = Builder.CreateGEP(value, amt, "incdec.ptr"); 1661221345Sdim else 1662221345Sdim value = Builder.CreateInBoundsGEP(value, amt, "incdec.ptr"); 1663210299Sed } 1664218893Sdim 1665218893Sdim // Vector increment/decrement. 1666218893Sdim } else if (type->isVectorType()) { 1667218893Sdim if (type->hasIntegerRepresentation()) { 1668218893Sdim llvm::Value *amt = llvm::ConstantInt::get(value->getType(), amount); 1669218893Sdim 1670223017Sdim value = Builder.CreateAdd(value, amt, isInc ? "inc" : "dec"); 1671218893Sdim } else { 1672218893Sdim value = Builder.CreateFAdd( 1673218893Sdim value, 1674218893Sdim llvm::ConstantFP::get(value->getType(), amount), 1675218893Sdim isInc ? "inc" : "dec"); 1676210299Sed } 1677218893Sdim 1678218893Sdim // Floating point. 1679218893Sdim } else if (type->isRealFloatingType()) { 1680210299Sed // Add the inc/dec to the real part. 1681218893Sdim llvm::Value *amt; 1682226890Sdim 1683252723Sdim if (type->isHalfType() && !CGF.getContext().getLangOpts().NativeHalfType) { 1684226890Sdim // Another special case: half FP increment should be done via float 1685226890Sdim value = 1686226890Sdim Builder.CreateCall(CGF.CGM.getIntrinsic(llvm::Intrinsic::convert_from_fp16), 1687226890Sdim input); 1688226890Sdim } 1689226890Sdim 1690218893Sdim if (value->getType()->isFloatTy()) 1691218893Sdim amt = llvm::ConstantFP::get(VMContext, 1692218893Sdim llvm::APFloat(static_cast<float>(amount))); 1693218893Sdim else if (value->getType()->isDoubleTy()) 1694218893Sdim amt = llvm::ConstantFP::get(VMContext, 1695218893Sdim llvm::APFloat(static_cast<double>(amount))); 1696210299Sed else { 1697218893Sdim llvm::APFloat F(static_cast<float>(amount)); 1698210299Sed bool ignored; 1699252723Sdim F.convert(CGF.getTarget().getLongDoubleFormat(), 1700252723Sdim llvm::APFloat::rmTowardZero, &ignored); 1701218893Sdim amt = llvm::ConstantFP::get(VMContext, F); 1702210299Sed } 1703218893Sdim value = Builder.CreateFAdd(value, amt, isInc ? "inc" : "dec"); 1704218893Sdim 1705252723Sdim if (type->isHalfType() && !CGF.getContext().getLangOpts().NativeHalfType) 1706226890Sdim value = 1707226890Sdim Builder.CreateCall(CGF.CGM.getIntrinsic(llvm::Intrinsic::convert_to_fp16), 1708226890Sdim value); 1709226890Sdim 1710218893Sdim // Objective-C pointer types. 1711218893Sdim } else { 1712218893Sdim const ObjCObjectPointerType *OPT = type->castAs<ObjCObjectPointerType>(); 1713218893Sdim value = CGF.EmitCastToVoidPtr(value); 1714218893Sdim 1715218893Sdim CharUnits size = CGF.getContext().getTypeSizeInChars(OPT->getObjectType()); 1716218893Sdim if (!isInc) size = -size; 1717218893Sdim llvm::Value *sizeValue = 1718218893Sdim llvm::ConstantInt::get(CGF.SizeTy, size.getQuantity()); 1719218893Sdim 1720245431Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) 1721221345Sdim value = Builder.CreateGEP(value, sizeValue, "incdec.objptr"); 1722221345Sdim else 1723221345Sdim value = Builder.CreateInBoundsGEP(value, sizeValue, "incdec.objptr"); 1724218893Sdim value = Builder.CreateBitCast(value, input->getType()); 1725210299Sed } 1726263509Sdim 1727235633Sdim if (atomicPHI) { 1728235633Sdim llvm::BasicBlock *opBB = Builder.GetInsertBlock(); 1729235633Sdim llvm::BasicBlock *contBB = CGF.createBasicBlock("atomic_cont", CGF.CurFn); 1730235633Sdim llvm::Value *old = Builder.CreateAtomicCmpXchg(LV.getAddress(), atomicPHI, 1731252723Sdim CGF.EmitToMemory(value, type), llvm::SequentiallyConsistent); 1732235633Sdim atomicPHI->addIncoming(old, opBB); 1733235633Sdim llvm::Value *success = Builder.CreateICmpEQ(old, atomicPHI); 1734235633Sdim Builder.CreateCondBr(success, contBB, opBB); 1735235633Sdim Builder.SetInsertPoint(contBB); 1736235633Sdim return isPre ? value : input; 1737235633Sdim } 1738226890Sdim 1739210299Sed // Store the updated result through the lvalue. 1740210299Sed if (LV.isBitField()) 1741224145Sdim CGF.EmitStoreThroughBitfieldLValue(RValue::get(value), LV, &value); 1742210299Sed else 1743224145Sdim CGF.EmitStoreThroughLValue(RValue::get(value), LV); 1744226890Sdim 1745210299Sed // If this is a postinc, return the value read from memory, otherwise use the 1746210299Sed // updated value. 1747218893Sdim return isPre ? value : input; 1748210299Sed} 1749210299Sed 1750210299Sed 1751210299Sed 1752193326SedValue *ScalarExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 1753193326Sed TestAndClearIgnoreResultAssign(); 1754210299Sed // Emit unary minus with EmitSub so we handle overflow cases etc. 1755210299Sed BinOpInfo BinOp; 1756210299Sed BinOp.RHS = Visit(E->getSubExpr()); 1757263509Sdim 1758210299Sed if (BinOp.RHS->getType()->isFPOrFPVectorTy()) 1759210299Sed BinOp.LHS = llvm::ConstantFP::getZeroValueForNegation(BinOp.RHS->getType()); 1760263509Sdim else 1761210299Sed BinOp.LHS = llvm::Constant::getNullValue(BinOp.RHS->getType()); 1762210299Sed BinOp.Ty = E->getType(); 1763212904Sdim BinOp.Opcode = BO_Sub; 1764245431Sdim BinOp.FPContractable = false; 1765210299Sed BinOp.E = E; 1766210299Sed return EmitSub(BinOp); 1767193326Sed} 1768193326Sed 1769193326SedValue *ScalarExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 1770193326Sed TestAndClearIgnoreResultAssign(); 1771193326Sed Value *Op = Visit(E->getSubExpr()); 1772193326Sed return Builder.CreateNot(Op, "neg"); 1773193326Sed} 1774193326Sed 1775193326SedValue *ScalarExprEmitter::VisitUnaryLNot(const UnaryOperator *E) { 1776235633Sdim // Perform vector logical not on comparison with zero vector. 1777235633Sdim if (E->getType()->isExtVectorType()) { 1778235633Sdim Value *Oper = Visit(E->getSubExpr()); 1779235633Sdim Value *Zero = llvm::Constant::getNullValue(Oper->getType()); 1780252723Sdim Value *Result; 1781252723Sdim if (Oper->getType()->isFPOrFPVectorTy()) 1782252723Sdim Result = Builder.CreateFCmp(llvm::CmpInst::FCMP_OEQ, Oper, Zero, "cmp"); 1783252723Sdim else 1784252723Sdim Result = Builder.CreateICmp(llvm::CmpInst::ICMP_EQ, Oper, Zero, "cmp"); 1785235633Sdim return Builder.CreateSExt(Result, ConvertType(E->getType()), "sext"); 1786235633Sdim } 1787263509Sdim 1788193326Sed // Compare operand to zero. 1789193326Sed Value *BoolVal = CGF.EvaluateExprAsBool(E->getSubExpr()); 1790198092Srdivacky 1791193326Sed // Invert value. 1792193326Sed // TODO: Could dynamically modify easy computations here. For example, if 1793193326Sed // the operand is an icmp ne, turn into icmp eq. 1794193326Sed BoolVal = Builder.CreateNot(BoolVal, "lnot"); 1795198092Srdivacky 1796193326Sed // ZExt result to the expr type. 1797193326Sed return Builder.CreateZExt(BoolVal, ConvertType(E->getType()), "lnot.ext"); 1798193326Sed} 1799193326Sed 1800212904SdimValue *ScalarExprEmitter::VisitOffsetOfExpr(OffsetOfExpr *E) { 1801212904Sdim // Try folding the offsetof to a constant. 1802235633Sdim llvm::APSInt Value; 1803235633Sdim if (E->EvaluateAsInt(Value, CGF.getContext())) 1804235633Sdim return Builder.getInt(Value); 1805212904Sdim 1806212904Sdim // Loop over the components of the offsetof to compute the value. 1807212904Sdim unsigned n = E->getNumComponents(); 1808226890Sdim llvm::Type* ResultType = ConvertType(E->getType()); 1809212904Sdim llvm::Value* Result = llvm::Constant::getNullValue(ResultType); 1810212904Sdim QualType CurrentType = E->getTypeSourceInfo()->getType(); 1811212904Sdim for (unsigned i = 0; i != n; ++i) { 1812212904Sdim OffsetOfExpr::OffsetOfNode ON = E->getComponent(i); 1813212904Sdim llvm::Value *Offset = 0; 1814212904Sdim switch (ON.getKind()) { 1815212904Sdim case OffsetOfExpr::OffsetOfNode::Array: { 1816212904Sdim // Compute the index 1817212904Sdim Expr *IdxExpr = E->getIndexExpr(ON.getArrayExprIndex()); 1818212904Sdim llvm::Value* Idx = CGF.EmitScalarExpr(IdxExpr); 1819223017Sdim bool IdxSigned = IdxExpr->getType()->isSignedIntegerOrEnumerationType(); 1820212904Sdim Idx = Builder.CreateIntCast(Idx, ResultType, IdxSigned, "conv"); 1821212904Sdim 1822212904Sdim // Save the element type 1823212904Sdim CurrentType = 1824212904Sdim CGF.getContext().getAsArrayType(CurrentType)->getElementType(); 1825212904Sdim 1826212904Sdim // Compute the element size 1827212904Sdim llvm::Value* ElemSize = llvm::ConstantInt::get(ResultType, 1828212904Sdim CGF.getContext().getTypeSizeInChars(CurrentType).getQuantity()); 1829212904Sdim 1830212904Sdim // Multiply out to compute the result 1831212904Sdim Offset = Builder.CreateMul(Idx, ElemSize); 1832212904Sdim break; 1833212904Sdim } 1834212904Sdim 1835212904Sdim case OffsetOfExpr::OffsetOfNode::Field: { 1836212904Sdim FieldDecl *MemberDecl = ON.getField(); 1837212904Sdim RecordDecl *RD = CurrentType->getAs<RecordType>()->getDecl(); 1838212904Sdim const ASTRecordLayout &RL = CGF.getContext().getASTRecordLayout(RD); 1839212904Sdim 1840212904Sdim // Compute the index of the field in its parent. 1841212904Sdim unsigned i = 0; 1842212904Sdim // FIXME: It would be nice if we didn't have to loop here! 1843212904Sdim for (RecordDecl::field_iterator Field = RD->field_begin(), 1844212904Sdim FieldEnd = RD->field_end(); 1845245431Sdim Field != FieldEnd; ++Field, ++i) { 1846212904Sdim if (*Field == MemberDecl) 1847212904Sdim break; 1848212904Sdim } 1849212904Sdim assert(i < RL.getFieldCount() && "offsetof field in wrong type"); 1850212904Sdim 1851212904Sdim // Compute the offset to the field 1852212904Sdim int64_t OffsetInt = RL.getFieldOffset(i) / 1853212904Sdim CGF.getContext().getCharWidth(); 1854212904Sdim Offset = llvm::ConstantInt::get(ResultType, OffsetInt); 1855212904Sdim 1856212904Sdim // Save the element type. 1857212904Sdim CurrentType = MemberDecl->getType(); 1858212904Sdim break; 1859212904Sdim } 1860212904Sdim 1861212904Sdim case OffsetOfExpr::OffsetOfNode::Identifier: 1862212904Sdim llvm_unreachable("dependent __builtin_offsetof"); 1863212904Sdim 1864212904Sdim case OffsetOfExpr::OffsetOfNode::Base: { 1865212904Sdim if (ON.getBase()->isVirtual()) { 1866212904Sdim CGF.ErrorUnsupported(E, "virtual base in offsetof"); 1867212904Sdim continue; 1868212904Sdim } 1869212904Sdim 1870212904Sdim RecordDecl *RD = CurrentType->getAs<RecordType>()->getDecl(); 1871212904Sdim const ASTRecordLayout &RL = CGF.getContext().getASTRecordLayout(RD); 1872212904Sdim 1873212904Sdim // Save the element type. 1874212904Sdim CurrentType = ON.getBase()->getType(); 1875263509Sdim 1876212904Sdim // Compute the offset to the base. 1877212904Sdim const RecordType *BaseRT = CurrentType->getAs<RecordType>(); 1878212904Sdim CXXRecordDecl *BaseRD = cast<CXXRecordDecl>(BaseRT->getDecl()); 1879245431Sdim CharUnits OffsetInt = RL.getBaseClassOffset(BaseRD); 1880245431Sdim Offset = llvm::ConstantInt::get(ResultType, OffsetInt.getQuantity()); 1881212904Sdim break; 1882212904Sdim } 1883212904Sdim } 1884212904Sdim Result = Builder.CreateAdd(Result, Offset); 1885212904Sdim } 1886212904Sdim return Result; 1887207619Srdivacky} 1888207619Srdivacky 1889221345Sdim/// VisitUnaryExprOrTypeTraitExpr - Return the size or alignment of the type of 1890193326Sed/// argument of the sizeof expression as an integer. 1891193326SedValue * 1892221345SdimScalarExprEmitter::VisitUnaryExprOrTypeTraitExpr( 1893221345Sdim const UnaryExprOrTypeTraitExpr *E) { 1894193326Sed QualType TypeToSize = E->getTypeOfArgument(); 1895221345Sdim if (E->getKind() == UETT_SizeOf) { 1896198092Srdivacky if (const VariableArrayType *VAT = 1897193326Sed CGF.getContext().getAsVariableArrayType(TypeToSize)) { 1898193326Sed if (E->isArgumentType()) { 1899193326Sed // sizeof(type) - make sure to emit the VLA size. 1900224145Sdim CGF.EmitVariablyModifiedType(TypeToSize); 1901193326Sed } else { 1902193326Sed // C99 6.5.3.4p2: If the argument is an expression of type 1903193326Sed // VLA, it is evaluated. 1904218893Sdim CGF.EmitIgnoredExpr(E->getArgumentExpr()); 1905193326Sed } 1906198092Srdivacky 1907224145Sdim QualType eltType; 1908224145Sdim llvm::Value *numElts; 1909224145Sdim llvm::tie(numElts, eltType) = CGF.getVLASize(VAT); 1910224145Sdim 1911224145Sdim llvm::Value *size = numElts; 1912224145Sdim 1913224145Sdim // Scale the number of non-VLA elements by the non-VLA element size. 1914224145Sdim CharUnits eltSize = CGF.getContext().getTypeSizeInChars(eltType); 1915224145Sdim if (!eltSize.isOne()) 1916224145Sdim size = CGF.Builder.CreateNUWMul(CGF.CGM.getSize(eltSize), numElts); 1917224145Sdim 1918224145Sdim return size; 1919193326Sed } 1920193326Sed } 1921193326Sed 1922198092Srdivacky // If this isn't sizeof(vla), the result must be constant; use the constant 1923198092Srdivacky // folding logic so we don't have to duplicate it here. 1924235633Sdim return Builder.getInt(E->EvaluateKnownConstInt(CGF.getContext())); 1925193326Sed} 1926193326Sed 1927193326SedValue *ScalarExprEmitter::VisitUnaryReal(const UnaryOperator *E) { 1928193326Sed Expr *Op = E->getSubExpr(); 1929218893Sdim if (Op->getType()->isAnyComplexType()) { 1930218893Sdim // If it's an l-value, load through the appropriate subobject l-value. 1931218893Sdim // Note that we have to ask E because Op might be an l-value that 1932218893Sdim // this won't work for, e.g. an Obj-C property. 1933218893Sdim if (E->isGLValue()) 1934263509Sdim return CGF.EmitLoadOfLValue(CGF.EmitLValue(E), 1935263509Sdim E->getExprLoc()).getScalarVal(); 1936218893Sdim 1937218893Sdim // Otherwise, calculate and project. 1938218893Sdim return CGF.EmitComplexExpr(Op, false, true).first; 1939218893Sdim } 1940218893Sdim 1941193326Sed return Visit(Op); 1942193326Sed} 1943218893Sdim 1944193326SedValue *ScalarExprEmitter::VisitUnaryImag(const UnaryOperator *E) { 1945193326Sed Expr *Op = E->getSubExpr(); 1946218893Sdim if (Op->getType()->isAnyComplexType()) { 1947218893Sdim // If it's an l-value, load through the appropriate subobject l-value. 1948218893Sdim // Note that we have to ask E because Op might be an l-value that 1949218893Sdim // this won't work for, e.g. an Obj-C property. 1950218893Sdim if (Op->isGLValue()) 1951263509Sdim return CGF.EmitLoadOfLValue(CGF.EmitLValue(E), 1952263509Sdim E->getExprLoc()).getScalarVal(); 1953198092Srdivacky 1954218893Sdim // Otherwise, calculate and project. 1955218893Sdim return CGF.EmitComplexExpr(Op, true, false).second; 1956218893Sdim } 1957218893Sdim 1958193326Sed // __imag on a scalar returns zero. Emit the subexpr to ensure side 1959193326Sed // effects are evaluated, but not the actual value. 1960235633Sdim if (Op->isGLValue()) 1961235633Sdim CGF.EmitLValue(Op); 1962235633Sdim else 1963235633Sdim CGF.EmitScalarExpr(Op, true); 1964193326Sed return llvm::Constant::getNullValue(ConvertType(E->getType())); 1965193326Sed} 1966193326Sed 1967193326Sed//===----------------------------------------------------------------------===// 1968193326Sed// Binary Operators 1969193326Sed//===----------------------------------------------------------------------===// 1970193326Sed 1971193326SedBinOpInfo ScalarExprEmitter::EmitBinOps(const BinaryOperator *E) { 1972193326Sed TestAndClearIgnoreResultAssign(); 1973193326Sed BinOpInfo Result; 1974193326Sed Result.LHS = Visit(E->getLHS()); 1975193326Sed Result.RHS = Visit(E->getRHS()); 1976193326Sed Result.Ty = E->getType(); 1977210299Sed Result.Opcode = E->getOpcode(); 1978245431Sdim Result.FPContractable = E->isFPContractable(); 1979193326Sed Result.E = E; 1980193326Sed return Result; 1981193326Sed} 1982193326Sed 1983207619SrdivackyLValue ScalarExprEmitter::EmitCompoundAssignLValue( 1984207619Srdivacky const CompoundAssignOperator *E, 1985207619Srdivacky Value *(ScalarExprEmitter::*Func)(const BinOpInfo &), 1986210299Sed Value *&Result) { 1987201361Srdivacky QualType LHSTy = E->getLHS()->getType(); 1988193326Sed BinOpInfo OpInfo; 1989263509Sdim 1990263509Sdim if (E->getComputationResultType()->isAnyComplexType()) 1991263509Sdim return CGF.EmitScalarCompooundAssignWithComplex(E, Result); 1992263509Sdim 1993193326Sed // Emit the RHS first. __block variables need to have the rhs evaluated 1994193326Sed // first, plus this should improve codegen a little. 1995193326Sed OpInfo.RHS = Visit(E->getRHS()); 1996193326Sed OpInfo.Ty = E->getComputationResultType(); 1997210299Sed OpInfo.Opcode = E->getOpcode(); 1998245431Sdim OpInfo.FPContractable = false; 1999193326Sed OpInfo.E = E; 2000193326Sed // Load/convert the LHS. 2001245431Sdim LValue LHSLV = EmitCheckedLValue(E->getLHS(), CodeGenFunction::TCK_Store); 2002235633Sdim 2003235633Sdim llvm::PHINode *atomicPHI = 0; 2004252723Sdim if (const AtomicType *atomicTy = LHSTy->getAs<AtomicType>()) { 2005252723Sdim QualType type = atomicTy->getValueType(); 2006252723Sdim if (!type->isBooleanType() && type->isIntegerType() && 2007252723Sdim !(type->isUnsignedIntegerType() && 2008252723Sdim CGF.SanOpts->UnsignedIntegerOverflow) && 2009252723Sdim CGF.getLangOpts().getSignedOverflowBehavior() != 2010252723Sdim LangOptions::SOB_Trapping) { 2011252723Sdim llvm::AtomicRMWInst::BinOp aop = llvm::AtomicRMWInst::BAD_BINOP; 2012252723Sdim switch (OpInfo.Opcode) { 2013252723Sdim // We don't have atomicrmw operands for *, %, /, <<, >> 2014252723Sdim case BO_MulAssign: case BO_DivAssign: 2015252723Sdim case BO_RemAssign: 2016252723Sdim case BO_ShlAssign: 2017252723Sdim case BO_ShrAssign: 2018252723Sdim break; 2019252723Sdim case BO_AddAssign: 2020252723Sdim aop = llvm::AtomicRMWInst::Add; 2021252723Sdim break; 2022252723Sdim case BO_SubAssign: 2023252723Sdim aop = llvm::AtomicRMWInst::Sub; 2024252723Sdim break; 2025252723Sdim case BO_AndAssign: 2026252723Sdim aop = llvm::AtomicRMWInst::And; 2027252723Sdim break; 2028252723Sdim case BO_XorAssign: 2029252723Sdim aop = llvm::AtomicRMWInst::Xor; 2030252723Sdim break; 2031252723Sdim case BO_OrAssign: 2032252723Sdim aop = llvm::AtomicRMWInst::Or; 2033252723Sdim break; 2034252723Sdim default: 2035252723Sdim llvm_unreachable("Invalid compound assignment type"); 2036252723Sdim } 2037252723Sdim if (aop != llvm::AtomicRMWInst::BAD_BINOP) { 2038252723Sdim llvm::Value *amt = CGF.EmitToMemory(EmitScalarConversion(OpInfo.RHS, 2039252723Sdim E->getRHS()->getType(), LHSTy), LHSTy); 2040252723Sdim Builder.CreateAtomicRMW(aop, LHSLV.getAddress(), amt, 2041252723Sdim llvm::SequentiallyConsistent); 2042252723Sdim return LHSLV; 2043252723Sdim } 2044252723Sdim } 2045235633Sdim // FIXME: For floating point types, we should be saving and restoring the 2046235633Sdim // floating point environment in the loop. 2047235633Sdim llvm::BasicBlock *startBB = Builder.GetInsertBlock(); 2048235633Sdim llvm::BasicBlock *opBB = CGF.createBasicBlock("atomic_op", CGF.CurFn); 2049263509Sdim OpInfo.LHS = EmitLoadOfLValue(LHSLV, E->getExprLoc()); 2050252723Sdim OpInfo.LHS = CGF.EmitToMemory(OpInfo.LHS, type); 2051235633Sdim Builder.CreateBr(opBB); 2052235633Sdim Builder.SetInsertPoint(opBB); 2053235633Sdim atomicPHI = Builder.CreatePHI(OpInfo.LHS->getType(), 2); 2054235633Sdim atomicPHI->addIncoming(OpInfo.LHS, startBB); 2055235633Sdim OpInfo.LHS = atomicPHI; 2056235633Sdim } 2057252723Sdim else 2058263509Sdim OpInfo.LHS = EmitLoadOfLValue(LHSLV, E->getExprLoc()); 2059245431Sdim 2060245431Sdim OpInfo.LHS = EmitScalarConversion(OpInfo.LHS, LHSTy, 2061245431Sdim E->getComputationLHSType()); 2062245431Sdim 2063193326Sed // Expand the binary operator. 2064210299Sed Result = (this->*Func)(OpInfo); 2065263509Sdim 2066193326Sed // Convert the result back to the LHS type. 2067193326Sed Result = EmitScalarConversion(Result, E->getComputationResultType(), LHSTy); 2068235633Sdim 2069235633Sdim if (atomicPHI) { 2070235633Sdim llvm::BasicBlock *opBB = Builder.GetInsertBlock(); 2071235633Sdim llvm::BasicBlock *contBB = CGF.createBasicBlock("atomic_cont", CGF.CurFn); 2072235633Sdim llvm::Value *old = Builder.CreateAtomicCmpXchg(LHSLV.getAddress(), atomicPHI, 2073252723Sdim CGF.EmitToMemory(Result, LHSTy), llvm::SequentiallyConsistent); 2074235633Sdim atomicPHI->addIncoming(old, opBB); 2075235633Sdim llvm::Value *success = Builder.CreateICmpEQ(old, atomicPHI); 2076235633Sdim Builder.CreateCondBr(success, contBB, opBB); 2077235633Sdim Builder.SetInsertPoint(contBB); 2078235633Sdim return LHSLV; 2079235633Sdim } 2080263509Sdim 2081198092Srdivacky // Store the result value into the LHS lvalue. Bit-fields are handled 2082198092Srdivacky // specially because the result is altered by the store, i.e., [C99 6.5.16p1] 2083198092Srdivacky // 'An assignment expression has the value of the left operand after the 2084198092Srdivacky // assignment...'. 2085210299Sed if (LHSLV.isBitField()) 2086224145Sdim CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, &Result); 2087210299Sed else 2088224145Sdim CGF.EmitStoreThroughLValue(RValue::get(Result), LHSLV); 2089210299Sed 2090207619Srdivacky return LHSLV; 2091207619Srdivacky} 2092207619Srdivacky 2093207619SrdivackyValue *ScalarExprEmitter::EmitCompoundAssign(const CompoundAssignOperator *E, 2094207619Srdivacky Value *(ScalarExprEmitter::*Func)(const BinOpInfo &)) { 2095207619Srdivacky bool Ignore = TestAndClearIgnoreResultAssign(); 2096210299Sed Value *RHS; 2097210299Sed LValue LHS = EmitCompoundAssignLValue(E, Func, RHS); 2098210299Sed 2099210299Sed // If the result is clearly ignored, return now. 2100193326Sed if (Ignore) 2101193326Sed return 0; 2102210299Sed 2103218893Sdim // The result of an assignment in C is the assigned r-value. 2104245431Sdim if (!CGF.getLangOpts().CPlusPlus) 2105218893Sdim return RHS; 2106218893Sdim 2107210299Sed // If the lvalue is non-volatile, return the computed value of the assignment. 2108210299Sed if (!LHS.isVolatileQualified()) 2109210299Sed return RHS; 2110210299Sed 2111210299Sed // Otherwise, reload the value. 2112263509Sdim return EmitLoadOfLValue(LHS, E->getExprLoc()); 2113193326Sed} 2114193326Sed 2115218893Sdimvoid ScalarExprEmitter::EmitUndefinedBehaviorIntegerDivAndRemCheck( 2116245431Sdim const BinOpInfo &Ops, llvm::Value *Zero, bool isDiv) { 2117245431Sdim llvm::Value *Cond = 0; 2118193326Sed 2119252723Sdim if (CGF.SanOpts->IntegerDivideByZero) 2120245431Sdim Cond = Builder.CreateICmpNE(Ops.RHS, Zero); 2121218893Sdim 2122252723Sdim if (CGF.SanOpts->SignedIntegerOverflow && 2123245431Sdim Ops.Ty->hasSignedIntegerRepresentation()) { 2124245431Sdim llvm::IntegerType *Ty = cast<llvm::IntegerType>(Zero->getType()); 2125245431Sdim 2126218893Sdim llvm::Value *IntMin = 2127221345Sdim Builder.getInt(llvm::APInt::getSignedMinValue(Ty->getBitWidth())); 2128218893Sdim llvm::Value *NegOne = llvm::ConstantInt::get(Ty, -1ULL); 2129218893Sdim 2130245431Sdim llvm::Value *LHSCmp = Builder.CreateICmpNE(Ops.LHS, IntMin); 2131245431Sdim llvm::Value *RHSCmp = Builder.CreateICmpNE(Ops.RHS, NegOne); 2132245431Sdim llvm::Value *Overflow = Builder.CreateOr(LHSCmp, RHSCmp, "or"); 2133245431Sdim Cond = Cond ? Builder.CreateAnd(Cond, Overflow, "and") : Overflow; 2134218893Sdim } 2135245431Sdim 2136245431Sdim if (Cond) 2137245431Sdim EmitBinOpCheck(Cond, Ops); 2138218893Sdim} 2139218893Sdim 2140193326SedValue *ScalarExprEmitter::EmitDiv(const BinOpInfo &Ops) { 2141252723Sdim if ((CGF.SanOpts->IntegerDivideByZero || 2142252723Sdim CGF.SanOpts->SignedIntegerOverflow) && 2143252723Sdim Ops.Ty->isIntegerType()) { 2144218893Sdim llvm::Value *Zero = llvm::Constant::getNullValue(ConvertType(Ops.Ty)); 2145252723Sdim EmitUndefinedBehaviorIntegerDivAndRemCheck(Ops, Zero, true); 2146252723Sdim } else if (CGF.SanOpts->FloatDivideByZero && 2147252723Sdim Ops.Ty->isRealFloatingType()) { 2148252723Sdim llvm::Value *Zero = llvm::Constant::getNullValue(ConvertType(Ops.Ty)); 2149252723Sdim EmitBinOpCheck(Builder.CreateFCmpUNE(Ops.RHS, Zero), Ops); 2150252723Sdim } 2151218893Sdim 2152235633Sdim if (Ops.LHS->getType()->isFPOrFPVectorTy()) { 2153235633Sdim llvm::Value *Val = Builder.CreateFDiv(Ops.LHS, Ops.RHS, "div"); 2154245431Sdim if (CGF.getLangOpts().OpenCL) { 2155235633Sdim // OpenCL 1.1 7.4: minimum accuracy of single precision / is 2.5ulp 2156235633Sdim llvm::Type *ValTy = Val->getType(); 2157235633Sdim if (ValTy->isFloatTy() || 2158235633Sdim (isa<llvm::VectorType>(ValTy) && 2159235633Sdim cast<llvm::VectorType>(ValTy)->getElementType()->isFloatTy())) 2160235633Sdim CGF.SetFPAccuracy(Val, 2.5); 2161235633Sdim } 2162235633Sdim return Val; 2163235633Sdim } 2164212904Sdim else if (Ops.Ty->hasUnsignedIntegerRepresentation()) 2165193326Sed return Builder.CreateUDiv(Ops.LHS, Ops.RHS, "div"); 2166193326Sed else 2167193326Sed return Builder.CreateSDiv(Ops.LHS, Ops.RHS, "div"); 2168193326Sed} 2169193326Sed 2170193326SedValue *ScalarExprEmitter::EmitRem(const BinOpInfo &Ops) { 2171193326Sed // Rem in C can't be a floating point type: C99 6.5.5p2. 2172252723Sdim if (CGF.SanOpts->IntegerDivideByZero) { 2173218893Sdim llvm::Value *Zero = llvm::Constant::getNullValue(ConvertType(Ops.Ty)); 2174218893Sdim 2175252723Sdim if (Ops.Ty->isIntegerType()) 2176218893Sdim EmitUndefinedBehaviorIntegerDivAndRemCheck(Ops, Zero, false); 2177218893Sdim } 2178218893Sdim 2179221345Sdim if (Ops.Ty->hasUnsignedIntegerRepresentation()) 2180193326Sed return Builder.CreateURem(Ops.LHS, Ops.RHS, "rem"); 2181193326Sed else 2182193326Sed return Builder.CreateSRem(Ops.LHS, Ops.RHS, "rem"); 2183193326Sed} 2184193326Sed 2185193326SedValue *ScalarExprEmitter::EmitOverflowCheckedBinOp(const BinOpInfo &Ops) { 2186193326Sed unsigned IID; 2187193326Sed unsigned OpID = 0; 2188193326Sed 2189252723Sdim bool isSigned = Ops.Ty->isSignedIntegerOrEnumerationType(); 2190210299Sed switch (Ops.Opcode) { 2191212904Sdim case BO_Add: 2192212904Sdim case BO_AddAssign: 2193193326Sed OpID = 1; 2194252723Sdim IID = isSigned ? llvm::Intrinsic::sadd_with_overflow : 2195252723Sdim llvm::Intrinsic::uadd_with_overflow; 2196193326Sed break; 2197212904Sdim case BO_Sub: 2198212904Sdim case BO_SubAssign: 2199193326Sed OpID = 2; 2200252723Sdim IID = isSigned ? llvm::Intrinsic::ssub_with_overflow : 2201252723Sdim llvm::Intrinsic::usub_with_overflow; 2202193326Sed break; 2203212904Sdim case BO_Mul: 2204212904Sdim case BO_MulAssign: 2205193326Sed OpID = 3; 2206252723Sdim IID = isSigned ? llvm::Intrinsic::smul_with_overflow : 2207252723Sdim llvm::Intrinsic::umul_with_overflow; 2208193326Sed break; 2209193326Sed default: 2210226890Sdim llvm_unreachable("Unsupported operation for overflow detection"); 2211193326Sed } 2212193326Sed OpID <<= 1; 2213252723Sdim if (isSigned) 2214252723Sdim OpID |= 1; 2215193326Sed 2216224145Sdim llvm::Type *opTy = CGF.CGM.getTypes().ConvertType(Ops.Ty); 2217193326Sed 2218224145Sdim llvm::Function *intrinsic = CGF.CGM.getIntrinsic(IID, opTy); 2219193326Sed 2220193326Sed Value *resultAndOverflow = Builder.CreateCall2(intrinsic, Ops.LHS, Ops.RHS); 2221193326Sed Value *result = Builder.CreateExtractValue(resultAndOverflow, 0); 2222193326Sed Value *overflow = Builder.CreateExtractValue(resultAndOverflow, 1); 2223193326Sed 2224245431Sdim // Handle overflow with llvm.trap if no custom handler has been specified. 2225245431Sdim const std::string *handlerName = 2226245431Sdim &CGF.getLangOpts().OverflowHandler; 2227245431Sdim if (handlerName->empty()) { 2228245431Sdim // If the signed-integer-overflow sanitizer is enabled, emit a call to its 2229245431Sdim // runtime. Otherwise, this is a -ftrapv check, so just emit a trap. 2230252723Sdim if (!isSigned || CGF.SanOpts->SignedIntegerOverflow) 2231245431Sdim EmitBinOpCheck(Builder.CreateNot(overflow), Ops); 2232245431Sdim else 2233252723Sdim CGF.EmitTrapCheck(Builder.CreateNot(overflow)); 2234245431Sdim return result; 2235245431Sdim } 2236245431Sdim 2237193326Sed // Branch in case of overflow. 2238218893Sdim llvm::BasicBlock *initialBB = Builder.GetInsertBlock(); 2239224145Sdim llvm::Function::iterator insertPt = initialBB; 2240224145Sdim llvm::BasicBlock *continueBB = CGF.createBasicBlock("nooverflow", CGF.CurFn, 2241224145Sdim llvm::next(insertPt)); 2242212904Sdim llvm::BasicBlock *overflowBB = CGF.createBasicBlock("overflow", CGF.CurFn); 2243193326Sed 2244193326Sed Builder.CreateCondBr(overflow, overflowBB, continueBB); 2245193326Sed 2246218893Sdim // If an overflow handler is set, then we want to call it and then use its 2247218893Sdim // result, if it returns. 2248193326Sed Builder.SetInsertPoint(overflowBB); 2249218893Sdim 2250218893Sdim // Get the overflow handler. 2251235633Sdim llvm::Type *Int8Ty = CGF.Int8Ty; 2252224145Sdim llvm::Type *argTypes[] = { CGF.Int64Ty, CGF.Int64Ty, Int8Ty, Int8Ty }; 2253218893Sdim llvm::FunctionType *handlerTy = 2254218893Sdim llvm::FunctionType::get(CGF.Int64Ty, argTypes, true); 2255218893Sdim llvm::Value *handler = CGF.CGM.CreateRuntimeFunction(handlerTy, *handlerName); 2256218893Sdim 2257218893Sdim // Sign extend the args to 64-bit, so that we can use the same handler for 2258218893Sdim // all types of overflow. 2259218893Sdim llvm::Value *lhs = Builder.CreateSExt(Ops.LHS, CGF.Int64Ty); 2260218893Sdim llvm::Value *rhs = Builder.CreateSExt(Ops.RHS, CGF.Int64Ty); 2261218893Sdim 2262218893Sdim // Call the handler with the two arguments, the operation, and the size of 2263218893Sdim // the result. 2264252723Sdim llvm::Value *handlerArgs[] = { 2265252723Sdim lhs, 2266252723Sdim rhs, 2267252723Sdim Builder.getInt8(OpID), 2268252723Sdim Builder.getInt8(cast<llvm::IntegerType>(opTy)->getBitWidth()) 2269252723Sdim }; 2270252723Sdim llvm::Value *handlerResult = 2271252723Sdim CGF.EmitNounwindRuntimeCall(handler, handlerArgs); 2272218893Sdim 2273218893Sdim // Truncate the result back to the desired size. 2274218893Sdim handlerResult = Builder.CreateTrunc(handlerResult, opTy); 2275218893Sdim Builder.CreateBr(continueBB); 2276218893Sdim 2277193326Sed Builder.SetInsertPoint(continueBB); 2278221345Sdim llvm::PHINode *phi = Builder.CreatePHI(opTy, 2); 2279218893Sdim phi->addIncoming(result, initialBB); 2280218893Sdim phi->addIncoming(handlerResult, overflowBB); 2281218893Sdim 2282218893Sdim return phi; 2283193326Sed} 2284193326Sed 2285224145Sdim/// Emit pointer + index arithmetic. 2286224145Sdimstatic Value *emitPointerArithmetic(CodeGenFunction &CGF, 2287224145Sdim const BinOpInfo &op, 2288224145Sdim bool isSubtraction) { 2289224145Sdim // Must have binary (not unary) expr here. Unary pointer 2290224145Sdim // increment/decrement doesn't use this path. 2291224145Sdim const BinaryOperator *expr = cast<BinaryOperator>(op.E); 2292263509Sdim 2293224145Sdim Value *pointer = op.LHS; 2294224145Sdim Expr *pointerOperand = expr->getLHS(); 2295224145Sdim Value *index = op.RHS; 2296224145Sdim Expr *indexOperand = expr->getRHS(); 2297198092Srdivacky 2298224145Sdim // In a subtraction, the LHS is always the pointer. 2299224145Sdim if (!isSubtraction && !pointer->getType()->isPointerTy()) { 2300224145Sdim std::swap(pointer, index); 2301224145Sdim std::swap(pointerOperand, indexOperand); 2302193326Sed } 2303193326Sed 2304224145Sdim unsigned width = cast<llvm::IntegerType>(index->getType())->getBitWidth(); 2305224145Sdim if (width != CGF.PointerWidthInBits) { 2306224145Sdim // Zero-extend or sign-extend the pointer value according to 2307224145Sdim // whether the index is signed or not. 2308224145Sdim bool isSigned = indexOperand->getType()->isSignedIntegerOrEnumerationType(); 2309224145Sdim index = CGF.Builder.CreateIntCast(index, CGF.PtrDiffTy, isSigned, 2310224145Sdim "idx.ext"); 2311193326Sed } 2312224145Sdim 2313224145Sdim // If this is subtraction, negate the index. 2314224145Sdim if (isSubtraction) 2315224145Sdim index = CGF.Builder.CreateNeg(index, "idx.neg"); 2316224145Sdim 2317263509Sdim if (CGF.SanOpts->ArrayBounds) 2318252723Sdim CGF.EmitBoundsCheck(op.E, pointerOperand, index, indexOperand->getType(), 2319252723Sdim /*Accessed*/ false); 2320252723Sdim 2321224145Sdim const PointerType *pointerType 2322224145Sdim = pointerOperand->getType()->getAs<PointerType>(); 2323224145Sdim if (!pointerType) { 2324224145Sdim QualType objectType = pointerOperand->getType() 2325224145Sdim ->castAs<ObjCObjectPointerType>() 2326224145Sdim ->getPointeeType(); 2327224145Sdim llvm::Value *objectSize 2328224145Sdim = CGF.CGM.getSize(CGF.getContext().getTypeSizeInChars(objectType)); 2329224145Sdim 2330224145Sdim index = CGF.Builder.CreateMul(index, objectSize); 2331224145Sdim 2332224145Sdim Value *result = CGF.Builder.CreateBitCast(pointer, CGF.VoidPtrTy); 2333224145Sdim result = CGF.Builder.CreateGEP(result, index, "add.ptr"); 2334224145Sdim return CGF.Builder.CreateBitCast(result, pointer->getType()); 2335193326Sed } 2336193326Sed 2337224145Sdim QualType elementType = pointerType->getPointeeType(); 2338224145Sdim if (const VariableArrayType *vla 2339224145Sdim = CGF.getContext().getAsVariableArrayType(elementType)) { 2340224145Sdim // The element count here is the total number of non-VLA elements. 2341224145Sdim llvm::Value *numElements = CGF.getVLASize(vla).first; 2342224145Sdim 2343224145Sdim // Effectively, the multiply by the VLA size is part of the GEP. 2344224145Sdim // GEP indexes are signed, and scaling an index isn't permitted to 2345224145Sdim // signed-overflow, so we use the same semantics for our explicit 2346224145Sdim // multiply. We suppress this if overflow is not undefined behavior. 2347235633Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) { 2348224145Sdim index = CGF.Builder.CreateMul(index, numElements, "vla.index"); 2349224145Sdim pointer = CGF.Builder.CreateGEP(pointer, index, "add.ptr"); 2350224145Sdim } else { 2351224145Sdim index = CGF.Builder.CreateNSWMul(index, numElements, "vla.index"); 2352224145Sdim pointer = CGF.Builder.CreateInBoundsGEP(pointer, index, "add.ptr"); 2353224145Sdim } 2354224145Sdim return pointer; 2355193326Sed } 2356193326Sed 2357198092Srdivacky // Explicitly handle GNU void* and function pointer arithmetic extensions. The 2358198092Srdivacky // GNU void* casts amount to no-ops since our void* type is i8*, but this is 2359198092Srdivacky // future proof. 2360224145Sdim if (elementType->isVoidType() || elementType->isFunctionType()) { 2361224145Sdim Value *result = CGF.Builder.CreateBitCast(pointer, CGF.VoidPtrTy); 2362224145Sdim result = CGF.Builder.CreateGEP(result, index, "add.ptr"); 2363224145Sdim return CGF.Builder.CreateBitCast(result, pointer->getType()); 2364198092Srdivacky } 2365198092Srdivacky 2366235633Sdim if (CGF.getLangOpts().isSignedOverflowDefined()) 2367224145Sdim return CGF.Builder.CreateGEP(pointer, index, "add.ptr"); 2368224145Sdim 2369224145Sdim return CGF.Builder.CreateInBoundsGEP(pointer, index, "add.ptr"); 2370193326Sed} 2371193326Sed 2372245431Sdim// Construct an fmuladd intrinsic to represent a fused mul-add of MulOp and 2373245431Sdim// Addend. Use negMul and negAdd to negate the first operand of the Mul or 2374245431Sdim// the add operand respectively. This allows fmuladd to represent a*b-c, or 2375245431Sdim// c-a*b. Patterns in LLVM should catch the negated forms and translate them to 2376245431Sdim// efficient operations. 2377245431Sdimstatic Value* buildFMulAdd(llvm::BinaryOperator *MulOp, Value *Addend, 2378245431Sdim const CodeGenFunction &CGF, CGBuilderTy &Builder, 2379245431Sdim bool negMul, bool negAdd) { 2380245431Sdim assert(!(negMul && negAdd) && "Only one of negMul and negAdd should be set."); 2381263509Sdim 2382245431Sdim Value *MulOp0 = MulOp->getOperand(0); 2383245431Sdim Value *MulOp1 = MulOp->getOperand(1); 2384245431Sdim if (negMul) { 2385245431Sdim MulOp0 = 2386245431Sdim Builder.CreateFSub( 2387245431Sdim llvm::ConstantFP::getZeroValueForNegation(MulOp0->getType()), MulOp0, 2388245431Sdim "neg"); 2389245431Sdim } else if (negAdd) { 2390245431Sdim Addend = 2391245431Sdim Builder.CreateFSub( 2392245431Sdim llvm::ConstantFP::getZeroValueForNegation(Addend->getType()), Addend, 2393245431Sdim "neg"); 2394245431Sdim } 2395245431Sdim 2396245431Sdim Value *FMulAdd = 2397245431Sdim Builder.CreateCall3( 2398245431Sdim CGF.CGM.getIntrinsic(llvm::Intrinsic::fmuladd, Addend->getType()), 2399245431Sdim MulOp0, MulOp1, Addend); 2400245431Sdim MulOp->eraseFromParent(); 2401245431Sdim 2402245431Sdim return FMulAdd; 2403245431Sdim} 2404245431Sdim 2405245431Sdim// Check whether it would be legal to emit an fmuladd intrinsic call to 2406245431Sdim// represent op and if so, build the fmuladd. 2407245431Sdim// 2408245431Sdim// Checks that (a) the operation is fusable, and (b) -ffp-contract=on. 2409245431Sdim// Does NOT check the type of the operation - it's assumed that this function 2410245431Sdim// will be called from contexts where it's known that the type is contractable. 2411263509Sdimstatic Value* tryEmitFMulAdd(const BinOpInfo &op, 2412245431Sdim const CodeGenFunction &CGF, CGBuilderTy &Builder, 2413245431Sdim bool isSub=false) { 2414245431Sdim 2415245431Sdim assert((op.Opcode == BO_Add || op.Opcode == BO_AddAssign || 2416245431Sdim op.Opcode == BO_Sub || op.Opcode == BO_SubAssign) && 2417245431Sdim "Only fadd/fsub can be the root of an fmuladd."); 2418245431Sdim 2419245431Sdim // Check whether this op is marked as fusable. 2420245431Sdim if (!op.FPContractable) 2421245431Sdim return 0; 2422245431Sdim 2423245431Sdim // Check whether -ffp-contract=on. (If -ffp-contract=off/fast, fusing is 2424245431Sdim // either disabled, or handled entirely by the LLVM backend). 2425252723Sdim if (CGF.CGM.getCodeGenOpts().getFPContractMode() != CodeGenOptions::FPC_On) 2426245431Sdim return 0; 2427245431Sdim 2428245431Sdim // We have a potentially fusable op. Look for a mul on one of the operands. 2429245431Sdim if (llvm::BinaryOperator* LHSBinOp = dyn_cast<llvm::BinaryOperator>(op.LHS)) { 2430245431Sdim if (LHSBinOp->getOpcode() == llvm::Instruction::FMul) { 2431245431Sdim assert(LHSBinOp->getNumUses() == 0 && 2432245431Sdim "Operations with multiple uses shouldn't be contracted."); 2433245431Sdim return buildFMulAdd(LHSBinOp, op.RHS, CGF, Builder, false, isSub); 2434245431Sdim } 2435245431Sdim } else if (llvm::BinaryOperator* RHSBinOp = 2436245431Sdim dyn_cast<llvm::BinaryOperator>(op.RHS)) { 2437245431Sdim if (RHSBinOp->getOpcode() == llvm::Instruction::FMul) { 2438245431Sdim assert(RHSBinOp->getNumUses() == 0 && 2439245431Sdim "Operations with multiple uses shouldn't be contracted."); 2440245431Sdim return buildFMulAdd(RHSBinOp, op.LHS, CGF, Builder, isSub, false); 2441245431Sdim } 2442245431Sdim } 2443245431Sdim 2444245431Sdim return 0; 2445245431Sdim} 2446245431Sdim 2447224145SdimValue *ScalarExprEmitter::EmitAdd(const BinOpInfo &op) { 2448224145Sdim if (op.LHS->getType()->isPointerTy() || 2449224145Sdim op.RHS->getType()->isPointerTy()) 2450224145Sdim return emitPointerArithmetic(CGF, op, /*subtraction*/ false); 2451224145Sdim 2452224145Sdim if (op.Ty->isSignedIntegerOrEnumerationType()) { 2453245431Sdim switch (CGF.getLangOpts().getSignedOverflowBehavior()) { 2454224145Sdim case LangOptions::SOB_Defined: 2455224145Sdim return Builder.CreateAdd(op.LHS, op.RHS, "add"); 2456245431Sdim case LangOptions::SOB_Undefined: 2457252723Sdim if (!CGF.SanOpts->SignedIntegerOverflow) 2458245431Sdim return Builder.CreateNSWAdd(op.LHS, op.RHS, "add"); 2459245431Sdim // Fall through. 2460224145Sdim case LangOptions::SOB_Trapping: 2461224145Sdim return EmitOverflowCheckedBinOp(op); 2462224145Sdim } 2463224145Sdim } 2464252723Sdim 2465252723Sdim if (op.Ty->isUnsignedIntegerType() && CGF.SanOpts->UnsignedIntegerOverflow) 2466252723Sdim return EmitOverflowCheckedBinOp(op); 2467252723Sdim 2468245431Sdim if (op.LHS->getType()->isFPOrFPVectorTy()) { 2469245431Sdim // Try to form an fmuladd. 2470245431Sdim if (Value *FMulAdd = tryEmitFMulAdd(op, CGF, Builder)) 2471245431Sdim return FMulAdd; 2472245431Sdim 2473224145Sdim return Builder.CreateFAdd(op.LHS, op.RHS, "add"); 2474245431Sdim } 2475224145Sdim 2476224145Sdim return Builder.CreateAdd(op.LHS, op.RHS, "add"); 2477224145Sdim} 2478224145Sdim 2479224145SdimValue *ScalarExprEmitter::EmitSub(const BinOpInfo &op) { 2480224145Sdim // The LHS is always a pointer if either side is. 2481224145Sdim if (!op.LHS->getType()->isPointerTy()) { 2482224145Sdim if (op.Ty->isSignedIntegerOrEnumerationType()) { 2483245431Sdim switch (CGF.getLangOpts().getSignedOverflowBehavior()) { 2484210299Sed case LangOptions::SOB_Defined: 2485224145Sdim return Builder.CreateSub(op.LHS, op.RHS, "sub"); 2486245431Sdim case LangOptions::SOB_Undefined: 2487252723Sdim if (!CGF.SanOpts->SignedIntegerOverflow) 2488245431Sdim return Builder.CreateNSWSub(op.LHS, op.RHS, "sub"); 2489245431Sdim // Fall through. 2490210299Sed case LangOptions::SOB_Trapping: 2491224145Sdim return EmitOverflowCheckedBinOp(op); 2492210299Sed } 2493210299Sed } 2494252723Sdim 2495252723Sdim if (op.Ty->isUnsignedIntegerType() && CGF.SanOpts->UnsignedIntegerOverflow) 2496252723Sdim return EmitOverflowCheckedBinOp(op); 2497252723Sdim 2498245431Sdim if (op.LHS->getType()->isFPOrFPVectorTy()) { 2499245431Sdim // Try to form an fmuladd. 2500245431Sdim if (Value *FMulAdd = tryEmitFMulAdd(op, CGF, Builder, true)) 2501245431Sdim return FMulAdd; 2502224145Sdim return Builder.CreateFSub(op.LHS, op.RHS, "sub"); 2503245431Sdim } 2504206084Srdivacky 2505224145Sdim return Builder.CreateSub(op.LHS, op.RHS, "sub"); 2506193326Sed } 2507193326Sed 2508224145Sdim // If the RHS is not a pointer, then we have normal pointer 2509224145Sdim // arithmetic. 2510224145Sdim if (!op.RHS->getType()->isPointerTy()) 2511224145Sdim return emitPointerArithmetic(CGF, op, /*subtraction*/ true); 2512193326Sed 2513224145Sdim // Otherwise, this is a pointer subtraction. 2514193326Sed 2515224145Sdim // Do the raw subtraction part. 2516224145Sdim llvm::Value *LHS 2517224145Sdim = Builder.CreatePtrToInt(op.LHS, CGF.PtrDiffTy, "sub.ptr.lhs.cast"); 2518224145Sdim llvm::Value *RHS 2519224145Sdim = Builder.CreatePtrToInt(op.RHS, CGF.PtrDiffTy, "sub.ptr.rhs.cast"); 2520224145Sdim Value *diffInChars = Builder.CreateSub(LHS, RHS, "sub.ptr.sub"); 2521193326Sed 2522224145Sdim // Okay, figure out the element size. 2523224145Sdim const BinaryOperator *expr = cast<BinaryOperator>(op.E); 2524224145Sdim QualType elementType = expr->getLHS()->getType()->getPointeeType(); 2525198092Srdivacky 2526224145Sdim llvm::Value *divisor = 0; 2527198092Srdivacky 2528224145Sdim // For a variable-length array, this is going to be non-constant. 2529224145Sdim if (const VariableArrayType *vla 2530224145Sdim = CGF.getContext().getAsVariableArrayType(elementType)) { 2531224145Sdim llvm::Value *numElements; 2532224145Sdim llvm::tie(numElements, elementType) = CGF.getVLASize(vla); 2533193326Sed 2534224145Sdim divisor = numElements; 2535198092Srdivacky 2536224145Sdim // Scale the number of non-VLA elements by the non-VLA element size. 2537224145Sdim CharUnits eltSize = CGF.getContext().getTypeSizeInChars(elementType); 2538224145Sdim if (!eltSize.isOne()) 2539224145Sdim divisor = CGF.Builder.CreateNUWMul(CGF.CGM.getSize(eltSize), divisor); 2540198092Srdivacky 2541224145Sdim // For everything elese, we can just compute it, safe in the 2542224145Sdim // assumption that Sema won't let anything through that we can't 2543224145Sdim // safely compute the size of. 2544224145Sdim } else { 2545224145Sdim CharUnits elementSize; 2546224145Sdim // Handle GCC extension for pointer arithmetic on void* and 2547224145Sdim // function pointer types. 2548224145Sdim if (elementType->isVoidType() || elementType->isFunctionType()) 2549224145Sdim elementSize = CharUnits::One(); 2550224145Sdim else 2551224145Sdim elementSize = CGF.getContext().getTypeSizeInChars(elementType); 2552198092Srdivacky 2553224145Sdim // Don't even emit the divide for element size of 1. 2554224145Sdim if (elementSize.isOne()) 2555224145Sdim return diffInChars; 2556224145Sdim 2557224145Sdim divisor = CGF.CGM.getSize(elementSize); 2558224145Sdim } 2559263509Sdim 2560221345Sdim // Otherwise, do a full sdiv. This uses the "exact" form of sdiv, since 2561221345Sdim // pointer difference in C is only defined in the case where both operands 2562221345Sdim // are pointing to elements of an array. 2563224145Sdim return Builder.CreateExactSDiv(diffInChars, divisor, "sub.ptr.div"); 2564193326Sed} 2565193326Sed 2566252723SdimValue *ScalarExprEmitter::GetWidthMinusOneValue(Value* LHS,Value* RHS) { 2567252723Sdim llvm::IntegerType *Ty; 2568252723Sdim if (llvm::VectorType *VT = dyn_cast<llvm::VectorType>(LHS->getType())) 2569252723Sdim Ty = cast<llvm::IntegerType>(VT->getElementType()); 2570252723Sdim else 2571252723Sdim Ty = cast<llvm::IntegerType>(LHS->getType()); 2572252723Sdim return llvm::ConstantInt::get(RHS->getType(), Ty->getBitWidth() - 1); 2573252723Sdim} 2574252723Sdim 2575193326SedValue *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) { 2576193326Sed // LLVM requires the LHS and RHS to be the same type: promote or truncate the 2577193326Sed // RHS to the same size as the LHS. 2578193326Sed Value *RHS = Ops.RHS; 2579193326Sed if (Ops.LHS->getType() != RHS->getType()) 2580193326Sed RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 2581198092Srdivacky 2582252723Sdim if (CGF.SanOpts->Shift && !CGF.getLangOpts().OpenCL && 2583245431Sdim isa<llvm::IntegerType>(Ops.LHS->getType())) { 2584252723Sdim llvm::Value *WidthMinusOne = GetWidthMinusOneValue(Ops.LHS, RHS); 2585252723Sdim llvm::Value *Valid = Builder.CreateICmpULE(RHS, WidthMinusOne); 2586245431Sdim 2587245431Sdim if (Ops.Ty->hasSignedIntegerRepresentation()) { 2588252723Sdim llvm::BasicBlock *Orig = Builder.GetInsertBlock(); 2589252723Sdim llvm::BasicBlock *Cont = CGF.createBasicBlock("cont"); 2590252723Sdim llvm::BasicBlock *CheckBitsShifted = CGF.createBasicBlock("check"); 2591252723Sdim Builder.CreateCondBr(Valid, CheckBitsShifted, Cont); 2592252723Sdim 2593245431Sdim // Check whether we are shifting any non-zero bits off the top of the 2594245431Sdim // integer. 2595252723Sdim CGF.EmitBlock(CheckBitsShifted); 2596245431Sdim llvm::Value *BitsShiftedOff = 2597245431Sdim Builder.CreateLShr(Ops.LHS, 2598245431Sdim Builder.CreateSub(WidthMinusOne, RHS, "shl.zeros", 2599245431Sdim /*NUW*/true, /*NSW*/true), 2600245431Sdim "shl.check"); 2601245431Sdim if (CGF.getLangOpts().CPlusPlus) { 2602245431Sdim // In C99, we are not permitted to shift a 1 bit into the sign bit. 2603245431Sdim // Under C++11's rules, shifting a 1 bit into the sign bit is 2604245431Sdim // OK, but shifting a 1 bit out of it is not. (C89 and C++03 don't 2605245431Sdim // define signed left shifts, so we use the C99 and C++11 rules there). 2606245431Sdim llvm::Value *One = llvm::ConstantInt::get(BitsShiftedOff->getType(), 1); 2607245431Sdim BitsShiftedOff = Builder.CreateLShr(BitsShiftedOff, One); 2608245431Sdim } 2609245431Sdim llvm::Value *Zero = llvm::ConstantInt::get(BitsShiftedOff->getType(), 0); 2610252723Sdim llvm::Value *SecondCheck = Builder.CreateICmpEQ(BitsShiftedOff, Zero); 2611252723Sdim CGF.EmitBlock(Cont); 2612252723Sdim llvm::PHINode *P = Builder.CreatePHI(Valid->getType(), 2); 2613252723Sdim P->addIncoming(Valid, Orig); 2614252723Sdim P->addIncoming(SecondCheck, CheckBitsShifted); 2615252723Sdim Valid = P; 2616245431Sdim } 2617252723Sdim 2618252723Sdim EmitBinOpCheck(Valid, Ops); 2619200583Srdivacky } 2620252723Sdim // OpenCL 6.3j: shift values are effectively % word size of LHS. 2621252723Sdim if (CGF.getLangOpts().OpenCL) 2622252723Sdim RHS = Builder.CreateAnd(RHS, GetWidthMinusOneValue(Ops.LHS, RHS), "shl.mask"); 2623200583Srdivacky 2624193326Sed return Builder.CreateShl(Ops.LHS, RHS, "shl"); 2625193326Sed} 2626193326Sed 2627193326SedValue *ScalarExprEmitter::EmitShr(const BinOpInfo &Ops) { 2628193326Sed // LLVM requires the LHS and RHS to be the same type: promote or truncate the 2629193326Sed // RHS to the same size as the LHS. 2630193326Sed Value *RHS = Ops.RHS; 2631193326Sed if (Ops.LHS->getType() != RHS->getType()) 2632193326Sed RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 2633198092Srdivacky 2634252723Sdim if (CGF.SanOpts->Shift && !CGF.getLangOpts().OpenCL && 2635252723Sdim isa<llvm::IntegerType>(Ops.LHS->getType())) 2636252723Sdim EmitBinOpCheck(Builder.CreateICmpULE(RHS, GetWidthMinusOneValue(Ops.LHS, RHS)), Ops); 2637200583Srdivacky 2638252723Sdim // OpenCL 6.3j: shift values are effectively % word size of LHS. 2639252723Sdim if (CGF.getLangOpts().OpenCL) 2640252723Sdim RHS = Builder.CreateAnd(RHS, GetWidthMinusOneValue(Ops.LHS, RHS), "shr.mask"); 2641252723Sdim 2642212904Sdim if (Ops.Ty->hasUnsignedIntegerRepresentation()) 2643193326Sed return Builder.CreateLShr(Ops.LHS, RHS, "shr"); 2644193326Sed return Builder.CreateAShr(Ops.LHS, RHS, "shr"); 2645193326Sed} 2646193326Sed 2647218893Sdimenum IntrinsicType { VCMPEQ, VCMPGT }; 2648218893Sdim// return corresponding comparison intrinsic for given vector type 2649218893Sdimstatic llvm::Intrinsic::ID GetIntrinsic(IntrinsicType IT, 2650218893Sdim BuiltinType::Kind ElemKind) { 2651218893Sdim switch (ElemKind) { 2652226890Sdim default: llvm_unreachable("unexpected element type"); 2653218893Sdim case BuiltinType::Char_U: 2654218893Sdim case BuiltinType::UChar: 2655218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequb_p : 2656218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtub_p; 2657218893Sdim case BuiltinType::Char_S: 2658218893Sdim case BuiltinType::SChar: 2659218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequb_p : 2660218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtsb_p; 2661218893Sdim case BuiltinType::UShort: 2662218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequh_p : 2663218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtuh_p; 2664218893Sdim case BuiltinType::Short: 2665218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequh_p : 2666218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtsh_p; 2667218893Sdim case BuiltinType::UInt: 2668218893Sdim case BuiltinType::ULong: 2669218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequw_p : 2670218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtuw_p; 2671218893Sdim case BuiltinType::Int: 2672218893Sdim case BuiltinType::Long: 2673218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpequw_p : 2674218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtsw_p; 2675218893Sdim case BuiltinType::Float: 2676218893Sdim return (IT == VCMPEQ) ? llvm::Intrinsic::ppc_altivec_vcmpeqfp_p : 2677218893Sdim llvm::Intrinsic::ppc_altivec_vcmpgtfp_p; 2678218893Sdim } 2679218893Sdim} 2680218893Sdim 2681193326SedValue *ScalarExprEmitter::EmitCompare(const BinaryOperator *E,unsigned UICmpOpc, 2682193326Sed unsigned SICmpOpc, unsigned FCmpOpc) { 2683193326Sed TestAndClearIgnoreResultAssign(); 2684193326Sed Value *Result; 2685193326Sed QualType LHSTy = E->getLHS()->getType(); 2686212904Sdim if (const MemberPointerType *MPT = LHSTy->getAs<MemberPointerType>()) { 2687212904Sdim assert(E->getOpcode() == BO_EQ || 2688212904Sdim E->getOpcode() == BO_NE); 2689212904Sdim Value *LHS = CGF.EmitScalarExpr(E->getLHS()); 2690212904Sdim Value *RHS = CGF.EmitScalarExpr(E->getRHS()); 2691212904Sdim Result = CGF.CGM.getCXXABI().EmitMemberPointerComparison( 2692212904Sdim CGF, LHS, RHS, MPT, E->getOpcode() == BO_NE); 2693200583Srdivacky } else if (!LHSTy->isAnyComplexType()) { 2694193326Sed Value *LHS = Visit(E->getLHS()); 2695193326Sed Value *RHS = Visit(E->getRHS()); 2696198092Srdivacky 2697218893Sdim // If AltiVec, the comparison results in a numeric type, so we use 2698218893Sdim // intrinsics comparing vectors and giving 0 or 1 as a result 2699221345Sdim if (LHSTy->isVectorType() && !E->getType()->isVectorType()) { 2700218893Sdim // constants for mapping CR6 register bits to predicate result 2701218893Sdim enum { CR6_EQ=0, CR6_EQ_REV, CR6_LT, CR6_LT_REV } CR6; 2702218893Sdim 2703218893Sdim llvm::Intrinsic::ID ID = llvm::Intrinsic::not_intrinsic; 2704218893Sdim 2705218893Sdim // in several cases vector arguments order will be reversed 2706218893Sdim Value *FirstVecArg = LHS, 2707218893Sdim *SecondVecArg = RHS; 2708218893Sdim 2709218893Sdim QualType ElTy = LHSTy->getAs<VectorType>()->getElementType(); 2710218893Sdim const BuiltinType *BTy = ElTy->getAs<BuiltinType>(); 2711218893Sdim BuiltinType::Kind ElementKind = BTy->getKind(); 2712218893Sdim 2713218893Sdim switch(E->getOpcode()) { 2714226890Sdim default: llvm_unreachable("is not a comparison operation"); 2715218893Sdim case BO_EQ: 2716218893Sdim CR6 = CR6_LT; 2717218893Sdim ID = GetIntrinsic(VCMPEQ, ElementKind); 2718218893Sdim break; 2719218893Sdim case BO_NE: 2720218893Sdim CR6 = CR6_EQ; 2721218893Sdim ID = GetIntrinsic(VCMPEQ, ElementKind); 2722218893Sdim break; 2723218893Sdim case BO_LT: 2724218893Sdim CR6 = CR6_LT; 2725218893Sdim ID = GetIntrinsic(VCMPGT, ElementKind); 2726218893Sdim std::swap(FirstVecArg, SecondVecArg); 2727218893Sdim break; 2728218893Sdim case BO_GT: 2729218893Sdim CR6 = CR6_LT; 2730218893Sdim ID = GetIntrinsic(VCMPGT, ElementKind); 2731218893Sdim break; 2732218893Sdim case BO_LE: 2733218893Sdim if (ElementKind == BuiltinType::Float) { 2734218893Sdim CR6 = CR6_LT; 2735218893Sdim ID = llvm::Intrinsic::ppc_altivec_vcmpgefp_p; 2736218893Sdim std::swap(FirstVecArg, SecondVecArg); 2737218893Sdim } 2738218893Sdim else { 2739218893Sdim CR6 = CR6_EQ; 2740218893Sdim ID = GetIntrinsic(VCMPGT, ElementKind); 2741218893Sdim } 2742218893Sdim break; 2743218893Sdim case BO_GE: 2744218893Sdim if (ElementKind == BuiltinType::Float) { 2745218893Sdim CR6 = CR6_LT; 2746218893Sdim ID = llvm::Intrinsic::ppc_altivec_vcmpgefp_p; 2747218893Sdim } 2748218893Sdim else { 2749218893Sdim CR6 = CR6_EQ; 2750218893Sdim ID = GetIntrinsic(VCMPGT, ElementKind); 2751218893Sdim std::swap(FirstVecArg, SecondVecArg); 2752218893Sdim } 2753218893Sdim break; 2754218893Sdim } 2755218893Sdim 2756221345Sdim Value *CR6Param = Builder.getInt32(CR6); 2757218893Sdim llvm::Function *F = CGF.CGM.getIntrinsic(ID); 2758218893Sdim Result = Builder.CreateCall3(F, CR6Param, FirstVecArg, SecondVecArg, ""); 2759218893Sdim return EmitScalarConversion(Result, CGF.getContext().BoolTy, E->getType()); 2760218893Sdim } 2761218893Sdim 2762203955Srdivacky if (LHS->getType()->isFPOrFPVectorTy()) { 2763193326Sed Result = Builder.CreateFCmp((llvm::CmpInst::Predicate)FCmpOpc, 2764193326Sed LHS, RHS, "cmp"); 2765212904Sdim } else if (LHSTy->hasSignedIntegerRepresentation()) { 2766193326Sed Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)SICmpOpc, 2767193326Sed LHS, RHS, "cmp"); 2768193326Sed } else { 2769193326Sed // Unsigned integers and pointers. 2770193326Sed Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 2771193326Sed LHS, RHS, "cmp"); 2772193326Sed } 2773198092Srdivacky 2774198092Srdivacky // If this is a vector comparison, sign extend the result to the appropriate 2775198092Srdivacky // vector integer type and return it (don't convert to bool). 2776198092Srdivacky if (LHSTy->isVectorType()) 2777198092Srdivacky return Builder.CreateSExt(Result, ConvertType(E->getType()), "sext"); 2778198092Srdivacky 2779193326Sed } else { 2780193326Sed // Complex Comparison: can only be an equality comparison. 2781193326Sed CodeGenFunction::ComplexPairTy LHS = CGF.EmitComplexExpr(E->getLHS()); 2782193326Sed CodeGenFunction::ComplexPairTy RHS = CGF.EmitComplexExpr(E->getRHS()); 2783198092Srdivacky 2784198092Srdivacky QualType CETy = LHSTy->getAs<ComplexType>()->getElementType(); 2785198092Srdivacky 2786193326Sed Value *ResultR, *ResultI; 2787193326Sed if (CETy->isRealFloatingType()) { 2788193326Sed ResultR = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 2789193326Sed LHS.first, RHS.first, "cmp.r"); 2790193326Sed ResultI = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 2791193326Sed LHS.second, RHS.second, "cmp.i"); 2792193326Sed } else { 2793193326Sed // Complex comparisons can only be equality comparisons. As such, signed 2794193326Sed // and unsigned opcodes are the same. 2795193326Sed ResultR = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 2796193326Sed LHS.first, RHS.first, "cmp.r"); 2797193326Sed ResultI = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 2798193326Sed LHS.second, RHS.second, "cmp.i"); 2799193326Sed } 2800198092Srdivacky 2801212904Sdim if (E->getOpcode() == BO_EQ) { 2802193326Sed Result = Builder.CreateAnd(ResultR, ResultI, "and.ri"); 2803193326Sed } else { 2804212904Sdim assert(E->getOpcode() == BO_NE && 2805193326Sed "Complex comparison other than == or != ?"); 2806193326Sed Result = Builder.CreateOr(ResultR, ResultI, "or.ri"); 2807193326Sed } 2808193326Sed } 2809193326Sed 2810193326Sed return EmitScalarConversion(Result, CGF.getContext().BoolTy, E->getType()); 2811193326Sed} 2812193326Sed 2813193326SedValue *ScalarExprEmitter::VisitBinAssign(const BinaryOperator *E) { 2814193326Sed bool Ignore = TestAndClearIgnoreResultAssign(); 2815193326Sed 2816224145Sdim Value *RHS; 2817224145Sdim LValue LHS; 2818198092Srdivacky 2819224145Sdim switch (E->getLHS()->getType().getObjCLifetime()) { 2820224145Sdim case Qualifiers::OCL_Strong: 2821224145Sdim llvm::tie(LHS, RHS) = CGF.EmitARCStoreStrong(E, Ignore); 2822224145Sdim break; 2823210299Sed 2824224145Sdim case Qualifiers::OCL_Autoreleasing: 2825224145Sdim llvm::tie(LHS,RHS) = CGF.EmitARCStoreAutoreleasing(E); 2826224145Sdim break; 2827224145Sdim 2828224145Sdim case Qualifiers::OCL_Weak: 2829224145Sdim RHS = Visit(E->getRHS()); 2830245431Sdim LHS = EmitCheckedLValue(E->getLHS(), CodeGenFunction::TCK_Store); 2831224145Sdim RHS = CGF.EmitARCStoreWeak(LHS.getAddress(), RHS, Ignore); 2832224145Sdim break; 2833224145Sdim 2834224145Sdim // No reason to do any of these differently. 2835224145Sdim case Qualifiers::OCL_None: 2836224145Sdim case Qualifiers::OCL_ExplicitNone: 2837224145Sdim // __block variables need to have the rhs evaluated first, plus 2838224145Sdim // this should improve codegen just a little. 2839224145Sdim RHS = Visit(E->getRHS()); 2840245431Sdim LHS = EmitCheckedLValue(E->getLHS(), CodeGenFunction::TCK_Store); 2841224145Sdim 2842224145Sdim // Store the value into the LHS. Bit-fields are handled specially 2843224145Sdim // because the result is altered by the store, i.e., [C99 6.5.16p1] 2844224145Sdim // 'An assignment expression has the value of the left operand after 2845224145Sdim // the assignment...'. 2846224145Sdim if (LHS.isBitField()) 2847224145Sdim CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, &RHS); 2848224145Sdim else 2849224145Sdim CGF.EmitStoreThroughLValue(RValue::get(RHS), LHS); 2850224145Sdim } 2851224145Sdim 2852210299Sed // If the result is clearly ignored, return now. 2853193326Sed if (Ignore) 2854193326Sed return 0; 2855210299Sed 2856218893Sdim // The result of an assignment in C is the assigned r-value. 2857245431Sdim if (!CGF.getLangOpts().CPlusPlus) 2858218893Sdim return RHS; 2859218893Sdim 2860210299Sed // If the lvalue is non-volatile, return the computed value of the assignment. 2861210299Sed if (!LHS.isVolatileQualified()) 2862210299Sed return RHS; 2863210299Sed 2864210299Sed // Otherwise, reload the value. 2865263509Sdim return EmitLoadOfLValue(LHS, E->getExprLoc()); 2866193326Sed} 2867193326Sed 2868193326SedValue *ScalarExprEmitter::VisitBinLAnd(const BinaryOperator *E) { 2869235633Sdim // Perform vector logical and on comparisons with zero vectors. 2870235633Sdim if (E->getType()->isVectorType()) { 2871235633Sdim Value *LHS = Visit(E->getLHS()); 2872235633Sdim Value *RHS = Visit(E->getRHS()); 2873235633Sdim Value *Zero = llvm::ConstantAggregateZero::get(LHS->getType()); 2874252723Sdim if (LHS->getType()->isFPOrFPVectorTy()) { 2875252723Sdim LHS = Builder.CreateFCmp(llvm::CmpInst::FCMP_UNE, LHS, Zero, "cmp"); 2876252723Sdim RHS = Builder.CreateFCmp(llvm::CmpInst::FCMP_UNE, RHS, Zero, "cmp"); 2877252723Sdim } else { 2878252723Sdim LHS = Builder.CreateICmp(llvm::CmpInst::ICMP_NE, LHS, Zero, "cmp"); 2879252723Sdim RHS = Builder.CreateICmp(llvm::CmpInst::ICMP_NE, RHS, Zero, "cmp"); 2880252723Sdim } 2881235633Sdim Value *And = Builder.CreateAnd(LHS, RHS); 2882252723Sdim return Builder.CreateSExt(And, ConvertType(E->getType()), "sext"); 2883235633Sdim } 2884263509Sdim 2885226890Sdim llvm::Type *ResTy = ConvertType(E->getType()); 2886263509Sdim 2887193326Sed // If we have 0 && RHS, see if we can elide RHS, if so, just return 0. 2888193326Sed // If we have 1 && X, just emit X without inserting the control flow. 2889221345Sdim bool LHSCondVal; 2890221345Sdim if (CGF.ConstantFoldsToSimpleInteger(E->getLHS(), LHSCondVal)) { 2891221345Sdim if (LHSCondVal) { // If we have 1 && X, just emit X. 2892193326Sed Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 2893198398Srdivacky // ZExt result to int or bool. 2894198398Srdivacky return Builder.CreateZExtOrBitCast(RHSCond, ResTy, "land.ext"); 2895193326Sed } 2896198092Srdivacky 2897198398Srdivacky // 0 && RHS: If it is safe, just elide the RHS, and return 0/false. 2898193326Sed if (!CGF.ContainsLabel(E->getRHS())) 2899198398Srdivacky return llvm::Constant::getNullValue(ResTy); 2900193326Sed } 2901198092Srdivacky 2902193326Sed llvm::BasicBlock *ContBlock = CGF.createBasicBlock("land.end"); 2903193326Sed llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("land.rhs"); 2904193326Sed 2905218893Sdim CodeGenFunction::ConditionalEvaluation eval(CGF); 2906218893Sdim 2907193326Sed // Branch on the LHS first. If it is false, go to the failure (cont) block. 2908193326Sed CGF.EmitBranchOnBoolExpr(E->getLHS(), RHSBlock, ContBlock); 2909193326Sed 2910193326Sed // Any edges into the ContBlock are now from an (indeterminate number of) 2911193326Sed // edges from this first condition. All of these values will be false. Start 2912193326Sed // setting up the PHI node in the Cont Block for this. 2913221345Sdim llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 2, 2914198092Srdivacky "", ContBlock); 2915193326Sed for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 2916193326Sed PI != PE; ++PI) 2917198092Srdivacky PN->addIncoming(llvm::ConstantInt::getFalse(VMContext), *PI); 2918198092Srdivacky 2919218893Sdim eval.begin(CGF); 2920193326Sed CGF.EmitBlock(RHSBlock); 2921193326Sed Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 2922218893Sdim eval.end(CGF); 2923198092Srdivacky 2924193326Sed // Reaquire the RHS block, as there may be subblocks inserted. 2925193326Sed RHSBlock = Builder.GetInsertBlock(); 2926193326Sed 2927193326Sed // Emit an unconditional branch from this block to ContBlock. Insert an entry 2928193326Sed // into the phi node for the edge with the value of RHSCond. 2929221345Sdim if (CGF.getDebugInfo()) 2930221345Sdim // There is no need to emit line number for unconditional branch. 2931221345Sdim Builder.SetCurrentDebugLocation(llvm::DebugLoc()); 2932193326Sed CGF.EmitBlock(ContBlock); 2933193326Sed PN->addIncoming(RHSCond, RHSBlock); 2934198092Srdivacky 2935193326Sed // ZExt result to int. 2936198398Srdivacky return Builder.CreateZExtOrBitCast(PN, ResTy, "land.ext"); 2937193326Sed} 2938193326Sed 2939193326SedValue *ScalarExprEmitter::VisitBinLOr(const BinaryOperator *E) { 2940235633Sdim // Perform vector logical or on comparisons with zero vectors. 2941235633Sdim if (E->getType()->isVectorType()) { 2942235633Sdim Value *LHS = Visit(E->getLHS()); 2943235633Sdim Value *RHS = Visit(E->getRHS()); 2944235633Sdim Value *Zero = llvm::ConstantAggregateZero::get(LHS->getType()); 2945252723Sdim if (LHS->getType()->isFPOrFPVectorTy()) { 2946252723Sdim LHS = Builder.CreateFCmp(llvm::CmpInst::FCMP_UNE, LHS, Zero, "cmp"); 2947252723Sdim RHS = Builder.CreateFCmp(llvm::CmpInst::FCMP_UNE, RHS, Zero, "cmp"); 2948252723Sdim } else { 2949252723Sdim LHS = Builder.CreateICmp(llvm::CmpInst::ICMP_NE, LHS, Zero, "cmp"); 2950252723Sdim RHS = Builder.CreateICmp(llvm::CmpInst::ICMP_NE, RHS, Zero, "cmp"); 2951252723Sdim } 2952235633Sdim Value *Or = Builder.CreateOr(LHS, RHS); 2953252723Sdim return Builder.CreateSExt(Or, ConvertType(E->getType()), "sext"); 2954235633Sdim } 2955263509Sdim 2956226890Sdim llvm::Type *ResTy = ConvertType(E->getType()); 2957263509Sdim 2958193326Sed // If we have 1 || RHS, see if we can elide RHS, if so, just return 1. 2959193326Sed // If we have 0 || X, just emit X without inserting the control flow. 2960221345Sdim bool LHSCondVal; 2961221345Sdim if (CGF.ConstantFoldsToSimpleInteger(E->getLHS(), LHSCondVal)) { 2962221345Sdim if (!LHSCondVal) { // If we have 0 || X, just emit X. 2963193326Sed Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 2964198398Srdivacky // ZExt result to int or bool. 2965198398Srdivacky return Builder.CreateZExtOrBitCast(RHSCond, ResTy, "lor.ext"); 2966193326Sed } 2967198092Srdivacky 2968198398Srdivacky // 1 || RHS: If it is safe, just elide the RHS, and return 1/true. 2969193326Sed if (!CGF.ContainsLabel(E->getRHS())) 2970198398Srdivacky return llvm::ConstantInt::get(ResTy, 1); 2971193326Sed } 2972198092Srdivacky 2973193326Sed llvm::BasicBlock *ContBlock = CGF.createBasicBlock("lor.end"); 2974193326Sed llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("lor.rhs"); 2975198092Srdivacky 2976218893Sdim CodeGenFunction::ConditionalEvaluation eval(CGF); 2977218893Sdim 2978193326Sed // Branch on the LHS first. If it is true, go to the success (cont) block. 2979193326Sed CGF.EmitBranchOnBoolExpr(E->getLHS(), ContBlock, RHSBlock); 2980193326Sed 2981193326Sed // Any edges into the ContBlock are now from an (indeterminate number of) 2982193326Sed // edges from this first condition. All of these values will be true. Start 2983193326Sed // setting up the PHI node in the Cont Block for this. 2984221345Sdim llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 2, 2985198092Srdivacky "", ContBlock); 2986193326Sed for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 2987193326Sed PI != PE; ++PI) 2988198092Srdivacky PN->addIncoming(llvm::ConstantInt::getTrue(VMContext), *PI); 2989193326Sed 2990218893Sdim eval.begin(CGF); 2991193576Sed 2992193326Sed // Emit the RHS condition as a bool value. 2993193326Sed CGF.EmitBlock(RHSBlock); 2994193326Sed Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 2995198092Srdivacky 2996218893Sdim eval.end(CGF); 2997198092Srdivacky 2998193326Sed // Reaquire the RHS block, as there may be subblocks inserted. 2999193326Sed RHSBlock = Builder.GetInsertBlock(); 3000198092Srdivacky 3001193326Sed // Emit an unconditional branch from this block to ContBlock. Insert an entry 3002193326Sed // into the phi node for the edge with the value of RHSCond. 3003193326Sed CGF.EmitBlock(ContBlock); 3004193326Sed PN->addIncoming(RHSCond, RHSBlock); 3005198092Srdivacky 3006193326Sed // ZExt result to int. 3007198398Srdivacky return Builder.CreateZExtOrBitCast(PN, ResTy, "lor.ext"); 3008193326Sed} 3009193326Sed 3010193326SedValue *ScalarExprEmitter::VisitBinComma(const BinaryOperator *E) { 3011218893Sdim CGF.EmitIgnoredExpr(E->getLHS()); 3012193326Sed CGF.EnsureInsertPoint(); 3013193326Sed return Visit(E->getRHS()); 3014193326Sed} 3015193326Sed 3016193326Sed//===----------------------------------------------------------------------===// 3017193326Sed// Other Operators 3018193326Sed//===----------------------------------------------------------------------===// 3019193326Sed 3020193326Sed/// isCheapEnoughToEvaluateUnconditionally - Return true if the specified 3021193326Sed/// expression is cheap enough and side-effect-free enough to evaluate 3022193326Sed/// unconditionally instead of conditionally. This is used to convert control 3023193326Sed/// flow into selects in some cases. 3024198893Srdivackystatic bool isCheapEnoughToEvaluateUnconditionally(const Expr *E, 3025198893Srdivacky CodeGenFunction &CGF) { 3026221345Sdim // Anything that is an integer or floating point constant is fine. 3027263509Sdim return E->IgnoreParens()->isEvaluatable(CGF.getContext()); 3028198092Srdivacky 3029263509Sdim // Even non-volatile automatic variables can't be evaluated unconditionally. 3030263509Sdim // Referencing a thread_local may cause non-trivial initialization work to 3031263509Sdim // occur. If we're inside a lambda and one of the variables is from the scope 3032263509Sdim // outside the lambda, that function may have returned already. Reading its 3033263509Sdim // locals is a bad idea. Also, these reads may introduce races there didn't 3034263509Sdim // exist in the source-level program. 3035193326Sed} 3036193326Sed 3037193326Sed 3038193326SedValue *ScalarExprEmitter:: 3039218893SdimVisitAbstractConditionalOperator(const AbstractConditionalOperator *E) { 3040193326Sed TestAndClearIgnoreResultAssign(); 3041218893Sdim 3042218893Sdim // Bind the common expression if necessary. 3043218893Sdim CodeGenFunction::OpaqueValueMapping binding(CGF, E); 3044218893Sdim 3045218893Sdim Expr *condExpr = E->getCond(); 3046218893Sdim Expr *lhsExpr = E->getTrueExpr(); 3047218893Sdim Expr *rhsExpr = E->getFalseExpr(); 3048218893Sdim 3049193326Sed // If the condition constant folds and can be elided, try to avoid emitting 3050193326Sed // the condition and the dead arm. 3051221345Sdim bool CondExprBool; 3052221345Sdim if (CGF.ConstantFoldsToSimpleInteger(condExpr, CondExprBool)) { 3053218893Sdim Expr *live = lhsExpr, *dead = rhsExpr; 3054221345Sdim if (!CondExprBool) std::swap(live, dead); 3055198092Srdivacky 3056235633Sdim // If the dead side doesn't have labels we need, just emit the Live part. 3057235633Sdim if (!CGF.ContainsLabel(dead)) { 3058235633Sdim Value *Result = Visit(live); 3059235633Sdim 3060235633Sdim // If the live part is a throw expression, it acts like it has a void 3061235633Sdim // type, so evaluating it returns a null Value*. However, a conditional 3062235633Sdim // with non-void type must return a non-null Value*. 3063235633Sdim if (!Result && !E->getType()->isVoidType()) 3064235633Sdim Result = llvm::UndefValue::get(CGF.ConvertType(E->getType())); 3065235633Sdim 3066235633Sdim return Result; 3067235633Sdim } 3068193326Sed } 3069198092Srdivacky 3070218893Sdim // OpenCL: If the condition is a vector, we can treat this condition like 3071218893Sdim // the select function. 3072263509Sdim if (CGF.getLangOpts().OpenCL 3073218893Sdim && condExpr->getType()->isVectorType()) { 3074218893Sdim llvm::Value *CondV = CGF.EmitScalarExpr(condExpr); 3075218893Sdim llvm::Value *LHS = Visit(lhsExpr); 3076218893Sdim llvm::Value *RHS = Visit(rhsExpr); 3077263509Sdim 3078226890Sdim llvm::Type *condType = ConvertType(condExpr->getType()); 3079226890Sdim llvm::VectorType *vecTy = cast<llvm::VectorType>(condType); 3080263509Sdim 3081263509Sdim unsigned numElem = vecTy->getNumElements(); 3082226890Sdim llvm::Type *elemType = vecTy->getElementType(); 3083263509Sdim 3084235633Sdim llvm::Value *zeroVec = llvm::Constant::getNullValue(vecTy); 3085218893Sdim llvm::Value *TestMSB = Builder.CreateICmpSLT(CondV, zeroVec); 3086263509Sdim llvm::Value *tmp = Builder.CreateSExt(TestMSB, 3087218893Sdim llvm::VectorType::get(elemType, 3088263509Sdim numElem), 3089218893Sdim "sext"); 3090218893Sdim llvm::Value *tmp2 = Builder.CreateNot(tmp); 3091263509Sdim 3092218893Sdim // Cast float to int to perform ANDs if necessary. 3093218893Sdim llvm::Value *RHSTmp = RHS; 3094218893Sdim llvm::Value *LHSTmp = LHS; 3095218893Sdim bool wasCast = false; 3096226890Sdim llvm::VectorType *rhsVTy = cast<llvm::VectorType>(RHS->getType()); 3097245431Sdim if (rhsVTy->getElementType()->isFloatingPointTy()) { 3098218893Sdim RHSTmp = Builder.CreateBitCast(RHS, tmp2->getType()); 3099218893Sdim LHSTmp = Builder.CreateBitCast(LHS, tmp->getType()); 3100218893Sdim wasCast = true; 3101218893Sdim } 3102263509Sdim 3103218893Sdim llvm::Value *tmp3 = Builder.CreateAnd(RHSTmp, tmp2); 3104218893Sdim llvm::Value *tmp4 = Builder.CreateAnd(LHSTmp, tmp); 3105218893Sdim llvm::Value *tmp5 = Builder.CreateOr(tmp3, tmp4, "cond"); 3106218893Sdim if (wasCast) 3107218893Sdim tmp5 = Builder.CreateBitCast(tmp5, RHS->getType()); 3108218893Sdim 3109218893Sdim return tmp5; 3110218893Sdim } 3111263509Sdim 3112193326Sed // If this is a really simple expression (like x ? 4 : 5), emit this as a 3113193326Sed // select instead of as control flow. We can only do this if it is cheap and 3114193326Sed // safe to evaluate the LHS and RHS unconditionally. 3115218893Sdim if (isCheapEnoughToEvaluateUnconditionally(lhsExpr, CGF) && 3116218893Sdim isCheapEnoughToEvaluateUnconditionally(rhsExpr, CGF)) { 3117218893Sdim llvm::Value *CondV = CGF.EvaluateExprAsBool(condExpr); 3118218893Sdim llvm::Value *LHS = Visit(lhsExpr); 3119218893Sdim llvm::Value *RHS = Visit(rhsExpr); 3120235633Sdim if (!LHS) { 3121235633Sdim // If the conditional has void type, make sure we return a null Value*. 3122235633Sdim assert(!RHS && "LHS and RHS types must match"); 3123235633Sdim return 0; 3124235633Sdim } 3125193326Sed return Builder.CreateSelect(CondV, LHS, RHS, "cond"); 3126193326Sed } 3127198092Srdivacky 3128193326Sed llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 3129193326Sed llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 3130193326Sed llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 3131193326Sed 3132218893Sdim CodeGenFunction::ConditionalEvaluation eval(CGF); 3133218893Sdim CGF.EmitBranchOnBoolExpr(condExpr, LHSBlock, RHSBlock); 3134198092Srdivacky 3135193326Sed CGF.EmitBlock(LHSBlock); 3136218893Sdim eval.begin(CGF); 3137218893Sdim Value *LHS = Visit(lhsExpr); 3138218893Sdim eval.end(CGF); 3139198092Srdivacky 3140193326Sed LHSBlock = Builder.GetInsertBlock(); 3141218893Sdim Builder.CreateBr(ContBlock); 3142198092Srdivacky 3143193326Sed CGF.EmitBlock(RHSBlock); 3144218893Sdim eval.begin(CGF); 3145218893Sdim Value *RHS = Visit(rhsExpr); 3146218893Sdim eval.end(CGF); 3147198092Srdivacky 3148193326Sed RHSBlock = Builder.GetInsertBlock(); 3149193326Sed CGF.EmitBlock(ContBlock); 3150198092Srdivacky 3151200583Srdivacky // If the LHS or RHS is a throw expression, it will be legitimately null. 3152200583Srdivacky if (!LHS) 3153200583Srdivacky return RHS; 3154200583Srdivacky if (!RHS) 3155200583Srdivacky return LHS; 3156198092Srdivacky 3157193326Sed // Create a PHI node for the real part. 3158221345Sdim llvm::PHINode *PN = Builder.CreatePHI(LHS->getType(), 2, "cond"); 3159193326Sed PN->addIncoming(LHS, LHSBlock); 3160193326Sed PN->addIncoming(RHS, RHSBlock); 3161193326Sed return PN; 3162193326Sed} 3163193326Sed 3164193326SedValue *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { 3165263509Sdim return Visit(E->getChosenSubExpr()); 3166193326Sed} 3167193326Sed 3168193326SedValue *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 3169193326Sed llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 3170193326Sed llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 3171193326Sed 3172193326Sed // If EmitVAArg fails, we fall back to the LLVM instruction. 3173198092Srdivacky if (!ArgPtr) 3174193326Sed return Builder.CreateVAArg(ArgValue, ConvertType(VE->getType())); 3175193326Sed 3176193326Sed // FIXME Volatility. 3177193326Sed return Builder.CreateLoad(ArgPtr); 3178193326Sed} 3179193326Sed 3180218893SdimValue *ScalarExprEmitter::VisitBlockExpr(const BlockExpr *block) { 3181218893Sdim return CGF.EmitBlockLiteral(block); 3182193326Sed} 3183193326Sed 3184223017SdimValue *ScalarExprEmitter::VisitAsTypeExpr(AsTypeExpr *E) { 3185223017Sdim Value *Src = CGF.EmitScalarExpr(E->getSrcExpr()); 3186226890Sdim llvm::Type *DstTy = ConvertType(E->getType()); 3187263509Sdim 3188223017Sdim // Going from vec4->vec3 or vec3->vec4 is a special case and requires 3189223017Sdim // a shuffle vector instead of a bitcast. 3190226890Sdim llvm::Type *SrcTy = Src->getType(); 3191223017Sdim if (isa<llvm::VectorType>(DstTy) && isa<llvm::VectorType>(SrcTy)) { 3192223017Sdim unsigned numElementsDst = cast<llvm::VectorType>(DstTy)->getNumElements(); 3193223017Sdim unsigned numElementsSrc = cast<llvm::VectorType>(SrcTy)->getNumElements(); 3194263509Sdim if ((numElementsDst == 3 && numElementsSrc == 4) 3195223017Sdim || (numElementsDst == 4 && numElementsSrc == 3)) { 3196263509Sdim 3197263509Sdim 3198223017Sdim // In the case of going from int4->float3, a bitcast is needed before 3199223017Sdim // doing a shuffle. 3200263509Sdim llvm::Type *srcElemTy = 3201223017Sdim cast<llvm::VectorType>(SrcTy)->getElementType(); 3202263509Sdim llvm::Type *dstElemTy = 3203223017Sdim cast<llvm::VectorType>(DstTy)->getElementType(); 3204263509Sdim 3205223017Sdim if ((srcElemTy->isIntegerTy() && dstElemTy->isFloatTy()) 3206223017Sdim || (srcElemTy->isFloatTy() && dstElemTy->isIntegerTy())) { 3207223017Sdim // Create a float type of the same size as the source or destination. 3208226890Sdim llvm::VectorType *newSrcTy = llvm::VectorType::get(dstElemTy, 3209223017Sdim numElementsSrc); 3210263509Sdim 3211223017Sdim Src = Builder.CreateBitCast(Src, newSrcTy, "astypeCast"); 3212223017Sdim } 3213263509Sdim 3214223017Sdim llvm::Value *UnV = llvm::UndefValue::get(Src->getType()); 3215263509Sdim 3216226890Sdim SmallVector<llvm::Constant*, 3> Args; 3217223017Sdim Args.push_back(Builder.getInt32(0)); 3218223017Sdim Args.push_back(Builder.getInt32(1)); 3219223017Sdim Args.push_back(Builder.getInt32(2)); 3220263509Sdim 3221223017Sdim if (numElementsDst == 4) 3222235633Sdim Args.push_back(llvm::UndefValue::get(CGF.Int32Ty)); 3223263509Sdim 3224223017Sdim llvm::Constant *Mask = llvm::ConstantVector::get(Args); 3225263509Sdim 3226223017Sdim return Builder.CreateShuffleVector(Src, UnV, Mask, "astype"); 3227223017Sdim } 3228223017Sdim } 3229263509Sdim 3230223017Sdim return Builder.CreateBitCast(Src, DstTy, "astype"); 3231223017Sdim} 3232223017Sdim 3233226890SdimValue *ScalarExprEmitter::VisitAtomicExpr(AtomicExpr *E) { 3234226890Sdim return CGF.EmitAtomicExpr(E).getScalarVal(); 3235226890Sdim} 3236226890Sdim 3237193326Sed//===----------------------------------------------------------------------===// 3238193326Sed// Entry Point into this File 3239193326Sed//===----------------------------------------------------------------------===// 3240193326Sed 3241198092Srdivacky/// EmitScalarExpr - Emit the computation of the specified expression of scalar 3242198092Srdivacky/// type, ignoring the result. 3243193326SedValue *CodeGenFunction::EmitScalarExpr(const Expr *E, bool IgnoreResultAssign) { 3244252723Sdim assert(E && hasScalarEvaluationKind(E->getType()) && 3245193326Sed "Invalid scalar expression to emit"); 3246198092Srdivacky 3247221345Sdim if (isa<CXXDefaultArgExpr>(E)) 3248221345Sdim disableDebugInfo(); 3249221345Sdim Value *V = ScalarExprEmitter(*this, IgnoreResultAssign) 3250193326Sed .Visit(const_cast<Expr*>(E)); 3251221345Sdim if (isa<CXXDefaultArgExpr>(E)) 3252221345Sdim enableDebugInfo(); 3253221345Sdim return V; 3254193326Sed} 3255193326Sed 3256193326Sed/// EmitScalarConversion - Emit a conversion from the specified type to the 3257193326Sed/// specified destination type, both of which are LLVM scalar types. 3258193326SedValue *CodeGenFunction::EmitScalarConversion(Value *Src, QualType SrcTy, 3259193326Sed QualType DstTy) { 3260252723Sdim assert(hasScalarEvaluationKind(SrcTy) && hasScalarEvaluationKind(DstTy) && 3261193326Sed "Invalid scalar expression to emit"); 3262193326Sed return ScalarExprEmitter(*this).EmitScalarConversion(Src, SrcTy, DstTy); 3263193326Sed} 3264193326Sed 3265198092Srdivacky/// EmitComplexToScalarConversion - Emit a conversion from the specified complex 3266198092Srdivacky/// type to the specified destination type, where the destination type is an 3267198092Srdivacky/// LLVM scalar type. 3268193326SedValue *CodeGenFunction::EmitComplexToScalarConversion(ComplexPairTy Src, 3269193326Sed QualType SrcTy, 3270193326Sed QualType DstTy) { 3271252723Sdim assert(SrcTy->isAnyComplexType() && hasScalarEvaluationKind(DstTy) && 3272193326Sed "Invalid complex -> scalar conversion"); 3273193326Sed return ScalarExprEmitter(*this).EmitComplexToScalarConversion(Src, SrcTy, 3274193326Sed DstTy); 3275193326Sed} 3276193326Sed 3277210299Sed 3278210299Sedllvm::Value *CodeGenFunction:: 3279210299SedEmitScalarPrePostIncDec(const UnaryOperator *E, LValue LV, 3280210299Sed bool isInc, bool isPre) { 3281210299Sed return ScalarExprEmitter(*this).EmitScalarPrePostIncDec(E, LV, isInc, isPre); 3282210299Sed} 3283210299Sed 3284200583SrdivackyLValue CodeGenFunction::EmitObjCIsaExpr(const ObjCIsaExpr *E) { 3285200583Srdivacky llvm::Value *V; 3286200583Srdivacky // object->isa or (*object).isa 3287200583Srdivacky // Generate code as for: *(Class*)object 3288203955Srdivacky // build Class* type 3289226890Sdim llvm::Type *ClassPtrTy = ConvertType(E->getType()); 3290203955Srdivacky 3291200583Srdivacky Expr *BaseExpr = E->getBase(); 3292218893Sdim if (BaseExpr->isRValue()) { 3293235633Sdim V = CreateMemTemp(E->getType(), "resval"); 3294203955Srdivacky llvm::Value *Src = EmitScalarExpr(BaseExpr); 3295203955Srdivacky Builder.CreateStore(Src, V); 3296212904Sdim V = ScalarExprEmitter(*this).EmitLoadOfLValue( 3297263509Sdim MakeNaturalAlignAddrLValue(V, E->getType()), E->getExprLoc()); 3298212904Sdim } else { 3299212904Sdim if (E->isArrow()) 3300212904Sdim V = ScalarExprEmitter(*this).EmitLoadOfLValue(BaseExpr); 3301212904Sdim else 3302212904Sdim V = EmitLValue(BaseExpr).getAddress(); 3303203955Srdivacky } 3304263509Sdim 3305200583Srdivacky // build Class* type 3306200583Srdivacky ClassPtrTy = ClassPtrTy->getPointerTo(); 3307200583Srdivacky V = Builder.CreateBitCast(V, ClassPtrTy); 3308235633Sdim return MakeNaturalAlignAddrLValue(V, E->getType()); 3309200583Srdivacky} 3310200583Srdivacky 3311207619Srdivacky 3312218893SdimLValue CodeGenFunction::EmitCompoundAssignmentLValue( 3313207619Srdivacky const CompoundAssignOperator *E) { 3314207619Srdivacky ScalarExprEmitter Scalar(*this); 3315210299Sed Value *Result = 0; 3316207619Srdivacky switch (E->getOpcode()) { 3317207619Srdivacky#define COMPOUND_OP(Op) \ 3318212904Sdim case BO_##Op##Assign: \ 3319207619Srdivacky return Scalar.EmitCompoundAssignLValue(E, &ScalarExprEmitter::Emit##Op, \ 3320210299Sed Result) 3321207619Srdivacky COMPOUND_OP(Mul); 3322207619Srdivacky COMPOUND_OP(Div); 3323207619Srdivacky COMPOUND_OP(Rem); 3324207619Srdivacky COMPOUND_OP(Add); 3325207619Srdivacky COMPOUND_OP(Sub); 3326207619Srdivacky COMPOUND_OP(Shl); 3327207619Srdivacky COMPOUND_OP(Shr); 3328207619Srdivacky COMPOUND_OP(And); 3329207619Srdivacky COMPOUND_OP(Xor); 3330207619Srdivacky COMPOUND_OP(Or); 3331207619Srdivacky#undef COMPOUND_OP 3332263509Sdim 3333212904Sdim case BO_PtrMemD: 3334212904Sdim case BO_PtrMemI: 3335212904Sdim case BO_Mul: 3336212904Sdim case BO_Div: 3337212904Sdim case BO_Rem: 3338212904Sdim case BO_Add: 3339212904Sdim case BO_Sub: 3340212904Sdim case BO_Shl: 3341212904Sdim case BO_Shr: 3342212904Sdim case BO_LT: 3343212904Sdim case BO_GT: 3344212904Sdim case BO_LE: 3345212904Sdim case BO_GE: 3346212904Sdim case BO_EQ: 3347212904Sdim case BO_NE: 3348212904Sdim case BO_And: 3349212904Sdim case BO_Xor: 3350212904Sdim case BO_Or: 3351212904Sdim case BO_LAnd: 3352212904Sdim case BO_LOr: 3353212904Sdim case BO_Assign: 3354212904Sdim case BO_Comma: 3355226890Sdim llvm_unreachable("Not valid compound assignment operators"); 3356207619Srdivacky } 3357263509Sdim 3358207619Srdivacky llvm_unreachable("Unhandled compound assignment operator"); 3359207619Srdivacky} 3360