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.getOpaqueLValueMapping(E), E->
getExprLoc());
159 return CGF.getOpaqueRValueMapping(E).getComplexVal();
163 return CGF.EmitPseudoObjectRValue(E).getComplexVal();
175 if (
const auto *ECE = dyn_cast<ExplicitCastExpr>(E))
176 CGF.CGM.EmitExplicitCastExprType(ECE, &CGF);
184 bool isInc,
bool isPre) {
186 return CGF.EmitComplexPrePostIncDec(E, LV, isInc, isPre);
189 return VisitPrePostIncDec(E,
false,
false);
192 return VisitPrePostIncDec(E,
true,
false);
195 return VisitPrePostIncDec(E,
false,
true);
198 return VisitPrePostIncDec(E,
true,
true);
202 TestAndClearIgnoreReal();
203 TestAndClearIgnoreImag();
220 CGF.enterFullExpression(E);
231 llvm::Constant *Null = llvm::Constant::getNullValue(CGF.ConvertType(Elem));
237 llvm::Constant *Null =
238 llvm::Constant::getNullValue(CGF.ConvertType(Elem));
255 (
const BinOpInfo &));
263 const BinOpInfo &Op);
266 return EmitBinAdd(EmitBinOps(E));
269 return EmitBinSub(EmitBinOps(E));
272 return EmitBinMul(EmitBinOps(E));
275 return EmitBinDiv(EmitBinOps(E));
280 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinAdd);
283 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinSub);
286 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinMul);
289 return EmitCompoundAssign(E, &ComplexExprEmitter::EmitBinDiv);
310 return EmitLoadOfLValue(E);
316 return CGF.EmitAtomicExpr(E).getComplexVal();
328 return Builder.CreateStructGEP(addr, 0, offset, addr.
getName() +
".realp");
334 CharUnits offset = getContext().getTypeSizeInChars(eltType);
335 return Builder.CreateStructGEP(addr, 1, offset, addr.
getName() +
".imagp");
342 assert(lvalue.
isSimple() &&
"non-simple complex l-value?");
344 return CGF.EmitAtomicLoad(lvalue, loc).getComplexVal();
351 if (!IgnoreReal || isVolatile) {
352 Address RealP = CGF.emitAddrOfRealComponent(SrcPtr, lvalue.
getType());
353 Real = Builder.CreateLoad(RealP, isVolatile, SrcPtr.
getName() +
".real");
356 if (!IgnoreImag || isVolatile) {
357 Address ImagP = CGF.emitAddrOfImagComponent(SrcPtr, lvalue.
getType());
358 Imag = Builder.CreateLoad(ImagP, isVolatile, SrcPtr.
getName() +
".imag");
369 (!isInit && CGF.LValueIsSuitableForInlineAtomic(lvalue)))
373 Address RealPtr = CGF.emitAddrOfRealComponent(Ptr, lvalue.
getType());
374 Address ImagPtr = CGF.emitAddrOfImagComponent(Ptr, lvalue.
getType());
387 CGF.ErrorUnsupported(E,
"complex expression");
397 return ComplexPairTy(llvm::Constant::getNullValue(Imag->getType()), Imag);
403 return EmitLoadOfLValue(E);
405 return CGF.EmitCallExpr(E).getComplexVal();
411 assert(RetAlloca.
isValid() &&
"Expected complex return value");
412 return EmitLoadOfLValue(CGF.MakeAddrLValue(RetAlloca, E->
getType()),
428 Val.first = CGF.EmitScalarConversion(Val.first, SrcType, DestType, Loc);
429 Val.second = CGF.EmitScalarConversion(Val.second, SrcType, DestType, Loc);
439 Val = CGF.EmitScalarConversion(Val, SrcType, DestType, Loc);
442 return ComplexPairTy(Val, llvm::Constant::getNullValue(Val->getType()));
448 case CK_Dependent: llvm_unreachable(
"dependent cast kind in IR gen!");
452 case CK_AtomicToNonAtomic:
453 case CK_NonAtomicToAtomic:
455 case CK_LValueToRValue:
456 case CK_UserDefinedConversion:
459 case CK_LValueBitCast: {
460 LValue origLV = CGF.EmitLValue(Op);
462 V = Builder.CreateElementBitCast(V, CGF.ConvertType(DestTy));
463 return EmitLoadOfLValue(CGF.MakeAddrLValue(V, DestTy), Op->
getExprLoc());
467 case CK_BaseToDerived:
468 case CK_DerivedToBase:
469 case CK_UncheckedDerivedToBase:
472 case CK_ArrayToPointerDecay:
473 case CK_FunctionToPointerDecay:
474 case CK_NullToPointer:
475 case CK_NullToMemberPointer:
476 case CK_BaseToDerivedMemberPointer:
477 case CK_DerivedToBaseMemberPointer:
478 case CK_MemberPointerToBoolean:
479 case CK_ReinterpretMemberPointer:
480 case CK_ConstructorConversion:
481 case CK_IntegralToPointer:
482 case CK_PointerToIntegral:
483 case CK_PointerToBoolean:
486 case CK_IntegralCast:
487 case CK_BooleanToSignedIntegral:
488 case CK_IntegralToBoolean:
489 case CK_IntegralToFloating:
490 case CK_FloatingToIntegral:
491 case CK_FloatingToBoolean:
492 case CK_FloatingCast:
493 case CK_CPointerToObjCPointerCast:
494 case CK_BlockPointerToObjCPointerCast:
495 case CK_AnyPointerToBlockPointerCast:
496 case CK_ObjCObjectLValueCast:
497 case CK_FloatingComplexToReal:
498 case CK_FloatingComplexToBoolean:
499 case CK_IntegralComplexToReal:
500 case CK_IntegralComplexToBoolean:
501 case CK_ARCProduceObject:
502 case CK_ARCConsumeObject:
503 case CK_ARCReclaimReturnedObject:
504 case CK_ARCExtendBlockObject:
505 case CK_CopyAndAutoreleaseBlockObject:
506 case CK_BuiltinFnToFnPtr:
507 case CK_ZeroToOCLEvent:
508 case CK_ZeroToOCLQueue:
509 case CK_AddressSpaceConversion:
510 case CK_IntToOCLSampler:
511 llvm_unreachable(
"invalid cast kind for complex value");
513 case CK_FloatingRealToComplex:
514 case CK_IntegralRealToComplex:
515 return EmitScalarToComplexCast(CGF.EmitScalarExpr(Op), Op->
getType(),
518 case CK_FloatingComplexCast:
519 case CK_FloatingComplexToIntegralComplex:
520 case CK_IntegralComplexCast:
521 case CK_IntegralComplexToFloatingComplex:
522 return EmitComplexToComplexCast(Visit(Op), Op->
getType(), DestTy,
526 llvm_unreachable(
"unknown cast resulting in complex value");
530 TestAndClearIgnoreReal();
531 TestAndClearIgnoreImag();
535 if (Op.first->getType()->isFloatingPointTy()) {
536 ResR = Builder.CreateFNeg(Op.first,
"neg.r");
537 ResI = Builder.CreateFNeg(Op.second,
"neg.i");
539 ResR = Builder.CreateNeg(Op.first,
"neg.r");
540 ResI = Builder.CreateNeg(Op.second,
"neg.i");
546 TestAndClearIgnoreReal();
547 TestAndClearIgnoreImag();
551 if (Op.second->getType()->isFloatingPointTy())
552 ResI = Builder.CreateFNeg(Op.second,
"conj.i");
554 ResI = Builder.CreateNeg(Op.second,
"conj.i");
559 ComplexPairTy ComplexExprEmitter::EmitBinAdd(
const BinOpInfo &Op) {
562 if (Op.LHS.first->getType()->isFloatingPointTy()) {
563 ResR = Builder.CreateFAdd(Op.LHS.first, Op.RHS.first,
"add.r");
564 if (Op.LHS.second && Op.RHS.second)
565 ResI = Builder.CreateFAdd(Op.LHS.second, Op.RHS.second,
"add.i");
567 ResI = Op.LHS.second ? Op.LHS.second : Op.RHS.second;
568 assert(ResI &&
"Only one operand may be real!");
570 ResR = Builder.CreateAdd(Op.LHS.first, Op.RHS.first,
"add.r");
571 assert(Op.LHS.second && Op.RHS.second &&
572 "Both operands of integer complex operators must be complex!");
573 ResI = Builder.CreateAdd(Op.LHS.second, Op.RHS.second,
"add.i");
578 ComplexPairTy ComplexExprEmitter::EmitBinSub(
const BinOpInfo &Op) {
580 if (Op.LHS.first->getType()->isFloatingPointTy()) {
581 ResR = Builder.CreateFSub(Op.LHS.first, Op.RHS.first,
"sub.r");
582 if (Op.LHS.second && Op.RHS.second)
583 ResI = Builder.CreateFSub(Op.LHS.second, Op.RHS.second,
"sub.i");
585 ResI = Op.LHS.second ? Op.LHS.second
586 : Builder.CreateFNeg(Op.RHS.second,
"sub.i");
587 assert(ResI &&
"Only one operand may be real!");
589 ResR = Builder.CreateSub(Op.LHS.first, Op.RHS.first,
"sub.r");
590 assert(Op.LHS.second && Op.RHS.second &&
591 "Both operands of integer complex operators must be complex!");
592 ResI = Builder.CreateSub(Op.LHS.second, Op.RHS.second,
"sub.i");
598 ComplexPairTy ComplexExprEmitter::EmitComplexBinOpLibCall(StringRef LibCallName,
599 const BinOpInfo &Op) {
621 QualType FQTy = CGF.getContext().getFunctionType(Op.Ty, ArgsQTys, EPI);
622 const CGFunctionInfo &FuncInfo = CGF.CGM.getTypes().arrangeFreeFunctionCall(
623 Args, cast<FunctionType>(FQTy.getTypePtr()),
false);
625 llvm::FunctionType *FTy = CGF.CGM.getTypes().GetFunctionType(FuncInfo);
626 llvm::Constant *Func = CGF.CGM.CreateBuiltinFunction(FTy, LibCallName);
629 llvm::Instruction *Call;
631 cast<llvm::CallInst>(Call)->setCallingConv(CGF.CGM.getBuiltinCC());
638 switch (Ty->getTypeID()) {
640 llvm_unreachable(
"Unsupported floating point type!");
641 case llvm::Type::HalfTyID:
643 case llvm::Type::FloatTyID:
645 case llvm::Type::DoubleTyID:
647 case llvm::Type::PPC_FP128TyID:
649 case llvm::Type::X86_FP80TyID:
651 case llvm::Type::FP128TyID:
658 ComplexPairTy ComplexExprEmitter::EmitBinMul(
const BinOpInfo &Op) {
661 llvm::MDBuilder MDHelper(CGF.getLLVMContext());
663 if (Op.LHS.first->getType()->isFloatingPointTy()) {
672 if (Op.LHS.second && Op.RHS.second) {
683 Value *AC = Builder.CreateFMul(Op.LHS.first, Op.RHS.first,
"mul_ac");
684 Value *BD = Builder.CreateFMul(Op.LHS.second, Op.RHS.second,
"mul_bd");
685 Value *AD = Builder.CreateFMul(Op.LHS.first, Op.RHS.second,
"mul_ad");
686 Value *BC = Builder.CreateFMul(Op.LHS.second, Op.RHS.first,
"mul_bc");
690 ResR = Builder.CreateFSub(AC, BD,
"mul_r");
691 ResI = Builder.CreateFAdd(AD, BC,
"mul_i");
695 Value *IsRNaN = Builder.CreateFCmpUNO(ResR, ResR,
"isnan_cmp");
696 llvm::BasicBlock *ContBB = CGF.createBasicBlock(
"complex_mul_cont");
697 llvm::BasicBlock *INaNBB = CGF.createBasicBlock(
"complex_mul_imag_nan");
698 llvm::Instruction *Branch = Builder.CreateCondBr(IsRNaN, INaNBB, ContBB);
699 llvm::BasicBlock *OrigBB = Branch->getParent();
703 llvm::MDNode *BrWeight = MDHelper.createBranchWeights(1, (1U << 20) - 1);
704 Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
707 CGF.EmitBlock(INaNBB);
708 Value *IsINaN = Builder.CreateFCmpUNO(ResI, ResI,
"isnan_cmp");
709 llvm::BasicBlock *LibCallBB = CGF.createBasicBlock(
"complex_mul_libcall");
710 Branch = Builder.CreateCondBr(IsINaN, LibCallBB, ContBB);
711 Branch->setMetadata(llvm::LLVMContext::MD_prof, BrWeight);
714 CGF.EmitBlock(LibCallBB);
715 Value *LibCallR, *LibCallI;
716 std::tie(LibCallR, LibCallI) = EmitComplexBinOpLibCall(
718 Builder.CreateBr(ContBB);
722 CGF.EmitBlock(ContBB);
723 llvm::PHINode *RealPHI = Builder.CreatePHI(ResR->getType(), 3,
"real_mul_phi");
724 RealPHI->addIncoming(ResR, OrigBB);
725 RealPHI->addIncoming(ResR, INaNBB);
726 RealPHI->addIncoming(LibCallR, LibCallBB);
727 llvm::PHINode *ImagPHI = Builder.CreatePHI(ResI->getType(), 3,
"imag_mul_phi");
728 ImagPHI->addIncoming(ResI, OrigBB);
729 ImagPHI->addIncoming(ResI, INaNBB);
730 ImagPHI->addIncoming(LibCallI, LibCallBB);
733 assert((Op.LHS.second || Op.RHS.second) &&
734 "At least one operand must be complex!");
739 ResR = Builder.CreateFMul(Op.LHS.first, Op.RHS.first,
"mul.rl");
742 ? Builder.CreateFMul(Op.LHS.second, Op.RHS.first,
"mul.il")
743 : Builder.CreateFMul(Op.LHS.first, Op.RHS.second,
"mul.ir");
745 assert(Op.LHS.second && Op.RHS.second &&
746 "Both operands of integer complex operators must be complex!");
747 Value *ResRl = Builder.CreateMul(Op.LHS.first, Op.RHS.first,
"mul.rl");
748 Value *ResRr = Builder.CreateMul(Op.LHS.second, Op.RHS.second,
"mul.rr");
749 ResR = Builder.CreateSub(ResRl, ResRr,
"mul.r");
751 Value *ResIl = Builder.CreateMul(Op.LHS.second, Op.RHS.first,
"mul.il");
752 Value *ResIr = Builder.CreateMul(Op.LHS.first, Op.RHS.second,
"mul.ir");
753 ResI = Builder.CreateAdd(ResIl, ResIr,
"mul.i");
760 ComplexPairTy ComplexExprEmitter::EmitBinDiv(
const BinOpInfo &Op) {
761 llvm::Value *LHSr = Op.LHS.first, *LHSi = Op.LHS.second;
762 llvm::Value *RHSr = Op.RHS.first, *RHSi = Op.RHS.second;
765 if (LHSr->getType()->isFloatingPointTy()) {
773 if (RHSi && !CGF.getLangOpts().FastMath) {
774 BinOpInfo LibCallOp = Op;
777 LibCallOp.LHS.second = llvm::Constant::getNullValue(LHSr->getType());
779 switch (LHSr->getType()->getTypeID()) {
781 llvm_unreachable(
"Unsupported floating point type!");
782 case llvm::Type::HalfTyID:
783 return EmitComplexBinOpLibCall(
"__divhc3", LibCallOp);
784 case llvm::Type::FloatTyID:
785 return EmitComplexBinOpLibCall(
"__divsc3", LibCallOp);
786 case llvm::Type::DoubleTyID:
787 return EmitComplexBinOpLibCall(
"__divdc3", LibCallOp);
788 case llvm::Type::PPC_FP128TyID:
789 return EmitComplexBinOpLibCall(
"__divtc3", LibCallOp);
790 case llvm::Type::X86_FP80TyID:
791 return EmitComplexBinOpLibCall(
"__divxc3", LibCallOp);
792 case llvm::Type::FP128TyID:
793 return EmitComplexBinOpLibCall(
"__divtc3", LibCallOp);
797 LHSi = llvm::Constant::getNullValue(RHSi->getType());
812 DSTr = Builder.CreateFDiv(ACpBD, CCpDD);
813 DSTi = Builder.CreateFDiv(BCmAD, CCpDD);
815 assert(LHSi &&
"Can have at most one non-complex operand!");
817 DSTr = Builder.CreateFDiv(LHSr, RHSr);
818 DSTi = Builder.CreateFDiv(LHSi, RHSr);
821 assert(Op.LHS.second && Op.RHS.second &&
822 "Both operands of integer complex operators must be complex!");
837 DSTr = Builder.CreateUDiv(Tmp3, Tmp6);
838 DSTi = Builder.CreateUDiv(Tmp9, Tmp6);
840 DSTr = Builder.CreateSDiv(Tmp3, Tmp6);
841 DSTi = Builder.CreateSDiv(Tmp9, Tmp6);
848 ComplexExprEmitter::BinOpInfo
850 TestAndClearIgnoreReal();
851 TestAndClearIgnoreImag();
856 Ops.LHS = Visit(E->
getLHS());
860 Ops.RHS = Visit(E->
getRHS());
867 LValue ComplexExprEmitter::
871 TestAndClearIgnoreReal();
872 TestAndClearIgnoreImag();
875 LHSTy = AT->getValueType();
883 QualType ComplexElementTy = cast<ComplexType>(OpInfo.Ty)->getElementType();
889 .hasSameUnqualifiedType(ComplexElementTy, E->
getRHS()->
getType()));
892 assert(CGF.getContext()
894 OpInfo.RHS = Visit(E->
getRHS());
903 OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
905 llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, Loc);
909 if (!CGF.getContext().hasSameUnqualifiedType(ComplexElementTy, LHSTy))
910 LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy, Loc);
913 OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc);
923 EmitComplexToComplexCast(Result, OpInfo.Ty, LHSTy, Loc);
924 EmitStoreOfComplex(ResVal, LHS,
false);
928 CGF.EmitComplexToScalarConversion(Result, OpInfo.Ty, LHSTy, Loc);
929 CGF.EmitStoreOfScalar(ResVal, LHS,
false);
939 ComplexPairTy (ComplexExprEmitter::*Func)(
const BinOpInfo&)){
941 LValue LV = EmitCompoundAssignLValue(E, Func, Val);
944 if (!CGF.getLangOpts().CPlusPlus)
956 assert(CGF.getContext().hasSameUnqualifiedType(E->
getLHS()->
getType(),
958 "Invalid assignment");
959 TestAndClearIgnoreReal();
960 TestAndClearIgnoreImag();
969 EmitStoreOfComplex(Val, LHS,
false);
976 LValue LV = EmitBinAssignLValue(E, Val);
979 if (!CGF.getLangOpts().CPlusPlus)
990 CGF.EmitIgnoredExpr(E->
getLHS());
991 return Visit(E->
getRHS());
996 TestAndClearIgnoreReal();
997 TestAndClearIgnoreImag();
998 llvm::BasicBlock *LHSBlock = CGF.createBasicBlock(
"cond.true");
999 llvm::BasicBlock *RHSBlock = CGF.createBasicBlock(
"cond.false");
1000 llvm::BasicBlock *ContBlock = CGF.createBasicBlock(
"cond.end");
1007 CGF.EmitBranchOnBoolExpr(E->
getCond(), LHSBlock, RHSBlock,
1008 CGF.getProfileCount(E));
1011 CGF.EmitBlock(LHSBlock);
1012 CGF.incrementProfileCounter(E);
1014 LHSBlock = Builder.GetInsertBlock();
1015 CGF.EmitBranch(ContBlock);
1019 CGF.EmitBlock(RHSBlock);
1021 RHSBlock = Builder.GetInsertBlock();
1022 CGF.EmitBlock(ContBlock);
1026 llvm::PHINode *RealPN = Builder.CreatePHI(LHS.first->getType(), 2,
"cond.r");
1027 RealPN->addIncoming(LHS.first, LHSBlock);
1028 RealPN->addIncoming(RHS.first, RHSBlock);
1031 llvm::PHINode *ImagPN = Builder.CreatePHI(LHS.first->getType(), 2,
"cond.i");
1032 ImagPN->addIncoming(LHS.second, LHSBlock);
1033 ImagPN->addIncoming(RHS.second, RHSBlock);
1043 bool Ignore = TestAndClearIgnoreReal();
1045 assert (Ignore ==
false &&
"init list ignored");
1046 Ignore = TestAndClearIgnoreImag();
1048 assert (Ignore ==
false &&
"init list ignored");
1059 assert(E->
getNumInits() == 0 &&
"Unexpected number of inits");
1062 llvm::Value* zeroConstant = llvm::Constant::getNullValue(LTy);
1068 Address ArgPtr = CGF.EmitVAArg(E, ArgValue);
1071 CGF.ErrorUnsupported(E,
"complex va_arg expression");
1078 return EmitLoadOfLValue(CGF.MakeAddrLValue(ArgPtr, E->
getType()),
1091 "Invalid complex expression to emit");
1093 return ComplexExprEmitter(*
this, IgnoreReal, IgnoreImag)
1094 .Visit(const_cast<Expr *>(E));
1100 "Invalid complex expression to emit");
1101 ComplexExprEmitter Emitter(*
this);
1103 Emitter.EmitStoreOfComplex(Val, dest, isInit);
1109 ComplexExprEmitter(*this).EmitStoreOfComplex(V, dest, isInit);
1115 return ComplexExprEmitter(*this).EmitLoadOfLValue(src, loc);
1121 return ComplexExprEmitter(*this).EmitBinAssignLValue(E, Val);
1125 const ComplexExprEmitter::BinOpInfo &);
1129 case BO_MulAssign:
return &ComplexExprEmitter::EmitBinMul;
1130 case BO_DivAssign:
return &ComplexExprEmitter::EmitBinDiv;
1131 case BO_SubAssign:
return &ComplexExprEmitter::EmitBinSub;
1132 case BO_AddAssign:
return &ComplexExprEmitter::EmitBinAdd;
1134 llvm_unreachable(
"unexpected complex compound assignment");
1142 return ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
1150 LValue Ret = ComplexExprEmitter(*this).EmitCompoundAssignLValue(E, Op, Val);
1151 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)
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
void add(RValue rvalue, QualType type, bool needscopy=false)
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.