1 //===--- CGExprComplex.cpp - Emit LLVM Code for Complex Exprs -------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This contains code to emit Expr nodes with complex types as LLVM code. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "CodeGenFunction.h" 15 #include "CodeGenModule.h" 16 #include "clang/AST/AST.h" 17 #include "llvm/Constants.h" 18 #include "llvm/Function.h" 19 #include "llvm/ADT/SmallString.h" 20 #include "llvm/Support/Compiler.h" 21 using namespace clang; 22 using namespace CodeGen; 23 24 //===----------------------------------------------------------------------===// 25 // Complex Expression Emitter 26 //===----------------------------------------------------------------------===// 27 28 typedef CodeGenFunction::ComplexPairTy ComplexPairTy; 29 30 namespace { 31 class VISIBILITY_HIDDEN ComplexExprEmitter 32 : public StmtVisitor<ComplexExprEmitter, ComplexPairTy> { 33 CodeGenFunction &CGF; 34 llvm::LLVMFoldingBuilder &Builder; 35 public: 36 ComplexExprEmitter(CodeGenFunction &cgf) : CGF(cgf), Builder(CGF.Builder) { 37 } 38 39 40 //===--------------------------------------------------------------------===// 41 // Utilities 42 //===--------------------------------------------------------------------===// 43 44 /// EmitLoadOfLValue - Given an expression with complex type that represents a 45 /// value l-value, this method emits the address of the l-value, then loads 46 /// and returns the result. 47 ComplexPairTy EmitLoadOfLValue(const Expr *E) { 48 LValue LV = CGF.EmitLValue(E); 49 // FIXME: Volatile 50 return EmitLoadOfComplex(LV.getAddress(), false); 51 } 52 53 /// EmitLoadOfComplex - Given a pointer to a complex value, emit code to load 54 /// the real and imaginary pieces. 55 ComplexPairTy EmitLoadOfComplex(llvm::Value *SrcPtr, bool isVolatile); 56 57 /// EmitStoreOfComplex - Store the specified real/imag parts into the 58 /// specified value pointer. 59 void EmitStoreOfComplex(ComplexPairTy Val, llvm::Value *ResPtr, bool isVol); 60 61 /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType. 62 ComplexPairTy EmitComplexToComplexCast(ComplexPairTy Val, QualType SrcType, 63 QualType DestType); 64 65 //===--------------------------------------------------------------------===// 66 // Visitor Methods 67 //===--------------------------------------------------------------------===// 68 69 ComplexPairTy VisitStmt(Stmt *S) { 70 S->dump(CGF.getContext().getSourceManager()); 71 assert(0 && "Stmt can't have complex result type!"); 72 return ComplexPairTy(); 73 } 74 ComplexPairTy VisitExpr(Expr *S); 75 ComplexPairTy VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr());} 76 ComplexPairTy VisitImaginaryLiteral(const ImaginaryLiteral *IL); 77 78 // l-values. 79 ComplexPairTy VisitDeclRefExpr(const Expr *E) { return EmitLoadOfLValue(E); } 80 ComplexPairTy VisitArraySubscriptExpr(Expr *E) { return EmitLoadOfLValue(E); } 81 ComplexPairTy VisitMemberExpr(const Expr *E) { return EmitLoadOfLValue(E); } 82 83 // FIXME: CompoundLiteralExpr 84 85 ComplexPairTy EmitCast(Expr *Op, QualType DestTy); 86 ComplexPairTy VisitImplicitCastExpr(ImplicitCastExpr *E) { 87 // Unlike for scalars, we don't have to worry about function->ptr demotion 88 // here. 89 return EmitCast(E->getSubExpr(), E->getType()); 90 } 91 ComplexPairTy VisitCastExpr(CastExpr *E) { 92 return EmitCast(E->getSubExpr(), E->getType()); 93 } 94 ComplexPairTy VisitCallExpr(const CallExpr *E); 95 ComplexPairTy VisitStmtExpr(const StmtExpr *E); 96 ComplexPairTy VisitOverloadExpr(const OverloadExpr *OE); 97 98 // Operators. 99 ComplexPairTy VisitPrePostIncDec(const UnaryOperator *E, 100 bool isInc, bool isPre); 101 ComplexPairTy VisitUnaryPostDec(const UnaryOperator *E) { 102 return VisitPrePostIncDec(E, false, false); 103 } 104 ComplexPairTy VisitUnaryPostInc(const UnaryOperator *E) { 105 return VisitPrePostIncDec(E, true, false); 106 } 107 ComplexPairTy VisitUnaryPreDec(const UnaryOperator *E) { 108 return VisitPrePostIncDec(E, false, true); 109 } 110 ComplexPairTy VisitUnaryPreInc(const UnaryOperator *E) { 111 return VisitPrePostIncDec(E, true, true); 112 } 113 ComplexPairTy VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 114 ComplexPairTy VisitUnaryPlus (const UnaryOperator *E) { 115 return Visit(E->getSubExpr()); 116 } 117 ComplexPairTy VisitUnaryMinus (const UnaryOperator *E); 118 ComplexPairTy VisitUnaryNot (const UnaryOperator *E); 119 // LNot,SizeOf,AlignOf,Real,Imag never return complex. 120 ComplexPairTy VisitUnaryExtension(const UnaryOperator *E) { 121 return Visit(E->getSubExpr()); 122 } 123 124 struct BinOpInfo { 125 ComplexPairTy LHS; 126 ComplexPairTy RHS; 127 QualType Ty; // Computation Type. 128 }; 129 130 BinOpInfo EmitBinOps(const BinaryOperator *E); 131 ComplexPairTy EmitCompoundAssign(const CompoundAssignOperator *E, 132 ComplexPairTy (ComplexExprEmitter::*Func) 133 (const BinOpInfo &)); 134 135 ComplexPairTy EmitBinAdd(const BinOpInfo &Op); 136 ComplexPairTy EmitBinSub(const BinOpInfo &Op); 137 ComplexPairTy EmitBinMul(const BinOpInfo &Op); 138 ComplexPairTy EmitBinDiv(const BinOpInfo &Op); 139 140 ComplexPairTy VisitBinMul(const BinaryOperator *E) { 141 return EmitBinMul(EmitBinOps(E)); 142 } 143 ComplexPairTy VisitBinAdd(const BinaryOperator *E) { 144 return EmitBinAdd(EmitBinOps(E)); 145 } 146 ComplexPairTy VisitBinSub(const BinaryOperator *E) { 147 return EmitBinSub(EmitBinOps(E)); 148 } 149 ComplexPairTy VisitBinDiv(const BinaryOperator *E) { 150 return EmitBinDiv(EmitBinOps(E)); 151 } 152 153 // Compound assignments. 154 ComplexPairTy VisitBinAddAssign(const CompoundAssignOperator *E) { 155 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd); 156 } 157 ComplexPairTy VisitBinSubAssign(const CompoundAssignOperator *E) { 158 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub); 159 } 160 ComplexPairTy VisitBinMulAssign(const CompoundAssignOperator *E) { 161 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul); 162 } 163 ComplexPairTy VisitBinDivAssign(const CompoundAssignOperator *E) { 164 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv); 165 } 166 167 // GCC rejects rem/and/or/xor for integer complex. 168 // Logical and/or always return int, never complex. 169 170 // No comparisons produce a complex result. 171 ComplexPairTy VisitBinAssign (const BinaryOperator *E); 172 ComplexPairTy VisitBinComma (const BinaryOperator *E); 173 174 175 ComplexPairTy VisitConditionalOperator(const ConditionalOperator *CO); 176 ComplexPairTy VisitChooseExpr(ChooseExpr *CE); 177 }; 178 } // end anonymous namespace. 179 180 //===----------------------------------------------------------------------===// 181 // Utilities 182 //===----------------------------------------------------------------------===// 183 184 /// EmitLoadOfComplex - Given an RValue reference for a complex, emit code to 185 /// load the real and imaginary pieces, returning them as Real/Imag. 186 ComplexPairTy ComplexExprEmitter::EmitLoadOfComplex(llvm::Value *SrcPtr, 187 bool isVolatile) { 188 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0); 189 llvm::Constant *One = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1); 190 191 llvm::SmallString<64> Name(SrcPtr->getNameStart(), 192 SrcPtr->getNameStart()+SrcPtr->getNameLen()); 193 194 Name += ".realp"; 195 llvm::Value *Ops[] = {Zero, Zero}; 196 llvm::Value *RealPtr = Builder.CreateGEP(SrcPtr, Ops, Ops+2, Name.c_str()); 197 198 Name.pop_back(); // .realp -> .real 199 llvm::Value *Real = Builder.CreateLoad(RealPtr, isVolatile, Name.c_str()); 200 201 Name.resize(Name.size()-4); // .real -> .imagp 202 Name += "imagp"; 203 204 Ops[1] = One; // { Ops = { Zero, One } 205 llvm::Value *ImagPtr = Builder.CreateGEP(SrcPtr, Ops, Ops+2, Name.c_str()); 206 207 Name.pop_back(); // .imagp -> .imag 208 llvm::Value *Imag = Builder.CreateLoad(ImagPtr, isVolatile, Name.c_str()); 209 return ComplexPairTy(Real, Imag); 210 } 211 212 /// EmitStoreOfComplex - Store the specified real/imag parts into the 213 /// specified value pointer. 214 void ComplexExprEmitter::EmitStoreOfComplex(ComplexPairTy Val, llvm::Value *Ptr, 215 bool isVolatile) { 216 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0); 217 llvm::Constant *One = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1); 218 219 llvm::Value *Ops[] = {Zero, Zero}; 220 llvm::Value *RealPtr = Builder.CreateGEP(Ptr, Ops, Ops+2, "real"); 221 222 Ops[1] = One; // { Ops = { Zero, One } 223 llvm::Value *ImagPtr = Builder.CreateGEP(Ptr, Ops, Ops+2, "imag"); 224 225 Builder.CreateStore(Val.first, RealPtr, isVolatile); 226 Builder.CreateStore(Val.second, ImagPtr, isVolatile); 227 } 228 229 230 231 //===----------------------------------------------------------------------===// 232 // Visitor Methods 233 //===----------------------------------------------------------------------===// 234 235 ComplexPairTy ComplexExprEmitter::VisitExpr(Expr *E) { 236 CGF.WarnUnsupported(E, "complex expression"); 237 const llvm::Type *EltTy = 238 CGF.ConvertType(E->getType()->getAsComplexType()->getElementType()); 239 llvm::Value *U = llvm::UndefValue::get(EltTy); 240 return ComplexPairTy(U, U); 241 } 242 243 ComplexPairTy ComplexExprEmitter:: 244 VisitImaginaryLiteral(const ImaginaryLiteral *IL) { 245 llvm::Value *Imag = CGF.EmitScalarExpr(IL->getSubExpr()); 246 return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag); 247 } 248 249 250 ComplexPairTy ComplexExprEmitter::VisitCallExpr(const CallExpr *E) { 251 return CGF.EmitCallExpr(E).getComplexVal(); 252 } 253 254 ComplexPairTy ComplexExprEmitter::VisitOverloadExpr(const OverloadExpr *E) { 255 return CGF.EmitCallExpr(E->getFn(), E->arg_begin(), 256 E->getNumArgs(CGF.getContext())).getComplexVal(); 257 } 258 259 ComplexPairTy ComplexExprEmitter::VisitStmtExpr(const StmtExpr *E) { 260 return CGF.EmitCompoundStmt(*E->getSubStmt(), true).getComplexVal(); 261 } 262 263 /// EmitComplexToComplexCast - Emit a cast from complex value Val to DestType. 264 ComplexPairTy ComplexExprEmitter::EmitComplexToComplexCast(ComplexPairTy Val, 265 QualType SrcType, 266 QualType DestType) { 267 // Get the src/dest element type. 268 SrcType = cast<ComplexType>(SrcType.getCanonicalType())->getElementType(); 269 DestType = cast<ComplexType>(DestType.getCanonicalType())->getElementType(); 270 271 // C99 6.3.1.6: When a value of complextype is converted to another 272 // complex type, both the real and imaginary parts followthe conversion 273 // rules for the corresponding real types. 274 Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType); 275 Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType); 276 return Val; 277 } 278 279 ComplexPairTy ComplexExprEmitter::EmitCast(Expr *Op, QualType DestTy) { 280 // Two cases here: cast from (complex to complex) and (scalar to complex). 281 if (Op->getType()->isComplexType()) 282 return EmitComplexToComplexCast(Visit(Op), Op->getType(), DestTy); 283 284 // C99 6.3.1.7: When a value of real type is converted to a complex type, the 285 // real part of the complex result value is determined by the rules of 286 // conversion to the corresponding real type and the imaginary part of the 287 // complex result value is a positive zero or an unsigned zero. 288 llvm::Value *Elt = CGF.EmitScalarExpr(Op); 289 290 // Convert the input element to the element type of the complex. 291 DestTy = cast<ComplexType>(DestTy.getCanonicalType())->getElementType(); 292 Elt = CGF.EmitScalarConversion(Elt, Op->getType(), DestTy); 293 294 // Return (realval, 0). 295 return ComplexPairTy(Elt, llvm::Constant::getNullValue(Elt->getType())); 296 } 297 298 ComplexPairTy ComplexExprEmitter::VisitPrePostIncDec(const UnaryOperator *E, 299 bool isInc, bool isPre) { 300 LValue LV = CGF.EmitLValue(E->getSubExpr()); 301 // FIXME: Handle volatile! 302 ComplexPairTy InVal = EmitLoadOfComplex(LV.getAddress(), false); 303 304 uint64_t AmountVal = isInc ? 1 : -1; 305 306 llvm::Value *NextVal; 307 if (isa<llvm::IntegerType>(InVal.first->getType())) 308 NextVal = llvm::ConstantInt::get(InVal.first->getType(), AmountVal); 309 else if (InVal.first->getType() == llvm::Type::FloatTy) 310 // FIXME: Handle long double. 311 NextVal = 312 llvm::ConstantFP::get(InVal.first->getType(), 313 llvm::APFloat(static_cast<float>(AmountVal))); 314 else { 315 // FIXME: Handle long double. 316 assert(InVal.first->getType() == llvm::Type::DoubleTy); 317 NextVal = 318 llvm::ConstantFP::get(InVal.first->getType(), 319 llvm::APFloat(static_cast<double>(AmountVal))); 320 } 321 322 // Add the inc/dec to the real part. 323 NextVal = Builder.CreateAdd(InVal.first, NextVal, isInc ? "inc" : "dec"); 324 325 ComplexPairTy IncVal(NextVal, InVal.second); 326 327 // Store the updated result through the lvalue. 328 EmitStoreOfComplex(IncVal, LV.getAddress(), false); /* FIXME: Volatile */ 329 330 // If this is a postinc, return the value read from memory, otherwise use the 331 // updated value. 332 return isPre ? IncVal : InVal; 333 } 334 335 ComplexPairTy ComplexExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 336 ComplexPairTy Op = Visit(E->getSubExpr()); 337 llvm::Value *ResR = Builder.CreateNeg(Op.first, "neg.r"); 338 llvm::Value *ResI = Builder.CreateNeg(Op.second, "neg.i"); 339 return ComplexPairTy(ResR, ResI); 340 } 341 342 ComplexPairTy ComplexExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 343 // ~(a+ib) = a + i*-b 344 ComplexPairTy Op = Visit(E->getSubExpr()); 345 llvm::Value *ResI = Builder.CreateNeg(Op.second, "conj.i"); 346 return ComplexPairTy(Op.first, ResI); 347 } 348 349 ComplexPairTy ComplexExprEmitter::EmitBinAdd(const BinOpInfo &Op) { 350 llvm::Value *ResR = Builder.CreateAdd(Op.LHS.first, Op.RHS.first, "add.r"); 351 llvm::Value *ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second, "add.i"); 352 return ComplexPairTy(ResR, ResI); 353 } 354 355 ComplexPairTy ComplexExprEmitter::EmitBinSub(const BinOpInfo &Op) { 356 llvm::Value *ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first, "sub.r"); 357 llvm::Value *ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second, "sub.i"); 358 return ComplexPairTy(ResR, ResI); 359 } 360 361 362 ComplexPairTy ComplexExprEmitter::EmitBinMul(const BinOpInfo &Op) { 363 llvm::Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first, "mul.rl"); 364 llvm::Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second,"mul.rr"); 365 llvm::Value *ResR = Builder.CreateSub(ResRl, ResRr, "mul.r"); 366 367 llvm::Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first, "mul.il"); 368 llvm::Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second, "mul.ir"); 369 llvm::Value *ResI = Builder.CreateAdd(ResIl, ResIr, "mul.i"); 370 return ComplexPairTy(ResR, ResI); 371 } 372 373 ComplexPairTy ComplexExprEmitter::EmitBinDiv(const BinOpInfo &Op) { 374 llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second; 375 llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second; 376 377 // (a+ib) / (c+id) = ((ac+bd)/(cc+dd)) + i((bc-ad)/(cc+dd)) 378 llvm::Value *Tmp1 = Builder.CreateMul(LHSr, RHSr, "tmp"); // a*c 379 llvm::Value *Tmp2 = Builder.CreateMul(LHSi, RHSi, "tmp"); // b*d 380 llvm::Value *Tmp3 = Builder.CreateAdd(Tmp1, Tmp2, "tmp"); // ac+bd 381 382 llvm::Value *Tmp4 = Builder.CreateMul(RHSr, RHSr, "tmp"); // c*c 383 llvm::Value *Tmp5 = Builder.CreateMul(RHSi, RHSi, "tmp"); // d*d 384 llvm::Value *Tmp6 = Builder.CreateAdd(Tmp4, Tmp5, "tmp"); // cc+dd 385 386 llvm::Value *Tmp7 = Builder.CreateMul(LHSi, RHSr, "tmp"); // b*c 387 llvm::Value *Tmp8 = Builder.CreateMul(LHSr, RHSi, "tmp"); // a*d 388 llvm::Value *Tmp9 = Builder.CreateSub(Tmp7, Tmp8, "tmp"); // bc-ad 389 390 llvm::Value *DSTr, *DSTi; 391 if (Tmp3->getType()->isFloatingPoint()) { 392 DSTr = Builder.CreateFDiv(Tmp3, Tmp6, "tmp"); 393 DSTi = Builder.CreateFDiv(Tmp9, Tmp6, "tmp"); 394 } else { 395 if (Op.Ty->getAsComplexType()->getElementType()->isUnsignedIntegerType()) { 396 DSTr = Builder.CreateUDiv(Tmp3, Tmp6, "tmp"); 397 DSTi = Builder.CreateUDiv(Tmp9, Tmp6, "tmp"); 398 } else { 399 DSTr = Builder.CreateSDiv(Tmp3, Tmp6, "tmp"); 400 DSTi = Builder.CreateSDiv(Tmp9, Tmp6, "tmp"); 401 } 402 } 403 404 return ComplexPairTy(DSTr, DSTi); 405 } 406 407 ComplexExprEmitter::BinOpInfo 408 ComplexExprEmitter::EmitBinOps(const BinaryOperator *E) { 409 BinOpInfo Ops; 410 Ops.LHS = Visit(E->getLHS()); 411 Ops.RHS = Visit(E->getRHS()); 412 Ops.Ty = E->getType(); 413 return Ops; 414 } 415 416 417 // Compound assignments. 418 ComplexPairTy ComplexExprEmitter:: 419 EmitCompoundAssign(const CompoundAssignOperator *E, 420 ComplexPairTy (ComplexExprEmitter::*Func)(const BinOpInfo&)){ 421 QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType(); 422 423 // Load the LHS and RHS operands. 424 LValue LHSLV = CGF.EmitLValue(E->getLHS()); 425 426 BinOpInfo OpInfo; 427 OpInfo.Ty = E->getComputationType(); 428 429 // We know the LHS is a complex lvalue. 430 OpInfo.LHS = EmitLoadOfComplex(LHSLV.getAddress(), false);// FIXME: Volatile. 431 OpInfo.LHS = EmitComplexToComplexCast(OpInfo.LHS, LHSTy, OpInfo.Ty); 432 433 // It is possible for the RHS to be complex or scalar. 434 OpInfo.RHS = EmitCast(E->getRHS(), OpInfo.Ty); 435 436 // Expand the binary operator. 437 ComplexPairTy Result = (this->*Func)(OpInfo); 438 439 // Truncate the result back to the LHS type. 440 Result = EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy); 441 442 // Store the result value into the LHS lvalue. 443 EmitStoreOfComplex(Result, LHSLV.getAddress(), false); // FIXME: VOLATILE 444 return Result; 445 } 446 447 ComplexPairTy ComplexExprEmitter::VisitBinAssign(const BinaryOperator *E) { 448 assert(E->getLHS()->getType().getCanonicalType() == 449 E->getRHS()->getType().getCanonicalType() && "Invalid assignment"); 450 // Emit the RHS. 451 ComplexPairTy Val = Visit(E->getRHS()); 452 453 // Compute the address to store into. 454 LValue LHS = CGF.EmitLValue(E->getLHS()); 455 456 // Store into it. 457 // FIXME: Volatility! 458 EmitStoreOfComplex(Val, LHS.getAddress(), false); 459 return Val; 460 } 461 462 ComplexPairTy ComplexExprEmitter::VisitBinComma(const BinaryOperator *E) { 463 CGF.EmitStmt(E->getLHS()); 464 return Visit(E->getRHS()); 465 } 466 467 ComplexPairTy ComplexExprEmitter:: 468 VisitConditionalOperator(const ConditionalOperator *E) { 469 llvm::BasicBlock *LHSBlock = new llvm::BasicBlock("cond.?"); 470 llvm::BasicBlock *RHSBlock = new llvm::BasicBlock("cond.:"); 471 llvm::BasicBlock *ContBlock = new llvm::BasicBlock("cond.cont"); 472 473 llvm::Value *Cond = CGF.EvaluateExprAsBool(E->getCond()); 474 Builder.CreateCondBr(Cond, LHSBlock, RHSBlock); 475 476 CGF.EmitBlock(LHSBlock); 477 478 // Handle the GNU extension for missing LHS. 479 assert(E->getLHS() && "Must have LHS for complex value"); 480 481 ComplexPairTy LHS = Visit(E->getLHS()); 482 Builder.CreateBr(ContBlock); 483 LHSBlock = Builder.GetInsertBlock(); 484 485 CGF.EmitBlock(RHSBlock); 486 487 ComplexPairTy RHS = Visit(E->getRHS()); 488 Builder.CreateBr(ContBlock); 489 RHSBlock = Builder.GetInsertBlock(); 490 491 CGF.EmitBlock(ContBlock); 492 493 // Create a PHI node for the real part. 494 llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), "cond.r"); 495 RealPN->reserveOperandSpace(2); 496 RealPN->addIncoming(LHS.first, LHSBlock); 497 RealPN->addIncoming(RHS.first, RHSBlock); 498 499 // Create a PHI node for the imaginary part. 500 llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), "cond.i"); 501 ImagPN->reserveOperandSpace(2); 502 ImagPN->addIncoming(LHS.second, LHSBlock); 503 ImagPN->addIncoming(RHS.second, RHSBlock); 504 505 return ComplexPairTy(RealPN, ImagPN); 506 } 507 508 ComplexPairTy ComplexExprEmitter::VisitChooseExpr(ChooseExpr *E) { 509 // Emit the LHS or RHS as appropriate. 510 return Visit(E->isConditionTrue(CGF.getContext()) ? E->getLHS() :E->getRHS()); 511 } 512 513 //===----------------------------------------------------------------------===// 514 // Entry Point into this File 515 //===----------------------------------------------------------------------===// 516 517 /// EmitComplexExpr - Emit the computation of the specified expression of 518 /// complex type, ignoring the result. 519 ComplexPairTy CodeGenFunction::EmitComplexExpr(const Expr *E) { 520 assert(E && E->getType()->isComplexType() && 521 "Invalid complex expression to emit"); 522 523 return ComplexExprEmitter(*this).Visit(const_cast<Expr*>(E)); 524 } 525 526 /// EmitComplexExprIntoAddr - Emit the computation of the specified expression 527 /// of complex type, storing into the specified Value*. 528 void CodeGenFunction::EmitComplexExprIntoAddr(const Expr *E, 529 llvm::Value *DestAddr, 530 bool DestIsVolatile) { 531 assert(E && E->getType()->isComplexType() && 532 "Invalid complex expression to emit"); 533 ComplexExprEmitter Emitter(*this); 534 ComplexPairTy Val = Emitter.Visit(const_cast<Expr*>(E)); 535 Emitter.EmitStoreOfComplex(Val, DestAddr, DestIsVolatile); 536 } 537 538 /// LoadComplexFromAddr - Load a complex number from the specified address. 539 ComplexPairTy CodeGenFunction::LoadComplexFromAddr(llvm::Value *SrcAddr, 540 bool SrcIsVolatile) { 541 return ComplexExprEmitter(*this).EmitLoadOfComplex(SrcAddr, SrcIsVolatile); 542 } 543