17 #include "llvm/ADT/STLExtras.h" 18 #include "llvm/IR/Constants.h" 19 #include "llvm/IR/Instructions.h" 20 #include "llvm/IR/MDBuilder.h" 21 #include "llvm/IR/Metadata.h" 23 using namespace clang;
24 using namespace CodeGen;
35 if (
const ComplexType *comp = dyn_cast<ComplexType>(type)) {
38 return cast<ComplexType>(cast<AtomicType>(
type)->getValueType());
43 class ComplexExprEmitter
44 :
public StmtVisitor<ComplexExprEmitter, ComplexPairTy> {
51 : CGF(cgf), Builder(CGF.Builder), IgnoreReal(ir), IgnoreImag(ii) {
59 bool TestAndClearIgnoreReal() {
64 bool TestAndClearIgnoreImag() {
74 return EmitLoadOfLValue(CGF.EmitLValue(E), E->
getExprLoc());
100 S->
dump(CGF.getContext().getSourceManager());
101 llvm_unreachable(
"Stmt can't have complex result type!");
114 return CGF.EmitCoawaitExpr(*S).getComplexVal();
117 return CGF.EmitCoyieldExpr(*S).getComplexVal();
125 assert(Constant &&
"not a constant");
130 llvm::Constant *pair = Constant.
getValue();
132 pair->getAggregateElement(1U));
138 return emitConstant(Constant, E);
139 return EmitLoadOfLValue(E);
142 return EmitLoadOfLValue(E);
145 return CGF.EmitObjCMessageExpr(E).getComplexVal();
150 CGF.tryEmitAsConstant(ME)) {
151 CGF.EmitIgnoredExpr(ME->
getBase());
152 return emitConstant(Constant, ME);
154 return EmitLoadOfLValue(ME);
158 return EmitLoadOfLValue(CGF.getOrCreateOpaqueLValueMapping(E),
160 return CGF.getOrCreateOpaqueRValueMapping(E).getComplexVal();
164 return CGF.EmitPseudoObjectRValue(E).getComplexVal();
176 if (
const auto *ECE = dyn_cast<ExplicitCastExpr>(E))
177 CGF.CGM.EmitExplicitCastExprType(ECE, &CGF);
185 bool isInc,
bool isPre) {
187 return CGF.EmitComplexPrePostIncDec(E, LV, isInc, isPre);
190 return VisitPrePostIncDec(E,
false,
false);
193 return VisitPrePostIncDec(E,
true,
false);
196 return VisitPrePostIncDec(E,
false,
true);
199 return VisitPrePostIncDec(E,
true,
true);
203 TestAndClearIgnoreReal();
204 TestAndClearIgnoreImag();
221 CGF.enterFullExpression(E);
232 llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem));
238 llvm::Constant *Null =
239 llvm::Constant::getNullValue(CGF.ConvertType(Elem));
256 (
const BinOpInfo &));
264 const BinOpInfo &Op);
267 return EmitBinAdd(EmitBinOps(E));
270 return EmitBinSub(EmitBinOps(E));
273 return EmitBinMul(EmitBinOps(E));
276 return EmitBinDiv(EmitBinOps(E));
281 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd);
284 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub);
287 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul);
290 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv);
311 return EmitLoadOfLValue(E);
317 return CGF.EmitAtomicExpr(E).getComplexVal();
329 return Builder.CreateStructGEP(addr, 0, offset, addr.
getName() +
".realp");
335 CharUnits offset = getContext().getTypeSizeInChars(eltType);
336 return Builder.CreateStructGEP(addr, 1, offset, addr.
getName() +
".imagp");
343 assert(lvalue.
isSimple() &&
"non-simple complex l-value?");
345 return CGF.EmitAtomicLoad(lvalue, loc).getComplexVal();
352 if (!IgnoreReal || isVolatile) {
353 Address RealP = CGF.emitAddrOfRealComponent(SrcPtr, lvalue.
getType());
354 Real = Builder.CreateLoad(RealP, isVolatile, SrcPtr.
getName() +
".real");
357 if (!IgnoreImag || isVolatile) {
358 Address ImagP = CGF.emitAddrOfImagComponent(SrcPtr, lvalue.
getType());
359 Imag = Builder.CreateLoad(ImagP, isVolatile, SrcPtr.
getName() +
".imag");
370 (!isInit && CGF.LValueIsSuitableForInlineAtomic(lvalue)))
374 Address RealPtr = CGF.emitAddrOfRealComponent(Ptr, lvalue.
getType());
375 Address ImagPtr = CGF.emitAddrOfImagComponent(Ptr, lvalue.
getType());
388 CGF.ErrorUnsupported(E,
"complex expression");
398 return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag);
404 return EmitLoadOfLValue(E);
406 return CGF.EmitCallExpr(E).getComplexVal();
412 assert(RetAlloca.
isValid() &&
"Expected complex return value");
413 return EmitLoadOfLValue(CGF.MakeAddrLValue(RetAlloca, E->
getType()),
429 Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType, Loc);
430 Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType, Loc);
440 Val = CGF.EmitScalarConversion(Val, SrcType, DestType, Loc);
443 return ComplexPairTy(Val, llvm::Constant::getNullValue(Val->getType()));
449 case CK_Dependent: llvm_unreachable(
"dependent cast kind in IR gen!");
453 case CK_AtomicToNonAtomic:
454 case CK_NonAtomicToAtomic:
456 case CK_LValueToRValue:
457 case CK_UserDefinedConversion:
460 case CK_LValueBitCast: {
461 LValue origLV = CGF.EmitLValue(Op);
463 V = Builder.CreateElementBitCast(V, CGF.ConvertType(DestTy));
464 return EmitLoadOfLValue(CGF.MakeAddrLValue(V, DestTy), Op->
getExprLoc());
468 case CK_BaseToDerived:
469 case CK_DerivedToBase:
470 case CK_UncheckedDerivedToBase:
473 case CK_ArrayToPointerDecay:
474 case CK_FunctionToPointerDecay:
475 case CK_NullToPointer:
476 case CK_NullToMemberPointer:
477 case CK_BaseToDerivedMemberPointer:
478 case CK_DerivedToBaseMemberPointer:
479 case CK_MemberPointerToBoolean:
480 case CK_ReinterpretMemberPointer:
481 case CK_ConstructorConversion:
482 case CK_IntegralToPointer:
483 case CK_PointerToIntegral:
484 case CK_PointerToBoolean:
487 case CK_IntegralCast:
488 case CK_BooleanToSignedIntegral:
489 case CK_IntegralToBoolean:
490 case CK_IntegralToFloating:
491 case CK_FloatingToIntegral:
492 case CK_FloatingToBoolean:
493 case CK_FloatingCast:
494 case CK_CPointerToObjCPointerCast:
495 case CK_BlockPointerToObjCPointerCast:
496 case CK_AnyPointerToBlockPointerCast:
497 case CK_ObjCObjectLValueCast:
498 case CK_FloatingComplexToReal:
499 case CK_FloatingComplexToBoolean:
500 case CK_IntegralComplexToReal:
501 case CK_IntegralComplexToBoolean:
502 case CK_ARCProduceObject:
503 case CK_ARCConsumeObject:
504 case CK_ARCReclaimReturnedObject:
505 case CK_ARCExtendBlockObject:
506 case CK_CopyAndAutoreleaseBlockObject:
507 case CK_BuiltinFnToFnPtr:
508 case CK_ZeroToOCLEvent:
509 case CK_ZeroToOCLQueue:
510 case CK_AddressSpaceConversion:
511 case CK_IntToOCLSampler:
512 llvm_unreachable(
"invalid cast kind for complex value");
514 case CK_FloatingRealToComplex:
515 case CK_IntegralRealToComplex:
516 return EmitScalarToComplexCast(CGF.EmitScalarExpr(Op), Op->
getType(),
519 case CK_FloatingComplexCast:
520 case CK_FloatingComplexToIntegralComplex:
521 case CK_IntegralComplexCast:
522 case CK_IntegralComplexToFloatingComplex:
523 return EmitComplexToComplexCast(Visit(Op), Op->
getType(), DestTy,
527 llvm_unreachable(
"unknown cast resulting in complex value");
531 TestAndClearIgnoreReal();
532 TestAndClearIgnoreImag();
536 if (Op.first->getType()->isFloatingPointTy()) {
537 ResR = Builder.CreateFNeg(Op.first,
"neg.r");
538 ResI = Builder.CreateFNeg(Op.second,
"neg.i");
540 ResR = Builder.CreateNeg(Op.first,
"neg.r");
541 ResI = Builder.CreateNeg(Op.second,
"neg.i");
547 TestAndClearIgnoreReal();
548 TestAndClearIgnoreImag();
552 if (Op.second->getType()->isFloatingPointTy())
553 ResI = Builder.CreateFNeg(Op.second,
"conj.i");
555 ResI = Builder.CreateNeg(Op.second,
"conj.i");
560 ComplexPairTy ComplexExprEmitter::EmitBinAdd(
const BinOpInfo &Op) {
563 if (Op.LHS.first->getType()->isFloatingPointTy()) {
564 ResR = Builder.CreateFAdd(Op.LHS.first, Op.RHS.first,
"add.r");
565 if (Op.LHS.second && Op.RHS.second)
566 ResI = Builder.CreateFAdd(Op.LHS.second, Op.RHS.second,
"add.i");
568 ResI = Op.LHS.second ? Op.LHS.second : Op.RHS.second;
569 assert(ResI &&
"Only one operand may be real!");
571 ResR = Builder.CreateAdd(Op.LHS.first, Op.RHS.first,
"add.r");
572 assert(Op.LHS.second && Op.RHS.second &&
573 "Both operands of integer complex operators must be complex!");
574 ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second,
"add.i");
579 ComplexPairTy ComplexExprEmitter::EmitBinSub(
const BinOpInfo &Op) {
581 if (Op.LHS.first->getType()->isFloatingPointTy()) {
582 ResR = Builder.CreateFSub(Op.LHS.first, Op.RHS.first,
"sub.r");
583 if (Op.LHS.second && Op.RHS.second)
584 ResI = Builder.CreateFSub(Op.LHS.second, Op.RHS.second,
"sub.i");
586 ResI = Op.LHS.second ? Op.LHS.second
587 : Builder.CreateFNeg(Op.RHS.second,
"sub.i");
588 assert(ResI &&
"Only one operand may be real!");
590 ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first,
"sub.r");
591 assert(Op.LHS.second && Op.RHS.second &&
592 "Both operands of integer complex operators must be complex!");
593 ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second,
"sub.i");
599 ComplexPairTy ComplexExprEmitter::EmitComplexBinOpLibCall(StringRef LibCallName,
600 const BinOpInfo &Op) {
622 QualType FQTy = CGF.getContext().getFunctionType(Op.Ty, ArgsQTys, EPI);
623 const CGFunctionInfo &FuncInfo = CGF.CGM.getTypes().arrangeFreeFunctionCall(
624 Args, cast<FunctionType>(FQTy.getTypePtr()),
false);
626 llvm::FunctionType *FTy = CGF.CGM.getTypes().GetFunctionType(FuncInfo);
627 llvm::Constant *Func = CGF.CGM.CreateBuiltinFunction(FTy, LibCallName);
630 llvm::Instruction *Call;
632 cast<llvm::CallInst>(Call)->setCallingConv(CGF.CGM.getRuntimeCC());
639 switch (Ty->getTypeID()) {
641 llvm_unreachable(
"Unsupported floating point type!");
642 case llvm::Type::HalfTyID:
644 case llvm::Type::FloatTyID:
646 case llvm::Type::DoubleTyID:
648 case llvm::Type::PPC_FP128TyID:
650 case llvm::Type::X86_FP80TyID:
652 case llvm::Type::FP128TyID:
659 ComplexPairTy ComplexExprEmitter::EmitBinMul(
const BinOpInfo &Op) {
662 llvm::MDBuilder MDHelper(CGF.getLLVMContext());
664 if (Op.LHS.first->getType()->isFloatingPointTy()) {
673 if (Op.LHS.second && Op.RHS.second) {
684 Value *AC = Builder.CreateFMul(Op.LHS.first, Op.RHS.first,
"mul_ac");
685 Value *BD = Builder.CreateFMul(Op.LHS.second, Op.RHS.second,
"mul_bd");
686 Value *AD = Builder.CreateFMul(Op.LHS.first, Op.RHS.second,
"mul_ad");
687 Value *BC = Builder.CreateFMul(Op.LHS.second, Op.RHS.first,
"mul_bc");
691 ResR = Builder.CreateFSub(AC, BD,
"mul_r");
692 ResI = Builder.CreateFAdd(AD, BC,
"mul_i");
696 Value *IsRNaN = Builder.CreateFCmpUNO(ResR, ResR,
"isnan_cmp");
697 llvm::BasicBlock *ContBB = CGF.createBasicBlock(
"complex_mul_cont");
698 llvm::BasicBlock *INaNBB = CGF.createBasicBlock(
"complex_mul_imag_nan");
699 llvm::Instruction *Branch = Builder.CreateCondBr(IsRNaN, INaNBB, ContBB);
700 llvm::BasicBlock *OrigBB = Branch->getParent();
704 llvm::MDNode *BrWeight = MDHelper.createBranchWeights(1, (1U << 20) - 1);
705 Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
708 CGF.EmitBlock(INaNBB);
709 Value *IsINaN = Builder.CreateFCmpUNO(ResI, ResI,
"isnan_cmp");
710 llvm::BasicBlock *LibCallBB = CGF.createBasicBlock(
"complex_mul_libcall");
711 Branch = Builder.CreateCondBr(IsINaN, LibCallBB, ContBB);
712 Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
715 CGF.EmitBlock(LibCallBB);
716 Value *LibCallR, *LibCallI;
717 std::tie(LibCallR, LibCallI) = EmitComplexBinOpLibCall(
719 Builder.CreateBr(ContBB);
723 CGF.EmitBlock(ContBB);
724 llvm::PHINode *RealPHI = Builder.CreatePHI(ResR->getType(), 3,
"real_mul_phi");
725 RealPHI->addIncoming(ResR, OrigBB);
726 RealPHI->addIncoming(ResR, INaNBB);
727 RealPHI->addIncoming(LibCallR, LibCallBB);
728 llvm::PHINode *ImagPHI = Builder.CreatePHI(ResI->getType(), 3,
"imag_mul_phi");
729 ImagPHI->addIncoming(ResI, OrigBB);
730 ImagPHI->addIncoming(ResI, INaNBB);
731 ImagPHI->addIncoming(LibCallI, LibCallBB);
734 assert((Op.LHS.second || Op.RHS.second) &&
735 "At least one operand must be complex!");
740 ResR = Builder.CreateFMul(Op.LHS.first, Op.RHS.first,
"mul.rl");
743 ? Builder.CreateFMul(Op.LHS.second, Op.RHS.first,
"mul.il")
744 : Builder.CreateFMul(Op.LHS.first, Op.RHS.second,
"mul.ir");
746 assert(Op.LHS.second && Op.RHS.second &&
747 "Both operands of integer complex operators must be complex!");
748 Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first,
"mul.rl");
749 Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second,
"mul.rr");
750 ResR = Builder.CreateSub(ResRl, ResRr,
"mul.r");
752 Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first,
"mul.il");
753 Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second,
"mul.ir");
754 ResI = Builder.CreateAdd(ResIl, ResIr,
"mul.i");
761 ComplexPairTy ComplexExprEmitter::EmitBinDiv(
const BinOpInfo &Op) {
762 llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second;
763 llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second;
766 if (LHSr->getType()->isFloatingPointTy()) {
774 if (RHSi && !CGF.getLangOpts().FastMath) {
775 BinOpInfo LibCallOp = Op;
778 LibCallOp.LHS.second = llvm::Constant::getNullValue(LHSr->getType());
780 switch (LHSr->getType()->getTypeID()) {
782 llvm_unreachable(
"Unsupported floating point type!");
783 case llvm::Type::HalfTyID:
784 return EmitComplexBinOpLibCall(
"__divhc3", LibCallOp);
785 case llvm::Type::FloatTyID:
786 return EmitComplexBinOpLibCall(
"__divsc3", LibCallOp);
787 case llvm::Type::DoubleTyID:
788 return EmitComplexBinOpLibCall(
"__divdc3", LibCallOp);
789 case llvm::Type::PPC_FP128TyID:
790 return EmitComplexBinOpLibCall(
"__divtc3", LibCallOp);
791 case llvm::Type::X86_FP80TyID:
792 return EmitComplexBinOpLibCall(
"__divxc3", LibCallOp);
793 case llvm::Type::FP128TyID:
794 return EmitComplexBinOpLibCall(
"__divtc3", LibCallOp);
798 LHSi = llvm::Constant::getNullValue(RHSi->getType());
813 DSTr = Builder.CreateFDiv(ACpBD, CCpDD);
814 DSTi = Builder.CreateFDiv(BCmAD, CCpDD);
816 assert(LHSi &&
"Can have at most one non-complex operand!");
818 DSTr = Builder.CreateFDiv(LHSr, RHSr);
819 DSTi = Builder.CreateFDiv(LHSi, RHSr);
822 assert(Op.LHS.second && Op.RHS.second &&
823 "Both operands of integer complex operators must be complex!");
838 DSTr = Builder.CreateUDiv(Tmp3, Tmp6);
839 DSTi = Builder.CreateUDiv(Tmp9, Tmp6);
841 DSTr = Builder.CreateSDiv(Tmp3, Tmp6);
842 DSTi = Builder.CreateSDiv(Tmp9, Tmp6);
849 ComplexExprEmitter::BinOpInfo
851 TestAndClearIgnoreReal();
852 TestAndClearIgnoreImag();
857 Ops.LHS = Visit(E->
getLHS());
861 Ops.RHS = Visit(E->
getRHS());
868 LValue ComplexExprEmitter::
872 TestAndClearIgnoreReal();
873 TestAndClearIgnoreImag();
876 LHSTy = AT->getValueType();
884 QualType ComplexElementTy = cast<ComplexType>(OpInfo.Ty)->getElementType();
890 .hasSameUnqualifiedType(ComplexElementTy, E->
getRHS()->
getType()));
893 assert(CGF.getContext()
895 OpInfo.RHS = Visit(E->
getRHS());
904 OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
906 llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, Loc);
910 if (!CGF.getContext().hasSameUnqualifiedType(ComplexElementTy, LHSTy))
911 LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy, Loc);
914 OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
924 EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy, Loc);
925 EmitStoreOfComplex(ResVal, LHS,
false);
929 CGF.EmitComplexToScalarConversion(Result, OpInfo.Ty, LHSTy, Loc);
930 CGF.EmitStoreOfScalar(ResVal, LHS,
false);
940 ComplexPairTy (ComplexExprEmitter::*Func)(
const BinOpInfo&)){
942 LValue LV = EmitCompoundAssignLValue(E, Func, Val);
945 if (!CGF.getLangOpts().CPlusPlus)
957 assert(CGF.getContext().hasSameUnqualifiedType(E->
getLHS()->
getType(),
959 "Invalid assignment");
960 TestAndClearIgnoreReal();
961 TestAndClearIgnoreImag();
970 EmitStoreOfComplex(Val, LHS,
false);
977 LValue LV = EmitBinAssignLValue(E, Val);
980 if (!CGF.getLangOpts().CPlusPlus)
991 CGF.EmitIgnoredExpr(E->
getLHS());
992 return Visit(E->
getRHS());
997 TestAndClearIgnoreReal();
998 TestAndClearIgnoreImag();
999 llvm::BasicBlock *LHSBlock = CGF.createBasicBlock(
"cond.true");
1000 llvm::BasicBlock *RHSBlock = CGF.createBasicBlock(
"cond.false");
1001 llvm::BasicBlock *ContBlock = CGF.createBasicBlock(
"cond.end");
1008 CGF.EmitBranchOnBoolExpr(E->
getCond(), LHSBlock, RHSBlock,
1009 CGF.getProfileCount(E));
1012 CGF.EmitBlock(LHSBlock);
1013 CGF.incrementProfileCounter(E);
1015 LHSBlock = Builder.GetInsertBlock();
1016 CGF.EmitBranch(ContBlock);
1020 CGF.EmitBlock(RHSBlock);
1022 RHSBlock = Builder.GetInsertBlock();
1023 CGF.EmitBlock(ContBlock);
1027 llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), 2,
"cond.r");
1028 RealPN->addIncoming(LHS.first, LHSBlock);
1029 RealPN->addIncoming(RHS.first, RHSBlock);
1032 llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), 2,
"cond.i");
1033 ImagPN->addIncoming(LHS.second, LHSBlock);
1034 ImagPN->addIncoming(RHS.second, RHSBlock);
1044 bool Ignore = TestAndClearIgnoreReal();
1046 assert (Ignore ==
false &&
"init list ignored");
1047 Ignore = TestAndClearIgnoreImag();
1049 assert (Ignore ==
false &&
"init list ignored");
1060 assert(E->
getNumInits() == 0 &&
"Unexpected number of inits");
1063 llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy);
1069 Address ArgPtr = CGF.EmitVAArg(E, ArgValue);
1072 CGF.ErrorUnsupported(E,
"complex va_arg expression");
1079 return EmitLoadOfLValue(CGF.MakeAddrLValue(ArgPtr, E->
getType()),
1092 "Invalid complex expression to emit");
1094 return ComplexExprEmitter(*
this, IgnoreReal, IgnoreImag)
1095 .Visit(const_cast<Expr *>(E));
1101 "Invalid complex expression to emit");
1102 ComplexExprEmitter Emitter(*
this);
1104 Emitter.EmitStoreOfComplex(Val, dest, isInit);
1110 ComplexExprEmitter(*this).EmitStoreOfComplex(V, dest, isInit);
1116 return ComplexExprEmitter(*this).EmitLoadOfLValue(src, loc);
1122 return ComplexExprEmitter(*this).EmitBinAssignLValue(E, Val);
1126 const ComplexExprEmitter::BinOpInfo &);
1130 case BO_MulAssign:
return &ComplexExprEmitter::EmitBinMul;
1131 case BO_DivAssign:
return &ComplexExprEmitter::EmitBinDiv;
1132 case BO_SubAssign:
return &ComplexExprEmitter::EmitBinSub;
1133 case BO_AddAssign:
return &ComplexExprEmitter::EmitBinAdd;
1135 llvm_unreachable(
"unexpected complex compound assignment");
1143 return ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
1151 LValue Ret = ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
1152 Result = Val.getScalarVal();
ReturnValueSlot - Contains the address where the return value of a function can be stored...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
void end(CodeGenFunction &CGF)
LValue getReferenceLValue(CodeGenFunction &CGF, Expr *refExpr) const
LValue EmitComplexCompoundAssignmentLValue(const CompoundAssignOperator *E)
llvm::Constant * getValue() const
A (possibly-)qualified type.
CompoundStmt * getSubStmt()
const Expr * getInit(unsigned Init) const
Stmt - This represents one statement.
bool isRealFloatingType() const
Floating point categories.
static StringRef getComplexMultiplyLibCallName(llvm::Type *Ty)
Lookup the libcall name for a given floating point type complex multiply.
ParenExpr - This represents a parethesized expression, e.g.
Expr * getFalseExpr() const
void EmitComplexExprIntoLValue(const Expr *E, LValue dest, bool isInit)
EmitComplexExprIntoLValue - Emit the given expression of complex type and place its result into the s...
const Expr * getResultExpr() const
The generic selection's result expression.
const Expr * getSubExpr() const
bool isUnsignedIntegerType() const
Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true...
CompoundLiteralExpr - [C99 6.5.2.5].
const T * getAs() const
Member-template getAs<specific type>'.
Extra information about a function prototype.
LValue EmitComplexAssignmentLValue(const BinaryOperator *E)
Emit an l-value for an assignment (simple or compound) of complex type.
Represents an expression – generally a full-expression – that introduces cleanups to be run at the ...
Address emitAddrOfImagComponent(Address complex, QualType complexType)
void add(RValue rvalue, QualType type)
An object to manage conditionally-evaluated expressions.
LValue EmitScalarCompoundAssignWithComplex(const CompoundAssignOperator *E, llvm::Value *&Result)
Address getAddress() const
QualType getComputationResultType() const
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
bool isVolatileQualified() const
An RAII object to set (and then clear) a mapping for an OpaqueValueExpr.
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
const AstTypeMatcher< ComplexType > complexType
Matches C99 complex types.
ComplexPairTy EmitLoadOfComplex(LValue src, SourceLocation loc)
EmitLoadOfComplex - Load a complex number from the specified l-value.
Describes an C or C++ initializer list.
Address emitAddrOfRealComponent(Address complex, QualType complexType)
CharUnits - This is an opaque type for sizes expressed in character units.
A builtin binary operation expression such as "x + y" or "x <= y".
Scope - A scope is a transient data structure that is used while parsing the program.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
void ForceCleanup(std::initializer_list< llvm::Value **> ValuesToReload={})
Force the emission of cleanups now, instead of waiting until this object is destroyed.
ComplexPairTy(ComplexExprEmitter::* CompoundFunc)(const ComplexExprEmitter::BinOpInfo &)
A default argument (C++ [dcl.fct.default]).
void begin(CodeGenFunction &CGF)
const Expr * getExpr() const
Get the initialization expression that will be used.
std::pair< llvm::Value *, llvm::Value * > ComplexPairTy
Represents a prototype with parameter type info, e.g.
CastKind
CastKind - The kind of operation required for a conversion.
RValue - This trivial value class is used to represent the result of an expression that is evaluated...
Represents a call to the builtin function __builtin_va_arg.
An expression "T()" which creates a value-initialized rvalue of type T, which is a non-class type...
QualType getElementType() const
Expr - This represents one expression.
Enters a new scope for capturing cleanups, all of which will be executed once the scope is exited...
std::pair< llvm::Value *, llvm::Value * > getComplexVal() const
getComplexVal - Return the real/imag components of this complex value.
const T * castAs() const
Member-template castAs<specific type>.
static CGCallee forDirect(llvm::Constant *functionPtr, const CGCalleeInfo &abstractInfo=CGCalleeInfo())
unsigned getNumInits() const
ExtProtoInfo withExceptionSpec(const ExceptionSpecInfo &O)
bool isAnyComplexType() const
An RAII object to record that we're evaluating a statement expression.
An expression that sends a message to the given Objective-C object or class.
UnaryOperator - This represents the unary-expression's (except sizeof and alignof), the postinc/postdec operators from postfix-expression, and various extensions.
Represents a reference to a non-type template parameter that has been substituted with a template arg...
The scope of a CXXDefaultInitExpr.
Expr * getTrueExpr() const
const Expr * getSubExpr() const
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1...
The l-value was considered opaque, so the alignment was determined from a type.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class...
QualType getCanonicalType() const
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Encodes a location in the source.
Expr * getSubExpr() const
CastKind getCastKind() const
A scoped helper to set the current debug location to the specified location or preferred location of ...
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
static const ComplexType * getComplexType(QualType type)
Return the complex type that we are meant to emit.
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load, __atomic_store, and __atomic_compare_exchange_*, for the similarly-named C++11 instructions, and __c11 variants for <stdatomic.h>, and corresponding __opencl_atomic_* for OpenCL 2.0.
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
All available information about a concrete callee.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
CompoundAssignOperator - For compound assignments (e.g.
Represents a C11 generic selection.
CGFunctionInfo - Class to encapsulate the information about a function definition.
SourceLocation getExprLoc() const LLVM_READONLY
Dataflow Directional Tag Classes.
static CompoundFunc getComplexOp(BinaryOperatorKind Op)
static RValue getComplex(llvm::Value *V1, llvm::Value *V2)
CodeGenFunction::ComplexPairTy ComplexPairTy
Represents a 'co_yield' expression.
const Expr * getExpr() const
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
Complex values, per C99 6.2.5p11.
void dump() const
Dumps the specified AST fragment and all subtrees to llvm::errs().
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
void EmitStoreOfComplex(ComplexPairTy V, LValue dest, bool isInit)
EmitStoreOfComplex - Store a complex number into the specified l-value.
bool isAtomicType() const
Represents a 'co_await' expression.
Expr * getReplacement() const
llvm::StringRef getName() const
Return the IR name of the pointer value.
SourceLocation getExprLoc() const LLVM_READONLY
ComplexPairTy EmitComplexExpr(const Expr *E, bool IgnoreReal=false, bool IgnoreImag=false)
EmitComplexExpr - Emit the computation of the specified expression of complex type, returning the result.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
A use of a default initializer in a constructor or in aggregate initialization.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
RetTy Visit(PTR(Stmt) S, ParamTys... P)
A reference to a declared variable, function, enum, etc.
static RValue get(llvm::Value *V)
LValue - This represents an lvalue references.
CallArgList - Type for representing both the value and type of arguments in a call.
Represents an implicitly-generated value initialization of an object of a given type.