17a51313dSChris Lattner //===--- CGExprComplex.cpp - Emit LLVM Code for Complex Exprs -------------===//
27a51313dSChris Lattner //
37a51313dSChris Lattner //                     The LLVM Compiler Infrastructure
47a51313dSChris Lattner //
57a51313dSChris Lattner // This file is distributed under the University of Illinois Open Source
67a51313dSChris Lattner // License. See LICENSE.TXT for details.
77a51313dSChris Lattner //
87a51313dSChris Lattner //===----------------------------------------------------------------------===//
97a51313dSChris Lattner //
107a51313dSChris Lattner // This contains code to emit Expr nodes with complex types as LLVM code.
117a51313dSChris Lattner //
127a51313dSChris Lattner //===----------------------------------------------------------------------===//
137a51313dSChris Lattner 
147a51313dSChris Lattner #include "CodeGenFunction.h"
157a51313dSChris Lattner #include "CodeGenModule.h"
16ad319a73SDaniel Dunbar #include "clang/AST/ASTContext.h"
17ad319a73SDaniel Dunbar #include "clang/AST/StmtVisitor.h"
187a51313dSChris Lattner #include "llvm/Constants.h"
197a51313dSChris Lattner #include "llvm/Function.h"
207a51313dSChris Lattner #include "llvm/ADT/SmallString.h"
217a51313dSChris Lattner #include "llvm/Support/Compiler.h"
227a51313dSChris Lattner using namespace clang;
237a51313dSChris Lattner using namespace CodeGen;
247a51313dSChris Lattner 
257a51313dSChris Lattner //===----------------------------------------------------------------------===//
267a51313dSChris Lattner //                        Complex Expression Emitter
277a51313dSChris Lattner //===----------------------------------------------------------------------===//
287a51313dSChris Lattner 
297a51313dSChris Lattner typedef CodeGenFunction::ComplexPairTy ComplexPairTy;
307a51313dSChris Lattner 
317a51313dSChris Lattner namespace  {
327a51313dSChris Lattner class VISIBILITY_HIDDEN ComplexExprEmitter
337a51313dSChris Lattner   : public StmtVisitor<ComplexExprEmitter, ComplexPairTy> {
347a51313dSChris Lattner   CodeGenFunction &CGF;
35cb463859SDaniel Dunbar   CGBuilderTy &Builder;
367a51313dSChris Lattner public:
377a51313dSChris Lattner   ComplexExprEmitter(CodeGenFunction &cgf) : CGF(cgf), Builder(CGF.Builder) {
387a51313dSChris Lattner   }
397a51313dSChris Lattner 
407a51313dSChris Lattner 
417a51313dSChris Lattner   //===--------------------------------------------------------------------===//
427a51313dSChris Lattner   //                               Utilities
437a51313dSChris Lattner   //===--------------------------------------------------------------------===//
447a51313dSChris Lattner 
457a51313dSChris Lattner   /// EmitLoadOfLValue - Given an expression with complex type that represents a
467a51313dSChris Lattner   /// value l-value, this method emits the address of the l-value, then loads
477a51313dSChris Lattner   /// and returns the result.
487a51313dSChris Lattner   ComplexPairTy EmitLoadOfLValue(const Expr *E) {
497a51313dSChris Lattner     LValue LV = CGF.EmitLValue(E);
507a51313dSChris Lattner     // FIXME: Volatile
517a51313dSChris Lattner     return EmitLoadOfComplex(LV.getAddress(), false);
527a51313dSChris Lattner   }
537a51313dSChris Lattner 
547a51313dSChris Lattner   /// EmitLoadOfComplex - Given a pointer to a complex value, emit code to load
557a51313dSChris Lattner   /// the real and imaginary pieces.
567a51313dSChris Lattner   ComplexPairTy EmitLoadOfComplex(llvm::Value *SrcPtr, bool isVolatile);
577a51313dSChris Lattner 
587a51313dSChris Lattner   /// EmitStoreOfComplex - Store the specified real/imag parts into the
597a51313dSChris Lattner   /// specified value pointer.
607a51313dSChris Lattner   void EmitStoreOfComplex(ComplexPairTy Val, llvm::Value *ResPtr, bool isVol);
617a51313dSChris Lattner 
627a51313dSChris Lattner   /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType.
637a51313dSChris Lattner   ComplexPairTy EmitComplexToComplexCast(ComplexPairTy Val, QualType SrcType,
647a51313dSChris Lattner                                          QualType DestType);
657a51313dSChris Lattner 
667a51313dSChris Lattner   //===--------------------------------------------------------------------===//
677a51313dSChris Lattner   //                            Visitor Methods
687a51313dSChris Lattner   //===--------------------------------------------------------------------===//
697a51313dSChris Lattner 
707a51313dSChris Lattner   ComplexPairTy VisitStmt(Stmt *S) {
717a51313dSChris Lattner     S->dump(CGF.getContext().getSourceManager());
727a51313dSChris Lattner     assert(0 && "Stmt can't have complex result type!");
737a51313dSChris Lattner     return ComplexPairTy();
747a51313dSChris Lattner   }
757a51313dSChris Lattner   ComplexPairTy VisitExpr(Expr *S);
767a51313dSChris Lattner   ComplexPairTy VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr());}
777a51313dSChris Lattner   ComplexPairTy VisitImaginaryLiteral(const ImaginaryLiteral *IL);
787a51313dSChris Lattner 
797a51313dSChris Lattner   // l-values.
807a51313dSChris Lattner   ComplexPairTy VisitDeclRefExpr(const Expr *E) { return EmitLoadOfLValue(E); }
817a51313dSChris Lattner   ComplexPairTy VisitArraySubscriptExpr(Expr *E) { return EmitLoadOfLValue(E); }
827a51313dSChris Lattner   ComplexPairTy VisitMemberExpr(const Expr *E) { return EmitLoadOfLValue(E); }
837a51313dSChris Lattner 
847a51313dSChris Lattner   // FIXME: CompoundLiteralExpr
857a51313dSChris Lattner 
867a51313dSChris Lattner   ComplexPairTy EmitCast(Expr *Op, QualType DestTy);
877a51313dSChris Lattner   ComplexPairTy VisitImplicitCastExpr(ImplicitCastExpr *E) {
887a51313dSChris Lattner     // Unlike for scalars, we don't have to worry about function->ptr demotion
897a51313dSChris Lattner     // here.
907a51313dSChris Lattner     return EmitCast(E->getSubExpr(), E->getType());
917a51313dSChris Lattner   }
927a51313dSChris Lattner   ComplexPairTy VisitCastExpr(CastExpr *E) {
937a51313dSChris Lattner     return EmitCast(E->getSubExpr(), E->getType());
947a51313dSChris Lattner   }
957a51313dSChris Lattner   ComplexPairTy VisitCallExpr(const CallExpr *E);
967a51313dSChris Lattner   ComplexPairTy VisitStmtExpr(const StmtExpr *E);
977a51313dSChris Lattner   ComplexPairTy VisitOverloadExpr(const OverloadExpr *OE);
987a51313dSChris Lattner 
997a51313dSChris Lattner   // Operators.
1007a51313dSChris Lattner   ComplexPairTy VisitPrePostIncDec(const UnaryOperator *E,
1017a51313dSChris Lattner                                    bool isInc, bool isPre);
1027a51313dSChris Lattner   ComplexPairTy VisitUnaryPostDec(const UnaryOperator *E) {
1037a51313dSChris Lattner     return VisitPrePostIncDec(E, false, false);
1047a51313dSChris Lattner   }
1057a51313dSChris Lattner   ComplexPairTy VisitUnaryPostInc(const UnaryOperator *E) {
1067a51313dSChris Lattner     return VisitPrePostIncDec(E, true, false);
1077a51313dSChris Lattner   }
1087a51313dSChris Lattner   ComplexPairTy VisitUnaryPreDec(const UnaryOperator *E) {
1097a51313dSChris Lattner     return VisitPrePostIncDec(E, false, true);
1107a51313dSChris Lattner   }
1117a51313dSChris Lattner   ComplexPairTy VisitUnaryPreInc(const UnaryOperator *E) {
1127a51313dSChris Lattner     return VisitPrePostIncDec(E, true, true);
1137a51313dSChris Lattner   }
1147a51313dSChris Lattner   ComplexPairTy VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); }
1157a51313dSChris Lattner   ComplexPairTy VisitUnaryPlus     (const UnaryOperator *E) {
1167a51313dSChris Lattner     return Visit(E->getSubExpr());
1177a51313dSChris Lattner   }
1187a51313dSChris Lattner   ComplexPairTy VisitUnaryMinus    (const UnaryOperator *E);
1197a51313dSChris Lattner   ComplexPairTy VisitUnaryNot      (const UnaryOperator *E);
1206f28289aSSebastian Redl   // LNot,Real,Imag never return complex.
1217a51313dSChris Lattner   ComplexPairTy VisitUnaryExtension(const UnaryOperator *E) {
1227a51313dSChris Lattner     return Visit(E->getSubExpr());
1237a51313dSChris Lattner   }
124aa9c7aedSChris Lattner   ComplexPairTy VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
125aa9c7aedSChris Lattner     return Visit(DAE->getExpr());
126aa9c7aedSChris Lattner   }
127ce4528f0SArgyrios Kyrtzidis   ComplexPairTy VisitCXXZeroInitValueExpr(CXXZeroInitValueExpr *E) {
128ce4528f0SArgyrios Kyrtzidis     assert(E->getType()->isAnyComplexType() && "Expected complex type!");
129ce4528f0SArgyrios Kyrtzidis     QualType Elem = E->getType()->getAsComplexType()->getElementType();
130ce4528f0SArgyrios Kyrtzidis     llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem));
131ce4528f0SArgyrios Kyrtzidis     return ComplexPairTy(Null, Null);
132ce4528f0SArgyrios Kyrtzidis   }
133*0202cb40SDouglas Gregor   ComplexPairTy VisitImplicitValueInitExpr(ImplicitValueInitExpr *E) {
134*0202cb40SDouglas Gregor     assert(E->getType()->isAnyComplexType() && "Expected complex type!");
135*0202cb40SDouglas Gregor     QualType Elem = E->getType()->getAsComplexType()->getElementType();
136*0202cb40SDouglas Gregor     llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem));
137*0202cb40SDouglas Gregor     return ComplexPairTy(Null, Null);
138*0202cb40SDouglas Gregor   }
1397a51313dSChris Lattner 
1407a51313dSChris Lattner   struct BinOpInfo {
1417a51313dSChris Lattner     ComplexPairTy LHS;
1427a51313dSChris Lattner     ComplexPairTy RHS;
1437a51313dSChris Lattner     QualType Ty;  // Computation Type.
1447a51313dSChris Lattner   };
1457a51313dSChris Lattner 
1467a51313dSChris Lattner   BinOpInfo EmitBinOps(const BinaryOperator *E);
1477a51313dSChris Lattner   ComplexPairTy EmitCompoundAssign(const CompoundAssignOperator *E,
1487a51313dSChris Lattner                                    ComplexPairTy (ComplexExprEmitter::*Func)
1497a51313dSChris Lattner                                    (const BinOpInfo &));
1507a51313dSChris Lattner 
1517a51313dSChris Lattner   ComplexPairTy EmitBinAdd(const BinOpInfo &Op);
1527a51313dSChris Lattner   ComplexPairTy EmitBinSub(const BinOpInfo &Op);
1537a51313dSChris Lattner   ComplexPairTy EmitBinMul(const BinOpInfo &Op);
1547a51313dSChris Lattner   ComplexPairTy EmitBinDiv(const BinOpInfo &Op);
1557a51313dSChris Lattner 
1567a51313dSChris Lattner   ComplexPairTy VisitBinMul(const BinaryOperator *E) {
1577a51313dSChris Lattner     return EmitBinMul(EmitBinOps(E));
1587a51313dSChris Lattner   }
1597a51313dSChris Lattner   ComplexPairTy VisitBinAdd(const BinaryOperator *E) {
1607a51313dSChris Lattner     return EmitBinAdd(EmitBinOps(E));
1617a51313dSChris Lattner   }
1627a51313dSChris Lattner   ComplexPairTy VisitBinSub(const BinaryOperator *E) {
1637a51313dSChris Lattner     return EmitBinSub(EmitBinOps(E));
1647a51313dSChris Lattner   }
1657a51313dSChris Lattner   ComplexPairTy VisitBinDiv(const BinaryOperator *E) {
1667a51313dSChris Lattner     return EmitBinDiv(EmitBinOps(E));
1677a51313dSChris Lattner   }
1687a51313dSChris Lattner 
1697a51313dSChris Lattner   // Compound assignments.
1707a51313dSChris Lattner   ComplexPairTy VisitBinAddAssign(const CompoundAssignOperator *E) {
1717a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd);
1727a51313dSChris Lattner   }
1737a51313dSChris Lattner   ComplexPairTy VisitBinSubAssign(const CompoundAssignOperator *E) {
1747a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub);
1757a51313dSChris Lattner   }
1767a51313dSChris Lattner   ComplexPairTy VisitBinMulAssign(const CompoundAssignOperator *E) {
1777a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul);
1787a51313dSChris Lattner   }
1797a51313dSChris Lattner   ComplexPairTy VisitBinDivAssign(const CompoundAssignOperator *E) {
1807a51313dSChris Lattner     return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv);
1817a51313dSChris Lattner   }
1827a51313dSChris Lattner 
1837a51313dSChris Lattner   // GCC rejects rem/and/or/xor for integer complex.
1847a51313dSChris Lattner   // Logical and/or always return int, never complex.
1857a51313dSChris Lattner 
1867a51313dSChris Lattner   // No comparisons produce a complex result.
1877a51313dSChris Lattner   ComplexPairTy VisitBinAssign     (const BinaryOperator *E);
1887a51313dSChris Lattner   ComplexPairTy VisitBinComma      (const BinaryOperator *E);
1897a51313dSChris Lattner 
1907a51313dSChris Lattner 
1917a51313dSChris Lattner   ComplexPairTy VisitConditionalOperator(const ConditionalOperator *CO);
1927a51313dSChris Lattner   ComplexPairTy VisitChooseExpr(ChooseExpr *CE);
193dd7406e6SEli Friedman 
194dd7406e6SEli Friedman   ComplexPairTy VisitInitListExpr(InitListExpr *E);
1957a51313dSChris Lattner };
1967a51313dSChris Lattner }  // end anonymous namespace.
1977a51313dSChris Lattner 
1987a51313dSChris Lattner //===----------------------------------------------------------------------===//
1997a51313dSChris Lattner //                                Utilities
2007a51313dSChris Lattner //===----------------------------------------------------------------------===//
2017a51313dSChris Lattner 
2027a51313dSChris Lattner /// EmitLoadOfComplex - Given an RValue reference for a complex, emit code to
2037a51313dSChris Lattner /// load the real and imaginary pieces, returning them as Real/Imag.
2047a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitLoadOfComplex(llvm::Value *SrcPtr,
2057a51313dSChris Lattner                                                     bool isVolatile) {
2067a51313dSChris Lattner   llvm::SmallString<64> Name(SrcPtr->getNameStart(),
2077a51313dSChris Lattner                              SrcPtr->getNameStart()+SrcPtr->getNameLen());
2087a51313dSChris Lattner 
2097a51313dSChris Lattner   Name += ".realp";
2103e593cdbSChris Lattner   llvm::Value *RealPtr = Builder.CreateStructGEP(SrcPtr, 0, Name.c_str());
2117a51313dSChris Lattner 
2127a51313dSChris Lattner   Name.pop_back();  // .realp -> .real
2137a51313dSChris Lattner   llvm::Value *Real = Builder.CreateLoad(RealPtr, isVolatile, Name.c_str());
2147a51313dSChris Lattner 
2157a51313dSChris Lattner   Name.resize(Name.size()-4); // .real -> .imagp
2167a51313dSChris Lattner   Name += "imagp";
2177a51313dSChris Lattner 
2183e593cdbSChris Lattner   llvm::Value *ImagPtr = Builder.CreateStructGEP(SrcPtr, 1, Name.c_str());
2197a51313dSChris Lattner 
2207a51313dSChris Lattner   Name.pop_back();  // .imagp -> .imag
2217a51313dSChris Lattner   llvm::Value *Imag = Builder.CreateLoad(ImagPtr, isVolatile, Name.c_str());
2227a51313dSChris Lattner   return ComplexPairTy(Real, Imag);
2237a51313dSChris Lattner }
2247a51313dSChris Lattner 
2257a51313dSChris Lattner /// EmitStoreOfComplex - Store the specified real/imag parts into the
2267a51313dSChris Lattner /// specified value pointer.
2277a51313dSChris Lattner void ComplexExprEmitter::EmitStoreOfComplex(ComplexPairTy Val, llvm::Value *Ptr,
2287a51313dSChris Lattner                                             bool isVolatile) {
2293e593cdbSChris Lattner   llvm::Value *RealPtr = Builder.CreateStructGEP(Ptr, 0, "real");
2303e593cdbSChris Lattner   llvm::Value *ImagPtr = Builder.CreateStructGEP(Ptr, 1, "imag");
2317a51313dSChris Lattner 
2327a51313dSChris Lattner   Builder.CreateStore(Val.first, RealPtr, isVolatile);
2337a51313dSChris Lattner   Builder.CreateStore(Val.second, ImagPtr, isVolatile);
2347a51313dSChris Lattner }
2357a51313dSChris Lattner 
2367a51313dSChris Lattner 
2377a51313dSChris Lattner 
2387a51313dSChris Lattner //===----------------------------------------------------------------------===//
2397a51313dSChris Lattner //                            Visitor Methods
2407a51313dSChris Lattner //===----------------------------------------------------------------------===//
2417a51313dSChris Lattner 
2427a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitExpr(Expr *E) {
243a7c8cf62SDaniel Dunbar   CGF.ErrorUnsupported(E, "complex expression");
2447a51313dSChris Lattner   const llvm::Type *EltTy =
2457a51313dSChris Lattner     CGF.ConvertType(E->getType()->getAsComplexType()->getElementType());
2467a51313dSChris Lattner   llvm::Value *U = llvm::UndefValue::get(EltTy);
2477a51313dSChris Lattner   return ComplexPairTy(U, U);
2487a51313dSChris Lattner }
2497a51313dSChris Lattner 
2507a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::
2517a51313dSChris Lattner VisitImaginaryLiteral(const ImaginaryLiteral *IL) {
2527a51313dSChris Lattner   llvm::Value *Imag = CGF.EmitScalarExpr(IL->getSubExpr());
2537a51313dSChris Lattner   return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag);
2547a51313dSChris Lattner }
2557a51313dSChris Lattner 
2567a51313dSChris Lattner 
2577a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitCallExpr(const CallExpr *E) {
2587a51313dSChris Lattner   return CGF.EmitCallExpr(E).getComplexVal();
2597a51313dSChris Lattner }
2607a51313dSChris Lattner 
2617a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitOverloadExpr(const OverloadExpr *E) {
2627a51313dSChris Lattner   return CGF.EmitCallExpr(E->getFn(), E->arg_begin(),
26308e17118STed Kremenek                           E->arg_end(CGF.getContext())).getComplexVal();
2647a51313dSChris Lattner }
2657a51313dSChris Lattner 
2667a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitStmtExpr(const StmtExpr *E) {
2677a51313dSChris Lattner   return CGF.EmitCompoundStmt(*E->getSubStmt(), true).getComplexVal();
2687a51313dSChris Lattner }
2697a51313dSChris Lattner 
2707a51313dSChris Lattner /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType.
2717a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitComplexToComplexCast(ComplexPairTy Val,
2727a51313dSChris Lattner                                                            QualType SrcType,
2737a51313dSChris Lattner                                                            QualType DestType) {
2747a51313dSChris Lattner   // Get the src/dest element type.
2750f398c44SChris Lattner   SrcType = SrcType->getAsComplexType()->getElementType();
2760f398c44SChris Lattner   DestType = DestType->getAsComplexType()->getElementType();
2777a51313dSChris Lattner 
2787a51313dSChris Lattner   // C99 6.3.1.6: When a value of complex type is converted to another
2797a51313dSChris Lattner   // complex type, both the real and imaginary parts follow the conversion
2807a51313dSChris Lattner   // rules for the corresponding real types.
2817a51313dSChris Lattner   Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType);
2827a51313dSChris Lattner   Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType);
2837a51313dSChris Lattner   return Val;
2847a51313dSChris Lattner }
2857a51313dSChris Lattner 
2867a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitCast(Expr *Op, QualType DestTy) {
2877a51313dSChris Lattner   // Two cases here: cast from (complex to complex) and (scalar to complex).
288f3bc75afSChris Lattner   if (Op->getType()->isAnyComplexType())
2897a51313dSChris Lattner     return EmitComplexToComplexCast(Visit(Op), Op->getType(), DestTy);
2907a51313dSChris Lattner 
2917a51313dSChris Lattner   // C99 6.3.1.7: When a value of real type is converted to a complex type, the
2927a51313dSChris Lattner   // real part of the complex  result value is determined by the rules of
2937a51313dSChris Lattner   // conversion to the corresponding real type and the imaginary part of the
2947a51313dSChris Lattner   // complex result value is a positive zero or an unsigned zero.
2957a51313dSChris Lattner   llvm::Value *Elt = CGF.EmitScalarExpr(Op);
2967a51313dSChris Lattner 
2977a51313dSChris Lattner   // Convert the input element to the element type of the complex.
2980f398c44SChris Lattner   DestTy = DestTy->getAsComplexType()->getElementType();
2997a51313dSChris Lattner   Elt = CGF.EmitScalarConversion(Elt, Op->getType(), DestTy);
3007a51313dSChris Lattner 
3017a51313dSChris Lattner   // Return (realval, 0).
3027a51313dSChris Lattner   return ComplexPairTy(Elt, llvm::Constant::getNullValue(Elt->getType()));
3037a51313dSChris Lattner }
3047a51313dSChris Lattner 
3057a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitPrePostIncDec(const UnaryOperator *E,
3067a51313dSChris Lattner                                                      bool isInc, bool isPre) {
3077a51313dSChris Lattner   LValue LV = CGF.EmitLValue(E->getSubExpr());
3087a51313dSChris Lattner   // FIXME: Handle volatile!
3097a51313dSChris Lattner   ComplexPairTy InVal = EmitLoadOfComplex(LV.getAddress(), false);
3107a51313dSChris Lattner 
3117a51313dSChris Lattner   uint64_t AmountVal = isInc ? 1 : -1;
3127a51313dSChris Lattner 
3137a51313dSChris Lattner   llvm::Value *NextVal;
3147a51313dSChris Lattner   if (isa<llvm::IntegerType>(InVal.first->getType()))
3157a51313dSChris Lattner     NextVal = llvm::ConstantInt::get(InVal.first->getType(), AmountVal);
3167a51313dSChris Lattner   else if (InVal.first->getType() == llvm::Type::FloatTy)
3177a51313dSChris Lattner     // FIXME: Handle long double.
3187a51313dSChris Lattner     NextVal =
3191e151816SChris Lattner       llvm::ConstantFP::get(llvm::APFloat(static_cast<float>(AmountVal)));
3207a51313dSChris Lattner   else {
3217a51313dSChris Lattner     // FIXME: Handle long double.
3227a51313dSChris Lattner     assert(InVal.first->getType() == llvm::Type::DoubleTy);
3237a51313dSChris Lattner     NextVal =
3241e151816SChris Lattner       llvm::ConstantFP::get(llvm::APFloat(static_cast<double>(AmountVal)));
3257a51313dSChris Lattner   }
3267a51313dSChris Lattner 
3277a51313dSChris Lattner   // Add the inc/dec to the real part.
3287a51313dSChris Lattner   NextVal = Builder.CreateAdd(InVal.first, NextVal, isInc ? "inc" : "dec");
3297a51313dSChris Lattner 
3307a51313dSChris Lattner   ComplexPairTy IncVal(NextVal, InVal.second);
3317a51313dSChris Lattner 
3327a51313dSChris Lattner   // Store the updated result through the lvalue.
3337a51313dSChris Lattner   EmitStoreOfComplex(IncVal, LV.getAddress(), false);  /* FIXME: Volatile */
3347a51313dSChris Lattner 
3357a51313dSChris Lattner   // If this is a postinc, return the value read from memory, otherwise use the
3367a51313dSChris Lattner   // updated value.
3377a51313dSChris Lattner   return isPre ? IncVal : InVal;
3387a51313dSChris Lattner }
3397a51313dSChris Lattner 
3407a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryMinus(const UnaryOperator *E) {
3417a51313dSChris Lattner   ComplexPairTy Op = Visit(E->getSubExpr());
3427a51313dSChris Lattner   llvm::Value *ResR = Builder.CreateNeg(Op.first,  "neg.r");
3437a51313dSChris Lattner   llvm::Value *ResI = Builder.CreateNeg(Op.second, "neg.i");
3447a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
3457a51313dSChris Lattner }
3467a51313dSChris Lattner 
3477a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitUnaryNot(const UnaryOperator *E) {
3487a51313dSChris Lattner   // ~(a+ib) = a + i*-b
3497a51313dSChris Lattner   ComplexPairTy Op = Visit(E->getSubExpr());
3507a51313dSChris Lattner   llvm::Value *ResI = Builder.CreateNeg(Op.second, "conj.i");
3517a51313dSChris Lattner   return ComplexPairTy(Op.first, ResI);
3527a51313dSChris Lattner }
3537a51313dSChris Lattner 
3547a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinAdd(const BinOpInfo &Op) {
3557a51313dSChris Lattner   llvm::Value *ResR = Builder.CreateAdd(Op.LHS.first,  Op.RHS.first,  "add.r");
3567a51313dSChris Lattner   llvm::Value *ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second, "add.i");
3577a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
3587a51313dSChris Lattner }
3597a51313dSChris Lattner 
3607a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinSub(const BinOpInfo &Op) {
3617a51313dSChris Lattner   llvm::Value *ResR = Builder.CreateSub(Op.LHS.first,  Op.RHS.first,  "sub.r");
3627a51313dSChris Lattner   llvm::Value *ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second, "sub.i");
3637a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
3647a51313dSChris Lattner }
3657a51313dSChris Lattner 
3667a51313dSChris Lattner 
3677a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinMul(const BinOpInfo &Op) {
3687a51313dSChris Lattner   llvm::Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first, "mul.rl");
3697a51313dSChris Lattner   llvm::Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second,"mul.rr");
3707a51313dSChris Lattner   llvm::Value *ResR  = Builder.CreateSub(ResRl, ResRr, "mul.r");
3717a51313dSChris Lattner 
3727a51313dSChris Lattner   llvm::Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first, "mul.il");
3737a51313dSChris Lattner   llvm::Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second, "mul.ir");
3747a51313dSChris Lattner   llvm::Value *ResI  = Builder.CreateAdd(ResIl, ResIr, "mul.i");
3757a51313dSChris Lattner   return ComplexPairTy(ResR, ResI);
3767a51313dSChris Lattner }
3777a51313dSChris Lattner 
3787a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::EmitBinDiv(const BinOpInfo &Op) {
3797a51313dSChris Lattner   llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second;
3807a51313dSChris Lattner   llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second;
3817a51313dSChris Lattner 
3827a51313dSChris Lattner   // (a+ib) / (c+id) = ((ac+bd)/(cc+dd)) + i((bc-ad)/(cc+dd))
3837a51313dSChris Lattner   llvm::Value *Tmp1 = Builder.CreateMul(LHSr, RHSr, "tmp"); // a*c
3847a51313dSChris Lattner   llvm::Value *Tmp2 = Builder.CreateMul(LHSi, RHSi, "tmp"); // b*d
3857a51313dSChris Lattner   llvm::Value *Tmp3 = Builder.CreateAdd(Tmp1, Tmp2, "tmp"); // ac+bd
3867a51313dSChris Lattner 
3877a51313dSChris Lattner   llvm::Value *Tmp4 = Builder.CreateMul(RHSr, RHSr, "tmp"); // c*c
3887a51313dSChris Lattner   llvm::Value *Tmp5 = Builder.CreateMul(RHSi, RHSi, "tmp"); // d*d
3897a51313dSChris Lattner   llvm::Value *Tmp6 = Builder.CreateAdd(Tmp4, Tmp5, "tmp"); // cc+dd
3907a51313dSChris Lattner 
3917a51313dSChris Lattner   llvm::Value *Tmp7 = Builder.CreateMul(LHSi, RHSr, "tmp"); // b*c
3927a51313dSChris Lattner   llvm::Value *Tmp8 = Builder.CreateMul(LHSr, RHSi, "tmp"); // a*d
3937a51313dSChris Lattner   llvm::Value *Tmp9 = Builder.CreateSub(Tmp7, Tmp8, "tmp"); // bc-ad
3947a51313dSChris Lattner 
3957a51313dSChris Lattner   llvm::Value *DSTr, *DSTi;
3967a51313dSChris Lattner   if (Tmp3->getType()->isFloatingPoint()) {
3977a51313dSChris Lattner     DSTr = Builder.CreateFDiv(Tmp3, Tmp6, "tmp");
3987a51313dSChris Lattner     DSTi = Builder.CreateFDiv(Tmp9, Tmp6, "tmp");
3997a51313dSChris Lattner   } else {
4007a51313dSChris Lattner     if (Op.Ty->getAsComplexType()->getElementType()->isUnsignedIntegerType()) {
4017a51313dSChris Lattner       DSTr = Builder.CreateUDiv(Tmp3, Tmp6, "tmp");
4027a51313dSChris Lattner       DSTi = Builder.CreateUDiv(Tmp9, Tmp6, "tmp");
4037a51313dSChris Lattner     } else {
4047a51313dSChris Lattner       DSTr = Builder.CreateSDiv(Tmp3, Tmp6, "tmp");
4057a51313dSChris Lattner       DSTi = Builder.CreateSDiv(Tmp9, Tmp6, "tmp");
4067a51313dSChris Lattner     }
4077a51313dSChris Lattner   }
4087a51313dSChris Lattner 
4097a51313dSChris Lattner   return ComplexPairTy(DSTr, DSTi);
4107a51313dSChris Lattner }
4117a51313dSChris Lattner 
4127a51313dSChris Lattner ComplexExprEmitter::BinOpInfo
4137a51313dSChris Lattner ComplexExprEmitter::EmitBinOps(const BinaryOperator *E) {
4147a51313dSChris Lattner   BinOpInfo Ops;
4157a51313dSChris Lattner   Ops.LHS = Visit(E->getLHS());
4167a51313dSChris Lattner   Ops.RHS = Visit(E->getRHS());
4177a51313dSChris Lattner   Ops.Ty = E->getType();
4187a51313dSChris Lattner   return Ops;
4197a51313dSChris Lattner }
4207a51313dSChris Lattner 
4217a51313dSChris Lattner 
4227a51313dSChris Lattner // Compound assignments.
4237a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::
4247a51313dSChris Lattner EmitCompoundAssign(const CompoundAssignOperator *E,
4257a51313dSChris Lattner                    ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&)){
4267a51313dSChris Lattner   QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType();
4277a51313dSChris Lattner 
4287a51313dSChris Lattner   // Load the LHS and RHS operands.
4297a51313dSChris Lattner   LValue LHSLV = CGF.EmitLValue(E->getLHS());
4307a51313dSChris Lattner 
4317a51313dSChris Lattner   BinOpInfo OpInfo;
4327a51313dSChris Lattner   OpInfo.Ty = E->getComputationType();
4337a51313dSChris Lattner 
4347a51313dSChris Lattner   // We know the LHS is a complex lvalue.
4357a51313dSChris Lattner   OpInfo.LHS = EmitLoadOfComplex(LHSLV.getAddress(), false);// FIXME: Volatile.
4367a51313dSChris Lattner   OpInfo.LHS = EmitComplexToComplexCast(OpInfo.LHS, LHSTy, OpInfo.Ty);
4377a51313dSChris Lattner 
4387a51313dSChris Lattner   // It is possible for the RHS to be complex or scalar.
4397a51313dSChris Lattner   OpInfo.RHS = EmitCast(E->getRHS(), OpInfo.Ty);
4407a51313dSChris Lattner 
4417a51313dSChris Lattner   // Expand the binary operator.
4427a51313dSChris Lattner   ComplexPairTy Result = (this->*Func)(OpInfo);
4437a51313dSChris Lattner 
4447a51313dSChris Lattner   // Truncate the result back to the LHS type.
4457a51313dSChris Lattner   Result = EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy);
4467a51313dSChris Lattner 
4477a51313dSChris Lattner   // Store the result value into the LHS lvalue.
4487a51313dSChris Lattner   EmitStoreOfComplex(Result, LHSLV.getAddress(), false); // FIXME: VOLATILE
4497a51313dSChris Lattner   return Result;
4507a51313dSChris Lattner }
4517a51313dSChris Lattner 
4527a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitBinAssign(const BinaryOperator *E) {
4530f398c44SChris Lattner   assert(CGF.getContext().getCanonicalType(E->getLHS()->getType()) ==
4540f398c44SChris Lattner          CGF.getContext().getCanonicalType(E->getRHS()->getType()) &&
4550f398c44SChris Lattner          "Invalid assignment");
4567a51313dSChris Lattner   // Emit the RHS.
4577a51313dSChris Lattner   ComplexPairTy Val = Visit(E->getRHS());
4587a51313dSChris Lattner 
4597a51313dSChris Lattner   // Compute the address to store into.
4607a51313dSChris Lattner   LValue LHS = CGF.EmitLValue(E->getLHS());
4617a51313dSChris Lattner 
4627a51313dSChris Lattner   // Store into it.
4637a51313dSChris Lattner   // FIXME: Volatility!
4647a51313dSChris Lattner   EmitStoreOfComplex(Val, LHS.getAddress(), false);
4657a51313dSChris Lattner   return Val;
4667a51313dSChris Lattner }
4677a51313dSChris Lattner 
4687a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitBinComma(const BinaryOperator *E) {
4697a51313dSChris Lattner   CGF.EmitStmt(E->getLHS());
4705c7e3935SDaniel Dunbar   CGF.EnsureInsertPoint();
4717a51313dSChris Lattner   return Visit(E->getRHS());
4727a51313dSChris Lattner }
4737a51313dSChris Lattner 
4747a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::
4757a51313dSChris Lattner VisitConditionalOperator(const ConditionalOperator *E) {
476a612e79bSDaniel Dunbar   llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true");
477a612e79bSDaniel Dunbar   llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false");
478a612e79bSDaniel Dunbar   llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end");
4797a51313dSChris Lattner 
4807a51313dSChris Lattner   llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond());
4817a51313dSChris Lattner   Builder.CreateCondBr(Cond, LHSBlock, RHSBlock);
4827a51313dSChris Lattner 
4837a51313dSChris Lattner   CGF.EmitBlock(LHSBlock);
4847a51313dSChris Lattner 
4857a51313dSChris Lattner   // Handle the GNU extension for missing LHS.
4867a51313dSChris Lattner   assert(E->getLHS() && "Must have LHS for complex value");
4877a51313dSChris Lattner 
4887a51313dSChris Lattner   ComplexPairTy LHS = Visit(E->getLHS());
4897a51313dSChris Lattner   LHSBlock = Builder.GetInsertBlock();
490c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
4917a51313dSChris Lattner 
4927a51313dSChris Lattner   CGF.EmitBlock(RHSBlock);
4937a51313dSChris Lattner 
4947a51313dSChris Lattner   ComplexPairTy RHS = Visit(E->getRHS());
4957a51313dSChris Lattner   RHSBlock = Builder.GetInsertBlock();
496c56e6764SDaniel Dunbar   CGF.EmitBranch(ContBlock);
4977a51313dSChris Lattner 
4987a51313dSChris Lattner   CGF.EmitBlock(ContBlock);
4997a51313dSChris Lattner 
5007a51313dSChris Lattner   // Create a PHI node for the real part.
5017a51313dSChris Lattner   llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), "cond.r");
5027a51313dSChris Lattner   RealPN->reserveOperandSpace(2);
5037a51313dSChris Lattner   RealPN->addIncoming(LHS.first, LHSBlock);
5047a51313dSChris Lattner   RealPN->addIncoming(RHS.first, RHSBlock);
5057a51313dSChris Lattner 
5067a51313dSChris Lattner   // Create a PHI node for the imaginary part.
5077a51313dSChris Lattner   llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), "cond.i");
5087a51313dSChris Lattner   ImagPN->reserveOperandSpace(2);
5097a51313dSChris Lattner   ImagPN->addIncoming(LHS.second, LHSBlock);
5107a51313dSChris Lattner   ImagPN->addIncoming(RHS.second, RHSBlock);
5117a51313dSChris Lattner 
5127a51313dSChris Lattner   return ComplexPairTy(RealPN, ImagPN);
5137a51313dSChris Lattner }
5147a51313dSChris Lattner 
5157a51313dSChris Lattner ComplexPairTy ComplexExprEmitter::VisitChooseExpr(ChooseExpr *E) {
5167a51313dSChris Lattner   // Emit the LHS or RHS as appropriate.
5177a51313dSChris Lattner   return Visit(E->isConditionTrue(CGF.getContext()) ? E->getLHS() :E->getRHS());
5187a51313dSChris Lattner }
5197a51313dSChris Lattner 
520dd7406e6SEli Friedman ComplexPairTy ComplexExprEmitter::VisitInitListExpr(InitListExpr *E) {
521dd7406e6SEli Friedman   if (E->getNumInits())
522dd7406e6SEli Friedman     return Visit(E->getInit(0));
523dd7406e6SEli Friedman 
524dd7406e6SEli Friedman   // Empty init list intializes to null
525dd7406e6SEli Friedman   QualType Ty = E->getType()->getAsComplexType()->getElementType();
526dd7406e6SEli Friedman   const llvm::Type* LTy = CGF.ConvertType(Ty);
527dd7406e6SEli Friedman   llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy);
528dd7406e6SEli Friedman   return ComplexPairTy(zeroConstant, zeroConstant);
529dd7406e6SEli Friedman }
530dd7406e6SEli Friedman 
5317a51313dSChris Lattner //===----------------------------------------------------------------------===//
5327a51313dSChris Lattner //                         Entry Point into this File
5337a51313dSChris Lattner //===----------------------------------------------------------------------===//
5347a51313dSChris Lattner 
5357a51313dSChris Lattner /// EmitComplexExpr - Emit the computation of the specified expression of
5367a51313dSChris Lattner /// complex type, ignoring the result.
5377a51313dSChris Lattner ComplexPairTy CodeGenFunction::EmitComplexExpr(const Expr *E) {
538f3bc75afSChris Lattner   assert(E && E->getType()->isAnyComplexType() &&
5397a51313dSChris Lattner          "Invalid complex expression to emit");
5407a51313dSChris Lattner 
5417a51313dSChris Lattner   return ComplexExprEmitter(*this).Visit(const_cast<Expr*>(E));
5427a51313dSChris Lattner }
5437a51313dSChris Lattner 
5447a51313dSChris Lattner /// EmitComplexExprIntoAddr - Emit the computation of the specified expression
5457a51313dSChris Lattner /// of complex type, storing into the specified Value*.
5467a51313dSChris Lattner void CodeGenFunction::EmitComplexExprIntoAddr(const Expr *E,
5477a51313dSChris Lattner                                               llvm::Value *DestAddr,
5487a51313dSChris Lattner                                               bool DestIsVolatile) {
549f3bc75afSChris Lattner   assert(E && E->getType()->isAnyComplexType() &&
5507a51313dSChris Lattner          "Invalid complex expression to emit");
5517a51313dSChris Lattner   ComplexExprEmitter Emitter(*this);
5527a51313dSChris Lattner   ComplexPairTy Val = Emitter.Visit(const_cast<Expr*>(E));
5537a51313dSChris Lattner   Emitter.EmitStoreOfComplex(Val, DestAddr, DestIsVolatile);
5547a51313dSChris Lattner }
5557a51313dSChris Lattner 
5564b8c6db9SDaniel Dunbar /// StoreComplexToAddr - Store a complex number into the specified address.
5574b8c6db9SDaniel Dunbar void CodeGenFunction::StoreComplexToAddr(ComplexPairTy V,
5584b8c6db9SDaniel Dunbar                                          llvm::Value *DestAddr,
5594b8c6db9SDaniel Dunbar                                          bool DestIsVolatile) {
5604b8c6db9SDaniel Dunbar   ComplexExprEmitter(*this).EmitStoreOfComplex(V, DestAddr, DestIsVolatile);
5614b8c6db9SDaniel Dunbar }
5624b8c6db9SDaniel Dunbar 
5637a51313dSChris Lattner /// LoadComplexFromAddr - Load a complex number from the specified address.
5647a51313dSChris Lattner ComplexPairTy CodeGenFunction::LoadComplexFromAddr(llvm::Value *SrcAddr,
5657a51313dSChris Lattner                                                    bool SrcIsVolatile) {
5667a51313dSChris Lattner   return ComplexExprEmitter(*this).EmitLoadOfComplex(SrcAddr, SrcIsVolatile);
5677a51313dSChris Lattner }
568