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/StmtVisitor.h" 170c4b230bSChandler Carruth #include "llvm/ADT/STLExtras.h" 18ffd5551bSChandler Carruth #include "llvm/IR/Constants.h" 190c4b230bSChandler Carruth #include "llvm/IR/Instructions.h" 200c4b230bSChandler Carruth #include "llvm/IR/MDBuilder.h" 210c4b230bSChandler Carruth #include "llvm/IR/Metadata.h" 2227dcbb24SJF Bastien #include <algorithm> 237a51313dSChris Lattner using namespace clang; 247a51313dSChris Lattner using namespace CodeGen; 257a51313dSChris Lattner 267a51313dSChris Lattner //===----------------------------------------------------------------------===// 277a51313dSChris Lattner // Complex Expression Emitter 287a51313dSChris Lattner //===----------------------------------------------------------------------===// 297a51313dSChris Lattner 307a51313dSChris Lattner typedef CodeGenFunction::ComplexPairTy ComplexPairTy; 317a51313dSChris Lattner 3247fb9508SJohn McCall /// Return the complex type that we are meant to emit. 3347fb9508SJohn McCall static const ComplexType *getComplexType(QualType type) { 3447fb9508SJohn McCall type = type.getCanonicalType(); 3547fb9508SJohn McCall if (const ComplexType *comp = dyn_cast<ComplexType>(type)) { 3647fb9508SJohn McCall return comp; 3747fb9508SJohn McCall } else { 3847fb9508SJohn McCall return cast<ComplexType>(cast<AtomicType>(type)->getValueType()); 3947fb9508SJohn McCall } 4047fb9508SJohn McCall } 4147fb9508SJohn McCall 427a51313dSChris Lattner namespace { 43337e3a5fSBenjamin Kramer class ComplexExprEmitter 447a51313dSChris Lattner : public StmtVisitor<ComplexExprEmitter, ComplexPairTy> { 457a51313dSChris Lattner CodeGenFunction &CGF; 46cb463859SDaniel Dunbar CGBuilderTy &Builder; 47df0fe27bSMike Stump bool IgnoreReal; 48df0fe27bSMike Stump bool IgnoreImag; 497a51313dSChris Lattner public: 5007bb1966SJohn McCall ComplexExprEmitter(CodeGenFunction &cgf, bool ir=false, bool ii=false) 5107bb1966SJohn McCall : CGF(cgf), Builder(CGF.Builder), IgnoreReal(ir), IgnoreImag(ii) { 527a51313dSChris Lattner } 537a51313dSChris Lattner 547a51313dSChris Lattner 557a51313dSChris Lattner //===--------------------------------------------------------------------===// 567a51313dSChris Lattner // Utilities 577a51313dSChris Lattner //===--------------------------------------------------------------------===// 587a51313dSChris Lattner 59df0fe27bSMike Stump bool TestAndClearIgnoreReal() { 60df0fe27bSMike Stump bool I = IgnoreReal; 61df0fe27bSMike Stump IgnoreReal = false; 62df0fe27bSMike Stump return I; 63df0fe27bSMike Stump } 64df0fe27bSMike Stump bool TestAndClearIgnoreImag() { 65df0fe27bSMike Stump bool I = IgnoreImag; 66df0fe27bSMike Stump IgnoreImag = false; 67df0fe27bSMike Stump return I; 68df0fe27bSMike Stump } 69df0fe27bSMike Stump 707a51313dSChris Lattner /// EmitLoadOfLValue - Given an expression with complex type that represents a 717a51313dSChris Lattner /// value l-value, this method emits the address of the l-value, then loads 727a51313dSChris Lattner /// and returns the result. 737a51313dSChris Lattner ComplexPairTy EmitLoadOfLValue(const Expr *E) { 742d84e842SNick Lewycky return EmitLoadOfLValue(CGF.EmitLValue(E), E->getExprLoc()); 75e26a872bSJohn McCall } 76e26a872bSJohn McCall 772d84e842SNick Lewycky ComplexPairTy EmitLoadOfLValue(LValue LV, SourceLocation Loc); 78e26a872bSJohn McCall 797a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the 807a51313dSChris Lattner /// specified value pointer. 8166e4197fSDavid Blaikie void EmitStoreOfComplex(ComplexPairTy Val, LValue LV, bool isInit); 827a51313dSChris Lattner 83650d7f7dSFilipe Cabecinhas /// Emit a cast from complex value Val to DestType. 847a51313dSChris Lattner ComplexPairTy EmitComplexToComplexCast(ComplexPairTy Val, QualType SrcType, 857af183d8SFilipe Cabecinhas QualType DestType, SourceLocation Loc); 86650d7f7dSFilipe Cabecinhas /// Emit a cast from scalar value Val to DestType. 87f045007fSEli Friedman ComplexPairTy EmitScalarToComplexCast(llvm::Value *Val, QualType SrcType, 887af183d8SFilipe Cabecinhas QualType DestType, SourceLocation Loc); 897a51313dSChris Lattner 907a51313dSChris Lattner //===--------------------------------------------------------------------===// 917a51313dSChris Lattner // Visitor Methods 927a51313dSChris Lattner //===--------------------------------------------------------------------===// 937a51313dSChris Lattner 948162d4adSFariborz Jahanian ComplexPairTy Visit(Expr *E) { 959b479666SDavid Blaikie ApplyDebugLocation DL(CGF, E); 968162d4adSFariborz Jahanian return StmtVisitor<ComplexExprEmitter, ComplexPairTy>::Visit(E); 978162d4adSFariborz Jahanian } 988162d4adSFariborz Jahanian 997a51313dSChris Lattner ComplexPairTy VisitStmt(Stmt *S) { 1007a51313dSChris Lattner S->dump(CGF.getContext().getSourceManager()); 10183d382b1SDavid Blaikie llvm_unreachable("Stmt can't have complex result type!"); 1027a51313dSChris Lattner } 1037a51313dSChris Lattner ComplexPairTy VisitExpr(Expr *S); 1047a51313dSChris Lattner ComplexPairTy VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr());} 10591147596SPeter Collingbourne ComplexPairTy VisitGenericSelectionExpr(GenericSelectionExpr *GE) { 10691147596SPeter Collingbourne return Visit(GE->getResultExpr()); 10791147596SPeter Collingbourne } 1087a51313dSChris Lattner ComplexPairTy VisitImaginaryLiteral(const ImaginaryLiteral *IL); 1097c454bb8SJohn McCall ComplexPairTy 1107c454bb8SJohn McCall VisitSubstNonTypeTemplateParmExpr(SubstNonTypeTemplateParmExpr *PE) { 1117c454bb8SJohn McCall return Visit(PE->getReplacement()); 1127c454bb8SJohn McCall } 1135eb58583SGor Nishanov ComplexPairTy VisitCoawaitExpr(CoawaitExpr *S) { 1145eb58583SGor Nishanov return CGF.EmitCoawaitExpr(*S).getComplexVal(); 1155eb58583SGor Nishanov } 1165eb58583SGor Nishanov ComplexPairTy VisitCoyieldExpr(CoyieldExpr *S) { 1175eb58583SGor Nishanov return CGF.EmitCoyieldExpr(*S).getComplexVal(); 1185eb58583SGor Nishanov } 1195eb58583SGor Nishanov ComplexPairTy VisitUnaryCoawait(const UnaryOperator *E) { 1205eb58583SGor Nishanov return Visit(E->getSubExpr()); 1215eb58583SGor Nishanov } 1225eb58583SGor Nishanov 123*6cc8317cSAlex Lorenz ComplexPairTy emitConstant(const CodeGenFunction::ConstantEmission &Constant, 124*6cc8317cSAlex Lorenz Expr *E) { 125*6cc8317cSAlex Lorenz assert(Constant && "not a constant"); 126*6cc8317cSAlex Lorenz if (Constant.isReference()) 127*6cc8317cSAlex Lorenz return EmitLoadOfLValue(Constant.getReferenceLValue(CGF, E), 1282d84e842SNick Lewycky E->getExprLoc()); 12971335059SJohn McCall 130*6cc8317cSAlex Lorenz llvm::Constant *pair = Constant.getValue(); 13164f23918SEli Friedman return ComplexPairTy(pair->getAggregateElement(0U), 13264f23918SEli Friedman pair->getAggregateElement(1U)); 13371335059SJohn McCall } 134*6cc8317cSAlex Lorenz 135*6cc8317cSAlex Lorenz // l-values. 136*6cc8317cSAlex Lorenz ComplexPairTy VisitDeclRefExpr(DeclRefExpr *E) { 137*6cc8317cSAlex Lorenz if (CodeGenFunction::ConstantEmission Constant = CGF.tryEmitAsConstant(E)) 138*6cc8317cSAlex Lorenz return emitConstant(Constant, E); 139113bee05SJohn McCall return EmitLoadOfLValue(E); 14071335059SJohn McCall } 14176d864c7SDaniel Dunbar ComplexPairTy VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 14276d864c7SDaniel Dunbar return EmitLoadOfLValue(E); 14376d864c7SDaniel Dunbar } 14476d864c7SDaniel Dunbar ComplexPairTy VisitObjCMessageExpr(ObjCMessageExpr *E) { 14576d864c7SDaniel Dunbar return CGF.EmitObjCMessageExpr(E).getComplexVal(); 14676d864c7SDaniel Dunbar } 1477a51313dSChris Lattner ComplexPairTy VisitArraySubscriptExpr(Expr *E) { return EmitLoadOfLValue(E); } 148*6cc8317cSAlex Lorenz ComplexPairTy VisitMemberExpr(MemberExpr *ME) { 149*6cc8317cSAlex Lorenz if (CodeGenFunction::ConstantEmission Constant = 150*6cc8317cSAlex Lorenz CGF.tryEmitAsConstant(ME)) { 151*6cc8317cSAlex Lorenz CGF.EmitIgnoredExpr(ME->getBase()); 152*6cc8317cSAlex Lorenz return emitConstant(Constant, ME); 153*6cc8317cSAlex Lorenz } 154*6cc8317cSAlex Lorenz return EmitLoadOfLValue(ME); 155*6cc8317cSAlex Lorenz } 1561bf5846aSJohn McCall ComplexPairTy VisitOpaqueValueExpr(OpaqueValueExpr *E) { 157c07a0c7eSJohn McCall if (E->isGLValue()) 1582d84e842SNick Lewycky return EmitLoadOfLValue(CGF.getOpaqueLValueMapping(E), E->getExprLoc()); 159c07a0c7eSJohn McCall return CGF.getOpaqueRValueMapping(E).getComplexVal(); 1601bf5846aSJohn McCall } 1617a51313dSChris Lattner 162fe96e0b6SJohn McCall ComplexPairTy VisitPseudoObjectExpr(PseudoObjectExpr *E) { 163fe96e0b6SJohn McCall return CGF.EmitPseudoObjectRValue(E).getComplexVal(); 164fe96e0b6SJohn McCall } 165fe96e0b6SJohn McCall 1667a51313dSChris Lattner // FIXME: CompoundLiteralExpr 1677a51313dSChris Lattner 1681a07fd18SCraig Topper ComplexPairTy EmitCast(CastKind CK, Expr *Op, QualType DestTy); 1697a51313dSChris Lattner ComplexPairTy VisitImplicitCastExpr(ImplicitCastExpr *E) { 1707a51313dSChris Lattner // Unlike for scalars, we don't have to worry about function->ptr demotion 1717a51313dSChris Lattner // here. 172c357f412SDouglas Gregor return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType()); 1737a51313dSChris Lattner } 1747a51313dSChris Lattner ComplexPairTy VisitCastExpr(CastExpr *E) { 1752bf9b4c0SAlexey Bataev if (const auto *ECE = dyn_cast<ExplicitCastExpr>(E)) 1762bf9b4c0SAlexey Bataev CGF.CGM.EmitExplicitCastExprType(ECE, &CGF); 177c357f412SDouglas Gregor return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType()); 1787a51313dSChris Lattner } 1797a51313dSChris Lattner ComplexPairTy VisitCallExpr(const CallExpr *E); 1807a51313dSChris Lattner ComplexPairTy VisitStmtExpr(const StmtExpr *E); 1817a51313dSChris Lattner 1827a51313dSChris Lattner // Operators. 1837a51313dSChris Lattner ComplexPairTy VisitPrePostIncDec(const UnaryOperator *E, 184116ce8f1SChris Lattner bool isInc, bool isPre) { 185116ce8f1SChris Lattner LValue LV = CGF.EmitLValue(E->getSubExpr()); 186116ce8f1SChris Lattner return CGF.EmitComplexPrePostIncDec(E, LV, isInc, isPre); 187116ce8f1SChris Lattner } 1887a51313dSChris Lattner ComplexPairTy VisitUnaryPostDec(const UnaryOperator *E) { 1897a51313dSChris Lattner return VisitPrePostIncDec(E, false, false); 1907a51313dSChris Lattner } 1917a51313dSChris Lattner ComplexPairTy VisitUnaryPostInc(const UnaryOperator *E) { 1927a51313dSChris Lattner return VisitPrePostIncDec(E, true, false); 1937a51313dSChris Lattner } 1947a51313dSChris Lattner ComplexPairTy VisitUnaryPreDec(const UnaryOperator *E) { 1957a51313dSChris Lattner return VisitPrePostIncDec(E, false, true); 1967a51313dSChris Lattner } 1977a51313dSChris Lattner ComplexPairTy VisitUnaryPreInc(const UnaryOperator *E) { 1987a51313dSChris Lattner return VisitPrePostIncDec(E, true, true); 1997a51313dSChris Lattner } 2007a51313dSChris Lattner ComplexPairTy VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 2017a51313dSChris Lattner ComplexPairTy VisitUnaryPlus (const UnaryOperator *E) { 202df0fe27bSMike Stump TestAndClearIgnoreReal(); 203df0fe27bSMike Stump TestAndClearIgnoreImag(); 2047a51313dSChris Lattner return Visit(E->getSubExpr()); 2057a51313dSChris Lattner } 2067a51313dSChris Lattner ComplexPairTy VisitUnaryMinus (const UnaryOperator *E); 2077a51313dSChris Lattner ComplexPairTy VisitUnaryNot (const UnaryOperator *E); 2086f28289aSSebastian Redl // LNot,Real,Imag never return complex. 2097a51313dSChris Lattner ComplexPairTy VisitUnaryExtension(const UnaryOperator *E) { 2107a51313dSChris Lattner return Visit(E->getSubExpr()); 2117a51313dSChris Lattner } 212aa9c7aedSChris Lattner ComplexPairTy VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 213aa9c7aedSChris Lattner return Visit(DAE->getExpr()); 214aa9c7aedSChris Lattner } 215852c9db7SRichard Smith ComplexPairTy VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) { 216852c9db7SRichard Smith CodeGenFunction::CXXDefaultInitExprScope Scope(CGF); 217852c9db7SRichard Smith return Visit(DIE->getExpr()); 218852c9db7SRichard Smith } 2195d413781SJohn McCall ComplexPairTy VisitExprWithCleanups(ExprWithCleanups *E) { 22008ef4660SJohn McCall CGF.enterFullExpression(E); 22108ef4660SJohn McCall CodeGenFunction::RunCleanupsScope Scope(CGF); 222092d0652SReid Kleckner ComplexPairTy Vals = Visit(E->getSubExpr()); 223092d0652SReid Kleckner // Defend against dominance problems caused by jumps out of expression 224092d0652SReid Kleckner // evaluation through the shared cleanup block. 225092d0652SReid Kleckner Scope.ForceCleanup({&Vals.first, &Vals.second}); 226092d0652SReid Kleckner return Vals; 227c0092ad3SAnders Carlsson } 228747eb784SDouglas Gregor ComplexPairTy VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) { 229ce4528f0SArgyrios Kyrtzidis assert(E->getType()->isAnyComplexType() && "Expected complex type!"); 23047fb9508SJohn McCall QualType Elem = E->getType()->castAs<ComplexType>()->getElementType(); 2314a3999feSMike Stump llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem)); 232ce4528f0SArgyrios Kyrtzidis return ComplexPairTy(Null, Null); 233ce4528f0SArgyrios Kyrtzidis } 2340202cb40SDouglas Gregor ComplexPairTy VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) { 2350202cb40SDouglas Gregor assert(E->getType()->isAnyComplexType() && "Expected complex type!"); 23647fb9508SJohn McCall QualType Elem = E->getType()->castAs<ComplexType>()->getElementType(); 237ae86c19eSOwen Anderson llvm::Constant *Null = 2380b75f23bSOwen Anderson llvm::Constant::getNullValue(CGF.ConvertType(Elem)); 2390202cb40SDouglas Gregor return ComplexPairTy(Null, Null); 2400202cb40SDouglas Gregor } 2417a51313dSChris Lattner 2427a51313dSChris Lattner struct BinOpInfo { 2437a51313dSChris Lattner ComplexPairTy LHS; 2447a51313dSChris Lattner ComplexPairTy RHS; 2457a51313dSChris Lattner QualType Ty; // Computation Type. 2467a51313dSChris Lattner }; 2477a51313dSChris Lattner 2487a51313dSChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 24907bb1966SJohn McCall LValue EmitCompoundAssignLValue(const CompoundAssignOperator *E, 25007bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func) 25107bb1966SJohn McCall (const BinOpInfo &), 252f045007fSEli Friedman RValue &Val); 2537a51313dSChris Lattner ComplexPairTy EmitCompoundAssign(const CompoundAssignOperator *E, 2547a51313dSChris Lattner ComplexPairTy (ComplexExprEmitter::*Func) 2557a51313dSChris Lattner (const BinOpInfo &)); 2567a51313dSChris Lattner 2577a51313dSChris Lattner ComplexPairTy EmitBinAdd(const BinOpInfo &Op); 2587a51313dSChris Lattner ComplexPairTy EmitBinSub(const BinOpInfo &Op); 2597a51313dSChris Lattner ComplexPairTy EmitBinMul(const BinOpInfo &Op); 2607a51313dSChris Lattner ComplexPairTy EmitBinDiv(const BinOpInfo &Op); 2617a51313dSChris Lattner 262a216cad0SChandler Carruth ComplexPairTy EmitComplexBinOpLibCall(StringRef LibCallName, 263a216cad0SChandler Carruth const BinOpInfo &Op); 264a216cad0SChandler Carruth 2657a51313dSChris Lattner ComplexPairTy VisitBinAdd(const BinaryOperator *E) { 2667a51313dSChris Lattner return EmitBinAdd(EmitBinOps(E)); 2677a51313dSChris Lattner } 2687a51313dSChris Lattner ComplexPairTy VisitBinSub(const BinaryOperator *E) { 2697a51313dSChris Lattner return EmitBinSub(EmitBinOps(E)); 2707a51313dSChris Lattner } 27107bb1966SJohn McCall ComplexPairTy VisitBinMul(const BinaryOperator *E) { 27207bb1966SJohn McCall return EmitBinMul(EmitBinOps(E)); 27307bb1966SJohn McCall } 2747a51313dSChris Lattner ComplexPairTy VisitBinDiv(const BinaryOperator *E) { 2757a51313dSChris Lattner return EmitBinDiv(EmitBinOps(E)); 2767a51313dSChris Lattner } 2777a51313dSChris Lattner 2787a51313dSChris Lattner // Compound assignments. 2797a51313dSChris Lattner ComplexPairTy VisitBinAddAssign(const CompoundAssignOperator *E) { 2807a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd); 2817a51313dSChris Lattner } 2827a51313dSChris Lattner ComplexPairTy VisitBinSubAssign(const CompoundAssignOperator *E) { 2837a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub); 2847a51313dSChris Lattner } 2857a51313dSChris Lattner ComplexPairTy VisitBinMulAssign(const CompoundAssignOperator *E) { 2867a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul); 2877a51313dSChris Lattner } 2887a51313dSChris Lattner ComplexPairTy VisitBinDivAssign(const CompoundAssignOperator *E) { 2897a51313dSChris Lattner return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv); 2907a51313dSChris Lattner } 2917a51313dSChris Lattner 2927a51313dSChris Lattner // GCC rejects rem/and/or/xor for integer complex. 2937a51313dSChris Lattner // Logical and/or always return int, never complex. 2947a51313dSChris Lattner 2957a51313dSChris Lattner // No comparisons produce a complex result. 29607bb1966SJohn McCall 29707bb1966SJohn McCall LValue EmitBinAssignLValue(const BinaryOperator *E, 29807bb1966SJohn McCall ComplexPairTy &Val); 2997a51313dSChris Lattner ComplexPairTy VisitBinAssign (const BinaryOperator *E); 3007a51313dSChris Lattner ComplexPairTy VisitBinComma (const BinaryOperator *E); 3017a51313dSChris Lattner 3027a51313dSChris Lattner 303c07a0c7eSJohn McCall ComplexPairTy 304c07a0c7eSJohn McCall VisitAbstractConditionalOperator(const AbstractConditionalOperator *CO); 3057a51313dSChris Lattner ComplexPairTy VisitChooseExpr(ChooseExpr *CE); 306dd7406e6SEli Friedman 307dd7406e6SEli Friedman ComplexPairTy VisitInitListExpr(InitListExpr *E); 30800079612SDaniel Dunbar 309afa84ae8SEli Friedman ComplexPairTy VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 310afa84ae8SEli Friedman return EmitLoadOfLValue(E); 311afa84ae8SEli Friedman } 312afa84ae8SEli Friedman 31300079612SDaniel Dunbar ComplexPairTy VisitVAArgExpr(VAArgExpr *E); 314df14b3a8SEli Friedman 315df14b3a8SEli Friedman ComplexPairTy VisitAtomicExpr(AtomicExpr *E) { 316df14b3a8SEli Friedman return CGF.EmitAtomicExpr(E).getComplexVal(); 317df14b3a8SEli Friedman } 3187a51313dSChris Lattner }; 3197a51313dSChris Lattner } // end anonymous namespace. 3207a51313dSChris Lattner 3217a51313dSChris Lattner //===----------------------------------------------------------------------===// 3227a51313dSChris Lattner // Utilities 3237a51313dSChris Lattner //===----------------------------------------------------------------------===// 3247a51313dSChris Lattner 3257f416cc4SJohn McCall Address CodeGenFunction::emitAddrOfRealComponent(Address addr, 3267f416cc4SJohn McCall QualType complexType) { 3277f416cc4SJohn McCall CharUnits offset = CharUnits::Zero(); 3287f416cc4SJohn McCall return Builder.CreateStructGEP(addr, 0, offset, addr.getName() + ".realp"); 3297f416cc4SJohn McCall } 3307f416cc4SJohn McCall 3317f416cc4SJohn McCall Address CodeGenFunction::emitAddrOfImagComponent(Address addr, 3327f416cc4SJohn McCall QualType complexType) { 3337f416cc4SJohn McCall QualType eltType = complexType->castAs<ComplexType>()->getElementType(); 3347f416cc4SJohn McCall CharUnits offset = getContext().getTypeSizeInChars(eltType); 3357f416cc4SJohn McCall return Builder.CreateStructGEP(addr, 1, offset, addr.getName() + ".imagp"); 3367f416cc4SJohn McCall } 3377f416cc4SJohn McCall 33847fb9508SJohn McCall /// EmitLoadOfLValue - Given an RValue reference for a complex, emit code to 3397a51313dSChris Lattner /// load the real and imaginary pieces, returning them as Real/Imag. 3402d84e842SNick Lewycky ComplexPairTy ComplexExprEmitter::EmitLoadOfLValue(LValue lvalue, 3412d84e842SNick Lewycky SourceLocation loc) { 34247fb9508SJohn McCall assert(lvalue.isSimple() && "non-simple complex l-value?"); 343a8ec7eb9SJohn McCall if (lvalue.getType()->isAtomicType()) 3442d84e842SNick Lewycky return CGF.EmitAtomicLoad(lvalue, loc).getComplexVal(); 345a8ec7eb9SJohn McCall 3467f416cc4SJohn McCall Address SrcPtr = lvalue.getAddress(); 34747fb9508SJohn McCall bool isVolatile = lvalue.isVolatileQualified(); 34847fb9508SJohn McCall 3498a13c418SCraig Topper llvm::Value *Real = nullptr, *Imag = nullptr; 350df0fe27bSMike Stump 35183fe49d1SJohn McCall if (!IgnoreReal || isVolatile) { 3527f416cc4SJohn McCall Address RealP = CGF.emitAddrOfRealComponent(SrcPtr, lvalue.getType()); 3537f416cc4SJohn McCall Real = Builder.CreateLoad(RealP, isVolatile, SrcPtr.getName() + ".real"); 354df0fe27bSMike Stump } 355df0fe27bSMike Stump 35683fe49d1SJohn McCall if (!IgnoreImag || isVolatile) { 3577f416cc4SJohn McCall Address ImagP = CGF.emitAddrOfImagComponent(SrcPtr, lvalue.getType()); 3587f416cc4SJohn McCall Imag = Builder.CreateLoad(ImagP, isVolatile, SrcPtr.getName() + ".imag"); 359df0fe27bSMike Stump } 3607f416cc4SJohn McCall 3617a51313dSChris Lattner return ComplexPairTy(Real, Imag); 3627a51313dSChris Lattner } 3637a51313dSChris Lattner 3647a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the 3657a51313dSChris Lattner /// specified value pointer. 366538deffdSDavid Blaikie void ComplexExprEmitter::EmitStoreOfComplex(ComplexPairTy Val, LValue lvalue, 36766e4197fSDavid Blaikie bool isInit) { 368a5b195a1SDavid Majnemer if (lvalue.getType()->isAtomicType() || 369a5b195a1SDavid Majnemer (!isInit && CGF.LValueIsSuitableForInlineAtomic(lvalue))) 370a8ec7eb9SJohn McCall return CGF.EmitAtomicStore(RValue::getComplex(Val), lvalue, isInit); 371a8ec7eb9SJohn McCall 3727f416cc4SJohn McCall Address Ptr = lvalue.getAddress(); 3737f416cc4SJohn McCall Address RealPtr = CGF.emitAddrOfRealComponent(Ptr, lvalue.getType()); 3747f416cc4SJohn McCall Address ImagPtr = CGF.emitAddrOfImagComponent(Ptr, lvalue.getType()); 3757a51313dSChris Lattner 3767f416cc4SJohn McCall Builder.CreateStore(Val.first, RealPtr, lvalue.isVolatileQualified()); 3777f416cc4SJohn McCall Builder.CreateStore(Val.second, ImagPtr, lvalue.isVolatileQualified()); 3787a51313dSChris Lattner } 3797a51313dSChris Lattner 3807a51313dSChris Lattner 3817a51313dSChris Lattner 3827a51313dSChris Lattner //===----------------------------------------------------------------------===// 3837a51313dSChris Lattner // Visitor Methods 3847a51313dSChris Lattner //===----------------------------------------------------------------------===// 3857a51313dSChris Lattner 3867a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitExpr(Expr *E) { 387b74711dfSFariborz Jahanian CGF.ErrorUnsupported(E, "complex expression"); 388b74711dfSFariborz Jahanian llvm::Type *EltTy = 38947fb9508SJohn McCall CGF.ConvertType(getComplexType(E->getType())->getElementType()); 390b74711dfSFariborz Jahanian llvm::Value *U = llvm::UndefValue::get(EltTy); 391b74711dfSFariborz Jahanian return ComplexPairTy(U, U); 3927a51313dSChris Lattner } 3937a51313dSChris Lattner 3947a51313dSChris Lattner ComplexPairTy ComplexExprEmitter:: 3957a51313dSChris Lattner VisitImaginaryLiteral(const ImaginaryLiteral *IL) { 3967a51313dSChris Lattner llvm::Value *Imag = CGF.EmitScalarExpr(IL->getSubExpr()); 397294c2db4SJohn McCall return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag); 3987a51313dSChris Lattner } 3997a51313dSChris Lattner 4007a51313dSChris Lattner 4017a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitCallExpr(const CallExpr *E) { 402ced8bdf7SDavid Majnemer if (E->getCallReturnType(CGF.getContext())->isReferenceType()) 403d8b7ae20SAnders Carlsson return EmitLoadOfLValue(E); 404d8b7ae20SAnders Carlsson 4057a51313dSChris Lattner return CGF.EmitCallExpr(E).getComplexVal(); 4067a51313dSChris Lattner } 4077a51313dSChris Lattner 4087a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitStmtExpr(const StmtExpr *E) { 409ce1de617SJohn McCall CodeGenFunction::StmtExprEvaluation eval(CGF); 4107f416cc4SJohn McCall Address RetAlloca = CGF.EmitCompoundStmt(*E->getSubStmt(), true); 4117f416cc4SJohn McCall assert(RetAlloca.isValid() && "Expected complex return value"); 4122d84e842SNick Lewycky return EmitLoadOfLValue(CGF.MakeAddrLValue(RetAlloca, E->getType()), 4132d84e842SNick Lewycky E->getExprLoc()); 4147a51313dSChris Lattner } 4157a51313dSChris Lattner 416650d7f7dSFilipe Cabecinhas /// Emit a cast from complex value Val to DestType. 4177a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitComplexToComplexCast(ComplexPairTy Val, 4187a51313dSChris Lattner QualType SrcType, 4197af183d8SFilipe Cabecinhas QualType DestType, 4207af183d8SFilipe Cabecinhas SourceLocation Loc) { 4217a51313dSChris Lattner // Get the src/dest element type. 42247fb9508SJohn McCall SrcType = SrcType->castAs<ComplexType>()->getElementType(); 42347fb9508SJohn McCall DestType = DestType->castAs<ComplexType>()->getElementType(); 4247a51313dSChris Lattner 4257a51313dSChris Lattner // C99 6.3.1.6: When a value of complex type is converted to another 4267a51313dSChris Lattner // complex type, both the real and imaginary parts follow the conversion 4277a51313dSChris Lattner // rules for the corresponding real types. 4287af183d8SFilipe Cabecinhas Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType, Loc); 4297af183d8SFilipe Cabecinhas Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType, Loc); 4307a51313dSChris Lattner return Val; 4317a51313dSChris Lattner } 4327a51313dSChris Lattner 433f045007fSEli Friedman ComplexPairTy ComplexExprEmitter::EmitScalarToComplexCast(llvm::Value *Val, 434f045007fSEli Friedman QualType SrcType, 4357af183d8SFilipe Cabecinhas QualType DestType, 4367af183d8SFilipe Cabecinhas SourceLocation Loc) { 437f045007fSEli Friedman // Convert the input element to the element type of the complex. 438f045007fSEli Friedman DestType = DestType->castAs<ComplexType>()->getElementType(); 4397af183d8SFilipe Cabecinhas Val = CGF.EmitScalarConversion(Val, SrcType, DestType, Loc); 440f045007fSEli Friedman 441f045007fSEli Friedman // Return (realval, 0). 442f045007fSEli Friedman return ComplexPairTy(Val, llvm::Constant::getNullValue(Val->getType())); 443f045007fSEli Friedman } 444f045007fSEli Friedman 4451a07fd18SCraig Topper ComplexPairTy ComplexExprEmitter::EmitCast(CastKind CK, Expr *Op, 446c357f412SDouglas Gregor QualType DestTy) { 44734376a68SJohn McCall switch (CK) { 4485836852eSEli Friedman case CK_Dependent: llvm_unreachable("dependent cast kind in IR gen!"); 44934376a68SJohn McCall 450fa35df62SDavid Chisnall // Atomic to non-atomic casts may be more than a no-op for some platforms and 451fa35df62SDavid Chisnall // for some types. 452fa35df62SDavid Chisnall case CK_AtomicToNonAtomic: 453fa35df62SDavid Chisnall case CK_NonAtomicToAtomic: 45434376a68SJohn McCall case CK_NoOp: 45534376a68SJohn McCall case CK_LValueToRValue: 4565836852eSEli Friedman case CK_UserDefinedConversion: 45734376a68SJohn McCall return Visit(Op); 45834376a68SJohn McCall 4595836852eSEli Friedman case CK_LValueBitCast: { 46047fb9508SJohn McCall LValue origLV = CGF.EmitLValue(Op); 4617f416cc4SJohn McCall Address V = origLV.getAddress(); 4627f416cc4SJohn McCall V = Builder.CreateElementBitCast(V, CGF.ConvertType(DestTy)); 4637f416cc4SJohn McCall return EmitLoadOfLValue(CGF.MakeAddrLValue(V, DestTy), Op->getExprLoc()); 464c357f412SDouglas Gregor } 465c357f412SDouglas Gregor 4665836852eSEli Friedman case CK_BitCast: 4675836852eSEli Friedman case CK_BaseToDerived: 4685836852eSEli Friedman case CK_DerivedToBase: 4695836852eSEli Friedman case CK_UncheckedDerivedToBase: 4705836852eSEli Friedman case CK_Dynamic: 4715836852eSEli Friedman case CK_ToUnion: 4725836852eSEli Friedman case CK_ArrayToPointerDecay: 4735836852eSEli Friedman case CK_FunctionToPointerDecay: 4745836852eSEli Friedman case CK_NullToPointer: 4755836852eSEli Friedman case CK_NullToMemberPointer: 4765836852eSEli Friedman case CK_BaseToDerivedMemberPointer: 4775836852eSEli Friedman case CK_DerivedToBaseMemberPointer: 4785836852eSEli Friedman case CK_MemberPointerToBoolean: 479c62bb391SJohn McCall case CK_ReinterpretMemberPointer: 4805836852eSEli Friedman case CK_ConstructorConversion: 4815836852eSEli Friedman case CK_IntegralToPointer: 4825836852eSEli Friedman case CK_PointerToIntegral: 4835836852eSEli Friedman case CK_PointerToBoolean: 4845836852eSEli Friedman case CK_ToVoid: 4855836852eSEli Friedman case CK_VectorSplat: 4865836852eSEli Friedman case CK_IntegralCast: 487df1ed009SGeorge Burgess IV case CK_BooleanToSignedIntegral: 4885836852eSEli Friedman case CK_IntegralToBoolean: 4895836852eSEli Friedman case CK_IntegralToFloating: 4905836852eSEli Friedman case CK_FloatingToIntegral: 4915836852eSEli Friedman case CK_FloatingToBoolean: 4925836852eSEli Friedman case CK_FloatingCast: 4939320b87cSJohn McCall case CK_CPointerToObjCPointerCast: 4949320b87cSJohn McCall case CK_BlockPointerToObjCPointerCast: 4955836852eSEli Friedman case CK_AnyPointerToBlockPointerCast: 4965836852eSEli Friedman case CK_ObjCObjectLValueCast: 4975836852eSEli Friedman case CK_FloatingComplexToReal: 4985836852eSEli Friedman case CK_FloatingComplexToBoolean: 4995836852eSEli Friedman case CK_IntegralComplexToReal: 5005836852eSEli Friedman case CK_IntegralComplexToBoolean: 5012d637d2eSJohn McCall case CK_ARCProduceObject: 5022d637d2eSJohn McCall case CK_ARCConsumeObject: 5032d637d2eSJohn McCall case CK_ARCReclaimReturnedObject: 5042d637d2eSJohn McCall case CK_ARCExtendBlockObject: 505ed90df38SDouglas Gregor case CK_CopyAndAutoreleaseBlockObject: 50634866c77SEli Friedman case CK_BuiltinFnToFnPtr: 5071b4fb3e0SGuy Benyei case CK_ZeroToOCLEvent: 50889831421SEgor Churaev case CK_ZeroToOCLQueue: 509e1468322SDavid Tweed case CK_AddressSpaceConversion: 5100bc4b2d3SYaxun Liu case CK_IntToOCLSampler: 5115836852eSEli Friedman llvm_unreachable("invalid cast kind for complex value"); 5125836852eSEli Friedman 5135836852eSEli Friedman case CK_FloatingRealToComplex: 514f045007fSEli Friedman case CK_IntegralRealToComplex: 5157af183d8SFilipe Cabecinhas return EmitScalarToComplexCast(CGF.EmitScalarExpr(Op), Op->getType(), 5167af183d8SFilipe Cabecinhas DestTy, Op->getExprLoc()); 5177a51313dSChris Lattner 5185836852eSEli Friedman case CK_FloatingComplexCast: 5195836852eSEli Friedman case CK_FloatingComplexToIntegralComplex: 5205836852eSEli Friedman case CK_IntegralComplexCast: 5215836852eSEli Friedman case CK_IntegralComplexToFloatingComplex: 5227af183d8SFilipe Cabecinhas return EmitComplexToComplexCast(Visit(Op), Op->getType(), DestTy, 5237af183d8SFilipe Cabecinhas Op->getExprLoc()); 5245836852eSEli Friedman } 5255836852eSEli Friedman 5265836852eSEli Friedman llvm_unreachable("unknown cast resulting in complex value"); 5275836852eSEli Friedman } 5285836852eSEli Friedman 5297a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 530df0fe27bSMike Stump TestAndClearIgnoreReal(); 531df0fe27bSMike Stump TestAndClearIgnoreImag(); 5327a51313dSChris Lattner ComplexPairTy Op = Visit(E->getSubExpr()); 53394dfae24SChris Lattner 53494dfae24SChris Lattner llvm::Value *ResR, *ResI; 535998f9d97SDuncan Sands if (Op.first->getType()->isFloatingPointTy()) { 53694dfae24SChris Lattner ResR = Builder.CreateFNeg(Op.first, "neg.r"); 53794dfae24SChris Lattner ResI = Builder.CreateFNeg(Op.second, "neg.i"); 53894dfae24SChris Lattner } else { 53994dfae24SChris Lattner ResR = Builder.CreateNeg(Op.first, "neg.r"); 54094dfae24SChris Lattner ResI = Builder.CreateNeg(Op.second, "neg.i"); 54194dfae24SChris Lattner } 5427a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5437a51313dSChris Lattner } 5447a51313dSChris Lattner 5457a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 546df0fe27bSMike Stump TestAndClearIgnoreReal(); 547df0fe27bSMike Stump TestAndClearIgnoreImag(); 5487a51313dSChris Lattner // ~(a+ib) = a + i*-b 5497a51313dSChris Lattner ComplexPairTy Op = Visit(E->getSubExpr()); 55094dfae24SChris Lattner llvm::Value *ResI; 551998f9d97SDuncan Sands if (Op.second->getType()->isFloatingPointTy()) 55294dfae24SChris Lattner ResI = Builder.CreateFNeg(Op.second, "conj.i"); 55394dfae24SChris Lattner else 55494dfae24SChris Lattner ResI = Builder.CreateNeg(Op.second, "conj.i"); 55594dfae24SChris Lattner 5567a51313dSChris Lattner return ComplexPairTy(Op.first, ResI); 5577a51313dSChris Lattner } 5587a51313dSChris Lattner 5597a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinAdd(const BinOpInfo &Op) { 56094dfae24SChris Lattner llvm::Value *ResR, *ResI; 56194dfae24SChris Lattner 562998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 56394dfae24SChris Lattner ResR = Builder.CreateFAdd(Op.LHS.first, Op.RHS.first, "add.r"); 564a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) 56594dfae24SChris Lattner ResI = Builder.CreateFAdd(Op.LHS.second, Op.RHS.second, "add.i"); 566a216cad0SChandler Carruth else 567a216cad0SChandler Carruth ResI = Op.LHS.second ? Op.LHS.second : Op.RHS.second; 568a216cad0SChandler Carruth assert(ResI && "Only one operand may be real!"); 56994dfae24SChris Lattner } else { 57094dfae24SChris Lattner ResR = Builder.CreateAdd(Op.LHS.first, Op.RHS.first, "add.r"); 571a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 572a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 57394dfae24SChris Lattner ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second, "add.i"); 57494dfae24SChris Lattner } 5757a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5767a51313dSChris Lattner } 5777a51313dSChris Lattner 5787a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinSub(const BinOpInfo &Op) { 57994dfae24SChris Lattner llvm::Value *ResR, *ResI; 580998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 58194dfae24SChris Lattner ResR = Builder.CreateFSub(Op.LHS.first, Op.RHS.first, "sub.r"); 582a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) 58394dfae24SChris Lattner ResI = Builder.CreateFSub(Op.LHS.second, Op.RHS.second, "sub.i"); 584a216cad0SChandler Carruth else 585a216cad0SChandler Carruth ResI = Op.LHS.second ? Op.LHS.second 586a216cad0SChandler Carruth : Builder.CreateFNeg(Op.RHS.second, "sub.i"); 587a216cad0SChandler Carruth assert(ResI && "Only one operand may be real!"); 58894dfae24SChris Lattner } else { 58994dfae24SChris Lattner ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first, "sub.r"); 590a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 591a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 59294dfae24SChris Lattner ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second, "sub.i"); 59394dfae24SChris Lattner } 5947a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 5957a51313dSChris Lattner } 5967a51313dSChris Lattner 597a216cad0SChandler Carruth /// \brief Emit a libcall for a binary operation on complex types. 598a216cad0SChandler Carruth ComplexPairTy ComplexExprEmitter::EmitComplexBinOpLibCall(StringRef LibCallName, 599a216cad0SChandler Carruth const BinOpInfo &Op) { 600a216cad0SChandler Carruth CallArgList Args; 601a216cad0SChandler Carruth Args.add(RValue::get(Op.LHS.first), 602a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 603a216cad0SChandler Carruth Args.add(RValue::get(Op.LHS.second), 604a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 605a216cad0SChandler Carruth Args.add(RValue::get(Op.RHS.first), 606a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 607a216cad0SChandler Carruth Args.add(RValue::get(Op.RHS.second), 608a216cad0SChandler Carruth Op.Ty->castAs<ComplexType>()->getElementType()); 6097a51313dSChris Lattner 610a216cad0SChandler Carruth // We *must* use the full CG function call building logic here because the 611d90dd797SAnton Korobeynikov // complex type has special ABI handling. We also should not forget about 612d90dd797SAnton Korobeynikov // special calling convention which may be used for compiler builtins. 613798f11cfSSamuel Antao 614798f11cfSSamuel Antao // We create a function qualified type to state that this call does not have 615798f11cfSSamuel Antao // any exceptions. 616798f11cfSSamuel Antao FunctionProtoType::ExtProtoInfo EPI; 617798f11cfSSamuel Antao EPI = EPI.withExceptionSpec( 618798f11cfSSamuel Antao FunctionProtoType::ExceptionSpecInfo(EST_BasicNoexcept)); 619798f11cfSSamuel Antao SmallVector<QualType, 4> ArgsQTys( 620798f11cfSSamuel Antao 4, Op.Ty->castAs<ComplexType>()->getElementType()); 621798f11cfSSamuel Antao QualType FQTy = CGF.getContext().getFunctionType(Op.Ty, ArgsQTys, EPI); 622798f11cfSSamuel Antao const CGFunctionInfo &FuncInfo = CGF.CGM.getTypes().arrangeFreeFunctionCall( 623798f11cfSSamuel Antao Args, cast<FunctionType>(FQTy.getTypePtr()), false); 624798f11cfSSamuel Antao 625a216cad0SChandler Carruth llvm::FunctionType *FTy = CGF.CGM.getTypes().GetFunctionType(FuncInfo); 626d90dd797SAnton Korobeynikov llvm::Constant *Func = CGF.CGM.CreateBuiltinFunction(FTy, LibCallName); 627b92ab1afSJohn McCall CGCallee Callee = CGCallee::forDirect(Func, FQTy->getAs<FunctionProtoType>()); 628a216cad0SChandler Carruth 629b92ab1afSJohn McCall llvm::Instruction *Call; 630b92ab1afSJohn McCall RValue Res = CGF.EmitCall(FuncInfo, Callee, ReturnValueSlot(), Args, &Call); 631d90dd797SAnton Korobeynikov cast<llvm::CallInst>(Call)->setCallingConv(CGF.CGM.getBuiltinCC()); 632d90dd797SAnton Korobeynikov return Res.getComplexVal(); 633a216cad0SChandler Carruth } 634a216cad0SChandler Carruth 6350c4b230bSChandler Carruth /// \brief Lookup the libcall name for a given floating point type complex 6360c4b230bSChandler Carruth /// multiply. 6370c4b230bSChandler Carruth static StringRef getComplexMultiplyLibCallName(llvm::Type *Ty) { 6380c4b230bSChandler Carruth switch (Ty->getTypeID()) { 6390c4b230bSChandler Carruth default: 6400c4b230bSChandler Carruth llvm_unreachable("Unsupported floating point type!"); 6410c4b230bSChandler Carruth case llvm::Type::HalfTyID: 6420c4b230bSChandler Carruth return "__mulhc3"; 6430c4b230bSChandler Carruth case llvm::Type::FloatTyID: 6440c4b230bSChandler Carruth return "__mulsc3"; 6450c4b230bSChandler Carruth case llvm::Type::DoubleTyID: 6460c4b230bSChandler Carruth return "__muldc3"; 6470c4b230bSChandler Carruth case llvm::Type::PPC_FP128TyID: 6480c4b230bSChandler Carruth return "__multc3"; 6490c4b230bSChandler Carruth case llvm::Type::X86_FP80TyID: 6500c4b230bSChandler Carruth return "__mulxc3"; 651444822bbSJiangning Liu case llvm::Type::FP128TyID: 652444822bbSJiangning Liu return "__multc3"; 6530c4b230bSChandler Carruth } 6540c4b230bSChandler Carruth } 6550c4b230bSChandler Carruth 656a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex 657a216cad0SChandler Carruth // typed values. 6587a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinMul(const BinOpInfo &Op) { 65994dfae24SChris Lattner using llvm::Value; 66094dfae24SChris Lattner Value *ResR, *ResI; 6610c4b230bSChandler Carruth llvm::MDBuilder MDHelper(CGF.getLLVMContext()); 6627a51313dSChris Lattner 663998f9d97SDuncan Sands if (Op.LHS.first->getType()->isFloatingPointTy()) { 664a216cad0SChandler Carruth // The general formulation is: 665a216cad0SChandler Carruth // (a + ib) * (c + id) = (a * c - b * d) + i(a * d + b * c) 666a216cad0SChandler Carruth // 667a216cad0SChandler Carruth // But we can fold away components which would be zero due to a real 668a216cad0SChandler Carruth // operand according to C11 Annex G.5.1p2. 669a216cad0SChandler Carruth // FIXME: C11 also provides for imaginary types which would allow folding 670a216cad0SChandler Carruth // still more of this within the type system. 67194dfae24SChris Lattner 672a216cad0SChandler Carruth if (Op.LHS.second && Op.RHS.second) { 6730c4b230bSChandler Carruth // If both operands are complex, emit the core math directly, and then 6740c4b230bSChandler Carruth // test for NaNs. If we find NaNs in the result, we delegate to a libcall 6750c4b230bSChandler Carruth // to carefully re-compute the correct infinity representation if 6760c4b230bSChandler Carruth // possible. The expectation is that the presence of NaNs here is 6770c4b230bSChandler Carruth // *extremely* rare, and so the cost of the libcall is almost irrelevant. 6780c4b230bSChandler Carruth // This is good, because the libcall re-computes the core multiplication 6790c4b230bSChandler Carruth // exactly the same as we do here and re-tests for NaNs in order to be 6800c4b230bSChandler Carruth // a generic complex*complex libcall. 6810c4b230bSChandler Carruth 6820c4b230bSChandler Carruth // First compute the four products. 6830c4b230bSChandler Carruth Value *AC = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul_ac"); 6840c4b230bSChandler Carruth Value *BD = Builder.CreateFMul(Op.LHS.second, Op.RHS.second, "mul_bd"); 6850c4b230bSChandler Carruth Value *AD = Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul_ad"); 6860c4b230bSChandler Carruth Value *BC = Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul_bc"); 6870c4b230bSChandler Carruth 6880c4b230bSChandler Carruth // The real part is the difference of the first two, the imaginary part is 6890c4b230bSChandler Carruth // the sum of the second. 6900c4b230bSChandler Carruth ResR = Builder.CreateFSub(AC, BD, "mul_r"); 6910c4b230bSChandler Carruth ResI = Builder.CreateFAdd(AD, BC, "mul_i"); 6920c4b230bSChandler Carruth 6930c4b230bSChandler Carruth // Emit the test for the real part becoming NaN and create a branch to 6940c4b230bSChandler Carruth // handle it. We test for NaN by comparing the number to itself. 6950c4b230bSChandler Carruth Value *IsRNaN = Builder.CreateFCmpUNO(ResR, ResR, "isnan_cmp"); 6960c4b230bSChandler Carruth llvm::BasicBlock *ContBB = CGF.createBasicBlock("complex_mul_cont"); 6970c4b230bSChandler Carruth llvm::BasicBlock *INaNBB = CGF.createBasicBlock("complex_mul_imag_nan"); 6980c4b230bSChandler Carruth llvm::Instruction *Branch = Builder.CreateCondBr(IsRNaN, INaNBB, ContBB); 6990c4b230bSChandler Carruth llvm::BasicBlock *OrigBB = Branch->getParent(); 7000c4b230bSChandler Carruth 7010c4b230bSChandler Carruth // Give hint that we very much don't expect to see NaNs. 7020c4b230bSChandler Carruth // Value chosen to match UR_NONTAKEN_WEIGHT, see BranchProbabilityInfo.cpp 7030c4b230bSChandler Carruth llvm::MDNode *BrWeight = MDHelper.createBranchWeights(1, (1U << 20) - 1); 7040c4b230bSChandler Carruth Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight); 7050c4b230bSChandler Carruth 7060c4b230bSChandler Carruth // Now test the imaginary part and create its branch. 7070c4b230bSChandler Carruth CGF.EmitBlock(INaNBB); 7080c4b230bSChandler Carruth Value *IsINaN = Builder.CreateFCmpUNO(ResI, ResI, "isnan_cmp"); 7090c4b230bSChandler Carruth llvm::BasicBlock *LibCallBB = CGF.createBasicBlock("complex_mul_libcall"); 7100c4b230bSChandler Carruth Branch = Builder.CreateCondBr(IsINaN, LibCallBB, ContBB); 7110c4b230bSChandler Carruth Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight); 7120c4b230bSChandler Carruth 7130c4b230bSChandler Carruth // Now emit the libcall on this slowest of the slow paths. 7140c4b230bSChandler Carruth CGF.EmitBlock(LibCallBB); 7150c4b230bSChandler Carruth Value *LibCallR, *LibCallI; 7160c4b230bSChandler Carruth std::tie(LibCallR, LibCallI) = EmitComplexBinOpLibCall( 7170c4b230bSChandler Carruth getComplexMultiplyLibCallName(Op.LHS.first->getType()), Op); 7180c4b230bSChandler Carruth Builder.CreateBr(ContBB); 7190c4b230bSChandler Carruth 7200c4b230bSChandler Carruth // Finally continue execution by phi-ing together the different 7210c4b230bSChandler Carruth // computation paths. 7220c4b230bSChandler Carruth CGF.EmitBlock(ContBB); 7230c4b230bSChandler Carruth llvm::PHINode *RealPHI = Builder.CreatePHI(ResR->getType(), 3, "real_mul_phi"); 7240c4b230bSChandler Carruth RealPHI->addIncoming(ResR, OrigBB); 7250c4b230bSChandler Carruth RealPHI->addIncoming(ResR, INaNBB); 7260c4b230bSChandler Carruth RealPHI->addIncoming(LibCallR, LibCallBB); 7270c4b230bSChandler Carruth llvm::PHINode *ImagPHI = Builder.CreatePHI(ResI->getType(), 3, "imag_mul_phi"); 7280c4b230bSChandler Carruth ImagPHI->addIncoming(ResI, OrigBB); 7290c4b230bSChandler Carruth ImagPHI->addIncoming(ResI, INaNBB); 7300c4b230bSChandler Carruth ImagPHI->addIncoming(LibCallI, LibCallBB); 7310c4b230bSChandler Carruth return ComplexPairTy(RealPHI, ImagPHI); 732a216cad0SChandler Carruth } 733a216cad0SChandler Carruth assert((Op.LHS.second || Op.RHS.second) && 734a216cad0SChandler Carruth "At least one operand must be complex!"); 735a216cad0SChandler Carruth 736a216cad0SChandler Carruth // If either of the operands is a real rather than a complex, the 737a216cad0SChandler Carruth // imaginary component is ignored when computing the real component of the 738a216cad0SChandler Carruth // result. 739a216cad0SChandler Carruth ResR = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul.rl"); 740a216cad0SChandler Carruth 741a216cad0SChandler Carruth ResI = Op.LHS.second 742a216cad0SChandler Carruth ? Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul.il") 743a216cad0SChandler Carruth : Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul.ir"); 74494dfae24SChris Lattner } else { 745a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 746a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 74794dfae24SChris Lattner Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first, "mul.rl"); 74894dfae24SChris Lattner Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second, "mul.rr"); 74994dfae24SChris Lattner ResR = Builder.CreateSub(ResRl, ResRr, "mul.r"); 75094dfae24SChris Lattner 75194dfae24SChris Lattner Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first, "mul.il"); 75294dfae24SChris Lattner Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second, "mul.ir"); 75394dfae24SChris Lattner ResI = Builder.CreateAdd(ResIl, ResIr, "mul.i"); 75494dfae24SChris Lattner } 7557a51313dSChris Lattner return ComplexPairTy(ResR, ResI); 7567a51313dSChris Lattner } 7577a51313dSChris Lattner 758a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex 759a216cad0SChandler Carruth // typed values. 7607a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinDiv(const BinOpInfo &Op) { 7617a51313dSChris Lattner llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second; 7627a51313dSChris Lattner llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second; 7637a51313dSChris Lattner 76494dfae24SChris Lattner 76594dfae24SChris Lattner llvm::Value *DSTr, *DSTi; 766a216cad0SChandler Carruth if (LHSr->getType()->isFloatingPointTy()) { 767a216cad0SChandler Carruth // If we have a complex operand on the RHS, we delegate to a libcall to 768a216cad0SChandler Carruth // handle all of the complexities and minimize underflow/overflow cases. 769a216cad0SChandler Carruth // 770a216cad0SChandler Carruth // FIXME: We would be able to avoid the libcall in many places if we 771a216cad0SChandler Carruth // supported imaginary types in addition to complex types. 772a216cad0SChandler Carruth if (RHSi) { 773a216cad0SChandler Carruth BinOpInfo LibCallOp = Op; 774a216cad0SChandler Carruth // If LHS was a real, supply a null imaginary part. 775a216cad0SChandler Carruth if (!LHSi) 776a216cad0SChandler Carruth LibCallOp.LHS.second = llvm::Constant::getNullValue(LHSr->getType()); 77794dfae24SChris Lattner 778a216cad0SChandler Carruth StringRef LibCallName; 779a216cad0SChandler Carruth switch (LHSr->getType()->getTypeID()) { 780a216cad0SChandler Carruth default: 781a216cad0SChandler Carruth llvm_unreachable("Unsupported floating point type!"); 782a216cad0SChandler Carruth case llvm::Type::HalfTyID: 783a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divhc3", LibCallOp); 784a216cad0SChandler Carruth case llvm::Type::FloatTyID: 785a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divsc3", LibCallOp); 786a216cad0SChandler Carruth case llvm::Type::DoubleTyID: 787a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divdc3", LibCallOp); 788aa3e9f5aSJoerg Sonnenberger case llvm::Type::PPC_FP128TyID: 789aa3e9f5aSJoerg Sonnenberger return EmitComplexBinOpLibCall("__divtc3", LibCallOp); 790a216cad0SChandler Carruth case llvm::Type::X86_FP80TyID: 791a216cad0SChandler Carruth return EmitComplexBinOpLibCall("__divxc3", LibCallOp); 792444822bbSJiangning Liu case llvm::Type::FP128TyID: 793444822bbSJiangning Liu return EmitComplexBinOpLibCall("__divtc3", LibCallOp); 794a216cad0SChandler Carruth } 795a216cad0SChandler Carruth } 796a216cad0SChandler Carruth assert(LHSi && "Can have at most one non-complex operand!"); 79794dfae24SChris Lattner 798a216cad0SChandler Carruth DSTr = Builder.CreateFDiv(LHSr, RHSr); 799a216cad0SChandler Carruth DSTi = Builder.CreateFDiv(LHSi, RHSr); 80094dfae24SChris Lattner } else { 801a216cad0SChandler Carruth assert(Op.LHS.second && Op.RHS.second && 802a216cad0SChandler Carruth "Both operands of integer complex operators must be complex!"); 8037a51313dSChris Lattner // (a+ib) / (c+id) = ((ac+bd)/(cc+dd)) + i((bc-ad)/(cc+dd)) 80476399eb2SBenjamin Kramer llvm::Value *Tmp1 = Builder.CreateMul(LHSr, RHSr); // a*c 80576399eb2SBenjamin Kramer llvm::Value *Tmp2 = Builder.CreateMul(LHSi, RHSi); // b*d 80676399eb2SBenjamin Kramer llvm::Value *Tmp3 = Builder.CreateAdd(Tmp1, Tmp2); // ac+bd 8077a51313dSChris Lattner 80876399eb2SBenjamin Kramer llvm::Value *Tmp4 = Builder.CreateMul(RHSr, RHSr); // c*c 80976399eb2SBenjamin Kramer llvm::Value *Tmp5 = Builder.CreateMul(RHSi, RHSi); // d*d 81076399eb2SBenjamin Kramer llvm::Value *Tmp6 = Builder.CreateAdd(Tmp4, Tmp5); // cc+dd 8117a51313dSChris Lattner 81276399eb2SBenjamin Kramer llvm::Value *Tmp7 = Builder.CreateMul(LHSi, RHSr); // b*c 81376399eb2SBenjamin Kramer llvm::Value *Tmp8 = Builder.CreateMul(LHSr, RHSi); // a*d 81476399eb2SBenjamin Kramer llvm::Value *Tmp9 = Builder.CreateSub(Tmp7, Tmp8); // bc-ad 8157a51313dSChris Lattner 81647fb9508SJohn McCall if (Op.Ty->castAs<ComplexType>()->getElementType()->isUnsignedIntegerType()) { 81776399eb2SBenjamin Kramer DSTr = Builder.CreateUDiv(Tmp3, Tmp6); 81876399eb2SBenjamin Kramer DSTi = Builder.CreateUDiv(Tmp9, Tmp6); 8197a51313dSChris Lattner } else { 82076399eb2SBenjamin Kramer DSTr = Builder.CreateSDiv(Tmp3, Tmp6); 82176399eb2SBenjamin Kramer DSTi = Builder.CreateSDiv(Tmp9, Tmp6); 8227a51313dSChris Lattner } 8237a51313dSChris Lattner } 8247a51313dSChris Lattner 8257a51313dSChris Lattner return ComplexPairTy(DSTr, DSTi); 8267a51313dSChris Lattner } 8277a51313dSChris Lattner 8287a51313dSChris Lattner ComplexExprEmitter::BinOpInfo 8297a51313dSChris Lattner ComplexExprEmitter::EmitBinOps(const BinaryOperator *E) { 830df0fe27bSMike Stump TestAndClearIgnoreReal(); 831df0fe27bSMike Stump TestAndClearIgnoreImag(); 8327a51313dSChris Lattner BinOpInfo Ops; 833a216cad0SChandler Carruth if (E->getLHS()->getType()->isRealFloatingType()) 834a216cad0SChandler Carruth Ops.LHS = ComplexPairTy(CGF.EmitScalarExpr(E->getLHS()), nullptr); 835a216cad0SChandler Carruth else 8367a51313dSChris Lattner Ops.LHS = Visit(E->getLHS()); 837a216cad0SChandler Carruth if (E->getRHS()->getType()->isRealFloatingType()) 838a216cad0SChandler Carruth Ops.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); 839a216cad0SChandler Carruth else 8407a51313dSChris Lattner Ops.RHS = Visit(E->getRHS()); 841a216cad0SChandler Carruth 8427a51313dSChris Lattner Ops.Ty = E->getType(); 8437a51313dSChris Lattner return Ops; 8447a51313dSChris Lattner } 8457a51313dSChris Lattner 8467a51313dSChris Lattner 84707bb1966SJohn McCall LValue ComplexExprEmitter:: 84807bb1966SJohn McCall EmitCompoundAssignLValue(const CompoundAssignOperator *E, 84907bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&), 850f045007fSEli Friedman RValue &Val) { 851df0fe27bSMike Stump TestAndClearIgnoreReal(); 852df0fe27bSMike Stump TestAndClearIgnoreImag(); 8538dfa5f17SJeffrey Yasskin QualType LHSTy = E->getLHS()->getType(); 854ce27e42dSDavid Majnemer if (const AtomicType *AT = LHSTy->getAs<AtomicType>()) 855ce27e42dSDavid Majnemer LHSTy = AT->getValueType(); 8567a51313dSChris Lattner 857df0fe27bSMike Stump BinOpInfo OpInfo; 858df0fe27bSMike Stump 859df0fe27bSMike Stump // Load the RHS and LHS operands. 860df0fe27bSMike Stump // __block variables need to have the rhs evaluated first, plus this should 861fa8edb11SJohn McCall // improve codegen a little. 862df0fe27bSMike Stump OpInfo.Ty = E->getComputationResultType(); 863a216cad0SChandler Carruth QualType ComplexElementTy = cast<ComplexType>(OpInfo.Ty)->getElementType(); 864fa8edb11SJohn McCall 865fa8edb11SJohn McCall // The RHS should have been converted to the computation type. 866a216cad0SChandler Carruth if (E->getRHS()->getType()->isRealFloatingType()) { 867a216cad0SChandler Carruth assert( 868a216cad0SChandler Carruth CGF.getContext() 869a216cad0SChandler Carruth .hasSameUnqualifiedType(ComplexElementTy, E->getRHS()->getType())); 870a216cad0SChandler Carruth OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); 871a216cad0SChandler Carruth } else { 872a216cad0SChandler Carruth assert(CGF.getContext() 873a216cad0SChandler Carruth .hasSameUnqualifiedType(OpInfo.Ty, E->getRHS()->getType())); 874fa8edb11SJohn McCall OpInfo.RHS = Visit(E->getRHS()); 875a216cad0SChandler Carruth } 876df0fe27bSMike Stump 8778c94ffe7SDaniel Dunbar LValue LHS = CGF.EmitLValue(E->getLHS()); 878e26a872bSJohn McCall 879f045007fSEli Friedman // Load from the l-value and convert it. 8807af183d8SFilipe Cabecinhas SourceLocation Loc = E->getExprLoc(); 881f045007fSEli Friedman if (LHSTy->isAnyComplexType()) { 8827af183d8SFilipe Cabecinhas ComplexPairTy LHSVal = EmitLoadOfLValue(LHS, Loc); 8837af183d8SFilipe Cabecinhas OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc); 884f045007fSEli Friedman } else { 8857af183d8SFilipe Cabecinhas llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, Loc); 886a216cad0SChandler Carruth // For floating point real operands we can directly pass the scalar form 887a216cad0SChandler Carruth // to the binary operator emission and potentially get more efficient code. 888a216cad0SChandler Carruth if (LHSTy->isRealFloatingType()) { 889a216cad0SChandler Carruth if (!CGF.getContext().hasSameUnqualifiedType(ComplexElementTy, LHSTy)) 8907af183d8SFilipe Cabecinhas LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy, Loc); 891a216cad0SChandler Carruth OpInfo.LHS = ComplexPairTy(LHSVal, nullptr); 892a216cad0SChandler Carruth } else { 8937af183d8SFilipe Cabecinhas OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc); 894f045007fSEli Friedman } 895a216cad0SChandler Carruth } 8967a51313dSChris Lattner 8977a51313dSChris Lattner // Expand the binary operator. 8987a51313dSChris Lattner ComplexPairTy Result = (this->*Func)(OpInfo); 8997a51313dSChris Lattner 900f045007fSEli Friedman // Truncate the result and store it into the LHS lvalue. 901f045007fSEli Friedman if (LHSTy->isAnyComplexType()) { 9027af183d8SFilipe Cabecinhas ComplexPairTy ResVal = 9037af183d8SFilipe Cabecinhas EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy, Loc); 90466e4197fSDavid Blaikie EmitStoreOfComplex(ResVal, LHS, /*isInit*/ false); 905f045007fSEli Friedman Val = RValue::getComplex(ResVal); 906f045007fSEli Friedman } else { 907f045007fSEli Friedman llvm::Value *ResVal = 9087af183d8SFilipe Cabecinhas CGF.EmitComplexToScalarConversion(Result, OpInfo.Ty, LHSTy, Loc); 909f045007fSEli Friedman CGF.EmitStoreOfScalar(ResVal, LHS, /*isInit*/ false); 910f045007fSEli Friedman Val = RValue::get(ResVal); 911f045007fSEli Friedman } 9128c94ffe7SDaniel Dunbar 91307bb1966SJohn McCall return LHS; 9147a51313dSChris Lattner } 9157a51313dSChris Lattner 91607bb1966SJohn McCall // Compound assignments. 91707bb1966SJohn McCall ComplexPairTy ComplexExprEmitter:: 91807bb1966SJohn McCall EmitCompoundAssign(const CompoundAssignOperator *E, 91907bb1966SJohn McCall ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&)){ 920f045007fSEli Friedman RValue Val; 92107bb1966SJohn McCall LValue LV = EmitCompoundAssignLValue(E, Func, Val); 92207bb1966SJohn McCall 92307bb1966SJohn McCall // The result of an assignment in C is the assigned r-value. 9249c6890a7SRichard Smith if (!CGF.getLangOpts().CPlusPlus) 925f045007fSEli Friedman return Val.getComplexVal(); 92607bb1966SJohn McCall 92707bb1966SJohn McCall // If the lvalue is non-volatile, return the computed value of the assignment. 92807bb1966SJohn McCall if (!LV.isVolatileQualified()) 929f045007fSEli Friedman return Val.getComplexVal(); 93007bb1966SJohn McCall 9312d84e842SNick Lewycky return EmitLoadOfLValue(LV, E->getExprLoc()); 93207bb1966SJohn McCall } 93307bb1966SJohn McCall 93407bb1966SJohn McCall LValue ComplexExprEmitter::EmitBinAssignLValue(const BinaryOperator *E, 93507bb1966SJohn McCall ComplexPairTy &Val) { 936a8a089bfSDouglas Gregor assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(), 937a8a089bfSDouglas Gregor E->getRHS()->getType()) && 9380f398c44SChris Lattner "Invalid assignment"); 93907bb1966SJohn McCall TestAndClearIgnoreReal(); 94007bb1966SJohn McCall TestAndClearIgnoreImag(); 94107bb1966SJohn McCall 942d0a30016SJohn McCall // Emit the RHS. __block variables need the RHS evaluated first. 94307bb1966SJohn McCall Val = Visit(E->getRHS()); 9447a51313dSChris Lattner 9457a51313dSChris Lattner // Compute the address to store into. 9467a51313dSChris Lattner LValue LHS = CGF.EmitLValue(E->getLHS()); 9477a51313dSChris Lattner 9488c94ffe7SDaniel Dunbar // Store the result value into the LHS lvalue. 94966e4197fSDavid Blaikie EmitStoreOfComplex(Val, LHS, /*isInit*/ false); 95076d864c7SDaniel Dunbar 95107bb1966SJohn McCall return LHS; 95207bb1966SJohn McCall } 9538c94ffe7SDaniel Dunbar 95407bb1966SJohn McCall ComplexPairTy ComplexExprEmitter::VisitBinAssign(const BinaryOperator *E) { 95507bb1966SJohn McCall ComplexPairTy Val; 95607bb1966SJohn McCall LValue LV = EmitBinAssignLValue(E, Val); 95707bb1966SJohn McCall 95807bb1966SJohn McCall // The result of an assignment in C is the assigned r-value. 9599c6890a7SRichard Smith if (!CGF.getLangOpts().CPlusPlus) 96076d864c7SDaniel Dunbar return Val; 96107bb1966SJohn McCall 96207bb1966SJohn McCall // If the lvalue is non-volatile, return the computed value of the assignment. 96307bb1966SJohn McCall if (!LV.isVolatileQualified()) 96407bb1966SJohn McCall return Val; 96507bb1966SJohn McCall 9662d84e842SNick Lewycky return EmitLoadOfLValue(LV, E->getExprLoc()); 96776d864c7SDaniel Dunbar } 96876d864c7SDaniel Dunbar 9697a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitBinComma(const BinaryOperator *E) { 970a2342eb8SJohn McCall CGF.EmitIgnoredExpr(E->getLHS()); 9717a51313dSChris Lattner return Visit(E->getRHS()); 9727a51313dSChris Lattner } 9737a51313dSChris Lattner 9747a51313dSChris Lattner ComplexPairTy ComplexExprEmitter:: 975c07a0c7eSJohn McCall VisitAbstractConditionalOperator(const AbstractConditionalOperator *E) { 976df0fe27bSMike Stump TestAndClearIgnoreReal(); 977df0fe27bSMike Stump TestAndClearIgnoreImag(); 978a612e79bSDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 979a612e79bSDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 980a612e79bSDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 9817a51313dSChris Lattner 982c07a0c7eSJohn McCall // Bind the common expression if necessary. 98348fd89adSEli Friedman CodeGenFunction::OpaqueValueMapping binding(CGF, E); 984ce1de617SJohn McCall 98566242d6cSJustin Bogner 986c07a0c7eSJohn McCall CodeGenFunction::ConditionalEvaluation eval(CGF); 98766242d6cSJustin Bogner CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock, 98866242d6cSJustin Bogner CGF.getProfileCount(E)); 9897a51313dSChris Lattner 990ce1de617SJohn McCall eval.begin(CGF); 9917a51313dSChris Lattner CGF.EmitBlock(LHSBlock); 99266242d6cSJustin Bogner CGF.incrementProfileCounter(E); 9938162d4adSFariborz Jahanian ComplexPairTy LHS = Visit(E->getTrueExpr()); 9947a51313dSChris Lattner LHSBlock = Builder.GetInsertBlock(); 995c56e6764SDaniel Dunbar CGF.EmitBranch(ContBlock); 996ce1de617SJohn McCall eval.end(CGF); 9977a51313dSChris Lattner 998ce1de617SJohn McCall eval.begin(CGF); 9997a51313dSChris Lattner CGF.EmitBlock(RHSBlock); 1000c07a0c7eSJohn McCall ComplexPairTy RHS = Visit(E->getFalseExpr()); 10017a51313dSChris Lattner RHSBlock = Builder.GetInsertBlock(); 10027a51313dSChris Lattner CGF.EmitBlock(ContBlock); 1003ce1de617SJohn McCall eval.end(CGF); 10047a51313dSChris Lattner 10057a51313dSChris Lattner // Create a PHI node for the real part. 100620c0f02cSJay Foad llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.r"); 10077a51313dSChris Lattner RealPN->addIncoming(LHS.first, LHSBlock); 10087a51313dSChris Lattner RealPN->addIncoming(RHS.first, RHSBlock); 10097a51313dSChris Lattner 10107a51313dSChris Lattner // Create a PHI node for the imaginary part. 101120c0f02cSJay Foad llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.i"); 10127a51313dSChris Lattner ImagPN->addIncoming(LHS.second, LHSBlock); 10137a51313dSChris Lattner ImagPN->addIncoming(RHS.second, RHSBlock); 10147a51313dSChris Lattner 10157a51313dSChris Lattner return ComplexPairTy(RealPN, ImagPN); 10167a51313dSChris Lattner } 10177a51313dSChris Lattner 10187a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitChooseExpr(ChooseExpr *E) { 101975807f23SEli Friedman return Visit(E->getChosenSubExpr()); 10207a51313dSChris Lattner } 10217a51313dSChris Lattner 1022dd7406e6SEli Friedman ComplexPairTy ComplexExprEmitter::VisitInitListExpr(InitListExpr *E) { 1023df0fe27bSMike Stump bool Ignore = TestAndClearIgnoreReal(); 1024df0fe27bSMike Stump (void)Ignore; 1025df0fe27bSMike Stump assert (Ignore == false && "init list ignored"); 1026df0fe27bSMike Stump Ignore = TestAndClearIgnoreImag(); 1027df0fe27bSMike Stump (void)Ignore; 1028df0fe27bSMike Stump assert (Ignore == false && "init list ignored"); 10296b9c41eaSEli Friedman 10306b9c41eaSEli Friedman if (E->getNumInits() == 2) { 10316b9c41eaSEli Friedman llvm::Value *Real = CGF.EmitScalarExpr(E->getInit(0)); 10326b9c41eaSEli Friedman llvm::Value *Imag = CGF.EmitScalarExpr(E->getInit(1)); 10336b9c41eaSEli Friedman return ComplexPairTy(Real, Imag); 10346b9c41eaSEli Friedman } else if (E->getNumInits() == 1) { 1035dd7406e6SEli Friedman return Visit(E->getInit(0)); 10366b9c41eaSEli Friedman } 1037dd7406e6SEli Friedman 1038dd7406e6SEli Friedman // Empty init list intializes to null 10396b9c41eaSEli Friedman assert(E->getNumInits() == 0 && "Unexpected number of inits"); 104047fb9508SJohn McCall QualType Ty = E->getType()->castAs<ComplexType>()->getElementType(); 10412192fe50SChris Lattner llvm::Type* LTy = CGF.ConvertType(Ty); 10420b75f23bSOwen Anderson llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy); 1043dd7406e6SEli Friedman return ComplexPairTy(zeroConstant, zeroConstant); 1044dd7406e6SEli Friedman } 1045dd7406e6SEli Friedman 104600079612SDaniel Dunbar ComplexPairTy ComplexExprEmitter::VisitVAArgExpr(VAArgExpr *E) { 1047c7d5c94fSCharles Davis Address ArgValue = Address::invalid(); 1048c7d5c94fSCharles Davis Address ArgPtr = CGF.EmitVAArg(E, ArgValue); 104900079612SDaniel Dunbar 10507f416cc4SJohn McCall if (!ArgPtr.isValid()) { 105100079612SDaniel Dunbar CGF.ErrorUnsupported(E, "complex va_arg expression"); 10522192fe50SChris Lattner llvm::Type *EltTy = 105347fb9508SJohn McCall CGF.ConvertType(E->getType()->castAs<ComplexType>()->getElementType()); 105400079612SDaniel Dunbar llvm::Value *U = llvm::UndefValue::get(EltTy); 105500079612SDaniel Dunbar return ComplexPairTy(U, U); 105600079612SDaniel Dunbar } 105700079612SDaniel Dunbar 10587f416cc4SJohn McCall return EmitLoadOfLValue(CGF.MakeAddrLValue(ArgPtr, E->getType()), 10592d84e842SNick Lewycky E->getExprLoc()); 106000079612SDaniel Dunbar } 106100079612SDaniel Dunbar 10627a51313dSChris Lattner //===----------------------------------------------------------------------===// 10637a51313dSChris Lattner // Entry Point into this File 10647a51313dSChris Lattner //===----------------------------------------------------------------------===// 10657a51313dSChris Lattner 10667a51313dSChris Lattner /// EmitComplexExpr - Emit the computation of the specified expression of 10677a51313dSChris Lattner /// complex type, ignoring the result. 1068df0fe27bSMike Stump ComplexPairTy CodeGenFunction::EmitComplexExpr(const Expr *E, bool IgnoreReal, 106907bb1966SJohn McCall bool IgnoreImag) { 107047fb9508SJohn McCall assert(E && getComplexType(E->getType()) && 10717a51313dSChris Lattner "Invalid complex expression to emit"); 10727a51313dSChris Lattner 107338b25914SDavid Blaikie return ComplexExprEmitter(*this, IgnoreReal, IgnoreImag) 1074df0fe27bSMike Stump .Visit(const_cast<Expr *>(E)); 10757a51313dSChris Lattner } 10767a51313dSChris Lattner 107747fb9508SJohn McCall void CodeGenFunction::EmitComplexExprIntoLValue(const Expr *E, LValue dest, 107866e4197fSDavid Blaikie bool isInit) { 107947fb9508SJohn McCall assert(E && getComplexType(E->getType()) && 10807a51313dSChris Lattner "Invalid complex expression to emit"); 10817a51313dSChris Lattner ComplexExprEmitter Emitter(*this); 10827a51313dSChris Lattner ComplexPairTy Val = Emitter.Visit(const_cast<Expr*>(E)); 108366e4197fSDavid Blaikie Emitter.EmitStoreOfComplex(Val, dest, isInit); 10847a51313dSChris Lattner } 10857a51313dSChris Lattner 108647fb9508SJohn McCall /// EmitStoreOfComplex - Store a complex number into the specified l-value. 108747fb9508SJohn McCall void CodeGenFunction::EmitStoreOfComplex(ComplexPairTy V, LValue dest, 108866e4197fSDavid Blaikie bool isInit) { 108966e4197fSDavid Blaikie ComplexExprEmitter(*this).EmitStoreOfComplex(V, dest, isInit); 10904b8c6db9SDaniel Dunbar } 10914b8c6db9SDaniel Dunbar 109247fb9508SJohn McCall /// EmitLoadOfComplex - Load a complex number from the specified address. 10932d84e842SNick Lewycky ComplexPairTy CodeGenFunction::EmitLoadOfComplex(LValue src, 10942d84e842SNick Lewycky SourceLocation loc) { 10952d84e842SNick Lewycky return ComplexExprEmitter(*this).EmitLoadOfLValue(src, loc); 10967a51313dSChris Lattner } 10974f29b49dSJohn McCall 10984f29b49dSJohn McCall LValue CodeGenFunction::EmitComplexAssignmentLValue(const BinaryOperator *E) { 1099a2342eb8SJohn McCall assert(E->getOpcode() == BO_Assign); 11004f29b49dSJohn McCall ComplexPairTy Val; // ignored 11014f29b49dSJohn McCall return ComplexExprEmitter(*this).EmitBinAssignLValue(E, Val); 1102a2342eb8SJohn McCall } 11034f29b49dSJohn McCall 1104f045007fSEli Friedman typedef ComplexPairTy (ComplexExprEmitter::*CompoundFunc)( 1105f045007fSEli Friedman const ComplexExprEmitter::BinOpInfo &); 11064f29b49dSJohn McCall 1107f045007fSEli Friedman static CompoundFunc getComplexOp(BinaryOperatorKind Op) { 1108f045007fSEli Friedman switch (Op) { 1109f045007fSEli Friedman case BO_MulAssign: return &ComplexExprEmitter::EmitBinMul; 1110f045007fSEli Friedman case BO_DivAssign: return &ComplexExprEmitter::EmitBinDiv; 1111f045007fSEli Friedman case BO_SubAssign: return &ComplexExprEmitter::EmitBinSub; 1112f045007fSEli Friedman case BO_AddAssign: return &ComplexExprEmitter::EmitBinAdd; 11134f29b49dSJohn McCall default: 11144f29b49dSJohn McCall llvm_unreachable("unexpected complex compound assignment"); 11154f29b49dSJohn McCall } 1116f045007fSEli Friedman } 11174f29b49dSJohn McCall 1118f045007fSEli Friedman LValue CodeGenFunction:: 1119f045007fSEli Friedman EmitComplexCompoundAssignmentLValue(const CompoundAssignOperator *E) { 1120f045007fSEli Friedman CompoundFunc Op = getComplexOp(E->getOpcode()); 1121f045007fSEli Friedman RValue Val; 1122a2342eb8SJohn McCall return ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val); 11234f29b49dSJohn McCall } 1124f045007fSEli Friedman 1125f045007fSEli Friedman LValue CodeGenFunction:: 1126527473dfSRichard Smith EmitScalarCompoundAssignWithComplex(const CompoundAssignOperator *E, 1127f045007fSEli Friedman llvm::Value *&Result) { 1128f045007fSEli Friedman CompoundFunc Op = getComplexOp(E->getOpcode()); 1129f045007fSEli Friedman RValue Val; 1130f045007fSEli Friedman LValue Ret = ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val); 1131f045007fSEli Friedman Result = Val.getScalarVal(); 1132f045007fSEli Friedman return Ret; 1133f045007fSEli Friedman } 1134