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   }
113*5eb58583SGor Nishanov   ComplexPairTy VisitCoawaitExpr(CoawaitExpr *S) {
114*5eb58583SGor Nishanov     return CGF.EmitCoawaitExpr(*S).getComplexVal();
115*5eb58583SGor Nishanov   }
116*5eb58583SGor Nishanov   ComplexPairTy VisitCoyieldExpr(CoyieldExpr *S) {
117*5eb58583SGor Nishanov     return CGF.EmitCoyieldExpr(*S).getComplexVal();
118*5eb58583SGor Nishanov   }
119*5eb58583SGor Nishanov   ComplexPairTy VisitUnaryCoawait(const UnaryOperator *E) {
120*5eb58583SGor Nishanov     return Visit(E->getSubExpr());
121*5eb58583SGor Nishanov   }
122*5eb58583SGor Nishanov 
1237a51313dSChris Lattner 
1247a51313dSChris Lattner   // l-values.
125113bee05SJohn McCall   ComplexPairTy VisitDeclRefExpr(DeclRefExpr *E) {
126113bee05SJohn McCall     if (CodeGenFunction::ConstantEmission result = CGF.tryEmitAsConstant(E)) {
12771335059SJohn McCall       if (result.isReference())
1282d84e842SNick Lewycky         return EmitLoadOfLValue(result.getReferenceLValue(CGF, E),
1292d84e842SNick Lewycky                                 E->getExprLoc());
13071335059SJohn McCall 
13164f23918SEli Friedman       llvm::Constant *pair = result.getValue();
13264f23918SEli Friedman       return ComplexPairTy(pair->getAggregateElement(0U),
13364f23918SEli Friedman                            pair->getAggregateElement(1U));
13471335059SJohn McCall     }
135113bee05SJohn McCall     return EmitLoadOfLValue(E);
13671335059SJohn McCall   }
13776d864c7SDaniel Dunbar   ComplexPairTy VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) {
13876d864c7SDaniel Dunbar     return EmitLoadOfLValue(E);
13976d864c7SDaniel Dunbar   }
14076d864c7SDaniel Dunbar   ComplexPairTy VisitObjCMessageExpr(ObjCMessageExpr *E) {
14176d864c7SDaniel Dunbar     return CGF.EmitObjCMessageExpr(E).getComplexVal();
14276d864c7SDaniel Dunbar   }
1437a51313dSChris Lattner   ComplexPairTy VisitArraySubscriptExpr(Expr *E) { return EmitLoadOfLValue(E); }
1447a51313dSChris Lattner   ComplexPairTy VisitMemberExpr(const Expr *E) { return EmitLoadOfLValue(E); }
1451bf5846aSJohn McCall   ComplexPairTy VisitOpaqueValueExpr(OpaqueValueExpr *E) {
146c07a0c7eSJohn McCall     if (E->isGLValue())
1472d84e842SNick Lewycky       return EmitLoadOfLValue(CGF.getOpaqueLValueMapping(E), E->getExprLoc());
148c07a0c7eSJohn McCall     return CGF.getOpaqueRValueMapping(E).getComplexVal();
1491bf5846aSJohn McCall   }
1507a51313dSChris Lattner 
151fe96e0b6SJohn McCall   ComplexPairTy VisitPseudoObjectExpr(PseudoObjectExpr *E) {
152fe96e0b6SJohn McCall     return CGF.EmitPseudoObjectRValue(E).getComplexVal();
153fe96e0b6SJohn McCall   }
154fe96e0b6SJohn McCall 
1557a51313dSChris Lattner   // FIXME: CompoundLiteralExpr
1567a51313dSChris Lattner 
1571a07fd18SCraig Topper   ComplexPairTy EmitCast(CastKind CK, Expr *Op, QualType DestTy);
1587a51313dSChris Lattner   ComplexPairTy VisitImplicitCastExpr(ImplicitCastExpr *E) {
1597a51313dSChris Lattner     // Unlike for scalars, we don't have to worry about function->ptr demotion
1607a51313dSChris Lattner     // here.
161c357f412SDouglas Gregor     return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType());
1627a51313dSChris Lattner   }
1637a51313dSChris Lattner   ComplexPairTy VisitCastExpr(CastExpr *E) {
1642bf9b4c0SAlexey Bataev     if (const auto *ECE = dyn_cast<ExplicitCastExpr>(E))
1652bf9b4c0SAlexey Bataev       CGF.CGM.EmitExplicitCastExprType(ECE, &CGF);
166c357f412SDouglas Gregor     return EmitCast(E->getCastKind(), E->getSubExpr(), E->getType());
1677a51313dSChris Lattner   }
1687a51313dSChris Lattner   ComplexPairTy VisitCallExpr(const CallExpr *E);
1697a51313dSChris Lattner   ComplexPairTy VisitStmtExpr(const StmtExpr *E);
1707a51313dSChris Lattner 
1717a51313dSChris Lattner   // Operators.
1727a51313dSChris Lattner   ComplexPairTy VisitPrePostIncDec(const UnaryOperator *E,
173116ce8f1SChris Lattner                                    bool isInc, bool isPre) {
174116ce8f1SChris Lattner     LValue LV = CGF.EmitLValue(E->getSubExpr());
175116ce8f1SChris Lattner     return CGF.EmitComplexPrePostIncDec(E, LV, isInc, isPre);
176116ce8f1SChris Lattner   }
1777a51313dSChris Lattner   ComplexPairTy VisitUnaryPostDec(const UnaryOperator *E) {
1787a51313dSChris Lattner     return VisitPrePostIncDec(E, false, false);
1797a51313dSChris Lattner   }
1807a51313dSChris Lattner   ComplexPairTy VisitUnaryPostInc(const UnaryOperator *E) {
1817a51313dSChris Lattner     return VisitPrePostIncDec(E, true, false);
1827a51313dSChris Lattner   }
1837a51313dSChris Lattner   ComplexPairTy VisitUnaryPreDec(const UnaryOperator *E) {
1847a51313dSChris Lattner     return VisitPrePostIncDec(E, false, true);
1857a51313dSChris Lattner   }
1867a51313dSChris Lattner   ComplexPairTy VisitUnaryPreInc(const UnaryOperator *E) {
1877a51313dSChris Lattner     return VisitPrePostIncDec(E, true, true);
1887a51313dSChris Lattner   }
1897a51313dSChris Lattner   ComplexPairTy VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); }
1907a51313dSChris Lattner   ComplexPairTy VisitUnaryPlus     (const UnaryOperator *E) {
191df0fe27bSMike Stump     TestAndClearIgnoreReal();
192df0fe27bSMike Stump     TestAndClearIgnoreImag();
1937a51313dSChris Lattner     return Visit(E->getSubExpr());
1947a51313dSChris Lattner   }
1957a51313dSChris Lattner   ComplexPairTy VisitUnaryMinus    (const UnaryOperator *E);
1967a51313dSChris Lattner   ComplexPairTy VisitUnaryNot      (const UnaryOperator *E);
1976f28289aSSebastian Redl   // LNot,Real,Imag never return complex.
1987a51313dSChris Lattner   ComplexPairTy VisitUnaryExtension(const UnaryOperator *E) {
1997a51313dSChris Lattner     return Visit(E->getSubExpr());
2007a51313dSChris Lattner   }
201aa9c7aedSChris Lattner   ComplexPairTy VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
202aa9c7aedSChris Lattner     return Visit(DAE->getExpr());
203aa9c7aedSChris Lattner   }
204852c9db7SRichard Smith   ComplexPairTy VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) {
205852c9db7SRichard Smith     CodeGenFunction::CXXDefaultInitExprScope Scope(CGF);
206852c9db7SRichard Smith     return Visit(DIE->getExpr());
207852c9db7SRichard Smith   }
2085d413781SJohn McCall   ComplexPairTy VisitExprWithCleanups(ExprWithCleanups *E) {
20908ef4660SJohn McCall     CGF.enterFullExpression(E);
21008ef4660SJohn McCall     CodeGenFunction::RunCleanupsScope Scope(CGF);
211092d0652SReid Kleckner     ComplexPairTy Vals = Visit(E->getSubExpr());
212092d0652SReid Kleckner     // Defend against dominance problems caused by jumps out of expression
213092d0652SReid Kleckner     // evaluation through the shared cleanup block.
214092d0652SReid Kleckner     Scope.ForceCleanup({&Vals.first, &Vals.second});
215092d0652SReid Kleckner     return Vals;
216c0092ad3SAnders Carlsson   }
217747eb784SDouglas Gregor   ComplexPairTy VisitCXXScalarValueInitExpr(CXXScalarValueInitExpr *E) {
218ce4528f0SArgyrios Kyrtzidis     assert(E->getType()->isAnyComplexType() && "Expected complex type!");
21947fb9508SJohn McCall     QualType Elem = E->getType()->castAs<ComplexType>()->getElementType();
2204a3999feSMike Stump     llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem));
221ce4528f0SArgyrios Kyrtzidis     return ComplexPairTy(Null, Null);
222ce4528f0SArgyrios Kyrtzidis   }
2230202cb40SDouglas Gregor   ComplexPairTy VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
2240202cb40SDouglas Gregor     assert(E->getType()->isAnyComplexType() && "Expected complex type!");
22547fb9508SJohn McCall     QualType Elem = E->getType()->castAs<ComplexType>()->getElementType();
226ae86c19eSOwen Anderson     llvm::Constant *Null =
2270b75f23bSOwen Anderson                        llvm::Constant::getNullValue(CGF.ConvertType(Elem));
2280202cb40SDouglas Gregor     return ComplexPairTy(Null, Null);
2290202cb40SDouglas Gregor   }
2307a51313dSChris Lattner 
2317a51313dSChris Lattner   struct BinOpInfo {
2327a51313dSChris Lattner     ComplexPairTy LHS;
2337a51313dSChris Lattner     ComplexPairTy RHS;
2347a51313dSChris Lattner     QualType Ty;  // Computation Type.
2357a51313dSChris Lattner   };
2367a51313dSChris Lattner 
2377a51313dSChris Lattner   BinOpInfo EmitBinOps(const BinaryOperator *E);
23807bb1966SJohn McCall   LValue EmitCompoundAssignLValue(const CompoundAssignOperator *E,
23907bb1966SJohn McCall                                   ComplexPairTy (ComplexExprEmitter::*Func)
24007bb1966SJohn McCall                                   (const BinOpInfo &),
241f045007fSEli Friedman                                   RValue &Val);
2427a51313dSChris Lattner   ComplexPairTy EmitCompoundAssign(const CompoundAssignOperator *E,
2437a51313dSChris Lattner                                    ComplexPairTy (ComplexExprEmitter::*Func)
2447a51313dSChris Lattner                                    (const BinOpInfo &));
2457a51313dSChris Lattner 
2467a51313dSChris Lattner   ComplexPairTy EmitBinAdd(const BinOpInfo &Op);
2477a51313dSChris Lattner   ComplexPairTy EmitBinSub(const BinOpInfo &Op);
2487a51313dSChris Lattner   ComplexPairTy EmitBinMul(const BinOpInfo &Op);
2497a51313dSChris Lattner   ComplexPairTy EmitBinDiv(const BinOpInfo &Op);
2507a51313dSChris Lattner 
251a216cad0SChandler Carruth   ComplexPairTy EmitComplexBinOpLibCall(StringRef LibCallName,
252a216cad0SChandler Carruth                                         const BinOpInfo &Op);
253a216cad0SChandler Carruth 
2547a51313dSChris Lattner   ComplexPairTy VisitBinAdd(const BinaryOperator *E) {
2557a51313dSChris Lattner     return EmitBinAdd(EmitBinOps(E));
2567a51313dSChris Lattner   }
2577a51313dSChris Lattner   ComplexPairTy VisitBinSub(const BinaryOperator *E) {
2587a51313dSChris Lattner     return EmitBinSub(EmitBinOps(E));
2597a51313dSChris Lattner   }
26007bb1966SJohn McCall   ComplexPairTy VisitBinMul(const BinaryOperator *E) {
26107bb1966SJohn McCall     return EmitBinMul(EmitBinOps(E));
26207bb1966SJohn McCall   }
2637a51313dSChris Lattner   ComplexPairTy VisitBinDiv(const BinaryOperator *E) {
2647a51313dSChris Lattner     return EmitBinDiv(EmitBinOps(E));
2657a51313dSChris Lattner   }
2667a51313dSChris Lattner 
2677a51313dSChris Lattner   // Compound assignments.
2687a51313dSChris Lattner   ComplexPairTy VisitBinAddAssign(const CompoundAssignOperator *E) {
2697a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd);
2707a51313dSChris Lattner   }
2717a51313dSChris Lattner   ComplexPairTy VisitBinSubAssign(const CompoundAssignOperator *E) {
2727a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub);
2737a51313dSChris Lattner   }
2747a51313dSChris Lattner   ComplexPairTy VisitBinMulAssign(const CompoundAssignOperator *E) {
2757a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul);
2767a51313dSChris Lattner   }
2777a51313dSChris Lattner   ComplexPairTy VisitBinDivAssign(const CompoundAssignOperator *E) {
2787a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv);
2797a51313dSChris Lattner   }
2807a51313dSChris Lattner 
2817a51313dSChris Lattner   // GCC rejects rem/and/or/xor for integer complex.
2827a51313dSChris Lattner   // Logical and/or always return int, never complex.
2837a51313dSChris Lattner 
2847a51313dSChris Lattner   // No comparisons produce a complex result.
28507bb1966SJohn McCall 
28607bb1966SJohn McCall   LValue EmitBinAssignLValue(const BinaryOperator *E,
28707bb1966SJohn McCall                              ComplexPairTy &Val);
2887a51313dSChris Lattner   ComplexPairTy VisitBinAssign     (const BinaryOperator *E);
2897a51313dSChris Lattner   ComplexPairTy VisitBinComma      (const BinaryOperator *E);
2907a51313dSChris Lattner 
2917a51313dSChris Lattner 
292c07a0c7eSJohn McCall   ComplexPairTy
293c07a0c7eSJohn McCall   VisitAbstractConditionalOperator(const AbstractConditionalOperator *CO);
2947a51313dSChris Lattner   ComplexPairTy VisitChooseExpr(ChooseExpr *CE);
295dd7406e6SEli Friedman 
296dd7406e6SEli Friedman   ComplexPairTy VisitInitListExpr(InitListExpr *E);
29700079612SDaniel Dunbar 
298afa84ae8SEli Friedman   ComplexPairTy VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
299afa84ae8SEli Friedman     return EmitLoadOfLValue(E);
300afa84ae8SEli Friedman   }
301afa84ae8SEli Friedman 
30200079612SDaniel Dunbar   ComplexPairTy VisitVAArgExpr(VAArgExpr *E);
303df14b3a8SEli Friedman 
304df14b3a8SEli Friedman   ComplexPairTy VisitAtomicExpr(AtomicExpr *E) {
305df14b3a8SEli Friedman     return CGF.EmitAtomicExpr(E).getComplexVal();
306df14b3a8SEli Friedman   }
3077a51313dSChris Lattner };
3087a51313dSChris Lattner }  // end anonymous namespace.
3097a51313dSChris Lattner 
3107a51313dSChris Lattner //===----------------------------------------------------------------------===//
3117a51313dSChris Lattner //                                Utilities
3127a51313dSChris Lattner //===----------------------------------------------------------------------===//
3137a51313dSChris Lattner 
3147f416cc4SJohn McCall Address CodeGenFunction::emitAddrOfRealComponent(Address addr,
3157f416cc4SJohn McCall                                                  QualType complexType) {
3167f416cc4SJohn McCall   CharUnits offset = CharUnits::Zero();
3177f416cc4SJohn McCall   return Builder.CreateStructGEP(addr, 0, offset, addr.getName() + ".realp");
3187f416cc4SJohn McCall }
3197f416cc4SJohn McCall 
3207f416cc4SJohn McCall Address CodeGenFunction::emitAddrOfImagComponent(Address addr,
3217f416cc4SJohn McCall                                                  QualType complexType) {
3227f416cc4SJohn McCall   QualType eltType = complexType->castAs<ComplexType>()->getElementType();
3237f416cc4SJohn McCall   CharUnits offset = getContext().getTypeSizeInChars(eltType);
3247f416cc4SJohn McCall   return Builder.CreateStructGEP(addr, 1, offset, addr.getName() + ".imagp");
3257f416cc4SJohn McCall }
3267f416cc4SJohn McCall 
32747fb9508SJohn McCall /// EmitLoadOfLValue - Given an RValue reference for a complex, emit code to
3287a51313dSChris Lattner /// load the real and imaginary pieces, returning them as Real/Imag.
3292d84e842SNick Lewycky ComplexPairTy ComplexExprEmitter::EmitLoadOfLValue(LValue lvalue,
3302d84e842SNick Lewycky                                                    SourceLocation loc) {
33147fb9508SJohn McCall   assert(lvalue.isSimple() && "non-simple complex l-value?");
332a8ec7eb9SJohn McCall   if (lvalue.getType()->isAtomicType())
3332d84e842SNick Lewycky     return CGF.EmitAtomicLoad(lvalue, loc).getComplexVal();
334a8ec7eb9SJohn McCall 
3357f416cc4SJohn McCall   Address SrcPtr = lvalue.getAddress();
33647fb9508SJohn McCall   bool isVolatile = lvalue.isVolatileQualified();
33747fb9508SJohn McCall 
3388a13c418SCraig Topper   llvm::Value *Real = nullptr, *Imag = nullptr;
339df0fe27bSMike Stump 
34083fe49d1SJohn McCall   if (!IgnoreReal || isVolatile) {
3417f416cc4SJohn McCall     Address RealP = CGF.emitAddrOfRealComponent(SrcPtr, lvalue.getType());
3427f416cc4SJohn McCall     Real = Builder.CreateLoad(RealP, isVolatile, SrcPtr.getName() + ".real");
343df0fe27bSMike Stump   }
344df0fe27bSMike Stump 
34583fe49d1SJohn McCall   if (!IgnoreImag || isVolatile) {
3467f416cc4SJohn McCall     Address ImagP = CGF.emitAddrOfImagComponent(SrcPtr, lvalue.getType());
3477f416cc4SJohn McCall     Imag = Builder.CreateLoad(ImagP, isVolatile, SrcPtr.getName() + ".imag");
348df0fe27bSMike Stump   }
3497f416cc4SJohn McCall 
3507a51313dSChris Lattner   return ComplexPairTy(Real, Imag);
3517a51313dSChris Lattner }
3527a51313dSChris Lattner 
3537a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the
3547a51313dSChris Lattner /// specified value pointer.
355538deffdSDavid Blaikie void ComplexExprEmitter::EmitStoreOfComplex(ComplexPairTy Val, LValue lvalue,
35666e4197fSDavid Blaikie                                             bool isInit) {
357a5b195a1SDavid Majnemer   if (lvalue.getType()->isAtomicType() ||
358a5b195a1SDavid Majnemer       (!isInit && CGF.LValueIsSuitableForInlineAtomic(lvalue)))
359a8ec7eb9SJohn McCall     return CGF.EmitAtomicStore(RValue::getComplex(Val), lvalue, isInit);
360a8ec7eb9SJohn McCall 
3617f416cc4SJohn McCall   Address Ptr = lvalue.getAddress();
3627f416cc4SJohn McCall   Address RealPtr = CGF.emitAddrOfRealComponent(Ptr, lvalue.getType());
3637f416cc4SJohn McCall   Address ImagPtr = CGF.emitAddrOfImagComponent(Ptr, lvalue.getType());
3647a51313dSChris Lattner 
3657f416cc4SJohn McCall   Builder.CreateStore(Val.first, RealPtr, lvalue.isVolatileQualified());
3667f416cc4SJohn McCall   Builder.CreateStore(Val.second, ImagPtr, lvalue.isVolatileQualified());
3677a51313dSChris Lattner }
3687a51313dSChris Lattner 
3697a51313dSChris Lattner 
3707a51313dSChris Lattner 
3717a51313dSChris Lattner //===----------------------------------------------------------------------===//
3727a51313dSChris Lattner //                            Visitor Methods
3737a51313dSChris Lattner //===----------------------------------------------------------------------===//
3747a51313dSChris Lattner 
3757a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitExpr(Expr *E) {
376b74711dfSFariborz Jahanian   CGF.ErrorUnsupported(E, "complex expression");
377b74711dfSFariborz Jahanian   llvm::Type *EltTy =
37847fb9508SJohn McCall     CGF.ConvertType(getComplexType(E->getType())->getElementType());
379b74711dfSFariborz Jahanian   llvm::Value *U = llvm::UndefValue::get(EltTy);
380b74711dfSFariborz Jahanian   return ComplexPairTy(U, U);
3817a51313dSChris Lattner }
3827a51313dSChris Lattner 
3837a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::
3847a51313dSChris Lattner VisitImaginaryLiteral(const ImaginaryLiteral *IL) {
3857a51313dSChris Lattner   llvm::Value *Imag = CGF.EmitScalarExpr(IL->getSubExpr());
386294c2db4SJohn McCall   return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag);
3877a51313dSChris Lattner }
3887a51313dSChris Lattner 
3897a51313dSChris Lattner 
3907a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitCallExpr(const CallExpr *E) {
391ced8bdf7SDavid Majnemer   if (E->getCallReturnType(CGF.getContext())->isReferenceType())
392d8b7ae20SAnders Carlsson     return EmitLoadOfLValue(E);
393d8b7ae20SAnders Carlsson 
3947a51313dSChris Lattner   return CGF.EmitCallExpr(E).getComplexVal();
3957a51313dSChris Lattner }
3967a51313dSChris Lattner 
3977a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitStmtExpr(const StmtExpr *E) {
398ce1de617SJohn McCall   CodeGenFunction::StmtExprEvaluation eval(CGF);
3997f416cc4SJohn McCall   Address RetAlloca = CGF.EmitCompoundStmt(*E->getSubStmt(), true);
4007f416cc4SJohn McCall   assert(RetAlloca.isValid() && "Expected complex return value");
4012d84e842SNick Lewycky   return EmitLoadOfLValue(CGF.MakeAddrLValue(RetAlloca, E->getType()),
4022d84e842SNick Lewycky                           E->getExprLoc());
4037a51313dSChris Lattner }
4047a51313dSChris Lattner 
405650d7f7dSFilipe Cabecinhas /// Emit a cast from complex value Val to DestType.
4067a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitComplexToComplexCast(ComplexPairTy Val,
4077a51313dSChris Lattner                                                            QualType SrcType,
4087af183d8SFilipe Cabecinhas                                                            QualType DestType,
4097af183d8SFilipe Cabecinhas                                                            SourceLocation Loc) {
4107a51313dSChris Lattner   // Get the src/dest element type.
41147fb9508SJohn McCall   SrcType = SrcType->castAs<ComplexType>()->getElementType();
41247fb9508SJohn McCall   DestType = DestType->castAs<ComplexType>()->getElementType();
4137a51313dSChris Lattner 
4147a51313dSChris Lattner   // C99 6.3.1.6: When a value of complex type is converted to another
4157a51313dSChris Lattner   // complex type, both the real and imaginary parts follow the conversion
4167a51313dSChris Lattner   // rules for the corresponding real types.
4177af183d8SFilipe Cabecinhas   Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType, Loc);
4187af183d8SFilipe Cabecinhas   Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType, Loc);
4197a51313dSChris Lattner   return Val;
4207a51313dSChris Lattner }
4217a51313dSChris Lattner 
422f045007fSEli Friedman ComplexPairTy ComplexExprEmitter::EmitScalarToComplexCast(llvm::Value *Val,
423f045007fSEli Friedman                                                           QualType SrcType,
4247af183d8SFilipe Cabecinhas                                                           QualType DestType,
4257af183d8SFilipe Cabecinhas                                                           SourceLocation Loc) {
426f045007fSEli Friedman   // Convert the input element to the element type of the complex.
427f045007fSEli Friedman   DestType = DestType->castAs<ComplexType>()->getElementType();
4287af183d8SFilipe Cabecinhas   Val = CGF.EmitScalarConversion(Val, SrcType, DestType, Loc);
429f045007fSEli Friedman 
430f045007fSEli Friedman   // Return (realval, 0).
431f045007fSEli Friedman   return ComplexPairTy(Val, llvm::Constant::getNullValue(Val->getType()));
432f045007fSEli Friedman }
433f045007fSEli Friedman 
4341a07fd18SCraig Topper ComplexPairTy ComplexExprEmitter::EmitCast(CastKind CK, Expr *Op,
435c357f412SDouglas Gregor                                            QualType DestTy) {
43634376a68SJohn McCall   switch (CK) {
4375836852eSEli Friedman   case CK_Dependent: llvm_unreachable("dependent cast kind in IR gen!");
43834376a68SJohn McCall 
439fa35df62SDavid Chisnall   // Atomic to non-atomic casts may be more than a no-op for some platforms and
440fa35df62SDavid Chisnall   // for some types.
441fa35df62SDavid Chisnall   case CK_AtomicToNonAtomic:
442fa35df62SDavid Chisnall   case CK_NonAtomicToAtomic:
44334376a68SJohn McCall   case CK_NoOp:
44434376a68SJohn McCall   case CK_LValueToRValue:
4455836852eSEli Friedman   case CK_UserDefinedConversion:
44634376a68SJohn McCall     return Visit(Op);
44734376a68SJohn McCall 
4485836852eSEli Friedman   case CK_LValueBitCast: {
44947fb9508SJohn McCall     LValue origLV = CGF.EmitLValue(Op);
4507f416cc4SJohn McCall     Address V = origLV.getAddress();
4517f416cc4SJohn McCall     V = Builder.CreateElementBitCast(V, CGF.ConvertType(DestTy));
4527f416cc4SJohn McCall     return EmitLoadOfLValue(CGF.MakeAddrLValue(V, DestTy), Op->getExprLoc());
453c357f412SDouglas Gregor   }
454c357f412SDouglas Gregor 
4555836852eSEli Friedman   case CK_BitCast:
4565836852eSEli Friedman   case CK_BaseToDerived:
4575836852eSEli Friedman   case CK_DerivedToBase:
4585836852eSEli Friedman   case CK_UncheckedDerivedToBase:
4595836852eSEli Friedman   case CK_Dynamic:
4605836852eSEli Friedman   case CK_ToUnion:
4615836852eSEli Friedman   case CK_ArrayToPointerDecay:
4625836852eSEli Friedman   case CK_FunctionToPointerDecay:
4635836852eSEli Friedman   case CK_NullToPointer:
4645836852eSEli Friedman   case CK_NullToMemberPointer:
4655836852eSEli Friedman   case CK_BaseToDerivedMemberPointer:
4665836852eSEli Friedman   case CK_DerivedToBaseMemberPointer:
4675836852eSEli Friedman   case CK_MemberPointerToBoolean:
468c62bb391SJohn McCall   case CK_ReinterpretMemberPointer:
4695836852eSEli Friedman   case CK_ConstructorConversion:
4705836852eSEli Friedman   case CK_IntegralToPointer:
4715836852eSEli Friedman   case CK_PointerToIntegral:
4725836852eSEli Friedman   case CK_PointerToBoolean:
4735836852eSEli Friedman   case CK_ToVoid:
4745836852eSEli Friedman   case CK_VectorSplat:
4755836852eSEli Friedman   case CK_IntegralCast:
476df1ed009SGeorge Burgess IV   case CK_BooleanToSignedIntegral:
4775836852eSEli Friedman   case CK_IntegralToBoolean:
4785836852eSEli Friedman   case CK_IntegralToFloating:
4795836852eSEli Friedman   case CK_FloatingToIntegral:
4805836852eSEli Friedman   case CK_FloatingToBoolean:
4815836852eSEli Friedman   case CK_FloatingCast:
4829320b87cSJohn McCall   case CK_CPointerToObjCPointerCast:
4839320b87cSJohn McCall   case CK_BlockPointerToObjCPointerCast:
4845836852eSEli Friedman   case CK_AnyPointerToBlockPointerCast:
4855836852eSEli Friedman   case CK_ObjCObjectLValueCast:
4865836852eSEli Friedman   case CK_FloatingComplexToReal:
4875836852eSEli Friedman   case CK_FloatingComplexToBoolean:
4885836852eSEli Friedman   case CK_IntegralComplexToReal:
4895836852eSEli Friedman   case CK_IntegralComplexToBoolean:
4902d637d2eSJohn McCall   case CK_ARCProduceObject:
4912d637d2eSJohn McCall   case CK_ARCConsumeObject:
4922d637d2eSJohn McCall   case CK_ARCReclaimReturnedObject:
4932d637d2eSJohn McCall   case CK_ARCExtendBlockObject:
494ed90df38SDouglas Gregor   case CK_CopyAndAutoreleaseBlockObject:
49534866c77SEli Friedman   case CK_BuiltinFnToFnPtr:
4961b4fb3e0SGuy Benyei   case CK_ZeroToOCLEvent:
49789831421SEgor Churaev   case CK_ZeroToOCLQueue:
498e1468322SDavid Tweed   case CK_AddressSpaceConversion:
4990bc4b2d3SYaxun Liu   case CK_IntToOCLSampler:
5005836852eSEli Friedman     llvm_unreachable("invalid cast kind for complex value");
5015836852eSEli Friedman 
5025836852eSEli Friedman   case CK_FloatingRealToComplex:
503f045007fSEli Friedman   case CK_IntegralRealToComplex:
5047af183d8SFilipe Cabecinhas     return EmitScalarToComplexCast(CGF.EmitScalarExpr(Op), Op->getType(),
5057af183d8SFilipe Cabecinhas                                    DestTy, Op->getExprLoc());
5067a51313dSChris Lattner 
5075836852eSEli Friedman   case CK_FloatingComplexCast:
5085836852eSEli Friedman   case CK_FloatingComplexToIntegralComplex:
5095836852eSEli Friedman   case CK_IntegralComplexCast:
5105836852eSEli Friedman   case CK_IntegralComplexToFloatingComplex:
5117af183d8SFilipe Cabecinhas     return EmitComplexToComplexCast(Visit(Op), Op->getType(), DestTy,
5127af183d8SFilipe Cabecinhas                                     Op->getExprLoc());
5135836852eSEli Friedman   }
5145836852eSEli Friedman 
5155836852eSEli Friedman   llvm_unreachable("unknown cast resulting in complex value");
5165836852eSEli Friedman }
5175836852eSEli Friedman 
5187a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryMinus(const UnaryOperator *E) {
519df0fe27bSMike Stump   TestAndClearIgnoreReal();
520df0fe27bSMike Stump   TestAndClearIgnoreImag();
5217a51313dSChris Lattner   ComplexPairTy Op = Visit(E->getSubExpr());
52294dfae24SChris Lattner 
52394dfae24SChris Lattner   llvm::Value *ResR, *ResI;
524998f9d97SDuncan Sands   if (Op.first->getType()->isFloatingPointTy()) {
52594dfae24SChris Lattner     ResR = Builder.CreateFNeg(Op.first,  "neg.r");
52694dfae24SChris Lattner     ResI = Builder.CreateFNeg(Op.second, "neg.i");
52794dfae24SChris Lattner   } else {
52894dfae24SChris Lattner     ResR = Builder.CreateNeg(Op.first,  "neg.r");
52994dfae24SChris Lattner     ResI = Builder.CreateNeg(Op.second, "neg.i");
53094dfae24SChris Lattner   }
5317a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
5327a51313dSChris Lattner }
5337a51313dSChris Lattner 
5347a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryNot(const UnaryOperator *E) {
535df0fe27bSMike Stump   TestAndClearIgnoreReal();
536df0fe27bSMike Stump   TestAndClearIgnoreImag();
5377a51313dSChris Lattner   // ~(a+ib) = a + i*-b
5387a51313dSChris Lattner   ComplexPairTy Op = Visit(E->getSubExpr());
53994dfae24SChris Lattner   llvm::Value *ResI;
540998f9d97SDuncan Sands   if (Op.second->getType()->isFloatingPointTy())
54194dfae24SChris Lattner     ResI = Builder.CreateFNeg(Op.second, "conj.i");
54294dfae24SChris Lattner   else
54394dfae24SChris Lattner     ResI = Builder.CreateNeg(Op.second, "conj.i");
54494dfae24SChris Lattner 
5457a51313dSChris Lattner   return ComplexPairTy(Op.first, ResI);
5467a51313dSChris Lattner }
5477a51313dSChris Lattner 
5487a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinAdd(const BinOpInfo &Op) {
54994dfae24SChris Lattner   llvm::Value *ResR, *ResI;
55094dfae24SChris Lattner 
551998f9d97SDuncan Sands   if (Op.LHS.first->getType()->isFloatingPointTy()) {
55294dfae24SChris Lattner     ResR = Builder.CreateFAdd(Op.LHS.first,  Op.RHS.first,  "add.r");
553a216cad0SChandler Carruth     if (Op.LHS.second && Op.RHS.second)
55494dfae24SChris Lattner       ResI = Builder.CreateFAdd(Op.LHS.second, Op.RHS.second, "add.i");
555a216cad0SChandler Carruth     else
556a216cad0SChandler Carruth       ResI = Op.LHS.second ? Op.LHS.second : Op.RHS.second;
557a216cad0SChandler Carruth     assert(ResI && "Only one operand may be real!");
55894dfae24SChris Lattner   } else {
55994dfae24SChris Lattner     ResR = Builder.CreateAdd(Op.LHS.first,  Op.RHS.first,  "add.r");
560a216cad0SChandler Carruth     assert(Op.LHS.second && Op.RHS.second &&
561a216cad0SChandler Carruth            "Both operands of integer complex operators must be complex!");
56294dfae24SChris Lattner     ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second, "add.i");
56394dfae24SChris Lattner   }
5647a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
5657a51313dSChris Lattner }
5667a51313dSChris Lattner 
5677a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinSub(const BinOpInfo &Op) {
56894dfae24SChris Lattner   llvm::Value *ResR, *ResI;
569998f9d97SDuncan Sands   if (Op.LHS.first->getType()->isFloatingPointTy()) {
57094dfae24SChris Lattner     ResR = Builder.CreateFSub(Op.LHS.first, Op.RHS.first, "sub.r");
571a216cad0SChandler Carruth     if (Op.LHS.second && Op.RHS.second)
57294dfae24SChris Lattner       ResI = Builder.CreateFSub(Op.LHS.second, Op.RHS.second, "sub.i");
573a216cad0SChandler Carruth     else
574a216cad0SChandler Carruth       ResI = Op.LHS.second ? Op.LHS.second
575a216cad0SChandler Carruth                            : Builder.CreateFNeg(Op.RHS.second, "sub.i");
576a216cad0SChandler Carruth     assert(ResI && "Only one operand may be real!");
57794dfae24SChris Lattner   } else {
57894dfae24SChris Lattner     ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first, "sub.r");
579a216cad0SChandler Carruth     assert(Op.LHS.second && Op.RHS.second &&
580a216cad0SChandler Carruth            "Both operands of integer complex operators must be complex!");
58194dfae24SChris Lattner     ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second, "sub.i");
58294dfae24SChris Lattner   }
5837a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
5847a51313dSChris Lattner }
5857a51313dSChris Lattner 
586a216cad0SChandler Carruth /// \brief Emit a libcall for a binary operation on complex types.
587a216cad0SChandler Carruth ComplexPairTy ComplexExprEmitter::EmitComplexBinOpLibCall(StringRef LibCallName,
588a216cad0SChandler Carruth                                                           const BinOpInfo &Op) {
589a216cad0SChandler Carruth   CallArgList Args;
590a216cad0SChandler Carruth   Args.add(RValue::get(Op.LHS.first),
591a216cad0SChandler Carruth            Op.Ty->castAs<ComplexType>()->getElementType());
592a216cad0SChandler Carruth   Args.add(RValue::get(Op.LHS.second),
593a216cad0SChandler Carruth            Op.Ty->castAs<ComplexType>()->getElementType());
594a216cad0SChandler Carruth   Args.add(RValue::get(Op.RHS.first),
595a216cad0SChandler Carruth            Op.Ty->castAs<ComplexType>()->getElementType());
596a216cad0SChandler Carruth   Args.add(RValue::get(Op.RHS.second),
597a216cad0SChandler Carruth            Op.Ty->castAs<ComplexType>()->getElementType());
5987a51313dSChris Lattner 
599a216cad0SChandler Carruth   // We *must* use the full CG function call building logic here because the
600d90dd797SAnton Korobeynikov   // complex type has special ABI handling. We also should not forget about
601d90dd797SAnton Korobeynikov   // special calling convention which may be used for compiler builtins.
602798f11cfSSamuel Antao 
603798f11cfSSamuel Antao   // We create a function qualified type to state that this call does not have
604798f11cfSSamuel Antao   // any exceptions.
605798f11cfSSamuel Antao   FunctionProtoType::ExtProtoInfo EPI;
606798f11cfSSamuel Antao   EPI = EPI.withExceptionSpec(
607798f11cfSSamuel Antao       FunctionProtoType::ExceptionSpecInfo(EST_BasicNoexcept));
608798f11cfSSamuel Antao   SmallVector<QualType, 4> ArgsQTys(
609798f11cfSSamuel Antao       4, Op.Ty->castAs<ComplexType>()->getElementType());
610798f11cfSSamuel Antao   QualType FQTy = CGF.getContext().getFunctionType(Op.Ty, ArgsQTys, EPI);
611798f11cfSSamuel Antao   const CGFunctionInfo &FuncInfo = CGF.CGM.getTypes().arrangeFreeFunctionCall(
612798f11cfSSamuel Antao       Args, cast<FunctionType>(FQTy.getTypePtr()), false);
613798f11cfSSamuel Antao 
614a216cad0SChandler Carruth   llvm::FunctionType *FTy = CGF.CGM.getTypes().GetFunctionType(FuncInfo);
615d90dd797SAnton Korobeynikov   llvm::Constant *Func = CGF.CGM.CreateBuiltinFunction(FTy, LibCallName);
616b92ab1afSJohn McCall   CGCallee Callee = CGCallee::forDirect(Func, FQTy->getAs<FunctionProtoType>());
617a216cad0SChandler Carruth 
618b92ab1afSJohn McCall   llvm::Instruction *Call;
619b92ab1afSJohn McCall   RValue Res = CGF.EmitCall(FuncInfo, Callee, ReturnValueSlot(), Args, &Call);
620d90dd797SAnton Korobeynikov   cast<llvm::CallInst>(Call)->setCallingConv(CGF.CGM.getBuiltinCC());
621d90dd797SAnton Korobeynikov   return Res.getComplexVal();
622a216cad0SChandler Carruth }
623a216cad0SChandler Carruth 
6240c4b230bSChandler Carruth /// \brief Lookup the libcall name for a given floating point type complex
6250c4b230bSChandler Carruth /// multiply.
6260c4b230bSChandler Carruth static StringRef getComplexMultiplyLibCallName(llvm::Type *Ty) {
6270c4b230bSChandler Carruth   switch (Ty->getTypeID()) {
6280c4b230bSChandler Carruth   default:
6290c4b230bSChandler Carruth     llvm_unreachable("Unsupported floating point type!");
6300c4b230bSChandler Carruth   case llvm::Type::HalfTyID:
6310c4b230bSChandler Carruth     return "__mulhc3";
6320c4b230bSChandler Carruth   case llvm::Type::FloatTyID:
6330c4b230bSChandler Carruth     return "__mulsc3";
6340c4b230bSChandler Carruth   case llvm::Type::DoubleTyID:
6350c4b230bSChandler Carruth     return "__muldc3";
6360c4b230bSChandler Carruth   case llvm::Type::PPC_FP128TyID:
6370c4b230bSChandler Carruth     return "__multc3";
6380c4b230bSChandler Carruth   case llvm::Type::X86_FP80TyID:
6390c4b230bSChandler Carruth     return "__mulxc3";
640444822bbSJiangning Liu   case llvm::Type::FP128TyID:
641444822bbSJiangning Liu     return "__multc3";
6420c4b230bSChandler Carruth   }
6430c4b230bSChandler Carruth }
6440c4b230bSChandler Carruth 
645a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex
646a216cad0SChandler Carruth // typed values.
6477a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinMul(const BinOpInfo &Op) {
64894dfae24SChris Lattner   using llvm::Value;
64994dfae24SChris Lattner   Value *ResR, *ResI;
6500c4b230bSChandler Carruth   llvm::MDBuilder MDHelper(CGF.getLLVMContext());
6517a51313dSChris Lattner 
652998f9d97SDuncan Sands   if (Op.LHS.first->getType()->isFloatingPointTy()) {
653a216cad0SChandler Carruth     // The general formulation is:
654a216cad0SChandler Carruth     // (a + ib) * (c + id) = (a * c - b * d) + i(a * d + b * c)
655a216cad0SChandler Carruth     //
656a216cad0SChandler Carruth     // But we can fold away components which would be zero due to a real
657a216cad0SChandler Carruth     // operand according to C11 Annex G.5.1p2.
658a216cad0SChandler Carruth     // FIXME: C11 also provides for imaginary types which would allow folding
659a216cad0SChandler Carruth     // still more of this within the type system.
66094dfae24SChris Lattner 
661a216cad0SChandler Carruth     if (Op.LHS.second && Op.RHS.second) {
6620c4b230bSChandler Carruth       // If both operands are complex, emit the core math directly, and then
6630c4b230bSChandler Carruth       // test for NaNs. If we find NaNs in the result, we delegate to a libcall
6640c4b230bSChandler Carruth       // to carefully re-compute the correct infinity representation if
6650c4b230bSChandler Carruth       // possible. The expectation is that the presence of NaNs here is
6660c4b230bSChandler Carruth       // *extremely* rare, and so the cost of the libcall is almost irrelevant.
6670c4b230bSChandler Carruth       // This is good, because the libcall re-computes the core multiplication
6680c4b230bSChandler Carruth       // exactly the same as we do here and re-tests for NaNs in order to be
6690c4b230bSChandler Carruth       // a generic complex*complex libcall.
6700c4b230bSChandler Carruth 
6710c4b230bSChandler Carruth       // First compute the four products.
6720c4b230bSChandler Carruth       Value *AC = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul_ac");
6730c4b230bSChandler Carruth       Value *BD = Builder.CreateFMul(Op.LHS.second, Op.RHS.second, "mul_bd");
6740c4b230bSChandler Carruth       Value *AD = Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul_ad");
6750c4b230bSChandler Carruth       Value *BC = Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul_bc");
6760c4b230bSChandler Carruth 
6770c4b230bSChandler Carruth       // The real part is the difference of the first two, the imaginary part is
6780c4b230bSChandler Carruth       // the sum of the second.
6790c4b230bSChandler Carruth       ResR = Builder.CreateFSub(AC, BD, "mul_r");
6800c4b230bSChandler Carruth       ResI = Builder.CreateFAdd(AD, BC, "mul_i");
6810c4b230bSChandler Carruth 
6820c4b230bSChandler Carruth       // Emit the test for the real part becoming NaN and create a branch to
6830c4b230bSChandler Carruth       // handle it. We test for NaN by comparing the number to itself.
6840c4b230bSChandler Carruth       Value *IsRNaN = Builder.CreateFCmpUNO(ResR, ResR, "isnan_cmp");
6850c4b230bSChandler Carruth       llvm::BasicBlock *ContBB = CGF.createBasicBlock("complex_mul_cont");
6860c4b230bSChandler Carruth       llvm::BasicBlock *INaNBB = CGF.createBasicBlock("complex_mul_imag_nan");
6870c4b230bSChandler Carruth       llvm::Instruction *Branch = Builder.CreateCondBr(IsRNaN, INaNBB, ContBB);
6880c4b230bSChandler Carruth       llvm::BasicBlock *OrigBB = Branch->getParent();
6890c4b230bSChandler Carruth 
6900c4b230bSChandler Carruth       // Give hint that we very much don't expect to see NaNs.
6910c4b230bSChandler Carruth       // Value chosen to match UR_NONTAKEN_WEIGHT, see BranchProbabilityInfo.cpp
6920c4b230bSChandler Carruth       llvm::MDNode *BrWeight = MDHelper.createBranchWeights(1, (1U << 20) - 1);
6930c4b230bSChandler Carruth       Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
6940c4b230bSChandler Carruth 
6950c4b230bSChandler Carruth       // Now test the imaginary part and create its branch.
6960c4b230bSChandler Carruth       CGF.EmitBlock(INaNBB);
6970c4b230bSChandler Carruth       Value *IsINaN = Builder.CreateFCmpUNO(ResI, ResI, "isnan_cmp");
6980c4b230bSChandler Carruth       llvm::BasicBlock *LibCallBB = CGF.createBasicBlock("complex_mul_libcall");
6990c4b230bSChandler Carruth       Branch = Builder.CreateCondBr(IsINaN, LibCallBB, ContBB);
7000c4b230bSChandler Carruth       Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
7010c4b230bSChandler Carruth 
7020c4b230bSChandler Carruth       // Now emit the libcall on this slowest of the slow paths.
7030c4b230bSChandler Carruth       CGF.EmitBlock(LibCallBB);
7040c4b230bSChandler Carruth       Value *LibCallR, *LibCallI;
7050c4b230bSChandler Carruth       std::tie(LibCallR, LibCallI) = EmitComplexBinOpLibCall(
7060c4b230bSChandler Carruth           getComplexMultiplyLibCallName(Op.LHS.first->getType()), Op);
7070c4b230bSChandler Carruth       Builder.CreateBr(ContBB);
7080c4b230bSChandler Carruth 
7090c4b230bSChandler Carruth       // Finally continue execution by phi-ing together the different
7100c4b230bSChandler Carruth       // computation paths.
7110c4b230bSChandler Carruth       CGF.EmitBlock(ContBB);
7120c4b230bSChandler Carruth       llvm::PHINode *RealPHI = Builder.CreatePHI(ResR->getType(), 3, "real_mul_phi");
7130c4b230bSChandler Carruth       RealPHI->addIncoming(ResR, OrigBB);
7140c4b230bSChandler Carruth       RealPHI->addIncoming(ResR, INaNBB);
7150c4b230bSChandler Carruth       RealPHI->addIncoming(LibCallR, LibCallBB);
7160c4b230bSChandler Carruth       llvm::PHINode *ImagPHI = Builder.CreatePHI(ResI->getType(), 3, "imag_mul_phi");
7170c4b230bSChandler Carruth       ImagPHI->addIncoming(ResI, OrigBB);
7180c4b230bSChandler Carruth       ImagPHI->addIncoming(ResI, INaNBB);
7190c4b230bSChandler Carruth       ImagPHI->addIncoming(LibCallI, LibCallBB);
7200c4b230bSChandler Carruth       return ComplexPairTy(RealPHI, ImagPHI);
721a216cad0SChandler Carruth     }
722a216cad0SChandler Carruth     assert((Op.LHS.second || Op.RHS.second) &&
723a216cad0SChandler Carruth            "At least one operand must be complex!");
724a216cad0SChandler Carruth 
725a216cad0SChandler Carruth     // If either of the operands is a real rather than a complex, the
726a216cad0SChandler Carruth     // imaginary component is ignored when computing the real component of the
727a216cad0SChandler Carruth     // result.
728a216cad0SChandler Carruth     ResR = Builder.CreateFMul(Op.LHS.first, Op.RHS.first, "mul.rl");
729a216cad0SChandler Carruth 
730a216cad0SChandler Carruth     ResI = Op.LHS.second
731a216cad0SChandler Carruth                ? Builder.CreateFMul(Op.LHS.second, Op.RHS.first, "mul.il")
732a216cad0SChandler Carruth                : Builder.CreateFMul(Op.LHS.first, Op.RHS.second, "mul.ir");
73394dfae24SChris Lattner   } else {
734a216cad0SChandler Carruth     assert(Op.LHS.second && Op.RHS.second &&
735a216cad0SChandler Carruth            "Both operands of integer complex operators must be complex!");
73694dfae24SChris Lattner     Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first, "mul.rl");
73794dfae24SChris Lattner     Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second, "mul.rr");
73894dfae24SChris Lattner     ResR = Builder.CreateSub(ResRl, ResRr, "mul.r");
73994dfae24SChris Lattner 
74094dfae24SChris Lattner     Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first, "mul.il");
74194dfae24SChris Lattner     Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second, "mul.ir");
74294dfae24SChris Lattner     ResI = Builder.CreateAdd(ResIl, ResIr, "mul.i");
74394dfae24SChris Lattner   }
7447a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
7457a51313dSChris Lattner }
7467a51313dSChris Lattner 
747a216cad0SChandler Carruth // See C11 Annex G.5.1 for the semantics of multiplicative operators on complex
748a216cad0SChandler Carruth // typed values.
7497a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinDiv(const BinOpInfo &Op) {
7507a51313dSChris Lattner   llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second;
7517a51313dSChris Lattner   llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second;
7527a51313dSChris Lattner 
75394dfae24SChris Lattner 
75494dfae24SChris Lattner   llvm::Value *DSTr, *DSTi;
755a216cad0SChandler Carruth   if (LHSr->getType()->isFloatingPointTy()) {
756a216cad0SChandler Carruth     // If we have a complex operand on the RHS, we delegate to a libcall to
757a216cad0SChandler Carruth     // handle all of the complexities and minimize underflow/overflow cases.
758a216cad0SChandler Carruth     //
759a216cad0SChandler Carruth     // FIXME: We would be able to avoid the libcall in many places if we
760a216cad0SChandler Carruth     // supported imaginary types in addition to complex types.
761a216cad0SChandler Carruth     if (RHSi) {
762a216cad0SChandler Carruth       BinOpInfo LibCallOp = Op;
763a216cad0SChandler Carruth       // If LHS was a real, supply a null imaginary part.
764a216cad0SChandler Carruth       if (!LHSi)
765a216cad0SChandler Carruth         LibCallOp.LHS.second = llvm::Constant::getNullValue(LHSr->getType());
76694dfae24SChris Lattner 
767a216cad0SChandler Carruth       StringRef LibCallName;
768a216cad0SChandler Carruth       switch (LHSr->getType()->getTypeID()) {
769a216cad0SChandler Carruth       default:
770a216cad0SChandler Carruth         llvm_unreachable("Unsupported floating point type!");
771a216cad0SChandler Carruth       case llvm::Type::HalfTyID:
772a216cad0SChandler Carruth         return EmitComplexBinOpLibCall("__divhc3", LibCallOp);
773a216cad0SChandler Carruth       case llvm::Type::FloatTyID:
774a216cad0SChandler Carruth         return EmitComplexBinOpLibCall("__divsc3", LibCallOp);
775a216cad0SChandler Carruth       case llvm::Type::DoubleTyID:
776a216cad0SChandler Carruth         return EmitComplexBinOpLibCall("__divdc3", LibCallOp);
777aa3e9f5aSJoerg Sonnenberger       case llvm::Type::PPC_FP128TyID:
778aa3e9f5aSJoerg Sonnenberger         return EmitComplexBinOpLibCall("__divtc3", LibCallOp);
779a216cad0SChandler Carruth       case llvm::Type::X86_FP80TyID:
780a216cad0SChandler Carruth         return EmitComplexBinOpLibCall("__divxc3", LibCallOp);
781444822bbSJiangning Liu       case llvm::Type::FP128TyID:
782444822bbSJiangning Liu         return EmitComplexBinOpLibCall("__divtc3", LibCallOp);
783a216cad0SChandler Carruth       }
784a216cad0SChandler Carruth     }
785a216cad0SChandler Carruth     assert(LHSi && "Can have at most one non-complex operand!");
78694dfae24SChris Lattner 
787a216cad0SChandler Carruth     DSTr = Builder.CreateFDiv(LHSr, RHSr);
788a216cad0SChandler Carruth     DSTi = Builder.CreateFDiv(LHSi, RHSr);
78994dfae24SChris Lattner   } else {
790a216cad0SChandler Carruth     assert(Op.LHS.second && Op.RHS.second &&
791a216cad0SChandler Carruth            "Both operands of integer complex operators must be complex!");
7927a51313dSChris Lattner     // (a+ib) / (c+id) = ((ac+bd)/(cc+dd)) + i((bc-ad)/(cc+dd))
79376399eb2SBenjamin Kramer     llvm::Value *Tmp1 = Builder.CreateMul(LHSr, RHSr); // a*c
79476399eb2SBenjamin Kramer     llvm::Value *Tmp2 = Builder.CreateMul(LHSi, RHSi); // b*d
79576399eb2SBenjamin Kramer     llvm::Value *Tmp3 = Builder.CreateAdd(Tmp1, Tmp2); // ac+bd
7967a51313dSChris Lattner 
79776399eb2SBenjamin Kramer     llvm::Value *Tmp4 = Builder.CreateMul(RHSr, RHSr); // c*c
79876399eb2SBenjamin Kramer     llvm::Value *Tmp5 = Builder.CreateMul(RHSi, RHSi); // d*d
79976399eb2SBenjamin Kramer     llvm::Value *Tmp6 = Builder.CreateAdd(Tmp4, Tmp5); // cc+dd
8007a51313dSChris Lattner 
80176399eb2SBenjamin Kramer     llvm::Value *Tmp7 = Builder.CreateMul(LHSi, RHSr); // b*c
80276399eb2SBenjamin Kramer     llvm::Value *Tmp8 = Builder.CreateMul(LHSr, RHSi); // a*d
80376399eb2SBenjamin Kramer     llvm::Value *Tmp9 = Builder.CreateSub(Tmp7, Tmp8); // bc-ad
8047a51313dSChris Lattner 
80547fb9508SJohn McCall     if (Op.Ty->castAs<ComplexType>()->getElementType()->isUnsignedIntegerType()) {
80676399eb2SBenjamin Kramer       DSTr = Builder.CreateUDiv(Tmp3, Tmp6);
80776399eb2SBenjamin Kramer       DSTi = Builder.CreateUDiv(Tmp9, Tmp6);
8087a51313dSChris Lattner     } else {
80976399eb2SBenjamin Kramer       DSTr = Builder.CreateSDiv(Tmp3, Tmp6);
81076399eb2SBenjamin Kramer       DSTi = Builder.CreateSDiv(Tmp9, Tmp6);
8117a51313dSChris Lattner     }
8127a51313dSChris Lattner   }
8137a51313dSChris Lattner 
8147a51313dSChris Lattner   return ComplexPairTy(DSTr, DSTi);
8157a51313dSChris Lattner }
8167a51313dSChris Lattner 
8177a51313dSChris Lattner ComplexExprEmitter::BinOpInfo
8187a51313dSChris Lattner ComplexExprEmitter::EmitBinOps(const BinaryOperator *E) {
819df0fe27bSMike Stump   TestAndClearIgnoreReal();
820df0fe27bSMike Stump   TestAndClearIgnoreImag();
8217a51313dSChris Lattner   BinOpInfo Ops;
822a216cad0SChandler Carruth   if (E->getLHS()->getType()->isRealFloatingType())
823a216cad0SChandler Carruth     Ops.LHS = ComplexPairTy(CGF.EmitScalarExpr(E->getLHS()), nullptr);
824a216cad0SChandler Carruth   else
8257a51313dSChris Lattner     Ops.LHS = Visit(E->getLHS());
826a216cad0SChandler Carruth   if (E->getRHS()->getType()->isRealFloatingType())
827a216cad0SChandler Carruth     Ops.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr);
828a216cad0SChandler Carruth   else
8297a51313dSChris Lattner     Ops.RHS = Visit(E->getRHS());
830a216cad0SChandler Carruth 
8317a51313dSChris Lattner   Ops.Ty = E->getType();
8327a51313dSChris Lattner   return Ops;
8337a51313dSChris Lattner }
8347a51313dSChris Lattner 
8357a51313dSChris Lattner 
83607bb1966SJohn McCall LValue ComplexExprEmitter::
83707bb1966SJohn McCall EmitCompoundAssignLValue(const CompoundAssignOperator *E,
83807bb1966SJohn McCall           ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&),
839f045007fSEli Friedman                          RValue &Val) {
840df0fe27bSMike Stump   TestAndClearIgnoreReal();
841df0fe27bSMike Stump   TestAndClearIgnoreImag();
8428dfa5f17SJeffrey Yasskin   QualType LHSTy = E->getLHS()->getType();
843ce27e42dSDavid Majnemer   if (const AtomicType *AT = LHSTy->getAs<AtomicType>())
844ce27e42dSDavid Majnemer     LHSTy = AT->getValueType();
8457a51313dSChris Lattner 
846df0fe27bSMike Stump   BinOpInfo OpInfo;
847df0fe27bSMike Stump 
848df0fe27bSMike Stump   // Load the RHS and LHS operands.
849df0fe27bSMike Stump   // __block variables need to have the rhs evaluated first, plus this should
850fa8edb11SJohn McCall   // improve codegen a little.
851df0fe27bSMike Stump   OpInfo.Ty = E->getComputationResultType();
852a216cad0SChandler Carruth   QualType ComplexElementTy = cast<ComplexType>(OpInfo.Ty)->getElementType();
853fa8edb11SJohn McCall 
854fa8edb11SJohn McCall   // The RHS should have been converted to the computation type.
855a216cad0SChandler Carruth   if (E->getRHS()->getType()->isRealFloatingType()) {
856a216cad0SChandler Carruth     assert(
857a216cad0SChandler Carruth         CGF.getContext()
858a216cad0SChandler Carruth             .hasSameUnqualifiedType(ComplexElementTy, E->getRHS()->getType()));
859a216cad0SChandler Carruth     OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr);
860a216cad0SChandler Carruth   } else {
861a216cad0SChandler Carruth     assert(CGF.getContext()
862a216cad0SChandler Carruth                .hasSameUnqualifiedType(OpInfo.Ty, E->getRHS()->getType()));
863fa8edb11SJohn McCall     OpInfo.RHS = Visit(E->getRHS());
864a216cad0SChandler Carruth   }
865df0fe27bSMike Stump 
8668c94ffe7SDaniel Dunbar   LValue LHS = CGF.EmitLValue(E->getLHS());
867e26a872bSJohn McCall 
868f045007fSEli Friedman   // Load from the l-value and convert it.
8697af183d8SFilipe Cabecinhas   SourceLocation Loc = E->getExprLoc();
870f045007fSEli Friedman   if (LHSTy->isAnyComplexType()) {
8717af183d8SFilipe Cabecinhas     ComplexPairTy LHSVal = EmitLoadOfLValue(LHS, Loc);
8727af183d8SFilipe Cabecinhas     OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
873f045007fSEli Friedman   } else {
8747af183d8SFilipe Cabecinhas     llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, Loc);
875a216cad0SChandler Carruth     // For floating point real operands we can directly pass the scalar form
876a216cad0SChandler Carruth     // to the binary operator emission and potentially get more efficient code.
877a216cad0SChandler Carruth     if (LHSTy->isRealFloatingType()) {
878a216cad0SChandler Carruth       if (!CGF.getContext().hasSameUnqualifiedType(ComplexElementTy, LHSTy))
8797af183d8SFilipe Cabecinhas         LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy, Loc);
880a216cad0SChandler Carruth       OpInfo.LHS = ComplexPairTy(LHSVal, nullptr);
881a216cad0SChandler Carruth     } else {
8827af183d8SFilipe Cabecinhas       OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
883f045007fSEli Friedman     }
884a216cad0SChandler Carruth   }
8857a51313dSChris Lattner 
8867a51313dSChris Lattner   // Expand the binary operator.
8877a51313dSChris Lattner   ComplexPairTy Result = (this->*Func)(OpInfo);
8887a51313dSChris Lattner 
889f045007fSEli Friedman   // Truncate the result and store it into the LHS lvalue.
890f045007fSEli Friedman   if (LHSTy->isAnyComplexType()) {
8917af183d8SFilipe Cabecinhas     ComplexPairTy ResVal =
8927af183d8SFilipe Cabecinhas         EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy, Loc);
89366e4197fSDavid Blaikie     EmitStoreOfComplex(ResVal, LHS, /*isInit*/ false);
894f045007fSEli Friedman     Val = RValue::getComplex(ResVal);
895f045007fSEli Friedman   } else {
896f045007fSEli Friedman     llvm::Value *ResVal =
8977af183d8SFilipe Cabecinhas         CGF.EmitComplexToScalarConversion(Result, OpInfo.Ty, LHSTy, Loc);
898f045007fSEli Friedman     CGF.EmitStoreOfScalar(ResVal, LHS, /*isInit*/ false);
899f045007fSEli Friedman     Val = RValue::get(ResVal);
900f045007fSEli Friedman   }
9018c94ffe7SDaniel Dunbar 
90207bb1966SJohn McCall   return LHS;
9037a51313dSChris Lattner }
9047a51313dSChris Lattner 
90507bb1966SJohn McCall // Compound assignments.
90607bb1966SJohn McCall ComplexPairTy ComplexExprEmitter::
90707bb1966SJohn McCall EmitCompoundAssign(const CompoundAssignOperator *E,
90807bb1966SJohn McCall                    ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&)){
909f045007fSEli Friedman   RValue Val;
91007bb1966SJohn McCall   LValue LV = EmitCompoundAssignLValue(E, Func, Val);
91107bb1966SJohn McCall 
91207bb1966SJohn McCall   // The result of an assignment in C is the assigned r-value.
9139c6890a7SRichard Smith   if (!CGF.getLangOpts().CPlusPlus)
914f045007fSEli Friedman     return Val.getComplexVal();
91507bb1966SJohn McCall 
91607bb1966SJohn McCall   // If the lvalue is non-volatile, return the computed value of the assignment.
91707bb1966SJohn McCall   if (!LV.isVolatileQualified())
918f045007fSEli Friedman     return Val.getComplexVal();
91907bb1966SJohn McCall 
9202d84e842SNick Lewycky   return EmitLoadOfLValue(LV, E->getExprLoc());
92107bb1966SJohn McCall }
92207bb1966SJohn McCall 
92307bb1966SJohn McCall LValue ComplexExprEmitter::EmitBinAssignLValue(const BinaryOperator *E,
92407bb1966SJohn McCall                                                ComplexPairTy &Val) {
925a8a089bfSDouglas Gregor   assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(),
926a8a089bfSDouglas Gregor                                                  E->getRHS()->getType()) &&
9270f398c44SChris Lattner          "Invalid assignment");
92807bb1966SJohn McCall   TestAndClearIgnoreReal();
92907bb1966SJohn McCall   TestAndClearIgnoreImag();
93007bb1966SJohn McCall 
931d0a30016SJohn McCall   // Emit the RHS.  __block variables need the RHS evaluated first.
93207bb1966SJohn McCall   Val = Visit(E->getRHS());
9337a51313dSChris Lattner 
9347a51313dSChris Lattner   // Compute the address to store into.
9357a51313dSChris Lattner   LValue LHS = CGF.EmitLValue(E->getLHS());
9367a51313dSChris Lattner 
9378c94ffe7SDaniel Dunbar   // Store the result value into the LHS lvalue.
93866e4197fSDavid Blaikie   EmitStoreOfComplex(Val, LHS, /*isInit*/ false);
93976d864c7SDaniel Dunbar 
94007bb1966SJohn McCall   return LHS;
94107bb1966SJohn McCall }
9428c94ffe7SDaniel Dunbar 
94307bb1966SJohn McCall ComplexPairTy ComplexExprEmitter::VisitBinAssign(const BinaryOperator *E) {
94407bb1966SJohn McCall   ComplexPairTy Val;
94507bb1966SJohn McCall   LValue LV = EmitBinAssignLValue(E, Val);
94607bb1966SJohn McCall 
94707bb1966SJohn McCall   // The result of an assignment in C is the assigned r-value.
9489c6890a7SRichard Smith   if (!CGF.getLangOpts().CPlusPlus)
94976d864c7SDaniel Dunbar     return Val;
95007bb1966SJohn McCall 
95107bb1966SJohn McCall   // If the lvalue is non-volatile, return the computed value of the assignment.
95207bb1966SJohn McCall   if (!LV.isVolatileQualified())
95307bb1966SJohn McCall     return Val;
95407bb1966SJohn McCall 
9552d84e842SNick Lewycky   return EmitLoadOfLValue(LV, E->getExprLoc());
95676d864c7SDaniel Dunbar }
95776d864c7SDaniel Dunbar 
9587a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitBinComma(const BinaryOperator *E) {
959a2342eb8SJohn McCall   CGF.EmitIgnoredExpr(E->getLHS());
9607a51313dSChris Lattner   return Visit(E->getRHS());
9617a51313dSChris Lattner }
9627a51313dSChris Lattner 
9637a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::
964c07a0c7eSJohn McCall VisitAbstractConditionalOperator(const AbstractConditionalOperator *E) {
965df0fe27bSMike Stump   TestAndClearIgnoreReal();
966df0fe27bSMike Stump   TestAndClearIgnoreImag();
967a612e79bSDaniel Dunbar   llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true");
968a612e79bSDaniel Dunbar   llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false");
969a612e79bSDaniel Dunbar   llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end");
9707a51313dSChris Lattner 
971c07a0c7eSJohn McCall   // Bind the common expression if necessary.
97248fd89adSEli Friedman   CodeGenFunction::OpaqueValueMapping binding(CGF, E);
973ce1de617SJohn McCall 
97466242d6cSJustin Bogner 
975c07a0c7eSJohn McCall   CodeGenFunction::ConditionalEvaluation eval(CGF);
97666242d6cSJustin Bogner   CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock,
97766242d6cSJustin Bogner                            CGF.getProfileCount(E));
9787a51313dSChris Lattner 
979ce1de617SJohn McCall   eval.begin(CGF);
9807a51313dSChris Lattner   CGF.EmitBlock(LHSBlock);
98166242d6cSJustin Bogner   CGF.incrementProfileCounter(E);
9828162d4adSFariborz Jahanian   ComplexPairTy LHS = Visit(E->getTrueExpr());
9837a51313dSChris Lattner   LHSBlock = Builder.GetInsertBlock();
984c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
985ce1de617SJohn McCall   eval.end(CGF);
9867a51313dSChris Lattner 
987ce1de617SJohn McCall   eval.begin(CGF);
9887a51313dSChris Lattner   CGF.EmitBlock(RHSBlock);
989c07a0c7eSJohn McCall   ComplexPairTy RHS = Visit(E->getFalseExpr());
9907a51313dSChris Lattner   RHSBlock = Builder.GetInsertBlock();
9917a51313dSChris Lattner   CGF.EmitBlock(ContBlock);
992ce1de617SJohn McCall   eval.end(CGF);
9937a51313dSChris Lattner 
9947a51313dSChris Lattner   // Create a PHI node for the real part.
99520c0f02cSJay Foad   llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.r");
9967a51313dSChris Lattner   RealPN->addIncoming(LHS.first, LHSBlock);
9977a51313dSChris Lattner   RealPN->addIncoming(RHS.first, RHSBlock);
9987a51313dSChris Lattner 
9997a51313dSChris Lattner   // Create a PHI node for the imaginary part.
100020c0f02cSJay Foad   llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), 2, "cond.i");
10017a51313dSChris Lattner   ImagPN->addIncoming(LHS.second, LHSBlock);
10027a51313dSChris Lattner   ImagPN->addIncoming(RHS.second, RHSBlock);
10037a51313dSChris Lattner 
10047a51313dSChris Lattner   return ComplexPairTy(RealPN, ImagPN);
10057a51313dSChris Lattner }
10067a51313dSChris Lattner 
10077a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitChooseExpr(ChooseExpr *E) {
100875807f23SEli Friedman   return Visit(E->getChosenSubExpr());
10097a51313dSChris Lattner }
10107a51313dSChris Lattner 
1011dd7406e6SEli Friedman ComplexPairTy ComplexExprEmitter::VisitInitListExpr(InitListExpr *E) {
1012df0fe27bSMike Stump     bool Ignore = TestAndClearIgnoreReal();
1013df0fe27bSMike Stump     (void)Ignore;
1014df0fe27bSMike Stump     assert (Ignore == false && "init list ignored");
1015df0fe27bSMike Stump     Ignore = TestAndClearIgnoreImag();
1016df0fe27bSMike Stump     (void)Ignore;
1017df0fe27bSMike Stump     assert (Ignore == false && "init list ignored");
10186b9c41eaSEli Friedman 
10196b9c41eaSEli Friedman   if (E->getNumInits() == 2) {
10206b9c41eaSEli Friedman     llvm::Value *Real = CGF.EmitScalarExpr(E->getInit(0));
10216b9c41eaSEli Friedman     llvm::Value *Imag = CGF.EmitScalarExpr(E->getInit(1));
10226b9c41eaSEli Friedman     return ComplexPairTy(Real, Imag);
10236b9c41eaSEli Friedman   } else if (E->getNumInits() == 1) {
1024dd7406e6SEli Friedman     return Visit(E->getInit(0));
10256b9c41eaSEli Friedman   }
1026dd7406e6SEli Friedman 
1027dd7406e6SEli Friedman   // Empty init list intializes to null
10286b9c41eaSEli Friedman   assert(E->getNumInits() == 0 && "Unexpected number of inits");
102947fb9508SJohn McCall   QualType Ty = E->getType()->castAs<ComplexType>()->getElementType();
10302192fe50SChris Lattner   llvm::Type* LTy = CGF.ConvertType(Ty);
10310b75f23bSOwen Anderson   llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy);
1032dd7406e6SEli Friedman   return ComplexPairTy(zeroConstant, zeroConstant);
1033dd7406e6SEli Friedman }
1034dd7406e6SEli Friedman 
103500079612SDaniel Dunbar ComplexPairTy ComplexExprEmitter::VisitVAArgExpr(VAArgExpr *E) {
1036c7d5c94fSCharles Davis   Address ArgValue = Address::invalid();
1037c7d5c94fSCharles Davis   Address ArgPtr = CGF.EmitVAArg(E, ArgValue);
103800079612SDaniel Dunbar 
10397f416cc4SJohn McCall   if (!ArgPtr.isValid()) {
104000079612SDaniel Dunbar     CGF.ErrorUnsupported(E, "complex va_arg expression");
10412192fe50SChris Lattner     llvm::Type *EltTy =
104247fb9508SJohn McCall       CGF.ConvertType(E->getType()->castAs<ComplexType>()->getElementType());
104300079612SDaniel Dunbar     llvm::Value *U = llvm::UndefValue::get(EltTy);
104400079612SDaniel Dunbar     return ComplexPairTy(U, U);
104500079612SDaniel Dunbar   }
104600079612SDaniel Dunbar 
10477f416cc4SJohn McCall   return EmitLoadOfLValue(CGF.MakeAddrLValue(ArgPtr, E->getType()),
10482d84e842SNick Lewycky                           E->getExprLoc());
104900079612SDaniel Dunbar }
105000079612SDaniel Dunbar 
10517a51313dSChris Lattner //===----------------------------------------------------------------------===//
10527a51313dSChris Lattner //                         Entry Point into this File
10537a51313dSChris Lattner //===----------------------------------------------------------------------===//
10547a51313dSChris Lattner 
10557a51313dSChris Lattner /// EmitComplexExpr - Emit the computation of the specified expression of
10567a51313dSChris Lattner /// complex type, ignoring the result.
1057df0fe27bSMike Stump ComplexPairTy CodeGenFunction::EmitComplexExpr(const Expr *E, bool IgnoreReal,
105807bb1966SJohn McCall                                                bool IgnoreImag) {
105947fb9508SJohn McCall   assert(E && getComplexType(E->getType()) &&
10607a51313dSChris Lattner          "Invalid complex expression to emit");
10617a51313dSChris Lattner 
106238b25914SDavid Blaikie   return ComplexExprEmitter(*this, IgnoreReal, IgnoreImag)
1063df0fe27bSMike Stump       .Visit(const_cast<Expr *>(E));
10647a51313dSChris Lattner }
10657a51313dSChris Lattner 
106647fb9508SJohn McCall void CodeGenFunction::EmitComplexExprIntoLValue(const Expr *E, LValue dest,
106766e4197fSDavid Blaikie                                                 bool isInit) {
106847fb9508SJohn McCall   assert(E && getComplexType(E->getType()) &&
10697a51313dSChris Lattner          "Invalid complex expression to emit");
10707a51313dSChris Lattner   ComplexExprEmitter Emitter(*this);
10717a51313dSChris Lattner   ComplexPairTy Val = Emitter.Visit(const_cast<Expr*>(E));
107266e4197fSDavid Blaikie   Emitter.EmitStoreOfComplex(Val, dest, isInit);
10737a51313dSChris Lattner }
10747a51313dSChris Lattner 
107547fb9508SJohn McCall /// EmitStoreOfComplex - Store a complex number into the specified l-value.
107647fb9508SJohn McCall void CodeGenFunction::EmitStoreOfComplex(ComplexPairTy V, LValue dest,
107766e4197fSDavid Blaikie                                          bool isInit) {
107866e4197fSDavid Blaikie   ComplexExprEmitter(*this).EmitStoreOfComplex(V, dest, isInit);
10794b8c6db9SDaniel Dunbar }
10804b8c6db9SDaniel Dunbar 
108147fb9508SJohn McCall /// EmitLoadOfComplex - Load a complex number from the specified address.
10822d84e842SNick Lewycky ComplexPairTy CodeGenFunction::EmitLoadOfComplex(LValue src,
10832d84e842SNick Lewycky                                                  SourceLocation loc) {
10842d84e842SNick Lewycky   return ComplexExprEmitter(*this).EmitLoadOfLValue(src, loc);
10857a51313dSChris Lattner }
10864f29b49dSJohn McCall 
10874f29b49dSJohn McCall LValue CodeGenFunction::EmitComplexAssignmentLValue(const BinaryOperator *E) {
1088a2342eb8SJohn McCall   assert(E->getOpcode() == BO_Assign);
10894f29b49dSJohn McCall   ComplexPairTy Val; // ignored
10904f29b49dSJohn McCall   return ComplexExprEmitter(*this).EmitBinAssignLValue(E, Val);
1091a2342eb8SJohn McCall }
10924f29b49dSJohn McCall 
1093f045007fSEli Friedman typedef ComplexPairTy (ComplexExprEmitter::*CompoundFunc)(
1094f045007fSEli Friedman     const ComplexExprEmitter::BinOpInfo &);
10954f29b49dSJohn McCall 
1096f045007fSEli Friedman static CompoundFunc getComplexOp(BinaryOperatorKind Op) {
1097f045007fSEli Friedman   switch (Op) {
1098f045007fSEli Friedman   case BO_MulAssign: return &ComplexExprEmitter::EmitBinMul;
1099f045007fSEli Friedman   case BO_DivAssign: return &ComplexExprEmitter::EmitBinDiv;
1100f045007fSEli Friedman   case BO_SubAssign: return &ComplexExprEmitter::EmitBinSub;
1101f045007fSEli Friedman   case BO_AddAssign: return &ComplexExprEmitter::EmitBinAdd;
11024f29b49dSJohn McCall   default:
11034f29b49dSJohn McCall     llvm_unreachable("unexpected complex compound assignment");
11044f29b49dSJohn McCall   }
1105f045007fSEli Friedman }
11064f29b49dSJohn McCall 
1107f045007fSEli Friedman LValue CodeGenFunction::
1108f045007fSEli Friedman EmitComplexCompoundAssignmentLValue(const CompoundAssignOperator *E) {
1109f045007fSEli Friedman   CompoundFunc Op = getComplexOp(E->getOpcode());
1110f045007fSEli Friedman   RValue Val;
1111a2342eb8SJohn McCall   return ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
11124f29b49dSJohn McCall }
1113f045007fSEli Friedman 
1114f045007fSEli Friedman LValue CodeGenFunction::
1115527473dfSRichard Smith EmitScalarCompoundAssignWithComplex(const CompoundAssignOperator *E,
1116f045007fSEli Friedman                                     llvm::Value *&Result) {
1117f045007fSEli Friedman   CompoundFunc Op = getComplexOp(E->getOpcode());
1118f045007fSEli Friedman   RValue Val;
1119f045007fSEli Friedman   LValue Ret = ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
1120f045007fSEli Friedman   Result = Val.getScalarVal();
1121f045007fSEli Friedman   return Ret;
1122f045007fSEli Friedman }
1123