CGExprScalar.cpp revision e5ed15195b71b8fa440e67d49db0168bb58e4e8a
17f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===--- CGExprScalar.cpp - Emit LLVM Code for Scalar Exprs ---------------===// 27f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 37f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// The LLVM Compiler Infrastructure 47f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 77f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 87f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 97f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// This contains code to emit Expr nodes with scalar LLVM types as LLVM code. 117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "CodeGenFunction.h" 157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "CodeGenModule.h" 16de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/ASTContext.h" 1798c5ead87d720d8b68b6f236c3c3579a388fc882Daniel Dunbar#include "clang/AST/DeclObjC.h" 18769e411b72465a63454cdd416ff26ff313d43505Eli Friedman#include "clang/AST/RecordLayout.h" 19de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/StmtVisitor.h" 2025ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner#include "clang/Basic/TargetInfo.h" 217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Constants.h" 227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Function.h" 2385f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson#include "llvm/GlobalVariable.h" 247c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson#include "llvm/Intrinsics.h" 257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Support/Compiler.h" 26f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner#include "llvm/Support/CFG.h" 27c89bf69c9289d2b2305f2c267daacc7312391898Chris Lattner#include <cstdarg> 286aad91a43e26118c824d976661077819265d9bc0Ted Kremenek 297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace clang; 307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace CodeGen; 317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing llvm::Value; 327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Scalar Expression Emitter 357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerstruct BinOpInfo { 387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS; 397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS; 401f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType Ty; // Computation Type. 417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const BinaryOperator *E; 427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnernamespace { 457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerclass VISIBILITY_HIDDEN ScalarExprEmitter 467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner : public StmtVisitor<ScalarExprEmitter, Value*> { 477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction &CGF; 4845d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar CGBuilderTy &Builder; 492b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerpublic: 517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 522b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner ScalarExprEmitter(CodeGenFunction &cgf) : CGF(cgf), 53ed7c618f849e2541b1d0288c43154937652c5b15Daniel Dunbar Builder(CGF.Builder) { 547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Utilities 587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const llvm::Type *ConvertType(QualType T) { return CGF.ConvertType(T); } 617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue EmitLValue(const Expr *E) { return CGF.EmitLValue(E); } 627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(LValue LV, QualType T) { 649b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitLoadOfLValue(LV, T).getScalarVal(); 657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// EmitLoadOfLValue - Given an expression with complex type that represents a 687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// value l-value, this method emits the address of the l-value, then loads 697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// and returns the result. 707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(const Expr *E) { 717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Volatile 727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(EmitLValue(E), E->getType()); 737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 759abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner /// EmitConversionToBool - Convert the specified expression value to a 763420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner /// boolean (i1) truth value. This is equivalent to "Val != 0". 779abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *EmitConversionToBool(Value *Src, QualType DstTy); 789abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 793707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// EmitScalarConversion - Emit a conversion from the specified type to the 803707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// specified destination type, both of which are LLVM scalar types. 814f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitScalarConversion(Value *Src, QualType SrcTy, QualType DstTy); 824f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 834f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// EmitComplexToScalarConversion - Emit a conversion from the specified 844f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// complex type to the specified destination type, where the destination 854f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// type is an LLVM scalar type. 864f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 874f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy); 883707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Visitor Methods 917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStmt(Stmt *S) { 947a9d49fd2bfac00e905b361ba76d26ab5b6c3b09Ted Kremenek S->dump(CGF.getContext().getSourceManager()); 957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(0 && "Stmt can't have complex result type!"); 967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitExpr(Expr *S); 997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr()); } 1007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Leaves. 1027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitIntegerLiteral(const IntegerLiteral *E) { 1037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(E->getValue()); 1047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitFloatingLiteral(const FloatingLiteral *E) { 10659138ba7ce960888433546639deb45e2e03f8857Chris Lattner return llvm::ConstantFP::get(E->getValue()); 1077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCharacterLiteral(const CharacterLiteral *E) { 1097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 110e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman } 111e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman Value *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) { 112e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 1137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1147267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis Value *VisitCXXZeroInitValueExpr(const CXXZeroInitValueExpr *E) { 1157267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis return llvm::Constant::getNullValue(ConvertType(E->getType())); 1167267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis } 1173f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson Value *VisitGNUNullExpr(const GNUNullExpr *E) { 1183f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1193f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson } 1207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitTypesCompatibleExpr(const TypesCompatibleExpr *E) { 1217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(ConvertType(E->getType()), 122ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff CGF.getContext().typesAreCompatible( 123ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff E->getArgType1(), E->getArgType2())); 1247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1250518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl Value *VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E); 1260ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Value *VisitAddrLabelExpr(const AddrLabelExpr *E) { 12754d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar llvm::Value *V = 12854d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar llvm::ConstantInt::get(llvm::Type::Int32Ty, 12954d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar CGF.GetIDForAddrOfLabel(E->getLabel())); 13054d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar 13154d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar return Builder.CreateIntToPtr(V, ConvertType(E->getType())); 1320ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 1337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // l-values. 1357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitDeclRefExpr(DeclRefExpr *E) { 1367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(E->getDecl())) 1377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(EC->getInitVal()); 1387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 1397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1409c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCSelectorExpr(ObjCSelectorExpr *E) { 1419c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCSelectorExpr(E); 1429c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1439c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCProtocolExpr(ObjCProtocolExpr *E) { 1449c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCProtocolExpr(E); 1459c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1469c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 1479c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return EmitLoadOfLValue(E); 1489c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1490a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar Value *VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 15085c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar return EmitLoadOfLValue(E); 1519c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 15243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Value *VisitObjCKVCRefExpr(ObjCKVCRefExpr *E) { 15343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian return EmitLoadOfLValue(E); 15443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 1559c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCMessageExpr(ObjCMessageExpr *E) { 1569c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCMessageExpr(E).getScalarVal(); 1570a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar } 1580a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar 1597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitArraySubscriptExpr(ArraySubscriptExpr *E); 160d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value *VisitShuffleVectorExpr(ShuffleVectorExpr *E); 1617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitMemberExpr(Expr *E) { return EmitLoadOfLValue(E); } 162213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman Value *VisitExtVectorElementExpr(Expr *E) { return EmitLoadOfLValue(E); } 163be20bb558cae5352898e6a913e29d24d20134841Chris Lattner Value *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 164be20bb558cae5352898e6a913e29d24d20134841Chris Lattner return EmitLoadOfLValue(E); 165be20bb558cae5352898e6a913e29d24d20134841Chris Lattner } 1667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStringLiteral(Expr *E) { return EmitLValue(E).getAddress(); } 167d9f6910f4ef37c0e8eeee2a01287d9572c3176efChris Lattner Value *VisitPredefinedExpr(Expr *E) { return EmitLValue(E).getAddress(); } 16835634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 16935634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel Value *VisitInitListExpr(InitListExpr *E) { 1707019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumInitElements = E->getNumInits(); 1717019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 172a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor if (E->hadArrayRangeDesignator()) { 173a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor CGF.ErrorUnsupported(E, "GNU array range designator extension"); 174a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor } 175a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor 1767019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::VectorType *VType = 177f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson dyn_cast<llvm::VectorType>(ConvertType(E->getType())); 178f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson 179f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson // We have a scalar in braces. Just use the first element. 180f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson if (!VType) 181f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson return Visit(E->getInit(0)); 1827019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1837019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumVectorElements = VType->getNumElements(); 1847019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::Type *ElementType = VType->getElementType(); 1857019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1867019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit individual vector element stores. 1877019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson llvm::Value *V = llvm::UndefValue::get(VType); 1887019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 189222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson // Emit initializers 190222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson unsigned i; 191222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson for (i = 0; i < NumInitElements; ++i) { 192a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel Value *NewV = Visit(E->getInit(i)); 193a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 194a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel V = Builder.CreateInsertElement(V, NewV, Idx); 19535634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 1967019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1977019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit remaining default initializers 1987019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson for (/* Do not initialize i*/; i < NumVectorElements; ++i) { 1997019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 2007019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson llvm::Value *NewV = llvm::Constant::getNullValue(ElementType); 2017019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson V = Builder.CreateInsertElement(V, NewV, Idx); 2027019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson } 2037019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 204a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel return V; 20535634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 20604421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner 2073498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor Value *VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E) { 2083498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor return llvm::Constant::getNullValue(ConvertType(E->getType())); 2093498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor } 2107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitImplicitCastExpr(const ImplicitCastExpr *E); 2117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCastExpr(const CastExpr *E) { 2127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(E->getSubExpr(), E->getType()); 2137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCastExpr(const Expr *E, QualType T); 2157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCallExpr(const CallExpr *E) { 2179b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitCallExpr(E).getScalarVal(); 2187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2198f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar 2203379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner Value *VisitStmtExpr(const StmtExpr *E); 2213379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 2227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Unary Operators. 2237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitPrePostIncDec(const UnaryOperator *E, bool isInc, bool isPre); 2247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostDec(const UnaryOperator *E) { 2257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, false); 2267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostInc(const UnaryOperator *E) { 2287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, false); 2297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreDec(const UnaryOperator *E) { 2317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, true); 2327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreInc(const UnaryOperator *E) { 2347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, true); 2357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryAddrOf(const UnaryOperator *E) { 2377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLValue(E->getSubExpr()).getAddress(); 2387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 2407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPlus(const UnaryOperator *E) { 2417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryMinus (const UnaryOperator *E); 2447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryNot (const UnaryOperator *E); 2457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryLNot (const UnaryOperator *E); 24646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryReal (const UnaryOperator *E); 24746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryImag (const UnaryOperator *E); 2487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryExtension(const UnaryOperator *E) { 2497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2515a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson Value *VisitUnaryOffsetOf(const UnaryOperator *E); 25204421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner Value *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 25304421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner return Visit(DAE->getExpr()); 25404421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner } 2555a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson 2567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Binary Operators. 2577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitMul(const BinOpInfo &Ops) { 2587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 2597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitDiv(const BinOpInfo &Ops); 2617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitRem(const BinOpInfo &Ops); 2627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAdd(const BinOpInfo &Ops); 2637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitSub(const BinOpInfo &Ops); 2647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShl(const BinOpInfo &Ops); 2657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShr(const BinOpInfo &Ops); 2667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAnd(const BinOpInfo &Ops) { 2677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAnd(Ops.LHS, Ops.RHS, "and"); 2687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitXor(const BinOpInfo &Ops) { 2707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateXor(Ops.LHS, Ops.RHS, "xor"); 2717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitOr (const BinOpInfo &Ops) { 2737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateOr(Ops.LHS, Ops.RHS, "or"); 2747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2761f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 2773ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *EmitCompoundAssign(const CompoundAssignOperator *E, 2781f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*F)(const BinOpInfo &)); 2791f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 2801f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Binary operators and binary compound assignment operators. 2811f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#define HANDLEBINOP(OP) \ 2823ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP(const BinaryOperator *E) { \ 2833ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return Emit ## OP(EmitBinOps(E)); \ 2843ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner } \ 2853ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP ## Assign(const CompoundAssignOperator *E) { \ 2863ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return EmitCompoundAssign(E, &ScalarExprEmitter::Emit ## OP); \ 2871f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 2881f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Mul); 2891f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Div); 2901f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Rem); 2911f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Add); 2928c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar HANDLEBINOP(Sub); 2931f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shl); 2941f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shr); 2951f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(And); 2961f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Xor); 2971f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Or); 2981f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#undef HANDLEBINOP 2998c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 3007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Comparisons. 3017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCompare(const BinaryOperator *E, unsigned UICmpOpc, 3027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc); 3037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#define VISITCOMP(CODE, UI, SI, FP) \ 3047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBin##CODE(const BinaryOperator *E) { \ 3057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCompare(E, llvm::ICmpInst::UI, llvm::ICmpInst::SI, \ 3067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::FCmpInst::FP); } 3077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LT, ICMP_ULT, ICMP_SLT, FCMP_OLT); 3087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GT, ICMP_UGT, ICMP_SGT, FCMP_OGT); 3097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LE, ICMP_ULE, ICMP_SLE, FCMP_OLE); 3107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GE, ICMP_UGE, ICMP_SGE, FCMP_OGE); 3117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(EQ, ICMP_EQ , ICMP_EQ , FCMP_OEQ); 3127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(NE, ICMP_NE , ICMP_NE , FCMP_UNE); 3137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#undef VISITCOMP 3147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinAssign (const BinaryOperator *E); 3167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLAnd (const BinaryOperator *E); 3187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLOr (const BinaryOperator *E); 3197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinComma (const BinaryOperator *E); 3207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Other Operators. 322088a52d8a94666f0264b656e05921b9c5b091f28Daniel Dunbar Value *VisitBlockExpr(const BlockExpr *BE) { 323088a52d8a94666f0264b656e05921b9c5b091f28Daniel Dunbar CGF.ErrorUnsupported(BE, "block expression"); 324088a52d8a94666f0264b656e05921b9c5b091f28Daniel Dunbar return llvm::UndefValue::get(CGF.ConvertType(BE->getType())); 325088a52d8a94666f0264b656e05921b9c5b091f28Daniel Dunbar } 326088a52d8a94666f0264b656e05921b9c5b091f28Daniel Dunbar 3277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitConditionalOperator(const ConditionalOperator *CO); 3287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitChooseExpr(ChooseExpr *CE); 329e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman Value *VisitOverloadExpr(OverloadExpr *OE); 3307c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson Value *VisitVAArgExpr(VAArgExpr *VE); 3317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitObjCStringLiteral(const ObjCStringLiteral *E) { 3327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return CGF.EmitObjCStringLiteral(E); 3337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 33485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson Value *VisitObjCEncodeExpr(const ObjCEncodeExpr *E); 3357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 3367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} // end anonymous namespace. 3377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Utilities 3407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3429abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner/// EmitConversionToBool - Convert the specified expression value to a 3433420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner/// boolean (i1) truth value. This is equivalent to "Val != 0". 3449abc84e7ac4db891209fe67cc3a8c9690dc886efChris LattnerValue *ScalarExprEmitter::EmitConversionToBool(Value *Src, QualType SrcType) { 3459abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner assert(SrcType->isCanonical() && "EmitScalarConversion strips typedefs"); 3469abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3479abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (SrcType->isRealFloatingType()) { 3489abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against 0.0 for fp scalars. 3499abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3509abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateFCmpUNE(Src, Zero, "tobool"); 3519abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3529abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 353d1d66bcd6914ff82abdfa88dd25bb0b74cde3b99Daniel Dunbar assert((SrcType->isIntegerType() || isa<llvm::PointerType>(Src->getType())) && 3549abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner "Unknown scalar type to convert"); 3559abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3569abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Because of the type rules of C, we often end up computing a logical value, 3579abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // then zero extending it to int, then wanting it as a logical value again. 3589abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Optimize this common case. 3599abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (llvm::ZExtInst *ZI = dyn_cast<llvm::ZExtInst>(Src)) { 3609abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (ZI->getOperand(0)->getType() == llvm::Type::Int1Ty) { 3619abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *Result = ZI->getOperand(0); 362356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // If there aren't any more uses, zap the instruction to save space. 363356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // Note that there can be more uses, for example if this 364356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // is the result of an assignment. 365356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman if (ZI->use_empty()) 366356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman ZI->eraseFromParent(); 3679abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Result; 3689abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3699abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3709abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3719abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against an integer or pointer null. 3729abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3739abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateICmpNE(Src, Zero, "tobool"); 3749abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner} 3759abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3763707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 3773707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 3784f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, 3794f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstType) { 3809619662a1d42e2008b865d3459c0677e149dad1bChris Lattner SrcType = CGF.getContext().getCanonicalType(SrcType); 3819619662a1d42e2008b865d3459c0677e149dad1bChris Lattner DstType = CGF.getContext().getCanonicalType(DstType); 3823707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (SrcType == DstType) return Src; 383cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner 384cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner if (DstType->isVoidType()) return 0; 3853707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3863707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 387ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstType->isBooleanType()) 388ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return EmitConversionToBool(Src, SrcType); 3893707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3903707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner const llvm::Type *DstTy = ConvertType(DstType); 3913707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3923707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Ignore conversions like int -> uint. 3933707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (Src->getType() == DstTy) 3943707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Src; 3953707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 396270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // Handle pointer conversions next: pointers can only be converted 397270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // to/from other pointers and integers. Check for pointer types in 398270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // terms of LLVM, as some native types (like Obj-C id) may map to a 399270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // pointer type. 400270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(DstTy)) { 4013707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // The source value may be an integer, or a pointer. 4023707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::PointerType>(Src->getType())) 4033707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateBitCast(Src, DstTy, "conv"); 4043707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?"); 4053707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateIntToPtr(Src, DstTy, "conv"); 4063707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4073707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 408270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(Src->getType())) { 4093707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Must be an ptr to int cast. 4103707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?"); 41150b5a30db40322880340e957ad7d6d8d60bb4c5bAnders Carlsson return Builder.CreatePtrToInt(Src, DstTy, "conv"); 4123707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4133707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 414213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman // A scalar can be splatted to an extended vector of the same element type 4156fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman if (DstType->isExtVectorType() && !isa<VectorType>(SrcType)) { 4166fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Cast the scalar to element type 4176fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman QualType EltTy = DstType->getAsExtVectorType()->getElementType(); 4186fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Elt = EmitScalarConversion(Src, SrcType, EltTy); 4196fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4206fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Insert the element in element zero of an undef vector 4216fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *UnV = llvm::UndefValue::get(DstTy); 4226fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0); 4236fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman UnV = Builder.CreateInsertElement(UnV, Elt, Idx, "tmp"); 4246fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4256fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Splat the element across to all elements 4266fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::SmallVector<llvm::Constant*, 16> Args; 4276fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 4286fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman for (unsigned i = 0; i < NumElements; i++) 4296fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman Args.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, 0)); 4306fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4316fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 4326fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Yay = Builder.CreateShuffleVector(UnV, UnV, Mask, "splat"); 4336fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman return Yay; 4346fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman } 4354119d1aeca8016654d381ce079864058d1709571Nate Begeman 4363b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner // Allow bitcast from vector to integer/fp of the same size. 4377019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson if (isa<llvm::VectorType>(Src->getType()) || 4383b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner isa<llvm::VectorType>(DstTy)) 4397019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson return Builder.CreateBitCast(Src, DstTy, "conv"); 4407019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 4413707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Finally, we have the arithmetic types: real int/float. 4423707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(Src->getType())) { 4433707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner bool InputSigned = SrcType->isSignedIntegerType(); 444b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (isa<llvm::IntegerType>(DstTy)) 445b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 446b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else if (InputSigned) 447b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateSIToFP(Src, DstTy, "conv"); 448b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 449b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateUIToFP(Src, DstTy, "conv"); 4503707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4513707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4523707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(Src->getType()->isFloatingPoint() && "Unknown real conversion"); 4533707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(DstTy)) { 454b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstType->isSignedIntegerType()) 455b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToSI(Src, DstTy, "conv"); 456b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 457b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToUI(Src, DstTy, "conv"); 4583707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4593707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4603707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(DstTy->isFloatingPoint() && "Unknown real conversion"); 461b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstTy->getTypeID() < Src->getType()->getTypeID()) 462b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPTrunc(Src, DstTy, "conv"); 463b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 464b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPExt(Src, DstTy, "conv"); 4653707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 4663707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4674f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 4684f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 4694f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 4704f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter:: 4714f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerEmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 4724f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy) { 473ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Get the source element type. 4749619662a1d42e2008b865d3459c0677e149dad1bChris Lattner SrcTy = SrcTy->getAsComplexType()->getElementType(); 475ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 476ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 477ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstTy->isBooleanType()) { 478ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Complex != 0 -> (Real != 0) | (Imag != 0) 479ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.first = EmitScalarConversion(Src.first, SrcTy, DstTy); 480ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.second = EmitScalarConversion(Src.second, SrcTy, DstTy); 481ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return Builder.CreateOr(Src.first, Src.second, "tobool"); 482ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner } 483ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 4844f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // C99 6.3.1.7p2: "When a value of complex type is converted to a real type, 4854f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // the imaginary part of the complex value is discarded and the value of the 4864f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // real part is converted according to the conversion rules for the 4874f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // corresponding real type. 4884f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return EmitScalarConversion(Src.first, SrcTy, DstTy); 4894f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 4904f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 4914f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 4927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 4937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Visitor Methods 4947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 4957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 4967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitExpr(Expr *E) { 497488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar CGF.ErrorUnsupported(E, "scalar expression"); 4987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getType()->isVoidType()) 4997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 5007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 5017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 503d38617c8a50f9729c254ab76cd359af797c6739bEli FriedmanValue *ScalarExprEmitter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) { 504d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman llvm::SmallVector<llvm::Constant*, 32> indices; 505d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman for (unsigned i = 2; i < E->getNumSubExprs(); i++) { 506d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman indices.push_back(cast<llvm::Constant>(CGF.EmitScalarExpr(E->getExpr(i)))); 507d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman } 508d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V1 = CGF.EmitScalarExpr(E->getExpr(0)); 509d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V2 = CGF.EmitScalarExpr(E->getExpr(1)); 510d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* SV = llvm::ConstantVector::get(indices.begin(), indices.size()); 511d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman return Builder.CreateShuffleVector(V1, V2, SV, "shuffle"); 512d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman} 513d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman 5147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 5157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit subscript expressions in rvalue context's. For most cases, this just 5167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // loads the lvalue formed by the subscript expr. However, we have to be 5177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // careful, because the base of a vector subscript is occasionally an rvalue, 5187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // so we can't get it as an lvalue. 5197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!E->getBase()->getType()->isVectorType()) 5207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 5217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the vector case. The base must be a vector, the index must be an 5237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // integer value. 5247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Base = Visit(E->getBase()); 5257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Idx = Visit(E->getIdx()); 5267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Convert Idx to i32 type. 5287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateExtractElement(Base, Idx, "vecext"); 5297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// VisitImplicitCastExpr - Implicit casts are the same as normal casts, but 5327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// also handle things like function to pointer-to-function decay, and array to 5337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// pointer decay. 5347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitImplicitCastExpr(const ImplicitCastExpr *E) { 5357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const Expr *Op = E->getSubExpr(); 5367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is due to array->pointer conversion, emit the array expression as 5387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // an l-value. 5397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Op->getType()->isArrayType()) { 5407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: For now we assume that all source arrays map to LLVM arrays. This 5417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // will not true when we add support for VLAs. 5424f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *V = EmitLValue(Op).getAddress(); // Bitfields can't be arrays. 5438f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman 5448f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman if (!Op->getType()->isVariableArrayType()) { 5458f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman assert(isa<llvm::PointerType>(V->getType()) && "Expected pointer"); 5468f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman assert(isa<llvm::ArrayType>(cast<llvm::PointerType>(V->getType()) 5478f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman ->getElementType()) && 5488f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman "Expected pointer to array"); 5498f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman V = Builder.CreateStructGEP(V, 0, "arraydecay"); 550662174c82ef46b19a2329c7d37208e1d12dfb7b3Daniel Dunbar } 551a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner 552a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner // The resultant pointer type can be implicitly casted to other pointer 553f31627f676374812d0355d7e34fd2e940b400757Chris Lattner // types as well (e.g. void*) and can be implicitly converted to integer. 554f31627f676374812d0355d7e34fd2e940b400757Chris Lattner const llvm::Type *DestTy = ConvertType(E->getType()); 555f31627f676374812d0355d7e34fd2e940b400757Chris Lattner if (V->getType() != DestTy) { 556f31627f676374812d0355d7e34fd2e940b400757Chris Lattner if (isa<llvm::PointerType>(DestTy)) 557f31627f676374812d0355d7e34fd2e940b400757Chris Lattner V = Builder.CreateBitCast(V, DestTy, "ptrconv"); 558f31627f676374812d0355d7e34fd2e940b400757Chris Lattner else { 559f31627f676374812d0355d7e34fd2e940b400757Chris Lattner assert(isa<llvm::IntegerType>(DestTy) && "Unknown array decay"); 560f31627f676374812d0355d7e34fd2e940b400757Chris Lattner V = Builder.CreatePtrToInt(V, DestTy, "ptrconv"); 561f31627f676374812d0355d7e34fd2e940b400757Chris Lattner } 562f31627f676374812d0355d7e34fd2e940b400757Chris Lattner } 563a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner return V; 564a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner 565793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson } else if (E->getType()->isReferenceType()) { 566793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson return EmitLValue(Op).getAddress(); 5677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 5687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(Op, E->getType()); 5707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// VisitCastExpr - Emit code for an explicit or implicit cast. Implicit casts 5747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// have to handle a more broad range of conversions than explicit casts, as they 5757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// handle things like function to ptr-to-function decay etc. 5767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCastExpr(const Expr *E, QualType DestTy) { 57758a2e944faa16f1f61439acd2e71b19f50189511Chris Lattner // Handle cases where the source is an non-complex type. 57819a1d7c646729eb858b15583e647262a22de3637Chris Lattner 57919a1d7c646729eb858b15583e647262a22de3637Chris Lattner if (!CGF.hasAggregateLLVMType(E->getType())) { 5803707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner Value *Src = Visit(const_cast<Expr*>(E)); 5813707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5823707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Use EmitScalarConversion to perform the conversion. 5833707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return EmitScalarConversion(Src, E->getType(), DestTy); 5843707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 58519a1d7c646729eb858b15583e647262a22de3637Chris Lattner 5869b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (E->getType()->isAnyComplexType()) { 58719a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Handle cases where the source is a complex type. 58819a1d7c646729eb858b15583e647262a22de3637Chris Lattner return EmitComplexToScalarConversion(CGF.EmitComplexExpr(E), E->getType(), 58919a1d7c646729eb858b15583e647262a22de3637Chris Lattner DestTy); 59019a1d7c646729eb858b15583e647262a22de3637Chris Lattner } 59110b00cfe6422906b223724048b9b2123968d3baaChris Lattner 59219a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Okay, this is a cast from an aggregate. It must be a cast to void. Just 59319a1d7c646729eb858b15583e647262a22de3637Chris Lattner // evaluate the result and return. 59419a1d7c646729eb858b15583e647262a22de3637Chris Lattner CGF.EmitAggExpr(E, 0, false); 59519a1d7c646729eb858b15583e647262a22de3637Chris Lattner return 0; 5967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5983379320c10001d7e1ee5d7e7142c417f797cfe82Chris LattnerValue *ScalarExprEmitter::VisitStmtExpr(const StmtExpr *E) { 59991d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner return CGF.EmitCompoundStmt(*E->getSubStmt(), 60091d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner !E->getType()->isVoidType()).getScalarVal(); 6013379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner} 6023379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 6033379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 6047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 6057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Unary Operators 6067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 6077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitPrePostIncDec(const UnaryOperator *E, 609dfce2a51a78455c915722bc05f07c41e600220c9Chris Lattner bool isInc, bool isPre) { 6107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LV = EmitLValue(E->getSubExpr()); 6117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Handle volatile! 612e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner Value *InVal = CGF.EmitLoadOfLValue(LV, // false 6139b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner E->getSubExpr()->getType()).getScalarVal(); 6147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner int AmountVal = isInc ? 1 : -1; 6167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *NextVal; 618e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner if (isa<llvm::PointerType>(InVal->getType())) { 619e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // FIXME: This isn't right for VLAs. 620e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = llvm::ConstantInt::get(llvm::Type::Int32Ty, AmountVal); 62136b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner NextVal = Builder.CreateGEP(InVal, NextVal, "ptrincdec"); 622e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } else { 623e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // Add the inc/dec to the real part. 624e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner if (isa<llvm::IntegerType>(InVal->getType())) 625e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = llvm::ConstantInt::get(InVal->getType(), AmountVal); 626ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner else if (InVal->getType() == llvm::Type::FloatTy) 627e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 62859138ba7ce960888433546639deb45e2e03f8857Chris Lattner llvm::ConstantFP::get(llvm::APFloat(static_cast<float>(AmountVal))); 62925ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner else if (InVal->getType() == llvm::Type::DoubleTy) 630e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 63159138ba7ce960888433546639deb45e2e03f8857Chris Lattner llvm::ConstantFP::get(llvm::APFloat(static_cast<double>(AmountVal))); 63225ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner else { 63325ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner llvm::APFloat F(static_cast<float>(AmountVal)); 634ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen bool ignored; 635ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen F.convert(CGF.Target.getLongDoubleFormat(), llvm::APFloat::rmTowardZero, 636ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen &ignored); 63725ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner NextVal = llvm::ConstantFP::get(F); 638ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner } 639e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = Builder.CreateAdd(InVal, NextVal, isInc ? "inc" : "dec"); 640e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } 6417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Store the updated result through the lvalue. 6437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStoreThroughLValue(RValue::get(NextVal), LV, 6447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner E->getSubExpr()->getType()); 6457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is a postinc, return the value read from memory, otherwise use the 6477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // updated value. 6487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return isPre ? NextVal : InVal; 6497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 6537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 6547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNeg(Op, "neg"); 6557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 6587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 6597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNot(Op, "neg"); 6607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryLNot(const UnaryOperator *E) { 6637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Compare operand to zero. 6647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *BoolVal = CGF.EvaluateExprAsBool(E->getSubExpr()); 6657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Invert value. 6677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // TODO: Could dynamically modify easy computations here. For example, if 6687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // the operand is an icmp ne, turn into icmp eq. 6697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BoolVal = Builder.CreateNot(BoolVal, "lnot"); 6707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 6727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(BoolVal, CGF.LLVMIntTy, "lnot.ext"); 6737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6750518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// VisitSizeOfAlignOfExpr - Return the size or alignment of the type of 6760518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// argument of the sizeof expression as an integer. 6770518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlValue * 6780518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlScalarExprEmitter::VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E) { 6790518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl QualType TypeToSize = E->getTypeOfArgument(); 680f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isSizeOf()) { 681f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (const VariableArrayType *VAT = 682f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.getContext().getAsVariableArrayType(TypeToSize)) { 683f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isArgumentType()) { 684f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // sizeof(type) - make sure to emit the VLA size. 685f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.EmitVLASize(TypeToSize); 686f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman } 6876cd586d2668653501ecd73d53e81cbc76db3a18cAnders Carlsson 68896f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson return CGF.GetVLASize(VAT); 689b50525ba0e996bc072cdb76152fcfe0bc64bb72aAnders Carlsson } 6905d46315ca3cbbfe0d0f5f65520b618fb05dd4446Anders Carlsson } 691f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman 692f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // If this isn't sizeof(vla), the result must be constant; use the 693f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // constant folding logic so we don't have to duplicate it here. 694f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman Expr::EvalResult Result; 695f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman E->Evaluate(Result, CGF.getContext()); 696f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman return llvm::ConstantInt::get(Result.Val.getInt()); 6977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 69946f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryReal(const UnaryOperator *E) { 70046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 7019b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 70246f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return CGF.EmitComplexExpr(Op).first; 70346f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return Visit(Op); 70446f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 70546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryImag(const UnaryOperator *E) { 70646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 7079b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 70846f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return CGF.EmitComplexExpr(Op).second; 70936f8406db837957b24b926fd657af909e1b12665Chris Lattner 71036f8406db837957b24b926fd657af909e1b12665Chris Lattner // __imag on a scalar returns zero. Emit it the subexpr to ensure side 71136f8406db837957b24b926fd657af909e1b12665Chris Lattner // effects are evaluated. 71236f8406db837957b24b926fd657af909e1b12665Chris Lattner CGF.EmitScalarExpr(Op); 71336f8406db837957b24b926fd657af909e1b12665Chris Lattner return llvm::Constant::getNullValue(ConvertType(E->getType())); 71446f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 71546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 7165a1deb8d9c0722beae28d693fa137bbb942bd11fAnders CarlssonValue *ScalarExprEmitter::VisitUnaryOffsetOf(const UnaryOperator *E) 7175a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson{ 718769e411b72465a63454cdd416ff26ff313d43505Eli Friedman const Expr* SubExpr = E->getSubExpr(); 719769e411b72465a63454cdd416ff26ff313d43505Eli Friedman const llvm::Type* ResultType = ConvertType(E->getType()); 720769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::Value* Result = llvm::Constant::getNullValue(ResultType); 721769e411b72465a63454cdd416ff26ff313d43505Eli Friedman while (!isa<CompoundLiteralExpr>(SubExpr)) { 722769e411b72465a63454cdd416ff26ff313d43505Eli Friedman if (const MemberExpr *ME = dyn_cast<MemberExpr>(SubExpr)) { 723769e411b72465a63454cdd416ff26ff313d43505Eli Friedman SubExpr = ME->getBase(); 724769e411b72465a63454cdd416ff26ff313d43505Eli Friedman QualType Ty = SubExpr->getType(); 725769e411b72465a63454cdd416ff26ff313d43505Eli Friedman 726769e411b72465a63454cdd416ff26ff313d43505Eli Friedman RecordDecl *RD = Ty->getAsRecordType()->getDecl(); 727769e411b72465a63454cdd416ff26ff313d43505Eli Friedman const ASTRecordLayout &RL = CGF.getContext().getASTRecordLayout(RD); 728769e411b72465a63454cdd416ff26ff313d43505Eli Friedman FieldDecl *FD = cast<FieldDecl>(ME->getMemberDecl()); 729769e411b72465a63454cdd416ff26ff313d43505Eli Friedman 730769e411b72465a63454cdd416ff26ff313d43505Eli Friedman // FIXME: This is linear time. And the fact that we're indexing 731769e411b72465a63454cdd416ff26ff313d43505Eli Friedman // into the layout by position in the record means that we're 732769e411b72465a63454cdd416ff26ff313d43505Eli Friedman // either stuck numbering the fields in the AST or we have to keep 733769e411b72465a63454cdd416ff26ff313d43505Eli Friedman // the linear search (yuck and yuck). 734769e411b72465a63454cdd416ff26ff313d43505Eli Friedman unsigned i = 0; 735769e411b72465a63454cdd416ff26ff313d43505Eli Friedman for (RecordDecl::field_iterator Field = RD->field_begin(), 736769e411b72465a63454cdd416ff26ff313d43505Eli Friedman FieldEnd = RD->field_end(); 737769e411b72465a63454cdd416ff26ff313d43505Eli Friedman Field != FieldEnd; (void)++Field, ++i) { 738769e411b72465a63454cdd416ff26ff313d43505Eli Friedman if (*Field == FD) 739769e411b72465a63454cdd416ff26ff313d43505Eli Friedman break; 740769e411b72465a63454cdd416ff26ff313d43505Eli Friedman } 741769e411b72465a63454cdd416ff26ff313d43505Eli Friedman 742769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::Value* Offset = 743769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::ConstantInt::get(ResultType, RL.getFieldOffset(i) / 8); 744769e411b72465a63454cdd416ff26ff313d43505Eli Friedman Result = Builder.CreateAdd(Result, Offset); 745769e411b72465a63454cdd416ff26ff313d43505Eli Friedman } else if (const ArraySubscriptExpr *ASE = dyn_cast<ArraySubscriptExpr>(SubExpr)) { 746769e411b72465a63454cdd416ff26ff313d43505Eli Friedman SubExpr = ASE->getBase(); 747769e411b72465a63454cdd416ff26ff313d43505Eli Friedman int64_t size = CGF.getContext().getTypeSize(ASE->getType()) / 8; 748769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::Value* ElemSize = llvm::ConstantInt::get(ResultType, size); 749769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::Value* ElemIndex = CGF.EmitScalarExpr(ASE->getIdx()); 750769e411b72465a63454cdd416ff26ff313d43505Eli Friedman bool IndexSigned = ASE->getIdx()->getType()->isSignedIntegerType(); 751769e411b72465a63454cdd416ff26ff313d43505Eli Friedman ElemIndex = Builder.CreateIntCast(ElemIndex, ResultType, IndexSigned); 752769e411b72465a63454cdd416ff26ff313d43505Eli Friedman llvm::Value* Offset = Builder.CreateMul(ElemSize, ElemIndex); 753769e411b72465a63454cdd416ff26ff313d43505Eli Friedman Result = Builder.CreateAdd(Result, Offset); 754769e411b72465a63454cdd416ff26ff313d43505Eli Friedman } else { 755769e411b72465a63454cdd416ff26ff313d43505Eli Friedman assert(0 && "This should be impossible!"); 756769e411b72465a63454cdd416ff26ff313d43505Eli Friedman } 757769e411b72465a63454cdd416ff26ff313d43505Eli Friedman } 758769e411b72465a63454cdd416ff26ff313d43505Eli Friedman return Result; 7595a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson} 76046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 7617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 7627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Binary Operators 7637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 7647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerBinOpInfo ScalarExprEmitter::EmitBinOps(const BinaryOperator *E) { 7667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BinOpInfo Result; 7677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.LHS = Visit(E->getLHS()); 7687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.RHS = Visit(E->getRHS()); 7691f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Result.Ty = E->getType(); 7707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.E = E; 7717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Result; 7727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 7737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7743ccf774256382ef9aa95028eaad82f54a3d0b0adChris LattnerValue *ScalarExprEmitter::EmitCompoundAssign(const CompoundAssignOperator *E, 7751f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*Func)(const BinOpInfo &)) { 7761f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType(); 7771f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7781f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo OpInfo; 7791f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7801f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Load the LHS and RHS operands. 7811f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner LValue LHSLV = EmitLValue(E->getLHS()); 7821f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner OpInfo.LHS = EmitLoadOfLValue(LHSLV, LHSTy); 78304dc76496e869460a1acb7923fc00163c0128b0aChris Lattner 78404dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Determine the computation type. If the RHS is complex, then this is one of 78504dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // the add/sub/mul/div operators. All of these operators can be computed in 78604dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // with just their real component even though the computation domain really is 78704dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // complex. 78804dc76496e869460a1acb7923fc00163c0128b0aChris Lattner QualType ComputeType = E->getComputationType(); 7891f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 79004dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // If the computation type is complex, then the RHS is complex. Emit the RHS. 79104dc76496e869460a1acb7923fc00163c0128b0aChris Lattner if (const ComplexType *CT = ComputeType->getAsComplexType()) { 79204dc76496e869460a1acb7923fc00163c0128b0aChris Lattner ComputeType = CT->getElementType(); 79304dc76496e869460a1acb7923fc00163c0128b0aChris Lattner 79404dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Emit the RHS, only keeping the real component. 79504dc76496e869460a1acb7923fc00163c0128b0aChris Lattner OpInfo.RHS = CGF.EmitComplexExpr(E->getRHS()).first; 79604dc76496e869460a1acb7923fc00163c0128b0aChris Lattner RHSTy = RHSTy->getAsComplexType()->getElementType(); 79704dc76496e869460a1acb7923fc00163c0128b0aChris Lattner } else { 79804dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Otherwise the RHS is a simple scalar value. 79904dc76496e869460a1acb7923fc00163c0128b0aChris Lattner OpInfo.RHS = Visit(E->getRHS()); 80004dc76496e869460a1acb7923fc00163c0128b0aChris Lattner } 8011f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8028c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar QualType LComputeTy, RComputeTy, ResultTy; 8038c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 8048c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Compound assignment does not contain enough information about all 8058c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // the types involved for pointer arithmetic cases. Figure it out 8068c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // here for now. 8078c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (E->getLHS()->getType()->isPointerType()) { 8088c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Pointer arithmetic cases: ptr +=,-= int and ptr -= ptr, 8098c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar assert((E->getOpcode() == BinaryOperator::AddAssign || 8108c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar E->getOpcode() == BinaryOperator::SubAssign) && 8118c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar "Invalid compound assignment operator on pointer type."); 8128c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LComputeTy = E->getLHS()->getType(); 8138c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 8148c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (E->getRHS()->getType()->isPointerType()) { 8158c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Degenerate case of (ptr -= ptr) allowed by GCC implicit cast 8168c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // extension, the conversion from the pointer difference back to 8178c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // the LHS type is handled at the end. 8188c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar assert(E->getOpcode() == BinaryOperator::SubAssign && 8198c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar "Invalid compound assignment operator on pointer type."); 8208c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RComputeTy = E->getLHS()->getType(); 8218c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ResultTy = CGF.getContext().getPointerDiffType(); 8228c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else { 8238c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RComputeTy = E->getRHS()->getType(); 8248c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ResultTy = LComputeTy; 8258c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 8268c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else if (E->getRHS()->getType()->isPointerType()) { 8278c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Degenerate case of (int += ptr) allowed by GCC implicit cast 8288c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // extension. 8298c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar assert(E->getOpcode() == BinaryOperator::AddAssign && 8308c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar "Invalid compound assignment operator on pointer type."); 8318c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LComputeTy = E->getLHS()->getType(); 8328c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RComputeTy = E->getRHS()->getType(); 8338c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ResultTy = RComputeTy; 8348c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else { 8358c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LComputeTy = RComputeTy = ResultTy = ComputeType; 8361f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 8378c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 8388c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Convert the LHS/RHS values to the computation type. 8398c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar OpInfo.LHS = EmitScalarConversion(OpInfo.LHS, LHSTy, LComputeTy); 8408c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar OpInfo.RHS = EmitScalarConversion(OpInfo.RHS, RHSTy, RComputeTy); 8418c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar OpInfo.Ty = ResultTy; 8421f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner OpInfo.E = E; 8431f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8441f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Expand the binary operator. 8451f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *Result = (this->*Func)(OpInfo); 8461f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8478c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Convert the result back to the LHS type. 8488c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Result = EmitScalarConversion(Result, ResultTy, LHSTy); 8491f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 850ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar // Store the result value into the LHS lvalue. Bit-fields are 851371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // handled specially because the result is altered by the store, 852371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // i.e., [C99 6.5.16p1] 'An assignment expression has the value of 853371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // the left operand after the assignment...'. 8541849128c7d88247d914f05efe4c03907f0932174Eli Friedman if (LHSLV.isBitfield()) 855ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, LHSTy, 856ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar &Result); 857ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar else 858ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Result), LHSLV, LHSTy); 859ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar 8601f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner return Result; 8611f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner} 8621f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8631f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitDiv(const BinOpInfo &Ops) { 865b3ab8dc7d3b2e24259b990ac4ad75abfd07fa1f9Nate Begeman if (Ops.LHS->getType()->isFPOrFPVector()) 8667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateFDiv(Ops.LHS, Ops.RHS, "div"); 8671f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner else if (Ops.Ty->isUnsignedIntegerType()) 8687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateUDiv(Ops.LHS, Ops.RHS, "div"); 8697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 8707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSDiv(Ops.LHS, Ops.RHS, "div"); 8717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitRem(const BinOpInfo &Ops) { 8747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Rem in C can't be a floating point type: C99 6.5.5p2. 8751f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 8767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateURem(Ops.LHS, Ops.RHS, "rem"); 8777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 8787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSRem(Ops.LHS, Ops.RHS, "rem"); 8797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitAdd(const BinOpInfo &Ops) { 8831f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (!Ops.Ty->isPointerType()) 8847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAdd(Ops.LHS, Ops.RHS, "add"); 8851f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8861f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // FIXME: What about a pointer to a VLA? 8878f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Value *Ptr, *Idx; 8888f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Expr *IdxExp; 889b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const PointerType *PT; 890b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if ((PT = Ops.E->getLHS()->getType()->getAsPointerType())) { 8918f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.LHS; 8928f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.RHS; 8938f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getRHS(); 8948f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } else { // int + pointer 895b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar PT = Ops.E->getRHS()->getType()->getAsPointerType(); 896b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar assert(PT && "Invalid add expr"); 8978f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.RHS; 8988f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.LHS; 8998f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getLHS(); 9008f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 9018f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 9028f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 9038f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner if (Width < CGF.LLVMPointerWidth) { 9048f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // Zero or sign extend the pointer value based on whether the index is 9058f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // signed or not. 9068f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner const llvm::Type *IdxType = llvm::IntegerType::get(CGF.LLVMPointerWidth); 9079619662a1d42e2008b865d3459c0677e149dad1bChris Lattner if (IdxExp->getType()->isSignedIntegerType()) 9088f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 9098f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner else 9108f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 9118f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 912b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 913b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // Explicitly handle GNU void* and function pointer arithmetic 914b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // extensions. The GNU void* casts amount to no-ops since our void* 915b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // type is i8*, but this is future proof. 916b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const QualType ElementType = PT->getPointeeType(); 917b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (ElementType->isVoidType() || ElementType->isFunctionType()) { 918b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const llvm::Type *i8Ty = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 919b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Casted = Builder.CreateBitCast(Ptr, i8Ty); 920b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Res = Builder.CreateGEP(Casted, Idx, "sub.ptr"); 921b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ptr->getType()); 922b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar } 9238f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 9248f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner return Builder.CreateGEP(Ptr, Idx, "add.ptr"); 9257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) { 9287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!isa<llvm::PointerType>(Ops.LHS->getType())) 9297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub"); 9301f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 931b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const QualType LHSType = Ops.E->getLHS()->getType(); 932b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const QualType LHSElementType = LHSType->getAsPointerType()->getPointeeType(); 9338c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (!isa<llvm::PointerType>(Ops.RHS->getType())) { 9348c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - int 9358c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *Idx = Ops.RHS; 9368c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 9378c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (Width < CGF.LLVMPointerWidth) { 9388c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Zero or sign extend the pointer value based on whether the index is 9398c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // signed or not. 9408c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar const llvm::Type *IdxType = llvm::IntegerType::get(CGF.LLVMPointerWidth); 9418c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (Ops.E->getRHS()->getType()->isSignedIntegerType()) 9428c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 9438c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar else 9448c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 9458c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 9468c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateNeg(Idx, "sub.ptr.neg"); 9478c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 9488c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // FIXME: The pointer could point to a VLA. 949b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 950b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // Explicitly handle GNU void* and function pointer arithmetic 951b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // extensions. The GNU void* casts amount to no-ops since our 952b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // void* type is i8*, but this is future proof. 953b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 954b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const llvm::Type *i8Ty = llvm::PointerType::getUnqual(llvm::Type::Int8Ty); 955b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *LHSCasted = Builder.CreateBitCast(Ops.LHS, i8Ty); 956b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Res = Builder.CreateGEP(LHSCasted, Idx, "sub.ptr"); 957b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ops.LHS->getType()); 958b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar } 959b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 9608c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar return Builder.CreateGEP(Ops.LHS, Idx, "sub.ptr"); 961820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar } else { 9628c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - pointer 9638c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *LHS = Ops.LHS; 9648c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *RHS = Ops.RHS; 9651f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9668c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar uint64_t ElementSize; 967820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar 968e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Handle GCC extension for pointer arithmetic on void* and function pointer 969e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // types. 970e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 9718c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = 1; 9728c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else { 9738c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = CGF.getContext().getTypeSize(LHSElementType) / 8; 9748c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 9758c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 9768c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar const llvm::Type *ResultType = ConvertType(Ops.Ty); 9778c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LHS = Builder.CreatePtrToInt(LHS, ResultType, "sub.ptr.lhs.cast"); 9788c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RHS = Builder.CreatePtrToInt(RHS, ResultType, "sub.ptr.rhs.cast"); 9798c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *BytesBetween = Builder.CreateSub(LHS, RHS, "sub.ptr.sub"); 9808c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 981e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Optimize out the shift for element size of 1. 982e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (ElementSize == 1) 983e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner return BytesBetween; 984e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner 9858c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // HACK: LLVM doesn't have an divide instruction that 'knows' there is no 9868c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // remainder. As such, we handle common power-of-two cases here to generate 9878c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // better code. See PR2247. 9888c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (llvm::isPowerOf2_64(ElementSize)) { 9898c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *ShAmt = 9908c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar llvm::ConstantInt::get(ResultType, llvm::Log2_64(ElementSize)); 9918c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar return Builder.CreateAShr(BytesBetween, ShAmt, "sub.ptr.shr"); 9928c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 9938c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 9948c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Otherwise, do a full sdiv. 9958c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *BytesPerElt = llvm::ConstantInt::get(ResultType, ElementSize); 9968c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar return Builder.CreateSDiv(BytesBetween, BytesPerElt, "sub.ptr.div"); 9977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 9987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) { 10017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 10027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 10037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 10047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 10057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 10067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateShl(Ops.LHS, RHS, "shl"); 10087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShr(const BinOpInfo &Ops) { 10117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 10127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 10137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 10147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 10157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 10167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10171f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 10187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateLShr(Ops.LHS, RHS, "shr"); 10197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAShr(Ops.LHS, RHS, "shr"); 10207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCompare(const BinaryOperator *E,unsigned UICmpOpc, 10237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc) { 10244f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *Result; 10257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner QualType LHSTy = E->getLHS()->getType(); 10267a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman if (!LHSTy->isAnyComplexType() && !LHSTy->isVectorType()) { 10277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS = Visit(E->getLHS()); 10287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 10297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (LHS->getType()->isFloatingPoint()) { 10317a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateFCmp((llvm::CmpInst::Predicate)FCmpOpc, 10327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 1033ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman } else if (LHSTy->isSignedIntegerType()) { 1034ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)SICmpOpc, 10357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 10367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 1037ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman // Unsigned integers and pointers. 1038ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 10397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 10407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 10417a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman } else if (LHSTy->isVectorType()) { 10427a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Value *LHS = Visit(E->getLHS()); 10437a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Value *RHS = Visit(E->getRHS()); 10447a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman 10457a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman if (LHS->getType()->isFPOrFPVector()) { 10467a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateVFCmp((llvm::CmpInst::Predicate)FCmpOpc, 10477a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman LHS, RHS, "cmp"); 10487a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman } else if (LHSTy->isUnsignedIntegerType()) { 10497a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateVICmp((llvm::CmpInst::Predicate)UICmpOpc, 10507a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman LHS, RHS, "cmp"); 10517a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman } else { 10527a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman // Signed integers and pointers. 10537a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateVICmp((llvm::CmpInst::Predicate)SICmpOpc, 10547a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman LHS, RHS, "cmp"); 10557a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman } 10567a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman return Result; 10577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 10587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex Comparison: can only be an equality comparison. 10597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy LHS = CGF.EmitComplexExpr(E->getLHS()); 10607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy RHS = CGF.EmitComplexExpr(E->getRHS()); 10617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10629619662a1d42e2008b865d3459c0677e149dad1bChris Lattner QualType CETy = LHSTy->getAsComplexType()->getElementType(); 10637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10644f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *ResultR, *ResultI; 10657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (CETy->isRealFloatingType()) { 10667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 10677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 10687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 10697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 10707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 10717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex comparisons can only be equality comparisons. As such, signed 10727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // and unsigned opcodes are the same. 10737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 10747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 10757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 10767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 10777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 10787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getOpcode() == BinaryOperator::EQ) { 10807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateAnd(ResultR, ResultI, "and.ri"); 10817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 10827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E->getOpcode() == BinaryOperator::NE && 10837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Complex comparison other than == or != ?"); 10847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateOr(ResultR, ResultI, "or.ri"); 10857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 10867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 108732f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes 108832f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes return EmitScalarConversion(Result, CGF.getContext().BoolTy, E->getType()); 10897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinAssign(const BinaryOperator *E) { 10927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LHS = EmitLValue(E->getLHS()); 10937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 10947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1095ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar // Store the value into the LHS. Bit-fields are handled specially 1096371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // because the result is altered by the store, i.e., [C99 6.5.16p1] 1097371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // 'An assignment expression has the value of the left operand after 1098371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // the assignment...'. 10997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Volatility! 11001849128c7d88247d914f05efe4c03907f0932174Eli Friedman if (LHS.isBitfield()) 1101ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, E->getType(), 1102ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar &RHS); 1103ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar else 1104ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(RHS), LHS, E->getType()); 110585c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar 11067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Return the RHS. 11077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return RHS; 11087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLAnd(const BinaryOperator *E) { 111120eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 && RHS, see if we can elide RHS, if so, just return 0. 111220eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 && X, just emit X without inserting the control flow. 111320eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 111420eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == 1) { // If we have 1 && X, just emit X. 11150946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 11160946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // ZExt result to int. 11170946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return Builder.CreateZExt(RHSCond, CGF.LLVMIntTy, "land.ext"); 11180946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 111920eb09d562b80420a3328be789547af354bf3e36Chris Lattner 112020eb09d562b80420a3328be789547af354bf3e36Chris Lattner // 0 && RHS: If it is safe, just elide the RHS, and return 0. 112120eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 112220eb09d562b80420a3328be789547af354bf3e36Chris Lattner return llvm::Constant::getNullValue(CGF.LLVMIntTy); 11230946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 11240946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 11259615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("land.end"); 11269615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("land.rhs"); 112720eb09d562b80420a3328be789547af354bf3e36Chris Lattner 1128f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is false, go to the failure (cont) block. 1129f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), RHSBlock, ContBlock); 1130f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1131f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1132f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be false. Start 1133f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 1134f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::Int1Ty, "", ContBlock); 1135f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1136f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1137f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 1138f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->addIncoming(llvm::ConstantInt::getFalse(), *PI); 11397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 11417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 11427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 11447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1145f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1146f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1147f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 11487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 11497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 11507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 11527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "land.ext"); 11537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLOr(const BinaryOperator *E) { 115620eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 || RHS, see if we can elide RHS, if so, just return 1. 115720eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 || X, just emit X without inserting the control flow. 115820eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 115920eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == -1) { // If we have 0 || X, just emit X. 11600946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 11610946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // ZExt result to int. 11620946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return Builder.CreateZExt(RHSCond, CGF.LLVMIntTy, "lor.ext"); 11630946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 116420eb09d562b80420a3328be789547af354bf3e36Chris Lattner 11658de8d1d3f2e21e4a72ac294276930ad293a3a765Eli Friedman // 1 || RHS: If it is safe, just elide the RHS, and return 1. 116620eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 11678de8d1d3f2e21e4a72ac294276930ad293a3a765Eli Friedman return llvm::ConstantInt::get(CGF.LLVMIntTy, 1); 11680946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 11690946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 11709615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("lor.end"); 11719615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("lor.rhs"); 11727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1173f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is true, go to the success (cont) block. 1174f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), ContBlock, RHSBlock); 1175f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1176f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1177f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be true. Start 1178f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 1179f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::Int1Ty, "", ContBlock); 1180f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1181f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1182f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 1183f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->addIncoming(llvm::ConstantInt::getTrue(), *PI); 1184f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1185f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit the RHS condition as a bool value. 11867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 11877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 11887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 11907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 11917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1192f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1193f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 1194f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBlock(ContBlock); 11957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 11967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 11987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "lor.ext"); 11997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinComma(const BinaryOperator *E) { 12027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStmt(E->getLHS()); 1203a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar CGF.EnsureInsertPoint(); 12047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getRHS()); 12057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 12087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Other Operators 12097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 12107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12119802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// isCheapEnoughToEvaluateUnconditionally - Return true if the specified 12129802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// expression is cheap enough and side-effect-free enough to evaluate 12139802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// unconditionally instead of conditionally. This is used to convert control 12149802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// flow into selects in some cases. 12159802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattnerstatic bool isCheapEnoughToEvaluateUnconditionally(const Expr *E) { 12169802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) 12179802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return isCheapEnoughToEvaluateUnconditionally(PE->getSubExpr()); 12189802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12199802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // TODO: Allow anything we can constant fold to an integer or fp constant. 12209802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (isa<IntegerLiteral>(E) || isa<CharacterLiteral>(E) || 12219802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner isa<FloatingLiteral>(E)) 12229802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 12239802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12249802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // Non-volatile automatic variables too, to get "cond ? X : Y" where 12259802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // X and Y are local variables. 12269802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E)) 12279802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) 12289802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (VD->hasLocalStorage() && !VD->getType().isVolatileQualified()) 12299802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 12309802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12319802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return false; 12329802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner} 12339802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12349802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter:: 12367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerVisitConditionalOperator(const ConditionalOperator *E) { 123731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the condition constant folds and can be elided, try to avoid emitting 123831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the condition and the dead arm. 123931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getCond())){ 1240c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner Expr *Live = E->getLHS(), *Dead = E->getRHS(); 124131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (Cond == -1) 1242c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner std::swap(Live, Dead); 124331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 124431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the dead side doesn't have labels we need, and if the Live side isn't 124531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the gnu missing ?: extension (which we could handle, but don't bother 124631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // to), just emit the Live part. 124731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if ((!Dead || !CGF.ContainsLabel(Dead)) && // No labels in dead part 124831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Live) // Live part isn't missing. 124931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return Visit(Live); 1250c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner } 1251c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner 12529802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12539802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // If this is a really simple expression (like x ? 4 : 5), emit this as a 12549802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // select instead of as control flow. We can only do this if it is cheap and 1255531a550531c144a58438f187816abbf1879e1c4eChris Lattner // safe to evaluate the LHS and RHS unconditionally. 12569802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (E->getLHS() && isCheapEnoughToEvaluateUnconditionally(E->getLHS()) && 12579802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner isCheapEnoughToEvaluateUnconditionally(E->getRHS())) { 12589802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *CondV = CGF.EvaluateExprAsBool(E->getCond()); 12599802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *LHS = Visit(E->getLHS()); 12609802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *RHS = Visit(E->getRHS()); 12619802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return Builder.CreateSelect(CondV, LHS, RHS, "cond"); 12629802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner } 12639802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 12649802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 1265be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 1266be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 12679615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 1268035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondVal = 0; 1269035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner 1270035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // If we have the GNU missing condition extension, evaluate the conditional 1271035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // and then convert it to bool the hard way. We do this explicitly 1272035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // because we need the unconverted value for the missing middle value of 1273035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // the ?:. 1274035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner if (E->getLHS() == 0) { 1275035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CondVal = CGF.EmitScalarExpr(E->getCond()); 1276035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondBoolVal = 1277035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.EmitScalarConversion(CondVal, E->getCond()->getType(), 1278035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.getContext().BoolTy); 1279035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Builder.CreateCondBr(CondBoolVal, LHSBlock, RHSBlock); 1280035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner } else { 1281035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // Otherwise, just use EmitBranchOnBoolExpr to get small and simple code for 1282035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner // the branch on bool. 1283035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock); 1284035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner } 12857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(LHSBlock); 12877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the GNU extension for missing LHS. 1289a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Value *LHS; 1290a21ddb30e56026967d58e26c5212744e1831305bChris Lattner if (E->getLHS()) 1291856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman LHS = Visit(E->getLHS()); 1292a21ddb30e56026967d58e26c5212744e1831305bChris Lattner else // Perform promotions, to handle cases like "short ?: int" 1293a21ddb30e56026967d58e26c5212744e1831305bChris Lattner LHS = EmitScalarConversion(CondVal, E->getCond()->getType(), E->getType()); 1294a21ddb30e56026967d58e26c5212744e1831305bChris Lattner 12957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHSBlock = Builder.GetInsertBlock(); 1296d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 12977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 12997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1300856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman Value *RHS = Visit(E->getRHS()); 13017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1302d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 13037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 13057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1306108f55d6fd9a1c0e753eb8e046cb1f1b81d77a76Nuno Lopes if (!LHS || !RHS) { 13072202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner assert(E->getType()->isVoidType() && "Non-void value should have a value"); 13082202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner return 0; 13092202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner } 13102202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner 13117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node for the real part. 13127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(LHS->getType(), "cond"); 13137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 13147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(LHS, LHSBlock); 13157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHS, RHSBlock); 13167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return PN; 13177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { 13207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit the LHS or RHS as appropriate. 1321e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel return 1322e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel Visit(E->isConditionTrue(CGF.getContext()) ? E->getLHS() : E->getRHS()); 13237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1325e2ce1d9440186cf3332368291cd884a6e3ae8946Nate BegemanValue *ScalarExprEmitter::VisitOverloadExpr(OverloadExpr *E) { 132667295d05c50ab0b5d1b0f9ef82a906701c348715Nate Begeman return CGF.EmitCallExpr(E->getFn(), E->arg_begin(), 13275549976193e34417d4474a5f4a514268ef6666c7Ted Kremenek E->arg_end(CGF.getContext())).getScalarVal(); 1328e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman} 1329e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman 13302202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 13314fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 13327c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 1333ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 1334ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 1335ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // If EmitVAArg fails, we fall back to the LLVM instruction. 1336ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (!ArgPtr) 1337ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateVAArg(ArgValue, ConvertType(VE->getType())); 1338ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 1339ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // FIXME: volatile? 1340ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateLoad(ArgPtr); 13417c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson} 13427c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 13432202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitObjCEncodeExpr(const ObjCEncodeExpr *E) { 134485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson std::string str; 13450d504c1da852e58ff802545c823ecff3b6c654b8Daniel Dunbar CGF.getContext().getObjCEncodingForType(E->getEncodedType(), str); 134685f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 134785f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *C = llvm::ConstantArray::get(str); 134885f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C = new llvm::GlobalVariable(C->getType(), true, 134985f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::GlobalValue::InternalLinkage, 135085f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C, ".str", &CGF.CGM.getModule()); 135185f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty); 135285f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *Zeros[] = { Zero, Zero }; 135385f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2); 135485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 135585f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson return C; 135685f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson} 135785f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 13587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 13597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Entry Point into this File 13607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 13617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// EmitComplexExpr - Emit the computation of the specified expression of 13637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// complex type, ignoring the result. 13647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *CodeGenFunction::EmitScalarExpr(const Expr *E) { 13657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E && !hasAggregateLLVMType(E->getType()) && 13667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Invalid scalar expression to emit"); 13677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return ScalarExprEmitter(*this).Visit(const_cast<Expr*>(E)); 13697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13703707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 13713707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 13723707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 13734f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitScalarConversion(Value *Src, QualType SrcTy, 13744f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 13753707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(!hasAggregateLLVMType(SrcTy) && !hasAggregateLLVMType(DstTy) && 13763707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner "Invalid scalar expression to emit"); 13773707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return ScalarExprEmitter(*this).EmitScalarConversion(Src, SrcTy, DstTy); 13783707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 13794f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 13804f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 13814f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 13824f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 13834f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitComplexToScalarConversion(ComplexPairTy Src, 13844f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, 13854f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 13869b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(SrcTy->isAnyComplexType() && !hasAggregateLLVMType(DstTy) && 13874f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner "Invalid complex -> scalar conversion"); 13884f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return ScalarExprEmitter(*this).EmitComplexToScalarConversion(Src, SrcTy, 13894f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner DstTy); 13904f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 1391cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1392cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders CarlssonValue *CodeGenFunction::EmitShuffleVector(Value* V1, Value *V2, ...) { 1393cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(V1->getType() == V2->getType() && 1394cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector operands must be of the same type"); 1395cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson unsigned NumElements = 1396cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson cast<llvm::VectorType>(V1->getType())->getNumElements(); 1397cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1398cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_list va; 1399cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_start(va, V2); 1400cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1401cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::SmallVector<llvm::Constant*, 16> Args; 1402cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson for (unsigned i = 0; i < NumElements; i++) { 1403cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson int n = va_arg(va, int); 1404cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(n >= 0 && n < (int)NumElements * 2 && 1405cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector shuffle index out of bounds!"); 1406cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson Args.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, n)); 1407cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson } 1408cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1409cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson const char *Name = va_arg(va, const char *); 1410cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_end(va); 1411cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1412cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 1413cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1414cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson return Builder.CreateShuffleVector(V1, V2, Mask, Name); 1415cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson} 1416cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 14176086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlssonllvm::Value *CodeGenFunction::EmitVector(llvm::Value * const *Vals, 1418345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner unsigned NumVals, bool isSplat) { 14196086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Vec 1420345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner = llvm::UndefValue::get(llvm::VectorType::get(Vals[0]->getType(), NumVals)); 14216086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 1422345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner for (unsigned i = 0, e = NumVals; i != e; ++i) { 14234119d1aeca8016654d381ce079864058d1709571Nate Begeman llvm::Value *Val = isSplat ? Vals[0] : Vals[i]; 14246086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 14254119d1aeca8016654d381ce079864058d1709571Nate Begeman Vec = Builder.CreateInsertElement(Vec, Val, Idx, "tmp"); 14266086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson } 14276086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 14286086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson return Vec; 14296086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson} 1430