17a51313dSChris Lattner //===--- CGExprComplex.cpp - Emit LLVM Code for Complex Exprs -------------===// 27a51313dSChris Lattner // 37a51313dSChris Lattner // The LLVM Compiler Infrastructure 47a51313dSChris Lattner // 57a51313dSChris Lattner // This file is distributed under the University of Illinois Open Source 67a51313dSChris Lattner // License. See LICENSE.TXT for details. 77a51313dSChris Lattner // 87a51313dSChris Lattner //===----------------------------------------------------------------------===// 97a51313dSChris Lattner // 107a51313dSChris Lattner // This contains code to emit Expr nodes with complex types as LLVM code. 117a51313dSChris Lattner // 127a51313dSChris Lattner //===----------------------------------------------------------------------===// 137a51313dSChris Lattner 147a51313dSChris Lattner #include "CodeGenFunction.h" 157a51313dSChris Lattner #include "CodeGenModule.h" 16ad319a73SDaniel Dunbar #include "clang/AST/ASTContext.h" 17ad319a73SDaniel Dunbar #include "clang/AST/StmtVisitor.h" 180c4b230bSChandler Carruth #include "llvm/ADT/STLExtras.h" 193a02247dSChandler Carruth #include "llvm/ADT/SmallString.h" 20ffd5551bSChandler Carruth #include "llvm/IR/Constants.h" 21ffd5551bSChandler Carruth #include "llvm/IR/Function.h" 220c4b230bSChandler Carruth #include "llvm/IR/Instructions.h" 230c4b230bSChandler Carruth #include "llvm/IR/MDBuilder.h" 240c4b230bSChandler Carruth #include "llvm/IR/Metadata.h" 2527dcbb24SJF Bastien #include <algorithm> 267a51313dSChris Lattner using namespace clang; 277a51313dSChris Lattner using namespace CodeGen; 287a51313dSChris Lattner 297a51313dSChris Lattner //===----------------------------------------------------------------------===// 307a51313dSChris Lattner // Complex Expression Emitter 317a51313dSChris Lattner //===----------------------------------------------------------------------===// 327a51313dSChris Lattner 337a51313dSChris Lattner typedef CodeGenFunction::ComplexPairTy ComplexPairTy; 347a51313dSChris Lattner 3547fb9508SJohn McCall /// Return the complex type that we are meant to emit. 3647fb9508SJohn McCall static const ComplexType *getComplexType(QualType type) { 3747fb9508SJohn McCall type = type.getCanonicalType(); 3847fb9508SJohn McCall if (const ComplexType *comp = dyn_cast<ComplexType>(type)) { 3947fb9508SJohn McCall return comp; 4047fb9508SJohn McCall } else { 4147fb9508SJohn McCall return cast<ComplexType>(cast<AtomicType>(type)->getValueType()); 4247fb9508SJohn McCall } 4347fb9508SJohn McCall } 4447fb9508SJohn McCall 457a51313dSChris Lattner namespace { 46337e3a5fSBenjamin Kramer class ComplexExprEmitter 477a51313dSChris Lattner : public StmtVisitor<ComplexExprEmitter, ComplexPairTy> { 487a51313dSChris Lattner CodeGenFunction &CGF; 49cb463859SDaniel Dunbar CGBuilderTy &Builder; 50df0fe27bSMike Stump bool IgnoreReal; 51df0fe27bSMike Stump bool IgnoreImag; 527a51313dSChris Lattner public: 5307bb1966SJohn McCall ComplexExprEmitter(CodeGenFunction &cgf, bool ir=false, bool ii=false) 5407bb1966SJohn McCall : CGF(cgf), Builder(CGF.Builder), IgnoreReal(ir), IgnoreImag(ii) { 557a51313dSChris Lattner } 567a51313dSChris Lattner 577a51313dSChris Lattner 587a51313dSChris Lattner //===--------------------------------------------------------------------===// 597a51313dSChris Lattner // Utilities 607a51313dSChris Lattner //===--------------------------------------------------------------------===// 617a51313dSChris Lattner 62df0fe27bSMike Stump bool TestAndClearIgnoreReal() { 63df0fe27bSMike Stump bool I = IgnoreReal; 64df0fe27bSMike Stump IgnoreReal = false; 65df0fe27bSMike Stump return I; 66df0fe27bSMike Stump } 67df0fe27bSMike Stump bool TestAndClearIgnoreImag() { 68df0fe27bSMike Stump bool I = IgnoreImag; 69df0fe27bSMike Stump IgnoreImag = false; 70df0fe27bSMike Stump return I; 71df0fe27bSMike Stump } 72df0fe27bSMike Stump 737a51313dSChris Lattner /// EmitLoadOfLValue - Given an expression with complex type that represents a 747a51313dSChris Lattner /// value l-value, this method emits the address of the l-value, then loads 757a51313dSChris Lattner /// and returns the result. 767a51313dSChris Lattner ComplexPairTy EmitLoadOfLValue(const Expr *E) { 772d84e842SNick Lewycky return EmitLoadOfLValue(CGF.EmitLValue(E), E->getExprLoc()); 78e26a872bSJohn McCall } 79e26a872bSJohn McCall 802d84e842SNick Lewycky ComplexPairTy EmitLoadOfLValue(LValue LV, SourceLocation Loc); 81e26a872bSJohn McCall 827a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the 837a51313dSChris Lattner /// specified value pointer. 84*538deffdSDavid Blaikie void EmitStoreOfComplex(ComplexPairTy Val, LValue LV, bool isInit, 85*538deffdSDavid Blaikie SourceLocation DbgLoc = SourceLocation()); 867a51313dSChris Lattner 877a51313dSChris Lattner /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType. 887a51313dSChris Lattner ComplexPairTy EmitComplexToComplexCast(ComplexPairTy Val, QualType SrcType, 897a51313dSChris Lattner QualType DestType); 90f045007fSEli Friedman /// EmitComplexToComplexCast - Emit a cast from scalar value Val to DestType. 91f045007fSEli Friedman ComplexPairTy EmitScalarToComplexCast(llvm::Value *Val, QualType SrcType, 92f045007fSEli Friedman QualType DestType); 937a51313dSChris Lattner 947a51313dSChris Lattner //===--------------------------------------------------------------------===// 957a51313dSChris Lattner // Visitor Methods 967a51313dSChris Lattner //===--------------------------------------------------------------------===// 977a51313dSChris Lattner 988162d4adSFariborz Jahanian ComplexPairTy Visit(Expr *E) { 998162d4adSFariborz Jahanian return StmtVisitor<ComplexExprEmitter, ComplexPairTy>::Visit(E); 1008162d4adSFariborz Jahanian } 1018162d4adSFariborz Jahanian 1027a51313dSChris Lattner ComplexPairTy VisitStmt(Stmt *S) { 1037a51313dSChris Lattner S->dump(CGF.getContext().getSourceManager()); 10483d382b1SDavid Blaikie llvm_unreachable("Stmt can't have complex result type!"); 1057a51313dSChris Lattner } 1067a51313dSChris Lattner ComplexPairTy VisitExpr(Expr *S); 1077a51313dSChris Lattner ComplexPairTy VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr());} 10891147596SPeter Collingbourne ComplexPairTy VisitGenericSelectionExpr(GenericSelectionExpr *GE) { 10991147596SPeter Collingbourne return Visit(GE->getResultExpr()); 11091147596SPeter Collingbourne } 1117a51313dSChris Lattner ComplexPairTy VisitImaginaryLiteral(const ImaginaryLiteral *IL); 1127c454bb8SJohn McCall ComplexPairTy 1137c454bb8SJohn McCall VisitSubstNonTypeTemplateParmExpr(SubstNonTypeTemplateParmExpr *PE) { 1147c454bb8SJohn McCall return Visit(PE->getReplacement()); 1157c454bb8SJohn McCall } 1167a51313dSChris Lattner 1177a51313dSChris Lattner // l-values. 118113bee05SJohn McCall ComplexPairTy VisitDeclRefExpr(DeclRefExpr *E) { 119113bee05SJohn McCall if (CodeGenFunction::ConstantEmission result = CGF.tryEmitAsConstant(E)) { 12071335059SJohn McCall if (result.isReference()) 1212d84e842SNick Lewycky return EmitLoadOfLValue(result.getReferenceLValue(CGF, E), 1222d84e842SNick Lewycky E->getExprLoc()); 12371335059SJohn McCall 12464f23918SEli Friedman llvm::Constant *pair = result.getValue(); 12564f23918SEli Friedman return ComplexPairTy(pair->getAggregateElement(0U), 12664f23918SEli Friedman pair->getAggregateElement(1U)); 12771335059SJohn McCall } 128113bee05SJohn McCall return EmitLoadOfLValue(E); 12971335059SJohn McCall } 13076d864c7SDaniel Dunbar ComplexPairTy VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 13176d864c7SDaniel Dunbar return EmitLoadOfLValue(E); 13276d864c7SDaniel Dunbar } 13376d864c7SDaniel Dunbar ComplexPairTy VisitObjCMessageExpr(ObjCMessageExpr *E) { 13476d864c7SDaniel Dunbar return CGF.EmitObjCMessageExpr(E).getComplexVal(); 13576d864c7SDaniel Dunbar } 1367a51313dSChris Lattner ComplexPairTy VisitArraySubscriptExpr(Expr *E) { return EmitLoadOfLValue(E); } 1377a51313dSChris Lattner ComplexPairTy VisitMemberExpr(const Expr *E) { return EmitLoadOfLValue(E); } 1381bf5846aSJohn McCall ComplexPairTy VisitOpaqueValueExpr(OpaqueValueExpr *E) { 139c07a0c7eSJohn McCall if (E->isGLValue()) 1402d84e842SNick Lewycky return EmitLoadOfLValue(CGF.getOpaqueLValueMapping(E), E->getExprLoc()); 141c07a0c7eSJohn McCall return CGF.getOpaqueRValueMapping(E).getComplexVal(); 1421bf5846aSJohn McCall } 1437a51313dSChris Lattner 144fe96e0b6SJohn McCall ComplexPairTy VisitPseudoObjectExpr(PseudoObjectExpr *E) { 145fe96e0b6SJohn McCall return CGF.EmitPseudoObjectRValue(E).getComplexVal(); 146fe96e0b6SJohn McCall } 147fe96e0b6SJohn McCall 1487a51313dSChris Lattner // FIXME: CompoundLiteralExpr 1497a51313dSChris Lattner 1501a07fd18SCraig Topper ComplexPairTy EmitCast(CastKind CK, Expr *Op, QualType DestTy); 1517a51313dSChris Lattner ComplexPairTy VisitImplicitCastExpr(ImplicitCastExpr *E) { 1527a51313dSChris Lattner // Unlike for scalars, we don't have to worry about function->ptr demotion 1537a51313dSChris Lattner // here. 154c357f412SDouglas Gregor return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType()); 1557a51313dSChris Lattner } 1567a51313dSChris Lattner ComplexPairTy VisitCastExpr(CastExpr *E) { 157c357f412SDouglas Gregor return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType()); 1587a51313dSChris Lattner } 1597a51313dSChris Lattner ComplexPairTy VisitCallExpr(const CallExpr *E); 1607a51313dSChris Lattner ComplexPairTy VisitStmtExpr(const StmtExpr *E); 1617a51313dSChris Lattner 1627a51313dSChris Lattner // Operators. 1637a51313dSChris Lattner ComplexPairTy VisitPrePostIncDec(const UnaryOperator *E, 164116ce8f1SChris Lattner bool isInc, bool isPre) { 165116ce8f1SChris Lattner LValue LV = CGF.EmitLValue(E->getSubExpr()); 166116ce8f1SChris Lattner return CGF.EmitComplexPrePostIncDec(E, LV, isInc, isPre); 167116ce8f1SChris Lattner } 1687a51313dSChris Lattner ComplexPairTy VisitUnaryPostDec(const UnaryOperator *E) { 1697a51313dSChris Lattner return VisitPrePostIncDec(E, false, false); 1707a51313dSChris Lattner } 1717a51313dSChris Lattner ComplexPairTy VisitUnaryPostInc(const UnaryOperator *E) { 1727a51313dSChris Lattner return VisitPrePostIncDec(E, true, false); 1737a51313dSChris Lattner } 1747a51313dSChris Lattner ComplexPairTy VisitUnaryPreDec(const UnaryOperator *E) { 1757a51313dSChris Lattner return VisitPrePostIncDec(E, false, true); 1767a51313dSChris Lattner } 1777a51313dSChris Lattner ComplexPairTy VisitUnaryPreInc(const UnaryOperator *E) { 1787a51313dSChris Lattner return VisitPrePostIncDec(E, true, true); 1797a51313dSChris Lattner } 1807a51313dSChris Lattner ComplexPairTy VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 1817a51313dSChris Lattner ComplexPairTy VisitUnaryPlus (const UnaryOperator *E) { 182df0fe27bSMike Stump TestAndClearIgnoreReal(); 183df0fe27bSMike Stump TestAndClearIgnoreImag(); 1847a51313dSChris Lattner return Visit(E->getSubExpr()); 1857a51313dSChris Lattner } 1867a51313dSChris Lattner ComplexPairTy VisitUnaryMinus (const UnaryOperator *E); 1877a51313dSChris Lattner ComplexPairTy VisitUnaryNot (const UnaryOperator *E); 1886f28289aSSebastian Redl // LNot,Real,Imag never return complex. 1897a51313dSChris Lattner ComplexPairTy VisitUnaryExtension(const UnaryOperator *E) { 1907a51313dSChris Lattner return Visit(E->getSubExpr()); 1917a51313dSChris Lattner } 192aa9c7aedSChris Lattner ComplexPairTy VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 193aa9c7aedSChris Lattner return Visit(DAE->getExpr()); 194aa9c7aedSChris Lattner } 195852c9db7SRichard Smith ComplexPairTy VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) { 196852c9db7SRichard Smith CodeGenFunction::CXXDefaultInitExprScope Scope(CGF); 197852c9db7SRichard Smith return Visit(DIE->getExpr()); 198852c9db7SRichard Smith } 1995d413781SJohn McCall ComplexPairTy VisitExprWithCleanups(ExprWithCleanups *E) { 20008ef4660SJohn McCall CGF.enterFullExpression(E); 20108ef4660SJohn McCall CodeGenFunction::RunCleanupsScope Scope(CGF); 20208ef4660SJohn McCall return Visit(E->getSubExpr()); 203c0092ad3SAnders Carlsson } 204747eb784SDouglas Gregor ComplexPairTy VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) { 205ce4528f0SArgyrios Kyrtzidis assert(E->getType()->isAnyComplexType() && "Expected complex type!"); 20647fb9508SJohn McCall QualType Elem = E->getType()->castAs<ComplexType>()->getElementType(); 2074a3999feSMike Stump llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem)); 208ce4528f0SArgyrios Kyrtzidis return ComplexPairTy(Null, Null); 209ce4528f0SArgyrios Kyrtzidis } 2100202cb40SDouglas Gregor ComplexPairTy VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) { 2110202cb40SDouglas Gregor assert(E->getType()->isAnyComplexType() && "Expected complex type!"); 21247fb9508SJohn McCall QualType Elem = E->getType()->castAs<ComplexType>()->getElementType(); 213ae86c19eSOwen Anderson llvm::Constant *Null = 2140b75f23bSOwen Anderson llvm::Constant::getNullValue(CGF.ConvertType(Elem)); 2150202cb40SDouglas Gregor return ComplexPairTy(Null, Null); 2160202cb40SDouglas Gregor } 2177a51313dSChris Lattner 2187a51313dSChris Lattner struct BinOpInfo { 2197a51313dSChris Lattner ComplexPairTy LHS; 2207a51313dSChris Lattner ComplexPairTy RHS; 2217a51313dSChris Lattner QualType Ty; // Computation Type. 2227a51313dSChris Lattner }; 2237a51313dSChris Lattner 2247a51313dSChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 22507bb1966SJohn McCall LValue EmitCompoundAssignLValue(const CompoundAssignOperator *E, 22607bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func) 22707bb1966SJohn McCall (const BinOpInfo &), 228f045007fSEli Friedman RValue &Val); 2297a51313dSChris Lattner ComplexPairTy EmitCompoundAssign(const CompoundAssignOperator *E, 2307a51313dSChris Lattner ComplexPairTy (ComplexExprEmitter::*Func) 2317a51313dSChris Lattner (const BinOpInfo &)); 2327a51313dSChris Lattner 2337a51313dSChris Lattner ComplexPairTy EmitBinAdd(const BinOpInfo &Op); 2347a51313dSChris Lattner ComplexPairTy EmitBinSub(const BinOpInfo &Op); 2357a51313dSChris Lattner ComplexPairTy EmitBinMul(const BinOpInfo &Op); 2367a51313dSChris Lattner ComplexPairTy EmitBinDiv(const BinOpInfo &Op); 2377a51313dSChris Lattner 238a216cad0SChandler Carruth ComplexPairTy EmitComplexBinOpLibCall(StringRef LibCallName, 239a216cad0SChandler Carruth const BinOpInfo &Op); 240a216cad0SChandler Carruth 2417a51313dSChris Lattner ComplexPairTy VisitBinAdd(const BinaryOperator *E) { 2427a51313dSChris Lattner return EmitBinAdd(EmitBinOps(E)); 2437a51313dSChris Lattner } 2447a51313dSChris Lattner ComplexPairTy VisitBinSub(const BinaryOperator *E) { 2457a51313dSChris Lattner return EmitBinSub(EmitBinOps(E)); 2467a51313dSChris Lattner } 24707bb1966SJohn McCall ComplexPairTy VisitBinMul(const BinaryOperator *E) { 24807bb1966SJohn McCall return EmitBinMul(EmitBinOps(E)); 24907bb1966SJohn McCall } 2507a51313dSChris Lattner ComplexPairTy VisitBinDiv(const BinaryOperator *E) { 2517a51313dSChris Lattner return EmitBinDiv(EmitBinOps(E)); 2527a51313dSChris Lattner } 2537a51313dSChris Lattner 2547a51313dSChris Lattner // Compound assignments. 2557a51313dSChris Lattner ComplexPairTy VisitBinAddAssign(const CompoundAssignOperator *E) { 2567a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd); 2577a51313dSChris Lattner } 2587a51313dSChris Lattner ComplexPairTy VisitBinSubAssign(const CompoundAssignOperator *E) { 2597a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub); 2607a51313dSChris Lattner } 2617a51313dSChris Lattner ComplexPairTy VisitBinMulAssign(const CompoundAssignOperator *E) { 2627a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul); 2637a51313dSChris Lattner } 2647a51313dSChris Lattner ComplexPairTy VisitBinDivAssign(const CompoundAssignOperator *E) { 2657a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv); 2667a51313dSChris Lattner } 2677a51313dSChris Lattner 2687a51313dSChris Lattner // GCC rejects rem/and/or/xor for integer complex. 2697a51313dSChris Lattner // Logical and/or always return int, never complex. 2707a51313dSChris Lattner 2717a51313dSChris Lattner // No comparisons produce a complex result. 27207bb1966SJohn McCall 27307bb1966SJohn McCall LValue EmitBinAssignLValue(const BinaryOperator *E, 27407bb1966SJohn McCall ComplexPairTy &Val); 2757a51313dSChris Lattner ComplexPairTy VisitBinAssign (const BinaryOperator *E); 2767a51313dSChris Lattner ComplexPairTy VisitBinComma (const BinaryOperator *E); 2777a51313dSChris Lattner 2787a51313dSChris Lattner 279c07a0c7eSJohn McCall ComplexPairTy 280c07a0c7eSJohn McCall VisitAbstractConditionalOperator(const AbstractConditionalOperator *CO); 2817a51313dSChris Lattner ComplexPairTy VisitChooseExpr(ChooseExpr *CE); 282dd7406e6SEli Friedman 283dd7406e6SEli Friedman ComplexPairTy VisitInitListExpr(InitListExpr *E); 28400079612SDaniel Dunbar 285afa84ae8SEli Friedman ComplexPairTy VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 286afa84ae8SEli Friedman return EmitLoadOfLValue(E); 287afa84ae8SEli Friedman } 288afa84ae8SEli Friedman 28900079612SDaniel Dunbar ComplexPairTy VisitVAArgExpr(VAArgExpr *E); 290df14b3a8SEli Friedman 291df14b3a8SEli Friedman ComplexPairTy VisitAtomicExpr(AtomicExpr *E) { 292df14b3a8SEli Friedman return CGF.EmitAtomicExpr(E).getComplexVal(); 293df14b3a8SEli Friedman } 2947a51313dSChris Lattner }; 2957a51313dSChris Lattner } // end anonymous namespace. 2967a51313dSChris Lattner 2977a51313dSChris Lattner //===----------------------------------------------------------------------===// 2987a51313dSChris Lattner // Utilities 2997a51313dSChris Lattner //===----------------------------------------------------------------------===// 3007a51313dSChris Lattner 30147fb9508SJohn McCall /// EmitLoadOfLValue - Given an RValue reference for a complex, emit code to 3027a51313dSChris Lattner /// load the real and imaginary pieces, returning them as Real/Imag. 3032d84e842SNick Lewycky ComplexPairTy ComplexExprEmitter::EmitLoadOfLValue(LValue lvalue, 3042d84e842SNick Lewycky SourceLocation loc) { 30547fb9508SJohn McCall assert(lvalue.isSimple() && "non-simple complex l-value?"); 306a8ec7eb9SJohn McCall if (lvalue.getType()->isAtomicType()) 3072d84e842SNick Lewycky return CGF.EmitAtomicLoad(lvalue, loc).getComplexVal(); 308a8ec7eb9SJohn McCall 30947fb9508SJohn McCall llvm::Value *SrcPtr = lvalue.getAddress(); 31047fb9508SJohn McCall bool isVolatile = lvalue.isVolatileQualified(); 31127dcbb24SJF Bastien unsigned AlignR = lvalue.getAlignment().getQuantity(); 31227dcbb24SJF Bastien ASTContext &C = CGF.getContext(); 31327dcbb24SJF Bastien QualType ComplexTy = lvalue.getType(); 31427dcbb24SJF Bastien unsigned ComplexAlign = C.getTypeAlignInChars(ComplexTy).getQuantity(); 31527dcbb24SJF Bastien unsigned AlignI = std::min(AlignR, ComplexAlign); 31647fb9508SJohn McCall 3178a13c418SCraig Topper llvm::Value *Real=nullptr, *Imag=nullptr; 318df0fe27bSMike Stump 31983fe49d1SJohn McCall if (!IgnoreReal || isVolatile) { 320ba9fd986SBenjamin Kramer llvm::Value *RealP = Builder.CreateStructGEP(SrcPtr, 0, 321ba9fd986SBenjamin Kramer SrcPtr->getName() + ".realp"); 32227dcbb24SJF Bastien Real = Builder.CreateAlignedLoad(RealP, AlignR, isVolatile, 32327dcbb24SJF Bastien SrcPtr->getName() + ".real"); 324df0fe27bSMike Stump } 325df0fe27bSMike Stump 32683fe49d1SJohn McCall if (!IgnoreImag || isVolatile) { 327ba9fd986SBenjamin Kramer llvm::Value *ImagP = Builder.CreateStructGEP(SrcPtr, 1, 328ba9fd986SBenjamin Kramer SrcPtr->getName() + ".imagp"); 32927dcbb24SJF Bastien Imag = Builder.CreateAlignedLoad(ImagP, AlignI, isVolatile, 33027dcbb24SJF Bastien SrcPtr->getName() + ".imag"); 331df0fe27bSMike Stump } 3327a51313dSChris Lattner return ComplexPairTy(Real, Imag); 3337a51313dSChris Lattner } 3347a51313dSChris Lattner 3357a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the 3367a51313dSChris Lattner /// specified value pointer. 337*538deffdSDavid Blaikie void ComplexExprEmitter::EmitStoreOfComplex(ComplexPairTy Val, LValue lvalue, 338*538deffdSDavid Blaikie bool isInit, 339*538deffdSDavid Blaikie SourceLocation DbgLoc) { 340*538deffdSDavid Blaikie if (auto *DI = CGF.getDebugInfo()) 341*538deffdSDavid Blaikie DI->EmitLocation(CGF.Builder, DbgLoc); 342*538deffdSDavid Blaikie 343a8ec7eb9SJohn McCall if (lvalue.getType()->isAtomicType()) 344a8ec7eb9SJohn McCall return CGF.EmitAtomicStore(RValue::getComplex(Val), lvalue, isInit); 345a8ec7eb9SJohn McCall 34647fb9508SJohn McCall llvm::Value *Ptr = lvalue.getAddress(); 3473e593cdbSChris Lattner llvm::Value *RealPtr = Builder.CreateStructGEP(Ptr, 0, "real"); 3483e593cdbSChris Lattner llvm::Value *ImagPtr = Builder.CreateStructGEP(Ptr, 1, "imag"); 34927dcbb24SJF Bastien unsigned AlignR = lvalue.getAlignment().getQuantity(); 35027dcbb24SJF Bastien ASTContext &C = CGF.getContext(); 35127dcbb24SJF Bastien QualType ComplexTy = lvalue.getType(); 35227dcbb24SJF Bastien unsigned ComplexAlign = C.getTypeAlignInChars(ComplexTy).getQuantity(); 35327dcbb24SJF Bastien unsigned AlignI = std::min(AlignR, ComplexAlign); 3547a51313dSChris Lattner 35527dcbb24SJF Bastien Builder.CreateAlignedStore(Val.first, RealPtr, AlignR, 35627dcbb24SJF Bastien lvalue.isVolatileQualified()); 35727dcbb24SJF Bastien Builder.CreateAlignedStore(Val.second, ImagPtr, AlignI, 35827dcbb24SJF Bastien lvalue.isVolatileQualified()); 3597a51313dSChris Lattner } 3607a51313dSChris Lattner 3617a51313dSChris Lattner 3627a51313dSChris Lattner 3637a51313dSChris Lattner //===----------------------------------------------------------------------===// 3647a51313dSChris Lattner // Visitor Methods 3657a51313dSChris Lattner //===----------------------------------------------------------------------===// 3667a51313dSChris Lattner 3677a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitExpr(Expr *E) { 368b74711dfSFariborz Jahanian CGF.ErrorUnsupported(E, "complex expression"); 369b74711dfSFariborz Jahanian llvm::Type *EltTy = 37047fb9508SJohn McCall CGF.ConvertType(getComplexType(E->getType())->getElementType()); 371b74711dfSFariborz Jahanian llvm::Value *U = llvm::UndefValue::get(EltTy); 372b74711dfSFariborz Jahanian return ComplexPairTy(U, U); 3737a51313dSChris Lattner } 3747a51313dSChris Lattner 3757a51313dSChris Lattner ComplexPairTy ComplexExprEmitter:: 3767a51313dSChris Lattner VisitImaginaryLiteral(const ImaginaryLiteral *IL) { 3777a51313dSChris Lattner llvm::Value *Imag = CGF.EmitScalarExpr(IL->getSubExpr()); 378294c2db4SJohn McCall return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag); 3797a51313dSChris Lattner } 3807a51313dSChris Lattner 3817a51313dSChris Lattner 3827a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitCallExpr(const CallExpr *E) { 383d8b7ae20SAnders Carlsson if (E->getCallReturnType()->isReferenceType()) 384d8b7ae20SAnders Carlsson return EmitLoadOfLValue(E); 385d8b7ae20SAnders Carlsson 3867a51313dSChris Lattner return CGF.EmitCallExpr(E).getComplexVal(); 3877a51313dSChris Lattner } 3887a51313dSChris Lattner 3897a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitStmtExpr(const StmtExpr *E) { 390ce1de617SJohn McCall CodeGenFunction::StmtExprEvaluation eval(CGF); 3914871a46cSEli Friedman llvm::Value *RetAlloca = CGF.EmitCompoundStmt(*E->getSubStmt(), true); 3924871a46cSEli Friedman assert(RetAlloca && "Expected complex return value"); 3932d84e842SNick Lewycky return EmitLoadOfLValue(CGF.MakeAddrLValue(RetAlloca, E->getType()), 3942d84e842SNick Lewycky E->getExprLoc()); 3957a51313dSChris Lattner } 3967a51313dSChris Lattner 3977a51313dSChris Lattner /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType. 3987a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitComplexToComplexCast(ComplexPairTy Val, 3997a51313dSChris Lattner QualType SrcType, 4007a51313dSChris Lattner QualType DestType) { 4017a51313dSChris Lattner // Get the src/dest element type. 40247fb9508SJohn McCall SrcType = SrcType->castAs<ComplexType>()->getElementType(); 40347fb9508SJohn McCall DestType = DestType->castAs<ComplexType>()->getElementType(); 4047a51313dSChris Lattner 4057a51313dSChris Lattner // C99 6.3.1.6: When a value of complex type is converted to another 4067a51313dSChris Lattner // complex type, both the real and imaginary parts follow the conversion 4077a51313dSChris Lattner // rules for the corresponding real types. 4087a51313dSChris Lattner Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType); 4097a51313dSChris Lattner Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType); 4107a51313dSChris Lattner return Val; 4117a51313dSChris Lattner } 4127a51313dSChris Lattner 413f045007fSEli Friedman ComplexPairTy ComplexExprEmitter::EmitScalarToComplexCast(llvm::Value *Val, 414f045007fSEli Friedman QualType SrcType, 415f045007fSEli Friedman QualType DestType) { 416f045007fSEli Friedman // Convert the input element to the element type of the complex. 417f045007fSEli Friedman DestType = DestType->castAs<ComplexType>()->getElementType(); 418f045007fSEli Friedman Val = CGF.EmitScalarConversion(Val, SrcType, DestType); 419f045007fSEli Friedman 420f045007fSEli Friedman // Return (realval, 0). 421f045007fSEli Friedman return ComplexPairTy(Val, llvm::Constant::getNullValue(Val->getType())); 422f045007fSEli Friedman } 423f045007fSEli Friedman 4241a07fd18SCraig Topper ComplexPairTy ComplexExprEmitter::EmitCast(CastKind CK, Expr *Op, 425c357f412SDouglas Gregor QualType DestTy) { 42634376a68SJohn McCall switch (CK) { 4275836852eSEli Friedman case CK_Dependent: llvm_unreachable("dependent cast kind in IR gen!"); 42834376a68SJohn McCall 429fa35df62SDavid Chisnall // Atomic to non-atomic casts may be more than a no-op for some platforms and 430fa35df62SDavid Chisnall // for some types. 431fa35df62SDavid Chisnall case CK_AtomicToNonAtomic: 432fa35df62SDavid Chisnall case CK_NonAtomicToAtomic: 43334376a68SJohn McCall case CK_NoOp: 43434376a68SJohn McCall case CK_LValueToRValue: 4355836852eSEli Friedman case CK_UserDefinedConversion: 43634376a68SJohn McCall return Visit(Op); 43734376a68SJohn McCall 4385836852eSEli Friedman case CK_LValueBitCast: { 43947fb9508SJohn McCall LValue origLV = CGF.EmitLValue(Op); 44047fb9508SJohn McCall llvm::Value *V = origLV.getAddress(); 441c357f412SDouglas Gregor V = Builder.CreateBitCast(V, 442c357f412SDouglas Gregor CGF.ConvertType(CGF.getContext().getPointerType(DestTy))); 44347fb9508SJohn McCall return EmitLoadOfLValue(CGF.MakeAddrLValue(V, DestTy, 4442d84e842SNick Lewycky origLV.getAlignment()), 4452d84e842SNick Lewycky Op->getExprLoc()); 446c357f412SDouglas Gregor } 447c357f412SDouglas Gregor 4485836852eSEli Friedman case CK_BitCast: 4495836852eSEli Friedman case CK_BaseToDerived: 4505836852eSEli Friedman case CK_DerivedToBase: 4515836852eSEli Friedman case CK_UncheckedDerivedToBase: 4525836852eSEli Friedman case CK_Dynamic: 4535836852eSEli Friedman case CK_ToUnion: 4545836852eSEli Friedman case CK_ArrayToPointerDecay: 4555836852eSEli Friedman case CK_FunctionToPointerDecay: 4565836852eSEli Friedman case CK_NullToPointer: 4575836852eSEli Friedman case CK_NullToMemberPointer: 4585836852eSEli Friedman case CK_BaseToDerivedMemberPointer: 4595836852eSEli Friedman case CK_DerivedToBaseMemberPointer: 4605836852eSEli Friedman case CK_MemberPointerToBoolean: 461c62bb391SJohn McCall case CK_ReinterpretMemberPointer: 4625836852eSEli Friedman case CK_ConstructorConversion: 4635836852eSEli Friedman case CK_IntegralToPointer: 4645836852eSEli Friedman case CK_PointerToIntegral: 4655836852eSEli Friedman case CK_PointerToBoolean: 4665836852eSEli Friedman case CK_ToVoid: 4675836852eSEli Friedman case CK_VectorSplat: 4685836852eSEli Friedman case CK_IntegralCast: 4695836852eSEli Friedman case CK_IntegralToBoolean: 4705836852eSEli Friedman case CK_IntegralToFloating: 4715836852eSEli Friedman case CK_FloatingToIntegral: 4725836852eSEli Friedman case CK_FloatingToBoolean: 4735836852eSEli Friedman case CK_FloatingCast: 4749320b87cSJohn McCall case CK_CPointerToObjCPointerCast: 4759320b87cSJohn McCall case CK_BlockPointerToObjCPointerCast: 4765836852eSEli Friedman case CK_AnyPointerToBlockPointerCast: 4775836852eSEli Friedman case CK_ObjCObjectLValueCast: 4785836852eSEli Friedman case CK_FloatingComplexToReal: 4795836852eSEli Friedman case CK_FloatingComplexToBoolean: 4805836852eSEli Friedman case CK_IntegralComplexToReal: 4815836852eSEli Friedman case CK_IntegralComplexToBoolean: 4822d637d2eSJohn McCall case CK_ARCProduceObject: 4832d637d2eSJohn McCall case CK_ARCConsumeObject: 4842d637d2eSJohn McCall case CK_ARCReclaimReturnedObject: 4852d637d2eSJohn McCall case CK_ARCExtendBlockObject: 486ed90df38SDouglas Gregor case CK_CopyAndAutoreleaseBlockObject: 48734866c77SEli Friedman case CK_BuiltinFnToFnPtr: 4881b4fb3e0SGuy Benyei case CK_ZeroToOCLEvent: 489e1468322SDavid Tweed case CK_AddressSpaceConversion: 4905836852eSEli Friedman llvm_unreachable("invalid cast kind for complex value"); 4915836852eSEli Friedman 4925836852eSEli Friedman case CK_FloatingRealToComplex: 493f045007fSEli Friedman case CK_IntegralRealToComplex: 494f045007fSEli Friedman return EmitScalarToComplexCast(CGF.EmitScalarExpr(Op), 495f045007fSEli Friedman Op->getType(), DestTy); 4967a51313dSChris Lattner 4975836852eSEli Friedman case CK_FloatingComplexCast: 4985836852eSEli Friedman case CK_FloatingComplexToIntegralComplex: 4995836852eSEli Friedman case CK_IntegralComplexCast: 5005836852eSEli Friedman case CK_IntegralComplexToFloatingComplex: 5015836852eSEli Friedman return EmitComplexToComplexCast(Visit(Op), Op->getType(), DestTy); 5025836852eSEli Friedman } 5035836852eSEli Friedman 5045836852eSEli Friedman llvm_unreachable("unknown cast resulting in complex value"); 5055836852eSEli Friedman } 5065836852eSEli Friedman 5077a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 508df0fe27bSMike Stump TestAndClearIgnoreReal(); 509df0fe27bSMike Stump TestAndClearIgnoreImag(); 5107a51313dSChris Lattner ComplexPairTy Op = Visit(E->getSubExpr()); 51194dfae24SChris Lattner 51294dfae24SChris Lattner llvm::Value *ResR, *ResI; 513998f9d97SDuncan Sands if (Op.first->getType()->isFloatingPointTy()) { 51494dfae24SChris Lattner ResR = Builder.CreateFNeg(Op.first, "neg.r"); 51594dfae24SChris Lattner ResI = Builder.CreateFNeg(Op.second, "neg.i"); 51694dfae24SChris Lattner } else { 51794dfae24SChris Lattner ResR = Builder.CreateNeg(Op.first, "neg.r"); 51894dfae24SChris Lattner ResI = Builder.CreateNeg(Op.second, "neg.i"); 51994dfae24SChris Lattner } 5207a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5217a51313dSChris Lattner } 5227a51313dSChris Lattner 5237a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 524df0fe27bSMike Stump TestAndClearIgnoreReal(); 525df0fe27bSMike Stump TestAndClearIgnoreImag(); 5267a51313dSChris Lattner // ~(a+ib) = a + i*-b 5277a51313dSChris Lattner ComplexPairTy Op = Visit(E->getSubExpr()); 52894dfae24SChris Lattner llvm::Value *ResI; 529998f9d97SDuncan Sands if (Op.second->getType()->isFloatingPointTy()) 53094dfae24SChris Lattner ResI = Builder.CreateFNeg(Op.second, "conj.i"); 53194dfae24SChris Lattner else 53294dfae24SChris Lattner ResI = Builder.CreateNeg(Op.second, "conj.i"); 53394dfae24SChris Lattner 5347a51313dSChris Lattner return ComplexPairTy(Op.first, ResI); 5357a51313dSChris Lattner } 5367a51313dSChris Lattner 5377a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinAdd(const BinOpInfo &Op) { 53894dfae24SChris Lattner llvm::Value *ResR, *ResI; 53994dfae24SChris Lattner 540998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 54194dfae24SChris Lattner ResR = Builder.CreateFAdd(Op.LHS.first, Op.RHS.first, "add.r"); 542a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) 54394dfae24SChris Lattner ResI = Builder.CreateFAdd(Op.LHS.second, Op.RHS.second, "add.i"); 544a216cad0SChandler Carruth else 545a216cad0SChandler Carruth ResI = Op.LHS.second ? Op.LHS.second : Op.RHS.second; 546a216cad0SChandler Carruth assert(ResI && "Only one operand may be real!"); 54794dfae24SChris Lattner } else { 54894dfae24SChris Lattner ResR = Builder.CreateAdd(Op.LHS.first, Op.RHS.first, "add.r"); 549a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 550a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 55194dfae24SChris Lattner ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second, "add.i"); 55294dfae24SChris Lattner } 5537a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5547a51313dSChris Lattner } 5557a51313dSChris Lattner 5567a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinSub(const BinOpInfo &Op) { 55794dfae24SChris Lattner llvm::Value *ResR, *ResI; 558998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 55994dfae24SChris Lattner ResR = Builder.CreateFSub(Op.LHS.first, Op.RHS.first, "sub.r"); 560a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) 56194dfae24SChris Lattner ResI = Builder.CreateFSub(Op.LHS.second, Op.RHS.second, "sub.i"); 562a216cad0SChandler Carruth else 563a216cad0SChandler Carruth ResI = Op.LHS.second ? Op.LHS.second 564a216cad0SChandler Carruth : Builder.CreateFNeg(Op.RHS.second, "sub.i"); 565a216cad0SChandler Carruth assert(ResI && "Only one operand may be real!"); 56694dfae24SChris Lattner } else { 56794dfae24SChris Lattner ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first, "sub.r"); 568a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 569a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 57094dfae24SChris Lattner ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second, "sub.i"); 57194dfae24SChris Lattner } 5727a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5737a51313dSChris Lattner } 5747a51313dSChris Lattner 575a216cad0SChandler Carruth /// \brief Emit a libcall for a binary operation on complex types. 576a216cad0SChandler Carruth ComplexPairTy ComplexExprEmitter::EmitComplexBinOpLibCall(StringRef LibCallName, 577a216cad0SChandler Carruth const BinOpInfo &Op) { 578a216cad0SChandler Carruth CallArgList Args; 579a216cad0SChandler Carruth Args.add(RValue::get(Op.LHS.first), 580a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 581a216cad0SChandler Carruth Args.add(RValue::get(Op.LHS.second), 582a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 583a216cad0SChandler Carruth Args.add(RValue::get(Op.RHS.first), 584a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 585a216cad0SChandler Carruth Args.add(RValue::get(Op.RHS.second), 586a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 5877a51313dSChris Lattner 588a216cad0SChandler Carruth // We *must* use the full CG function call building logic here because the 589d90dd797SAnton Korobeynikov // complex type has special ABI handling. We also should not forget about 590d90dd797SAnton Korobeynikov // special calling convention which may be used for compiler builtins. 591d90dd797SAnton Korobeynikov const CGFunctionInfo &FuncInfo = 592d90dd797SAnton Korobeynikov CGF.CGM.getTypes().arrangeFreeFunctionCall( 593d90dd797SAnton Korobeynikov Op.Ty, Args, FunctionType::ExtInfo(/* No CC here - will be added later */), 594d90dd797SAnton Korobeynikov RequiredArgs::All); 595a216cad0SChandler Carruth llvm::FunctionType *FTy = CGF.CGM.getTypes().GetFunctionType(FuncInfo); 596d90dd797SAnton Korobeynikov llvm::Constant *Func = CGF.CGM.CreateBuiltinFunction(FTy, LibCallName); 597d90dd797SAnton Korobeynikov llvm::Instruction *Call; 598a216cad0SChandler Carruth 599d90dd797SAnton Korobeynikov RValue Res = CGF.EmitCall(FuncInfo, Func, ReturnValueSlot(), Args, 600d90dd797SAnton Korobeynikov nullptr, &Call); 601d90dd797SAnton Korobeynikov cast<llvm::CallInst>(Call)->setCallingConv(CGF.CGM.getBuiltinCC()); 602d90dd797SAnton Korobeynikov cast<llvm::CallInst>(Call)->setDoesNotThrow(); 603d90dd797SAnton Korobeynikov 604d90dd797SAnton Korobeynikov return Res.getComplexVal(); 605a216cad0SChandler Carruth } 606a216cad0SChandler Carruth 6070c4b230bSChandler Carruth /// \brief Lookup the libcall name for a given floating point type complex 6080c4b230bSChandler Carruth /// multiply. 6090c4b230bSChandler Carruth static StringRef getComplexMultiplyLibCallName(llvm::Type *Ty) { 6100c4b230bSChandler Carruth switch (Ty->getTypeID()) { 6110c4b230bSChandler Carruth default: 6120c4b230bSChandler Carruth llvm_unreachable("Unsupported floating point type!"); 6130c4b230bSChandler Carruth case llvm::Type::HalfTyID: 6140c4b230bSChandler Carruth return "__mulhc3"; 6150c4b230bSChandler Carruth case llvm::Type::FloatTyID: 6160c4b230bSChandler Carruth return "__mulsc3"; 6170c4b230bSChandler Carruth case llvm::Type::DoubleTyID: 6180c4b230bSChandler Carruth return "__muldc3"; 6190c4b230bSChandler Carruth case llvm::Type::PPC_FP128TyID: 6200c4b230bSChandler Carruth return "__multc3"; 6210c4b230bSChandler Carruth case llvm::Type::X86_FP80TyID: 6220c4b230bSChandler Carruth return "__mulxc3"; 623444822bbSJiangning Liu case llvm::Type::FP128TyID: 624444822bbSJiangning Liu return "__multc3"; 6250c4b230bSChandler Carruth } 6260c4b230bSChandler Carruth } 6270c4b230bSChandler Carruth 628a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex 629a216cad0SChandler Carruth // typed values. 6307a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinMul(const BinOpInfo &Op) { 63194dfae24SChris Lattner using llvm::Value; 63294dfae24SChris Lattner Value *ResR, *ResI; 6330c4b230bSChandler Carruth llvm::MDBuilder MDHelper(CGF.getLLVMContext()); 6347a51313dSChris Lattner 635998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 636a216cad0SChandler Carruth // The general formulation is: 637a216cad0SChandler Carruth // (a + ib) * (c + id) = (a * c - b * d) + i(a * d + b * c) 638a216cad0SChandler Carruth // 639a216cad0SChandler Carruth // But we can fold away components which would be zero due to a real 640a216cad0SChandler Carruth // operand according to C11 Annex G.5.1p2. 641a216cad0SChandler Carruth // FIXME: C11 also provides for imaginary types which would allow folding 642a216cad0SChandler Carruth // still more of this within the type system. 64394dfae24SChris Lattner 644a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) { 6450c4b230bSChandler Carruth // If both operands are complex, emit the core math directly, and then 6460c4b230bSChandler Carruth // test for NaNs. If we find NaNs in the result, we delegate to a libcall 6470c4b230bSChandler Carruth // to carefully re-compute the correct infinity representation if 6480c4b230bSChandler Carruth // possible. The expectation is that the presence of NaNs here is 6490c4b230bSChandler Carruth // *extremely* rare, and so the cost of the libcall is almost irrelevant. 6500c4b230bSChandler Carruth // This is good, because the libcall re-computes the core multiplication 6510c4b230bSChandler Carruth // exactly the same as we do here and re-tests for NaNs in order to be 6520c4b230bSChandler Carruth // a generic complex*complex libcall. 6530c4b230bSChandler Carruth 6540c4b230bSChandler Carruth // First compute the four products. 6550c4b230bSChandler Carruth Value *AC = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul_ac"); 6560c4b230bSChandler Carruth Value *BD = Builder.CreateFMul(Op.LHS.second, Op.RHS.second, "mul_bd"); 6570c4b230bSChandler Carruth Value *AD = Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul_ad"); 6580c4b230bSChandler Carruth Value *BC = Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul_bc"); 6590c4b230bSChandler Carruth 6600c4b230bSChandler Carruth // The real part is the difference of the first two, the imaginary part is 6610c4b230bSChandler Carruth // the sum of the second. 6620c4b230bSChandler Carruth ResR = Builder.CreateFSub(AC, BD, "mul_r"); 6630c4b230bSChandler Carruth ResI = Builder.CreateFAdd(AD, BC, "mul_i"); 6640c4b230bSChandler Carruth 6650c4b230bSChandler Carruth // Emit the test for the real part becoming NaN and create a branch to 6660c4b230bSChandler Carruth // handle it. We test for NaN by comparing the number to itself. 6670c4b230bSChandler Carruth Value *IsRNaN = Builder.CreateFCmpUNO(ResR, ResR, "isnan_cmp"); 6680c4b230bSChandler Carruth llvm::BasicBlock *ContBB = CGF.createBasicBlock("complex_mul_cont"); 6690c4b230bSChandler Carruth llvm::BasicBlock *INaNBB = CGF.createBasicBlock("complex_mul_imag_nan"); 6700c4b230bSChandler Carruth llvm::Instruction *Branch = Builder.CreateCondBr(IsRNaN, INaNBB, ContBB); 6710c4b230bSChandler Carruth llvm::BasicBlock *OrigBB = Branch->getParent(); 6720c4b230bSChandler Carruth 6730c4b230bSChandler Carruth // Give hint that we very much don't expect to see NaNs. 6740c4b230bSChandler Carruth // Value chosen to match UR_NONTAKEN_WEIGHT, see BranchProbabilityInfo.cpp 6750c4b230bSChandler Carruth llvm::MDNode *BrWeight = MDHelper.createBranchWeights(1, (1U << 20) - 1); 6760c4b230bSChandler Carruth Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight); 6770c4b230bSChandler Carruth 6780c4b230bSChandler Carruth // Now test the imaginary part and create its branch. 6790c4b230bSChandler Carruth CGF.EmitBlock(INaNBB); 6800c4b230bSChandler Carruth Value *IsINaN = Builder.CreateFCmpUNO(ResI, ResI, "isnan_cmp"); 6810c4b230bSChandler Carruth llvm::BasicBlock *LibCallBB = CGF.createBasicBlock("complex_mul_libcall"); 6820c4b230bSChandler Carruth Branch = Builder.CreateCondBr(IsINaN, LibCallBB, ContBB); 6830c4b230bSChandler Carruth Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight); 6840c4b230bSChandler Carruth 6850c4b230bSChandler Carruth // Now emit the libcall on this slowest of the slow paths. 6860c4b230bSChandler Carruth CGF.EmitBlock(LibCallBB); 6870c4b230bSChandler Carruth Value *LibCallR, *LibCallI; 6880c4b230bSChandler Carruth std::tie(LibCallR, LibCallI) = EmitComplexBinOpLibCall( 6890c4b230bSChandler Carruth getComplexMultiplyLibCallName(Op.LHS.first->getType()), Op); 6900c4b230bSChandler Carruth Builder.CreateBr(ContBB); 6910c4b230bSChandler Carruth 6920c4b230bSChandler Carruth // Finally continue execution by phi-ing together the different 6930c4b230bSChandler Carruth // computation paths. 6940c4b230bSChandler Carruth CGF.EmitBlock(ContBB); 6950c4b230bSChandler Carruth llvm::PHINode *RealPHI = Builder.CreatePHI(ResR->getType(), 3, "real_mul_phi"); 6960c4b230bSChandler Carruth RealPHI->addIncoming(ResR, OrigBB); 6970c4b230bSChandler Carruth RealPHI->addIncoming(ResR, INaNBB); 6980c4b230bSChandler Carruth RealPHI->addIncoming(LibCallR, LibCallBB); 6990c4b230bSChandler Carruth llvm::PHINode *ImagPHI = Builder.CreatePHI(ResI->getType(), 3, "imag_mul_phi"); 7000c4b230bSChandler Carruth ImagPHI->addIncoming(ResI, OrigBB); 7010c4b230bSChandler Carruth ImagPHI->addIncoming(ResI, INaNBB); 7020c4b230bSChandler Carruth ImagPHI->addIncoming(LibCallI, LibCallBB); 7030c4b230bSChandler Carruth return ComplexPairTy(RealPHI, ImagPHI); 704a216cad0SChandler Carruth } 705a216cad0SChandler Carruth assert((Op.LHS.second || Op.RHS.second) && 706a216cad0SChandler Carruth "At least one operand must be complex!"); 707a216cad0SChandler Carruth 708a216cad0SChandler Carruth // If either of the operands is a real rather than a complex, the 709a216cad0SChandler Carruth // imaginary component is ignored when computing the real component of the 710a216cad0SChandler Carruth // result. 711a216cad0SChandler Carruth ResR = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul.rl"); 712a216cad0SChandler Carruth 713a216cad0SChandler Carruth ResI = Op.LHS.second 714a216cad0SChandler Carruth ? Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul.il") 715a216cad0SChandler Carruth : Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul.ir"); 71694dfae24SChris Lattner } else { 717a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 718a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 71994dfae24SChris Lattner Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first, "mul.rl"); 72094dfae24SChris Lattner Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second, "mul.rr"); 72194dfae24SChris Lattner ResR = Builder.CreateSub(ResRl, ResRr, "mul.r"); 72294dfae24SChris Lattner 72394dfae24SChris Lattner Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first, "mul.il"); 72494dfae24SChris Lattner Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second, "mul.ir"); 72594dfae24SChris Lattner ResI = Builder.CreateAdd(ResIl, ResIr, "mul.i"); 72694dfae24SChris Lattner } 7277a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 7287a51313dSChris Lattner } 7297a51313dSChris Lattner 730a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex 731a216cad0SChandler Carruth // typed values. 7327a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinDiv(const BinOpInfo &Op) { 7337a51313dSChris Lattner llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second; 7347a51313dSChris Lattner llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second; 7357a51313dSChris Lattner 73694dfae24SChris Lattner 73794dfae24SChris Lattner llvm::Value *DSTr, *DSTi; 738a216cad0SChandler Carruth if (LHSr->getType()->isFloatingPointTy()) { 739a216cad0SChandler Carruth // If we have a complex operand on the RHS, we delegate to a libcall to 740a216cad0SChandler Carruth // handle all of the complexities and minimize underflow/overflow cases. 741a216cad0SChandler Carruth // 742a216cad0SChandler Carruth // FIXME: We would be able to avoid the libcall in many places if we 743a216cad0SChandler Carruth // supported imaginary types in addition to complex types. 744a216cad0SChandler Carruth if (RHSi) { 745a216cad0SChandler Carruth BinOpInfo LibCallOp = Op; 746a216cad0SChandler Carruth // If LHS was a real, supply a null imaginary part. 747a216cad0SChandler Carruth if (!LHSi) 748a216cad0SChandler Carruth LibCallOp.LHS.second = llvm::Constant::getNullValue(LHSr->getType()); 74994dfae24SChris Lattner 750a216cad0SChandler Carruth StringRef LibCallName; 751a216cad0SChandler Carruth switch (LHSr->getType()->getTypeID()) { 752a216cad0SChandler Carruth default: 753a216cad0SChandler Carruth llvm_unreachable("Unsupported floating point type!"); 754a216cad0SChandler Carruth case llvm::Type::HalfTyID: 755a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divhc3", LibCallOp); 756a216cad0SChandler Carruth case llvm::Type::FloatTyID: 757a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divsc3", LibCallOp); 758a216cad0SChandler Carruth case llvm::Type::DoubleTyID: 759a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divdc3", LibCallOp); 760aa3e9f5aSJoerg Sonnenberger case llvm::Type::PPC_FP128TyID: 761aa3e9f5aSJoerg Sonnenberger return EmitComplexBinOpLibCall("__divtc3", LibCallOp); 762a216cad0SChandler Carruth case llvm::Type::X86_FP80TyID: 763a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divxc3", LibCallOp); 764444822bbSJiangning Liu case llvm::Type::FP128TyID: 765444822bbSJiangning Liu return EmitComplexBinOpLibCall("__divtc3", LibCallOp); 766a216cad0SChandler Carruth } 767a216cad0SChandler Carruth } 768a216cad0SChandler Carruth assert(LHSi && "Can have at most one non-complex operand!"); 76994dfae24SChris Lattner 770a216cad0SChandler Carruth DSTr = Builder.CreateFDiv(LHSr, RHSr); 771a216cad0SChandler Carruth DSTi = Builder.CreateFDiv(LHSi, RHSr); 77294dfae24SChris Lattner } else { 773a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 774a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 7757a51313dSChris Lattner // (a+ib) / (c+id) = ((ac+bd)/(cc+dd)) + i((bc-ad)/(cc+dd)) 77676399eb2SBenjamin Kramer llvm::Value *Tmp1 = Builder.CreateMul(LHSr, RHSr); // a*c 77776399eb2SBenjamin Kramer llvm::Value *Tmp2 = Builder.CreateMul(LHSi, RHSi); // b*d 77876399eb2SBenjamin Kramer llvm::Value *Tmp3 = Builder.CreateAdd(Tmp1, Tmp2); // ac+bd 7797a51313dSChris Lattner 78076399eb2SBenjamin Kramer llvm::Value *Tmp4 = Builder.CreateMul(RHSr, RHSr); // c*c 78176399eb2SBenjamin Kramer llvm::Value *Tmp5 = Builder.CreateMul(RHSi, RHSi); // d*d 78276399eb2SBenjamin Kramer llvm::Value *Tmp6 = Builder.CreateAdd(Tmp4, Tmp5); // cc+dd 7837a51313dSChris Lattner 78476399eb2SBenjamin Kramer llvm::Value *Tmp7 = Builder.CreateMul(LHSi, RHSr); // b*c 78576399eb2SBenjamin Kramer llvm::Value *Tmp8 = Builder.CreateMul(LHSr, RHSi); // a*d 78676399eb2SBenjamin Kramer llvm::Value *Tmp9 = Builder.CreateSub(Tmp7, Tmp8); // bc-ad 7877a51313dSChris Lattner 78847fb9508SJohn McCall if (Op.Ty->castAs<ComplexType>()->getElementType()->isUnsignedIntegerType()) { 78976399eb2SBenjamin Kramer DSTr = Builder.CreateUDiv(Tmp3, Tmp6); 79076399eb2SBenjamin Kramer DSTi = Builder.CreateUDiv(Tmp9, Tmp6); 7917a51313dSChris Lattner } else { 79276399eb2SBenjamin Kramer DSTr = Builder.CreateSDiv(Tmp3, Tmp6); 79376399eb2SBenjamin Kramer DSTi = Builder.CreateSDiv(Tmp9, Tmp6); 7947a51313dSChris Lattner } 7957a51313dSChris Lattner } 7967a51313dSChris Lattner 7977a51313dSChris Lattner return ComplexPairTy(DSTr, DSTi); 7987a51313dSChris Lattner } 7997a51313dSChris Lattner 8007a51313dSChris Lattner ComplexExprEmitter::BinOpInfo 8017a51313dSChris Lattner ComplexExprEmitter::EmitBinOps(const BinaryOperator *E) { 802df0fe27bSMike Stump TestAndClearIgnoreReal(); 803df0fe27bSMike Stump TestAndClearIgnoreImag(); 8047a51313dSChris Lattner BinOpInfo Ops; 805a216cad0SChandler Carruth if (E->getLHS()->getType()->isRealFloatingType()) 806a216cad0SChandler Carruth Ops.LHS = ComplexPairTy(CGF.EmitScalarExpr(E->getLHS()), nullptr); 807a216cad0SChandler Carruth else 8087a51313dSChris Lattner Ops.LHS = Visit(E->getLHS()); 809a216cad0SChandler Carruth if (E->getRHS()->getType()->isRealFloatingType()) 810a216cad0SChandler Carruth Ops.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); 811a216cad0SChandler Carruth else 8127a51313dSChris Lattner Ops.RHS = Visit(E->getRHS()); 813a216cad0SChandler Carruth 8147a51313dSChris Lattner Ops.Ty = E->getType(); 8157a51313dSChris Lattner return Ops; 8167a51313dSChris Lattner } 8177a51313dSChris Lattner 8187a51313dSChris Lattner 81907bb1966SJohn McCall LValue ComplexExprEmitter:: 82007bb1966SJohn McCall EmitCompoundAssignLValue(const CompoundAssignOperator *E, 82107bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&), 822f045007fSEli Friedman RValue &Val) { 823df0fe27bSMike Stump TestAndClearIgnoreReal(); 824df0fe27bSMike Stump TestAndClearIgnoreImag(); 8258dfa5f17SJeffrey Yasskin QualType LHSTy = E->getLHS()->getType(); 8267a51313dSChris Lattner 827df0fe27bSMike Stump BinOpInfo OpInfo; 828df0fe27bSMike Stump 829df0fe27bSMike Stump // Load the RHS and LHS operands. 830df0fe27bSMike Stump // __block variables need to have the rhs evaluated first, plus this should 831fa8edb11SJohn McCall // improve codegen a little. 832df0fe27bSMike Stump OpInfo.Ty = E->getComputationResultType(); 833a216cad0SChandler Carruth QualType ComplexElementTy = cast<ComplexType>(OpInfo.Ty)->getElementType(); 834fa8edb11SJohn McCall 835fa8edb11SJohn McCall // The RHS should have been converted to the computation type. 836a216cad0SChandler Carruth if (E->getRHS()->getType()->isRealFloatingType()) { 837a216cad0SChandler Carruth assert( 838a216cad0SChandler Carruth CGF.getContext() 839a216cad0SChandler Carruth .hasSameUnqualifiedType(ComplexElementTy, E->getRHS()->getType())); 840a216cad0SChandler Carruth OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); 841a216cad0SChandler Carruth } else { 842a216cad0SChandler Carruth assert(CGF.getContext() 843a216cad0SChandler Carruth .hasSameUnqualifiedType(OpInfo.Ty, E->getRHS()->getType())); 844fa8edb11SJohn McCall OpInfo.RHS = Visit(E->getRHS()); 845a216cad0SChandler Carruth } 846df0fe27bSMike Stump 8478c94ffe7SDaniel Dunbar LValue LHS = CGF.EmitLValue(E->getLHS()); 848e26a872bSJohn McCall 849f045007fSEli Friedman // Load from the l-value and convert it. 850f045007fSEli Friedman if (LHSTy->isAnyComplexType()) { 8512d84e842SNick Lewycky ComplexPairTy LHSVal = EmitLoadOfLValue(LHS, E->getExprLoc()); 852f045007fSEli Friedman OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty); 853f045007fSEli Friedman } else { 8542d84e842SNick Lewycky llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, E->getExprLoc()); 855a216cad0SChandler Carruth // For floating point real operands we can directly pass the scalar form 856a216cad0SChandler Carruth // to the binary operator emission and potentially get more efficient code. 857a216cad0SChandler Carruth if (LHSTy->isRealFloatingType()) { 858a216cad0SChandler Carruth if (!CGF.getContext().hasSameUnqualifiedType(ComplexElementTy, LHSTy)) 859a216cad0SChandler Carruth LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy); 860a216cad0SChandler Carruth OpInfo.LHS = ComplexPairTy(LHSVal, nullptr); 861a216cad0SChandler Carruth } else { 862f045007fSEli Friedman OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty); 863f045007fSEli Friedman } 864a216cad0SChandler Carruth } 8657a51313dSChris Lattner 8667a51313dSChris Lattner // Expand the binary operator. 8677a51313dSChris Lattner ComplexPairTy Result = (this->*Func)(OpInfo); 8687a51313dSChris Lattner 869f045007fSEli Friedman // Truncate the result and store it into the LHS lvalue. 870f045007fSEli Friedman if (LHSTy->isAnyComplexType()) { 871f045007fSEli Friedman ComplexPairTy ResVal = EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy); 872f045007fSEli Friedman EmitStoreOfComplex(ResVal, LHS, /*isInit*/ false); 873f045007fSEli Friedman Val = RValue::getComplex(ResVal); 874f045007fSEli Friedman } else { 875f045007fSEli Friedman llvm::Value *ResVal = 876f045007fSEli Friedman CGF.EmitComplexToScalarConversion(Result, OpInfo.Ty, LHSTy); 877f045007fSEli Friedman CGF.EmitStoreOfScalar(ResVal, LHS, /*isInit*/ false); 878f045007fSEli Friedman Val = RValue::get(ResVal); 879f045007fSEli Friedman } 8808c94ffe7SDaniel Dunbar 88107bb1966SJohn McCall return LHS; 8827a51313dSChris Lattner } 8837a51313dSChris Lattner 88407bb1966SJohn McCall // Compound assignments. 88507bb1966SJohn McCall ComplexPairTy ComplexExprEmitter:: 88607bb1966SJohn McCall EmitCompoundAssign(const CompoundAssignOperator *E, 88707bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&)){ 888f045007fSEli Friedman RValue Val; 88907bb1966SJohn McCall LValue LV = EmitCompoundAssignLValue(E, Func, Val); 89007bb1966SJohn McCall 89107bb1966SJohn McCall // The result of an assignment in C is the assigned r-value. 8929c6890a7SRichard Smith if (!CGF.getLangOpts().CPlusPlus) 893f045007fSEli Friedman return Val.getComplexVal(); 89407bb1966SJohn McCall 89507bb1966SJohn McCall // If the lvalue is non-volatile, return the computed value of the assignment. 89607bb1966SJohn McCall if (!LV.isVolatileQualified()) 897f045007fSEli Friedman return Val.getComplexVal(); 89807bb1966SJohn McCall 8992d84e842SNick Lewycky return EmitLoadOfLValue(LV, E->getExprLoc()); 90007bb1966SJohn McCall } 90107bb1966SJohn McCall 90207bb1966SJohn McCall LValue ComplexExprEmitter::EmitBinAssignLValue(const BinaryOperator *E, 90307bb1966SJohn McCall ComplexPairTy &Val) { 904a8a089bfSDouglas Gregor assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(), 905a8a089bfSDouglas Gregor E->getRHS()->getType()) && 9060f398c44SChris Lattner "Invalid assignment"); 90707bb1966SJohn McCall TestAndClearIgnoreReal(); 90807bb1966SJohn McCall TestAndClearIgnoreImag(); 90907bb1966SJohn McCall 910d0a30016SJohn McCall // Emit the RHS. __block variables need the RHS evaluated first. 91107bb1966SJohn McCall Val = Visit(E->getRHS()); 9127a51313dSChris Lattner 9137a51313dSChris Lattner // Compute the address to store into. 9147a51313dSChris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 9157a51313dSChris Lattner 9168c94ffe7SDaniel Dunbar // Store the result value into the LHS lvalue. 917*538deffdSDavid Blaikie // FIXME 91847fb9508SJohn McCall EmitStoreOfComplex(Val, LHS, /*isInit*/ false); 91976d864c7SDaniel Dunbar 92007bb1966SJohn McCall return LHS; 92107bb1966SJohn McCall } 9228c94ffe7SDaniel Dunbar 92307bb1966SJohn McCall ComplexPairTy ComplexExprEmitter::VisitBinAssign(const BinaryOperator *E) { 92407bb1966SJohn McCall ComplexPairTy Val; 92507bb1966SJohn McCall LValue LV = EmitBinAssignLValue(E, Val); 92607bb1966SJohn McCall 92707bb1966SJohn McCall // The result of an assignment in C is the assigned r-value. 9289c6890a7SRichard Smith if (!CGF.getLangOpts().CPlusPlus) 92976d864c7SDaniel Dunbar return Val; 93007bb1966SJohn McCall 93107bb1966SJohn McCall // If the lvalue is non-volatile, return the computed value of the assignment. 93207bb1966SJohn McCall if (!LV.isVolatileQualified()) 93307bb1966SJohn McCall return Val; 93407bb1966SJohn McCall 9352d84e842SNick Lewycky return EmitLoadOfLValue(LV, E->getExprLoc()); 93676d864c7SDaniel Dunbar } 93776d864c7SDaniel Dunbar 9387a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitBinComma(const BinaryOperator *E) { 939a2342eb8SJohn McCall CGF.EmitIgnoredExpr(E->getLHS()); 9407a51313dSChris Lattner return Visit(E->getRHS()); 9417a51313dSChris Lattner } 9427a51313dSChris Lattner 9437a51313dSChris Lattner ComplexPairTy ComplexExprEmitter:: 944c07a0c7eSJohn McCall VisitAbstractConditionalOperator(const AbstractConditionalOperator *E) { 945df0fe27bSMike Stump TestAndClearIgnoreReal(); 946df0fe27bSMike Stump TestAndClearIgnoreImag(); 947a612e79bSDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 948a612e79bSDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 949a612e79bSDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 9507a51313dSChris Lattner 951c07a0c7eSJohn McCall // Bind the common expression if necessary. 95248fd89adSEli Friedman CodeGenFunction::OpaqueValueMapping binding(CGF, E); 953ce1de617SJohn McCall 954ef512b99SJustin Bogner RegionCounter Cnt = CGF.getPGORegionCounter(E); 955c07a0c7eSJohn McCall CodeGenFunction::ConditionalEvaluation eval(CGF); 956ef512b99SJustin Bogner CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock, Cnt.getCount()); 9577a51313dSChris Lattner 958ce1de617SJohn McCall eval.begin(CGF); 9597a51313dSChris Lattner CGF.EmitBlock(LHSBlock); 960ef512b99SJustin Bogner Cnt.beginRegion(Builder); 9618162d4adSFariborz Jahanian ComplexPairTy LHS = Visit(E->getTrueExpr()); 9627a51313dSChris Lattner LHSBlock = Builder.GetInsertBlock(); 963c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 964ce1de617SJohn McCall eval.end(CGF); 9657a51313dSChris Lattner 966ce1de617SJohn McCall eval.begin(CGF); 9677a51313dSChris Lattner CGF.EmitBlock(RHSBlock); 968c07a0c7eSJohn McCall ComplexPairTy RHS = Visit(E->getFalseExpr()); 9697a51313dSChris Lattner RHSBlock = Builder.GetInsertBlock(); 9707a51313dSChris Lattner CGF.EmitBlock(ContBlock); 971ce1de617SJohn McCall eval.end(CGF); 9727a51313dSChris Lattner 9737a51313dSChris Lattner // Create a PHI node for the real part. 97420c0f02cSJay Foad llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.r"); 9757a51313dSChris Lattner RealPN->addIncoming(LHS.first, LHSBlock); 9767a51313dSChris Lattner RealPN->addIncoming(RHS.first, RHSBlock); 9777a51313dSChris Lattner 9787a51313dSChris Lattner // Create a PHI node for the imaginary part. 97920c0f02cSJay Foad llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.i"); 9807a51313dSChris Lattner ImagPN->addIncoming(LHS.second, LHSBlock); 9817a51313dSChris Lattner ImagPN->addIncoming(RHS.second, RHSBlock); 9827a51313dSChris Lattner 9837a51313dSChris Lattner return ComplexPairTy(RealPN, ImagPN); 9847a51313dSChris Lattner } 9857a51313dSChris Lattner 9867a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitChooseExpr(ChooseExpr *E) { 98775807f23SEli Friedman return Visit(E->getChosenSubExpr()); 9887a51313dSChris Lattner } 9897a51313dSChris Lattner 990dd7406e6SEli Friedman ComplexPairTy ComplexExprEmitter::VisitInitListExpr(InitListExpr *E) { 991df0fe27bSMike Stump bool Ignore = TestAndClearIgnoreReal(); 992df0fe27bSMike Stump (void)Ignore; 993df0fe27bSMike Stump assert (Ignore == false && "init list ignored"); 994df0fe27bSMike Stump Ignore = TestAndClearIgnoreImag(); 995df0fe27bSMike Stump (void)Ignore; 996df0fe27bSMike Stump assert (Ignore == false && "init list ignored"); 9976b9c41eaSEli Friedman 9986b9c41eaSEli Friedman if (E->getNumInits() == 2) { 9996b9c41eaSEli Friedman llvm::Value *Real = CGF.EmitScalarExpr(E->getInit(0)); 10006b9c41eaSEli Friedman llvm::Value *Imag = CGF.EmitScalarExpr(E->getInit(1)); 10016b9c41eaSEli Friedman return ComplexPairTy(Real, Imag); 10026b9c41eaSEli Friedman } else if (E->getNumInits() == 1) { 1003dd7406e6SEli Friedman return Visit(E->getInit(0)); 10046b9c41eaSEli Friedman } 1005dd7406e6SEli Friedman 1006dd7406e6SEli Friedman // Empty init list intializes to null 10076b9c41eaSEli Friedman assert(E->getNumInits() == 0 && "Unexpected number of inits"); 100847fb9508SJohn McCall QualType Ty = E->getType()->castAs<ComplexType>()->getElementType(); 10092192fe50SChris Lattner llvm::Type* LTy = CGF.ConvertType(Ty); 10100b75f23bSOwen Anderson llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy); 1011dd7406e6SEli Friedman return ComplexPairTy(zeroConstant, zeroConstant); 1012dd7406e6SEli Friedman } 1013dd7406e6SEli Friedman 101400079612SDaniel Dunbar ComplexPairTy ComplexExprEmitter::VisitVAArgExpr(VAArgExpr *E) { 1015e9fcadd2SDaniel Dunbar llvm::Value *ArgValue = CGF.EmitVAListRef(E->getSubExpr()); 101600079612SDaniel Dunbar llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, E->getType()); 101700079612SDaniel Dunbar 101800079612SDaniel Dunbar if (!ArgPtr) { 101900079612SDaniel Dunbar CGF.ErrorUnsupported(E, "complex va_arg expression"); 10202192fe50SChris Lattner llvm::Type *EltTy = 102147fb9508SJohn McCall CGF.ConvertType(E->getType()->castAs<ComplexType>()->getElementType()); 102200079612SDaniel Dunbar llvm::Value *U = llvm::UndefValue::get(EltTy); 102300079612SDaniel Dunbar return ComplexPairTy(U, U); 102400079612SDaniel Dunbar } 102500079612SDaniel Dunbar 10262d84e842SNick Lewycky return EmitLoadOfLValue(CGF.MakeNaturalAlignAddrLValue(ArgPtr, E->getType()), 10272d84e842SNick Lewycky E->getExprLoc()); 102800079612SDaniel Dunbar } 102900079612SDaniel Dunbar 10307a51313dSChris Lattner //===----------------------------------------------------------------------===// 10317a51313dSChris Lattner // Entry Point into this File 10327a51313dSChris Lattner //===----------------------------------------------------------------------===// 10337a51313dSChris Lattner 10347a51313dSChris Lattner /// EmitComplexExpr - Emit the computation of the specified expression of 10357a51313dSChris Lattner /// complex type, ignoring the result. 1036df0fe27bSMike Stump ComplexPairTy CodeGenFunction::EmitComplexExpr(const Expr *E, bool IgnoreReal, 103707bb1966SJohn McCall bool IgnoreImag) { 103847fb9508SJohn McCall assert(E && getComplexType(E->getType()) && 10397a51313dSChris Lattner "Invalid complex expression to emit"); 10407a51313dSChris Lattner 104107bb1966SJohn McCall return ComplexExprEmitter(*this, IgnoreReal, IgnoreImag) 1042df0fe27bSMike Stump .Visit(const_cast<Expr*>(E)); 10437a51313dSChris Lattner } 10447a51313dSChris Lattner 104547fb9508SJohn McCall void CodeGenFunction::EmitComplexExprIntoLValue(const Expr *E, LValue dest, 1046*538deffdSDavid Blaikie bool isInit, 1047*538deffdSDavid Blaikie SourceLocation DbgLoc) { 104847fb9508SJohn McCall assert(E && getComplexType(E->getType()) && 10497a51313dSChris Lattner "Invalid complex expression to emit"); 10507a51313dSChris Lattner ComplexExprEmitter Emitter(*this); 10517a51313dSChris Lattner ComplexPairTy Val = Emitter.Visit(const_cast<Expr*>(E)); 1052*538deffdSDavid Blaikie Emitter.EmitStoreOfComplex(Val, dest, isInit, DbgLoc); 10537a51313dSChris Lattner } 10547a51313dSChris Lattner 105547fb9508SJohn McCall /// EmitStoreOfComplex - Store a complex number into the specified l-value. 105647fb9508SJohn McCall void CodeGenFunction::EmitStoreOfComplex(ComplexPairTy V, LValue dest, 1057*538deffdSDavid Blaikie bool isInit, SourceLocation DbgLoc) { 1058*538deffdSDavid Blaikie ComplexExprEmitter(*this).EmitStoreOfComplex(V, dest, isInit, DbgLoc); 10594b8c6db9SDaniel Dunbar } 10604b8c6db9SDaniel Dunbar 106147fb9508SJohn McCall /// EmitLoadOfComplex - Load a complex number from the specified address. 10622d84e842SNick Lewycky ComplexPairTy CodeGenFunction::EmitLoadOfComplex(LValue src, 10632d84e842SNick Lewycky SourceLocation loc) { 10642d84e842SNick Lewycky return ComplexExprEmitter(*this).EmitLoadOfLValue(src, loc); 10657a51313dSChris Lattner } 10664f29b49dSJohn McCall 10674f29b49dSJohn McCall LValue CodeGenFunction::EmitComplexAssignmentLValue(const BinaryOperator *E) { 1068a2342eb8SJohn McCall assert(E->getOpcode() == BO_Assign); 10694f29b49dSJohn McCall ComplexPairTy Val; // ignored 10704f29b49dSJohn McCall return ComplexExprEmitter(*this).EmitBinAssignLValue(E, Val); 1071a2342eb8SJohn McCall } 10724f29b49dSJohn McCall 1073f045007fSEli Friedman typedef ComplexPairTy (ComplexExprEmitter::*CompoundFunc)( 1074f045007fSEli Friedman const ComplexExprEmitter::BinOpInfo &); 10754f29b49dSJohn McCall 1076f045007fSEli Friedman static CompoundFunc getComplexOp(BinaryOperatorKind Op) { 1077f045007fSEli Friedman switch (Op) { 1078f045007fSEli Friedman case BO_MulAssign: return &ComplexExprEmitter::EmitBinMul; 1079f045007fSEli Friedman case BO_DivAssign: return &ComplexExprEmitter::EmitBinDiv; 1080f045007fSEli Friedman case BO_SubAssign: return &ComplexExprEmitter::EmitBinSub; 1081f045007fSEli Friedman case BO_AddAssign: return &ComplexExprEmitter::EmitBinAdd; 10824f29b49dSJohn McCall default: 10834f29b49dSJohn McCall llvm_unreachable("unexpected complex compound assignment"); 10844f29b49dSJohn McCall } 1085f045007fSEli Friedman } 10864f29b49dSJohn McCall 1087f045007fSEli Friedman LValue CodeGenFunction:: 1088f045007fSEli Friedman EmitComplexCompoundAssignmentLValue(const CompoundAssignOperator *E) { 1089f045007fSEli Friedman CompoundFunc Op = getComplexOp(E->getOpcode()); 1090f045007fSEli Friedman RValue Val; 1091a2342eb8SJohn McCall return ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val); 10924f29b49dSJohn McCall } 1093f045007fSEli Friedman 1094f045007fSEli Friedman LValue CodeGenFunction:: 1095f045007fSEli Friedman EmitScalarCompooundAssignWithComplex(const CompoundAssignOperator *E, 1096f045007fSEli Friedman llvm::Value *&Result) { 1097f045007fSEli Friedman CompoundFunc Op = getComplexOp(E->getOpcode()); 1098f045007fSEli Friedman RValue Val; 1099f045007fSEli Friedman LValue Ret = ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val); 1100f045007fSEli Friedman Result = Val.getScalarVal(); 1101f045007fSEli Friedman return Ret; 1102f045007fSEli Friedman } 1103