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