CGExprScalar.cpp revision 60e282cc1e508be327b0481cecedc206873cb86a
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" 1819cc4abea06a9b49e0e16a50d335c064cd723572Anders Carlsson#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" 252add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump#include "llvm/Module.h" 267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Support/Compiler.h" 27f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner#include "llvm/Support/CFG.h" 284e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump#include "llvm/Target/TargetData.h" 29c89bf69c9289d2b2305f2c267daacc7312391898Chris Lattner#include <cstdarg> 306aad91a43e26118c824d976661077819265d9bc0Ted Kremenek 317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace clang; 327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace CodeGen; 337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing llvm::Value; 347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Scalar Expression Emitter 377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerstruct BinOpInfo { 407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS; 417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS; 421f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType Ty; // Computation Type. 437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const BinaryOperator *E; 447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnernamespace { 477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerclass VISIBILITY_HIDDEN ScalarExprEmitter 487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner : public StmtVisitor<ScalarExprEmitter, Value*> { 497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction &CGF; 5045d196b8387dcefc4df26cda114fa34c6528e928Daniel Dunbar CGBuilderTy &Builder; 517f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreResultAssign; 52a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::LLVMContext &VMContext; 537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerpublic: 547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 557f79f9be5916c51c35da4f126b7c12596a101607Mike Stump ScalarExprEmitter(CodeGenFunction &cgf, bool ira=false) 56a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson : CGF(cgf), Builder(CGF.Builder), IgnoreResultAssign(ira), 57a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext(cgf.getLLVMContext()) { 587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Utilities 627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 647f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool TestAndClearIgnoreResultAssign() { 659c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner bool I = IgnoreResultAssign; 669c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner IgnoreResultAssign = false; 679c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner return I; 689c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner } 697f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const llvm::Type *ConvertType(QualType T) { return CGF.ConvertType(T); } 717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue EmitLValue(const Expr *E) { return CGF.EmitLValue(E); } 727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(LValue LV, QualType T) { 749b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitLoadOfLValue(LV, T).getScalarVal(); 757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// EmitLoadOfLValue - Given an expression with complex type that represents a 787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// value l-value, this method emits the address of the l-value, then loads 797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// and returns the result. 807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(const Expr *E) { 817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(EmitLValue(E), E->getType()); 827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 849abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner /// EmitConversionToBool - Convert the specified expression value to a 853420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner /// boolean (i1) truth value. This is equivalent to "Val != 0". 869abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *EmitConversionToBool(Value *Src, QualType DstTy); 879abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 883707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// EmitScalarConversion - Emit a conversion from the specified type to the 893707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// specified destination type, both of which are LLVM scalar types. 904f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitScalarConversion(Value *Src, QualType SrcTy, QualType DstTy); 914f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 924f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// EmitComplexToScalarConversion - Emit a conversion from the specified 934f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// complex type to the specified destination type, where the destination 944f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// type is an LLVM scalar type. 954f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 964f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy); 97df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump 987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Visitor Methods 1007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 1017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStmt(Stmt *S) { 1037a9d49fd2bfac00e905b361ba76d26ab5b6c3b09Ted Kremenek S->dump(CGF.getContext().getSourceManager()); 1047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(0 && "Stmt can't have complex result type!"); 1057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 1067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitExpr(Expr *S); 1087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr()); } 1097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Leaves. 1117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitIntegerLiteral(const IntegerLiteral *E) { 1124a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(VMContext, E->getValue()); 1137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitFloatingLiteral(const FloatingLiteral *E) { 115bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson return llvm::ConstantFP::get(VMContext, E->getValue()); 1167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCharacterLiteral(const CharacterLiteral *E) { 1184a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 119e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman } 120e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman Value *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) { 1214a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 1227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1237267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis Value *VisitCXXZeroInitValueExpr(const CXXZeroInitValueExpr *E) { 124c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1257267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis } 1263f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson Value *VisitGNUNullExpr(const GNUNullExpr *E) { 127c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1283f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson } 1297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitTypesCompatibleExpr(const TypesCompatibleExpr *E) { 1304a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), 131ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff CGF.getContext().typesAreCompatible( 132ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff E->getArgType1(), E->getArgType2())); 1337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1340518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl Value *VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E); 1350ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Value *VisitAddrLabelExpr(const AddrLabelExpr *E) { 13654d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar llvm::Value *V = 1370032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(CGF.getLLVMContext()), 13854d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar CGF.GetIDForAddrOfLabel(E->getLabel())); 13954d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar 14054d19091a809d30a5e6e352fda53377d69ebda66Daniel Dunbar return Builder.CreateIntToPtr(V, ConvertType(E->getType())); 1410ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 1427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // l-values. 1447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitDeclRefExpr(DeclRefExpr *E) { 1457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(E->getDecl())) 1464a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(VMContext, EC->getInitVal()); 1477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 1487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1499c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCSelectorExpr(ObjCSelectorExpr *E) { 1509c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCSelectorExpr(E); 1519c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1529c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCProtocolExpr(ObjCProtocolExpr *E) { 1539c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCProtocolExpr(E); 1549c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1559c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 1569c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return EmitLoadOfLValue(E); 1579c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1580a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar Value *VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 15985c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar return EmitLoadOfLValue(E); 1609c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 16143f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian Value *VisitObjCKVCRefExpr(ObjCKVCRefExpr *E) { 16243f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian return EmitLoadOfLValue(E); 16343f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 1649c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCMessageExpr(ObjCMessageExpr *E) { 1659c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCMessageExpr(E).getScalarVal(); 1660a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar } 1670a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar 1687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitArraySubscriptExpr(ArraySubscriptExpr *E); 169d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value *VisitShuffleVectorExpr(ShuffleVectorExpr *E); 1707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitMemberExpr(Expr *E) { return EmitLoadOfLValue(E); } 171213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman Value *VisitExtVectorElementExpr(Expr *E) { return EmitLoadOfLValue(E); } 172be20bb558cae5352898e6a913e29d24d20134841Chris Lattner Value *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 173be20bb558cae5352898e6a913e29d24d20134841Chris Lattner return EmitLoadOfLValue(E); 174be20bb558cae5352898e6a913e29d24d20134841Chris Lattner } 1757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStringLiteral(Expr *E) { return EmitLValue(E).getAddress(); } 176eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner Value *VisitObjCEncodeExpr(const ObjCEncodeExpr *E) { 177eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner return EmitLValue(E).getAddress(); 178eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner } 179eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner 180d9f6910f4ef37c0e8eeee2a01287d9572c3176efChris Lattner Value *VisitPredefinedExpr(Expr *E) { return EmitLValue(E).getAddress(); } 18135634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 18235634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel Value *VisitInitListExpr(InitListExpr *E) { 1837f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool Ignore = TestAndClearIgnoreResultAssign(); 1847f79f9be5916c51c35da4f126b7c12596a101607Mike Stump (void)Ignore; 1857f79f9be5916c51c35da4f126b7c12596a101607Mike Stump assert (Ignore == false && "init list ignored"); 1867019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumInitElements = E->getNumInits(); 1877019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 188a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor if (E->hadArrayRangeDesignator()) { 189a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor CGF.ErrorUnsupported(E, "GNU array range designator extension"); 190a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor } 191a9c878086036de36482cc21e35a33cabe9699b0aDouglas Gregor 1927019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::VectorType *VType = 193f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson dyn_cast<llvm::VectorType>(ConvertType(E->getType())); 194f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson 195f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson // We have a scalar in braces. Just use the first element. 196f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson if (!VType) 197f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson return Visit(E->getInit(0)); 1987019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1997019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumVectorElements = VType->getNumElements(); 2007019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::Type *ElementType = VType->getElementType(); 2017019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 2027019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit individual vector element stores. 20303e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson llvm::Value *V = llvm::UndefValue::get(VType); 2047019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 205222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson // Emit initializers 206222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson unsigned i; 207222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson for (i = 0; i < NumInitElements; ++i) { 208a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel Value *NewV = Visit(E->getInit(i)); 2090032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *Idx = 2100032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(CGF.getLLVMContext()), i); 211a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel V = Builder.CreateInsertElement(V, NewV, Idx); 21235634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 2137019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 2147019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit remaining default initializers 2157019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson for (/* Do not initialize i*/; i < NumVectorElements; ++i) { 2160032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *Idx = 2170032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(CGF.getLLVMContext()), i); 218c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Value *NewV = llvm::Constant::getNullValue(ElementType); 2197019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson V = Builder.CreateInsertElement(V, NewV, Idx); 2207019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson } 2217019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 222a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel return V; 22335634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 22404421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner 2253498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor Value *VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E) { 226c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 2273498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor } 2287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitImplicitCastExpr(const ImplicitCastExpr *E); 229c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman Value *VisitCastExpr(const CastExpr *E) { 230c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman // Make sure to evaluate VLA bounds now so that we have them for later. 231c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman if (E->getType()->isVariablyModifiedType()) 232c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman CGF.EmitVLASize(E->getType()); 233c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman 2347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(E->getSubExpr(), E->getType()); 2357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCastExpr(const Expr *E, QualType T); 2377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCallExpr(const CallExpr *E) { 239e9f2f45fe9bf79bd4aea47fa1ad9204b68510fd9Anders Carlsson if (E->getCallReturnType()->isReferenceType()) 240e9f2f45fe9bf79bd4aea47fa1ad9204b68510fd9Anders Carlsson return EmitLoadOfLValue(E); 241e9f2f45fe9bf79bd4aea47fa1ad9204b68510fd9Anders Carlsson 2429b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitCallExpr(E).getScalarVal(); 2437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2448f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar 2453379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner Value *VisitStmtExpr(const StmtExpr *E); 2464e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump 247a99038c0757a836c6faeeddaa5dfd249b32f6e9eMike Stump Value *VisitBlockDeclRefExpr(const BlockDeclRefExpr *E); 2483379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 2497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Unary Operators. 2507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitPrePostIncDec(const UnaryOperator *E, bool isInc, bool isPre); 2517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostDec(const UnaryOperator *E) { 2527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, false); 2537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostInc(const UnaryOperator *E) { 2557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, false); 2567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreDec(const UnaryOperator *E) { 2587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, true); 2597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreInc(const UnaryOperator *E) { 2617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, true); 2627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryAddrOf(const UnaryOperator *E) { 2647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLValue(E->getSubExpr()).getAddress(); 2657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 2677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPlus(const UnaryOperator *E) { 2687f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // This differs from gcc, though, most likely due to a bug in gcc. 2697f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 2707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryMinus (const UnaryOperator *E); 2737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryNot (const UnaryOperator *E); 2747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryLNot (const UnaryOperator *E); 27546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryReal (const UnaryOperator *E); 27646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryImag (const UnaryOperator *E); 2777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryExtension(const UnaryOperator *E) { 2787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2805a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson Value *VisitUnaryOffsetOf(const UnaryOperator *E); 2815f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson 2825f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson // C++ 28304421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner Value *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 28404421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner return Visit(DAE->getExpr()); 28504421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner } 2865f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson Value *VisitCXXThisExpr(CXXThisExpr *TE) { 2875f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson return CGF.LoadCXXThis(); 2885f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson } 2895a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson 2907f6ad153565245026c7569314f65a4d4ff4ac41fAnders Carlsson Value *VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E) { 2913082463f4f387b725f4e4bf7d7b46269d445e4f5Anders Carlsson return CGF.EmitCXXExprWithTemporaries(E).getScalarVal(); 2927f6ad153565245026c7569314f65a4d4ff4ac41fAnders Carlsson } 293a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson Value *VisitCXXNewExpr(const CXXNewExpr *E) { 294a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson return CGF.EmitCXXNewExpr(E); 295a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson } 29660e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson Value *VisitCXXDeleteExpr(const CXXDeleteExpr *E) { 29760e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson CGF.EmitCXXDeleteExpr(E); 29860e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson return 0; 29960e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson } 3007f6ad153565245026c7569314f65a4d4ff4ac41fAnders Carlsson 3017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Binary Operators. 3027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitMul(const BinOpInfo &Ops) { 303035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump if (CGF.getContext().getLangOptions().OverflowChecking 304035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump && Ops.Ty->isSignedIntegerType()) 3052add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 30687415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 30787415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFMul(Ops.LHS, Ops.RHS, "mul"); 3087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 3097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3102add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump /// Create a binary op that checks for overflow. 3112add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump /// Currently only supports +, - and *. 3122add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *EmitOverflowCheckedBinOp(const BinOpInfo &Ops); 3137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitDiv(const BinOpInfo &Ops); 3147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitRem(const BinOpInfo &Ops); 3157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAdd(const BinOpInfo &Ops); 3167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitSub(const BinOpInfo &Ops); 3177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShl(const BinOpInfo &Ops); 3187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShr(const BinOpInfo &Ops); 3197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAnd(const BinOpInfo &Ops) { 3207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAnd(Ops.LHS, Ops.RHS, "and"); 3217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitXor(const BinOpInfo &Ops) { 3237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateXor(Ops.LHS, Ops.RHS, "xor"); 3247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitOr (const BinOpInfo &Ops) { 3267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateOr(Ops.LHS, Ops.RHS, "or"); 3277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3291f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 3303ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *EmitCompoundAssign(const CompoundAssignOperator *E, 3311f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*F)(const BinOpInfo &)); 3321f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 3331f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Binary operators and binary compound assignment operators. 3341f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#define HANDLEBINOP(OP) \ 3353ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP(const BinaryOperator *E) { \ 3363ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return Emit ## OP(EmitBinOps(E)); \ 3373ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner } \ 3383ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP ## Assign(const CompoundAssignOperator *E) { \ 3393ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return EmitCompoundAssign(E, &ScalarExprEmitter::Emit ## OP); \ 3401f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 3411f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Mul); 3421f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Div); 3431f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Rem); 3441f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Add); 3458c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar HANDLEBINOP(Sub); 3461f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shl); 3471f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shr); 3481f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(And); 3491f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Xor); 3501f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Or); 3511f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#undef HANDLEBINOP 3528c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 3537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Comparisons. 3547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCompare(const BinaryOperator *E, unsigned UICmpOpc, 3557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc); 3567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#define VISITCOMP(CODE, UI, SI, FP) \ 3577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBin##CODE(const BinaryOperator *E) { \ 3587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCompare(E, llvm::ICmpInst::UI, llvm::ICmpInst::SI, \ 3597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::FCmpInst::FP); } 3607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LT, ICMP_ULT, ICMP_SLT, FCMP_OLT); 3617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GT, ICMP_UGT, ICMP_SGT, FCMP_OGT); 3627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LE, ICMP_ULE, ICMP_SLE, FCMP_OLE); 3637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GE, ICMP_UGE, ICMP_SGE, FCMP_OGE); 3647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(EQ, ICMP_EQ , ICMP_EQ , FCMP_OEQ); 3657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(NE, ICMP_NE , ICMP_NE , FCMP_UNE); 3667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#undef VISITCOMP 3677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinAssign (const BinaryOperator *E); 3697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLAnd (const BinaryOperator *E); 3717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLOr (const BinaryOperator *E); 3727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinComma (const BinaryOperator *E); 3737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Other Operators. 375df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump Value *VisitBlockExpr(const BlockExpr *BE); 3767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitConditionalOperator(const ConditionalOperator *CO); 3777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitChooseExpr(ChooseExpr *CE); 3787c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson Value *VisitVAArgExpr(VAArgExpr *VE); 3797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitObjCStringLiteral(const ObjCStringLiteral *E) { 3807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return CGF.EmitObjCStringLiteral(E); 3817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 3837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} // end anonymous namespace. 3847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Utilities 3877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3899abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner/// EmitConversionToBool - Convert the specified expression value to a 3903420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner/// boolean (i1) truth value. This is equivalent to "Val != 0". 3919abc84e7ac4db891209fe67cc3a8c9690dc886efChris LattnerValue *ScalarExprEmitter::EmitConversionToBool(Value *Src, QualType SrcType) { 3929abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner assert(SrcType->isCanonical() && "EmitScalarConversion strips typedefs"); 3939abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3949abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (SrcType->isRealFloatingType()) { 3959abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against 0.0 for fp scalars. 396c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3979abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateFCmpUNE(Src, Zero, "tobool"); 3989abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3999abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 400237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson if (SrcType->isMemberPointerType()) { 401237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson // FIXME: This is ABI specific. 402237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson 403237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson // Compare against -1. 404237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson llvm::Value *NegativeOne = llvm::Constant::getAllOnesValue(Src->getType()); 405237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson return Builder.CreateICmpNE(Src, NegativeOne, "tobool"); 406237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson } 407237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson 408d1d66bcd6914ff82abdfa88dd25bb0b74cde3b99Daniel Dunbar assert((SrcType->isIntegerType() || isa<llvm::PointerType>(Src->getType())) && 4099abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner "Unknown scalar type to convert"); 4109abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 4119abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Because of the type rules of C, we often end up computing a logical value, 4129abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // then zero extending it to int, then wanting it as a logical value again. 4139abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Optimize this common case. 4149abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (llvm::ZExtInst *ZI = dyn_cast<llvm::ZExtInst>(Src)) { 4150032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson if (ZI->getOperand(0)->getType() == 4160032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt1Ty(CGF.getLLVMContext())) { 4179abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *Result = ZI->getOperand(0); 418356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // If there aren't any more uses, zap the instruction to save space. 419356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // Note that there can be more uses, for example if this 420356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // is the result of an assignment. 421356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman if (ZI->use_empty()) 422356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman ZI->eraseFromParent(); 4239abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Result; 4249abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 4259abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 4269abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 4279abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against an integer or pointer null. 428c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 4299abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateICmpNE(Src, Zero, "tobool"); 4309abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner} 4319abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 4323707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 4333707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 4344f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, 4354f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstType) { 4369619662a1d42e2008b865d3459c0677e149dad1bChris Lattner SrcType = CGF.getContext().getCanonicalType(SrcType); 4379619662a1d42e2008b865d3459c0677e149dad1bChris Lattner DstType = CGF.getContext().getCanonicalType(DstType); 4383707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (SrcType == DstType) return Src; 439cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner 440cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner if (DstType->isVoidType()) return 0; 4410032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson 4420032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::LLVMContext &VMContext = CGF.getLLVMContext(); 4433707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4443707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 445ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstType->isBooleanType()) 446ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return EmitConversionToBool(Src, SrcType); 4473707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4483707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner const llvm::Type *DstTy = ConvertType(DstType); 4493707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4503707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Ignore conversions like int -> uint. 4513707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (Src->getType() == DstTy) 4523707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Src; 4533707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 454270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // Handle pointer conversions next: pointers can only be converted 455270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // to/from other pointers and integers. Check for pointer types in 456270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // terms of LLVM, as some native types (like Obj-C id) may map to a 457270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar // pointer type. 458270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(DstTy)) { 4593707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // The source value may be an integer, or a pointer. 460fa9f8b4cf962d865c4b430a25aca2fb5faa84337Fariborz Jahanian if (isa<llvm::PointerType>(Src->getType())) { 461fa9f8b4cf962d865c4b430a25aca2fb5faa84337Fariborz Jahanian // Some heavy lifting for derived to base conversion. 462a91d6a6619a91d0ca7102d8ab5678d855f04d850Fariborz Jahanian if (const CXXRecordDecl *ClassDecl = 463a91d6a6619a91d0ca7102d8ab5678d855f04d850Fariborz Jahanian SrcType->getCXXRecordDeclForPointerType()) 464a91d6a6619a91d0ca7102d8ab5678d855f04d850Fariborz Jahanian if (const CXXRecordDecl *BaseClassDecl = 465a91d6a6619a91d0ca7102d8ab5678d855f04d850Fariborz Jahanian DstType->getCXXRecordDeclForPointerType()) 466a91d6a6619a91d0ca7102d8ab5678d855f04d850Fariborz Jahanian Src = CGF.AddressCXXOfBaseClass(Src, ClassDecl, BaseClassDecl); 4673707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateBitCast(Src, DstTy, "conv"); 468fa9f8b4cf962d865c4b430a25aca2fb5faa84337Fariborz Jahanian } 4693707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?"); 47025615424741bcce31fe52c896f76268f0307f00dEli Friedman // First, convert to the correct width so that we control the kind of 47125615424741bcce31fe52c896f76268f0307f00dEli Friedman // extension. 4720032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *MiddleTy = 4730032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 47425615424741bcce31fe52c896f76268f0307f00dEli Friedman bool InputSigned = SrcType->isSignedIntegerType(); 47525615424741bcce31fe52c896f76268f0307f00dEli Friedman llvm::Value* IntResult = 47625615424741bcce31fe52c896f76268f0307f00dEli Friedman Builder.CreateIntCast(Src, MiddleTy, InputSigned, "conv"); 47725615424741bcce31fe52c896f76268f0307f00dEli Friedman // Then, cast to pointer. 47825615424741bcce31fe52c896f76268f0307f00dEli Friedman return Builder.CreateIntToPtr(IntResult, DstTy, "conv"); 4793707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4803707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 481270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(Src->getType())) { 4823707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Must be an ptr to int cast. 4833707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?"); 48450b5a30db40322880340e957ad7d6d8d60bb4c5bAnders Carlsson return Builder.CreatePtrToInt(Src, DstTy, "conv"); 4853707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4863707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 487213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman // A scalar can be splatted to an extended vector of the same element type 4882ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman if (DstType->isExtVectorType() && !SrcType->isVectorType()) { 4896fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Cast the scalar to element type 4906fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman QualType EltTy = DstType->getAsExtVectorType()->getElementType(); 4916fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Elt = EmitScalarConversion(Src, SrcType, EltTy); 4926fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4936fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Insert the element in element zero of an undef vector 49403e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson llvm::Value *UnV = llvm::UndefValue::get(DstTy); 4950032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Idx = 4960032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0); 4976fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman UnV = Builder.CreateInsertElement(UnV, Elt, Idx, "tmp"); 4986fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4996fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Splat the element across to all elements 5006fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::SmallVector<llvm::Constant*, 16> Args; 5016fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 5026fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman for (unsigned i = 0; i < NumElements; i++) 5030032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Args.push_back(llvm::ConstantInt::get( 5040032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), 0)); 5056fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 5064a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 5076fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Yay = Builder.CreateShuffleVector(UnV, UnV, Mask, "splat"); 5086fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman return Yay; 5096fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman } 5104119d1aeca8016654d381ce079864058d1709571Nate Begeman 5113b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner // Allow bitcast from vector to integer/fp of the same size. 5127019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson if (isa<llvm::VectorType>(Src->getType()) || 5133b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner isa<llvm::VectorType>(DstTy)) 5147019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson return Builder.CreateBitCast(Src, DstTy, "conv"); 5157019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 5163707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Finally, we have the arithmetic types: real int/float. 5173707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(Src->getType())) { 5183707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner bool InputSigned = SrcType->isSignedIntegerType(); 519b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (isa<llvm::IntegerType>(DstTy)) 520b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 521b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else if (InputSigned) 522b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateSIToFP(Src, DstTy, "conv"); 523b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 524b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateUIToFP(Src, DstTy, "conv"); 5253707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 5263707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5273707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(Src->getType()->isFloatingPoint() && "Unknown real conversion"); 5283707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(DstTy)) { 529b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstType->isSignedIntegerType()) 530b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToSI(Src, DstTy, "conv"); 531b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 532b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToUI(Src, DstTy, "conv"); 5333707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 5343707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5353707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(DstTy->isFloatingPoint() && "Unknown real conversion"); 536b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstTy->getTypeID() < Src->getType()->getTypeID()) 537b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPTrunc(Src, DstTy, "conv"); 538b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 539b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPExt(Src, DstTy, "conv"); 5403707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 5413707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5424f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 5434f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 5444f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 5454f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter:: 5464f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerEmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 5474f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy) { 548ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Get the source element type. 5499619662a1d42e2008b865d3459c0677e149dad1bChris Lattner SrcTy = SrcTy->getAsComplexType()->getElementType(); 550ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 551ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 552ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstTy->isBooleanType()) { 553ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Complex != 0 -> (Real != 0) | (Imag != 0) 554ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.first = EmitScalarConversion(Src.first, SrcTy, DstTy); 555ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.second = EmitScalarConversion(Src.second, SrcTy, DstTy); 556ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return Builder.CreateOr(Src.first, Src.second, "tobool"); 557ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner } 558ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 5594f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // C99 6.3.1.7p2: "When a value of complex type is converted to a real type, 5604f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // the imaginary part of the complex value is discarded and the value of the 5614f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // real part is converted according to the conversion rules for the 5624f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // corresponding real type. 5634f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return EmitScalarConversion(Src.first, SrcTy, DstTy); 5644f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 5654f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 5664f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 5677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Visitor Methods 5697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitExpr(Expr *E) { 572488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar CGF.ErrorUnsupported(E, "scalar expression"); 5737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getType()->isVoidType()) 5747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 57503e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 5767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 578d38617c8a50f9729c254ab76cd359af797c6739bEli FriedmanValue *ScalarExprEmitter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) { 579d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman llvm::SmallVector<llvm::Constant*, 32> indices; 580d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman for (unsigned i = 2; i < E->getNumSubExprs(); i++) { 581d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman indices.push_back(cast<llvm::Constant>(CGF.EmitScalarExpr(E->getExpr(i)))); 582d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman } 583d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V1 = CGF.EmitScalarExpr(E->getExpr(0)); 584d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V2 = CGF.EmitScalarExpr(E->getExpr(1)); 5854a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson Value* SV = llvm::ConstantVector::get(indices.begin(), indices.size()); 586d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman return Builder.CreateShuffleVector(V1, V2, SV, "shuffle"); 587d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman} 588d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman 5897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 5907f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 5917f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 5927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit subscript expressions in rvalue context's. For most cases, this just 5937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // loads the lvalue formed by the subscript expr. However, we have to be 5947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // careful, because the base of a vector subscript is occasionally an rvalue, 5957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // so we can't get it as an lvalue. 5967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!E->getBase()->getType()->isVectorType()) 5977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 5987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the vector case. The base must be a vector, the index must be an 6007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // integer value. 6017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Base = Visit(E->getBase()); 6027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Idx = Visit(E->getIdx()); 603daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman bool IdxSigned = E->getIdx()->getType()->isSignedIntegerType(); 6040032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Idx = Builder.CreateIntCast(Idx, 6050032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(CGF.getLLVMContext()), 6060032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson IdxSigned, 607515ff5a31d75df9f4f099458a31cd7a405cf513dEli Friedman "vecidxcast"); 6087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateExtractElement(Base, Idx, "vecext"); 6097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// VisitImplicitCastExpr - Implicit casts are the same as normal casts, but 6127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// also handle things like function to pointer-to-function decay, and array to 6137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// pointer decay. 6147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitImplicitCastExpr(const ImplicitCastExpr *E) { 6157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const Expr *Op = E->getSubExpr(); 6167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is due to array->pointer conversion, emit the array expression as 6187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // an l-value. 6197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Op->getType()->isArrayType()) { 620112a0a8ddf23f6d25e0920002d5d4c1df0515f86Anders Carlsson assert(E->getCastKind() == CastExpr::CK_ArrayToPointerDecay); 6214f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *V = EmitLValue(Op).getAddress(); // Bitfields can't be arrays. 6228f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman 623daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // Note that VLA pointers are always decayed, so we don't need to do 624daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // anything here. 6258f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman if (!Op->getType()->isVariableArrayType()) { 6268f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman assert(isa<llvm::PointerType>(V->getType()) && "Expected pointer"); 6278f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman assert(isa<llvm::ArrayType>(cast<llvm::PointerType>(V->getType()) 6288f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman ->getElementType()) && 6298f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman "Expected pointer to array"); 6308f39f5e96ce4a5f401f431f61db7df1cf05dce6fEli Friedman V = Builder.CreateStructGEP(V, 0, "arraydecay"); 631662174c82ef46b19a2329c7d37208e1d12dfb7b3Daniel Dunbar } 632a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner 633a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner // The resultant pointer type can be implicitly casted to other pointer 634f31627f676374812d0355d7e34fd2e940b400757Chris Lattner // types as well (e.g. void*) and can be implicitly converted to integer. 635f31627f676374812d0355d7e34fd2e940b400757Chris Lattner const llvm::Type *DestTy = ConvertType(E->getType()); 636f31627f676374812d0355d7e34fd2e940b400757Chris Lattner if (V->getType() != DestTy) { 637f31627f676374812d0355d7e34fd2e940b400757Chris Lattner if (isa<llvm::PointerType>(DestTy)) 638f31627f676374812d0355d7e34fd2e940b400757Chris Lattner V = Builder.CreateBitCast(V, DestTy, "ptrconv"); 639f31627f676374812d0355d7e34fd2e940b400757Chris Lattner else { 640f31627f676374812d0355d7e34fd2e940b400757Chris Lattner assert(isa<llvm::IntegerType>(DestTy) && "Unknown array decay"); 641f31627f676374812d0355d7e34fd2e940b400757Chris Lattner V = Builder.CreatePtrToInt(V, DestTy, "ptrconv"); 642f31627f676374812d0355d7e34fd2e940b400757Chris Lattner } 643f31627f676374812d0355d7e34fd2e940b400757Chris Lattner } 644a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner return V; 6457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 646daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 6477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(Op, E->getType()); 6487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// VisitCastExpr - Emit code for an explicit or implicit cast. Implicit casts 6527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// have to handle a more broad range of conversions than explicit casts, as they 6537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// handle things like function to ptr-to-function decay etc. 6547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCastExpr(const Expr *E, QualType DestTy) { 6557f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (!DestTy->isVoidType()) 6567f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 6577f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 65858a2e944faa16f1f61439acd2e71b19f50189511Chris Lattner // Handle cases where the source is an non-complex type. 65919a1d7c646729eb858b15583e647262a22de3637Chris Lattner 66019a1d7c646729eb858b15583e647262a22de3637Chris Lattner if (!CGF.hasAggregateLLVMType(E->getType())) { 6613707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner Value *Src = Visit(const_cast<Expr*>(E)); 6623707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 6633707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Use EmitScalarConversion to perform the conversion. 6643707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return EmitScalarConversion(Src, E->getType(), DestTy); 6653707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 66619a1d7c646729eb858b15583e647262a22de3637Chris Lattner 6679b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (E->getType()->isAnyComplexType()) { 66819a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Handle cases where the source is a complex type. 6697f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreImag = true; 6707f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreImagAssign = true; 6717f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreReal = IgnoreResultAssign; 6727f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreRealAssign = IgnoreResultAssign; 6737f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (DestTy->isBooleanType()) 6747f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreImagAssign = IgnoreImag = false; 6757f79f9be5916c51c35da4f126b7c12596a101607Mike Stump else if (DestTy->isVoidType()) { 6767f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreReal = IgnoreImag = false; 6777f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreRealAssign = IgnoreImagAssign = true; 6787f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } 6797f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CodeGenFunction::ComplexPairTy V 6807f79f9be5916c51c35da4f126b7c12596a101607Mike Stump = CGF.EmitComplexExpr(E, IgnoreReal, IgnoreImag, IgnoreRealAssign, 6817f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreImagAssign); 6827f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitComplexToScalarConversion(V, E->getType(), DestTy); 68319a1d7c646729eb858b15583e647262a22de3637Chris Lattner } 68410b00cfe6422906b223724048b9b2123968d3baaChris Lattner 68519a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Okay, this is a cast from an aggregate. It must be a cast to void. Just 68619a1d7c646729eb858b15583e647262a22de3637Chris Lattner // evaluate the result and return. 6877f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitAggExpr(E, 0, false, true); 68819a1d7c646729eb858b15583e647262a22de3637Chris Lattner return 0; 6897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6913379320c10001d7e1ee5d7e7142c417f797cfe82Chris LattnerValue *ScalarExprEmitter::VisitStmtExpr(const StmtExpr *E) { 69291d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner return CGF.EmitCompoundStmt(*E->getSubStmt(), 69391d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner !E->getType()->isVoidType()).getScalarVal(); 6943379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner} 6953379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 696a99038c0757a836c6faeeddaa5dfd249b32f6e9eMike StumpValue *ScalarExprEmitter::VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) { 697a99038c0757a836c6faeeddaa5dfd249b32f6e9eMike Stump return Builder.CreateLoad(CGF.GetAddrOfBlockDecl(E), false, "tmp"); 6984e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump} 6993379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 7007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 7017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Unary Operators 7027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 7037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitPrePostIncDec(const UnaryOperator *E, 705dfce2a51a78455c915722bc05f07c41e600220c9Chris Lattner bool isInc, bool isPre) { 7067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LV = EmitLValue(E->getSubExpr()); 707f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman QualType ValTy = E->getSubExpr()->getType(); 708f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman Value *InVal = CGF.EmitLoadOfLValue(LV, ValTy).getScalarVal(); 7090032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson 7100032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::LLVMContext &VMContext = CGF.getLLVMContext(); 7117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner int AmountVal = isInc ? 1 : -1; 713daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 714daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman if (ValTy->isPointerType() && 7156217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek ValTy->getAs<PointerType>()->isVariableArrayType()) { 716daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition/subtraction needs to account for the VLA size 717daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(E, "VLA pointer inc/dec"); 718daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 719daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 7207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *NextVal; 7218cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner if (const llvm::PointerType *PT = 7228cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner dyn_cast<llvm::PointerType>(InVal->getType())) { 723a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *Inc = 7240032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), AmountVal); 7258cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner if (!isa<llvm::FunctionType>(PT->getElementType())) { 72662a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian QualType PTEE = ValTy->getPointeeType(); 72762a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian if (const ObjCInterfaceType *OIT = 72862a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian dyn_cast<ObjCInterfaceType>(PTEE)) { 72962a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian // Handle interface types, which are not represented with a concrete type. 73062a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian int size = CGF.getContext().getTypeSize(OIT) / 8; 73162a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian if (!isInc) 73262a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian size = -size; 7334a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Inc = llvm::ConstantInt::get(Inc->getType(), size); 73462a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian const llvm::Type *i8Ty = 7350032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 73662a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian InVal = Builder.CreateBitCast(InVal, i8Ty); 73762a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian NextVal = Builder.CreateGEP(InVal, Inc, "add.ptr"); 73862a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian llvm::Value *lhs = LV.getAddress(); 73996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson lhs = Builder.CreateBitCast(lhs, llvm::PointerType::getUnqual(i8Ty)); 74062a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian LV = LValue::MakeAddr(lhs, ValTy.getCVRQualifiers(), 74162a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian CGF.getContext().getObjCGCAttrKind(ValTy)); 742b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump } else 743664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman NextVal = Builder.CreateInBoundsGEP(InVal, Inc, "ptrincdec"); 7448cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner } else { 745a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson const llvm::Type *i8Ty = 7460032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 7478cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateBitCast(InVal, i8Ty, "tmp"); 7488cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateGEP(NextVal, Inc, "ptrincdec"); 7498cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateBitCast(NextVal, InVal->getType()); 7508cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner } 7510032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson } else if (InVal->getType() == llvm::Type::getInt1Ty(VMContext) && isInc) { 752db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool++ is an interesting case, due to promotion rules, we get: 753db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool++ -> Bool = Bool+1 -> Bool = (int)Bool+1 -> 754db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool = ((int)Bool+1) != 0 755db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // An interesting aspect of this is that increment is always true. 756db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Decrement does not have this property. 7573b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson NextVal = llvm::ConstantInt::getTrue(VMContext); 75887415d2d45224596a96ef02310701797d56b2c19Chris Lattner } else if (isa<llvm::IntegerType>(InVal->getType())) { 7594a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson NextVal = llvm::ConstantInt::get(InVal->getType(), AmountVal); 760bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 761bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman // Signed integer overflow is undefined behavior. 762bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman if (ValTy->isSignedIntegerType()) 763bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman NextVal = Builder.CreateNSWAdd(InVal, NextVal, isInc ? "inc" : "dec"); 764bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman else 765bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman NextVal = Builder.CreateAdd(InVal, NextVal, isInc ? "inc" : "dec"); 766e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } else { 767e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // Add the inc/dec to the real part. 7680032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson if (InVal->getType() == llvm::Type::getFloatTy(VMContext)) 769e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 770bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::ConstantFP::get(VMContext, 771bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::APFloat(static_cast<float>(AmountVal))); 7720032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson else if (InVal->getType() == llvm::Type::getDoubleTy(VMContext)) 773e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 774bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::ConstantFP::get(VMContext, 775bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::APFloat(static_cast<double>(AmountVal))); 77625ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner else { 77725ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner llvm::APFloat F(static_cast<float>(AmountVal)); 778ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen bool ignored; 779ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen F.convert(CGF.Target.getLongDoubleFormat(), llvm::APFloat::rmTowardZero, 780ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen &ignored); 781bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson NextVal = llvm::ConstantFP::get(VMContext, F); 782ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner } 78387415d2d45224596a96ef02310701797d56b2c19Chris Lattner NextVal = Builder.CreateFAdd(InVal, NextVal, isInc ? "inc" : "dec"); 784e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } 7857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Store the updated result through the lvalue. 787f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman if (LV.isBitfield()) 788f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman CGF.EmitStoreThroughBitfieldLValue(RValue::get(NextVal), LV, ValTy, 789f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman &NextVal); 790f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman else 791f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman CGF.EmitStoreThroughLValue(RValue::get(NextVal), LV, ValTy); 7927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is a postinc, return the value read from memory, otherwise use the 7947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // updated value. 7957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return isPre ? NextVal : InVal; 7967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 7977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 8007f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 8017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 80287415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Op->getType()->isFPOrFPVector()) 80387415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFNeg(Op, "neg"); 8047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNeg(Op, "neg"); 8057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 8087f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 8097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 8107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNot(Op, "neg"); 8117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryLNot(const UnaryOperator *E) { 8147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Compare operand to zero. 8157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *BoolVal = CGF.EvaluateExprAsBool(E->getSubExpr()); 8167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Invert value. 8187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // TODO: Could dynamically modify easy computations here. For example, if 8197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // the operand is an icmp ne, turn into icmp eq. 8207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BoolVal = Builder.CreateNot(BoolVal, "lnot"); 8217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8229f84d88a302ea38cf0695ce8cdace47178d2fff4Anders Carlsson // ZExt result to the expr type. 8239f84d88a302ea38cf0695ce8cdace47178d2fff4Anders Carlsson return Builder.CreateZExt(BoolVal, ConvertType(E->getType()), "lnot.ext"); 8247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8260518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// VisitSizeOfAlignOfExpr - Return the size or alignment of the type of 8270518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// argument of the sizeof expression as an integer. 8280518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlValue * 8290518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlScalarExprEmitter::VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E) { 8300518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl QualType TypeToSize = E->getTypeOfArgument(); 831f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isSizeOf()) { 832f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (const VariableArrayType *VAT = 833f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.getContext().getAsVariableArrayType(TypeToSize)) { 834f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isArgumentType()) { 835f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // sizeof(type) - make sure to emit the VLA size. 836f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.EmitVLASize(TypeToSize); 8378f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman } else { 8388f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman // C99 6.5.3.4p2: If the argument is an expression of type 8398f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman // VLA, it is evaluated. 8408f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman CGF.EmitAnyExpr(E->getArgumentExpr()); 841f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman } 8426cd586d2668653501ecd73d53e81cbc76db3a18cAnders Carlsson 84396f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson return CGF.GetVLASize(VAT); 844b50525ba0e996bc072cdb76152fcfe0bc64bb72aAnders Carlsson } 8455d46315ca3cbbfe0d0f5f65520b618fb05dd4446Anders Carlsson } 846f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman 847f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // If this isn't sizeof(vla), the result must be constant; use the 848f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // constant folding logic so we don't have to duplicate it here. 849f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman Expr::EvalResult Result; 850f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman E->Evaluate(Result, CGF.getContext()); 8514a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(VMContext, Result.Val.getInt()); 8527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 85446f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryReal(const UnaryOperator *E) { 85546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 8569b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 8577f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return CGF.EmitComplexExpr(Op, false, true, false, true).first; 85846f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return Visit(Op); 85946f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 86046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryImag(const UnaryOperator *E) { 86146f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 8629b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 8637f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return CGF.EmitComplexExpr(Op, true, false, true, false).second; 86436f8406db837957b24b926fd657af909e1b12665Chris Lattner 8657f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // __imag on a scalar returns zero. Emit the subexpr to ensure side 8667f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // effects are evaluated, but not the actual value. 8677f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (E->isLvalue(CGF.getContext()) == Expr::LV_Valid) 8687f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitLValue(Op); 8697f79f9be5916c51c35da4f126b7c12596a101607Mike Stump else 8707f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitScalarExpr(Op, true); 871c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 87246f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 87346f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 8745a1deb8d9c0722beae28d693fa137bbb942bd11fAnders CarlssonValue *ScalarExprEmitter::VisitUnaryOffsetOf(const UnaryOperator *E) 8755a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson{ 87635183aca180a2b9b2c637cd625a40a7e147d6a32Eli Friedman Value* ResultAsPtr = EmitLValue(E->getSubExpr()).getAddress(); 877769e411b72465a63454cdd416ff26ff313d43505Eli Friedman const llvm::Type* ResultType = ConvertType(E->getType()); 87835183aca180a2b9b2c637cd625a40a7e147d6a32Eli Friedman return Builder.CreatePtrToInt(ResultAsPtr, ResultType, "offsetof"); 8795a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson} 88046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 8817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 8827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Binary Operators 8837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 8847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerBinOpInfo ScalarExprEmitter::EmitBinOps(const BinaryOperator *E) { 8867f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 8877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BinOpInfo Result; 8887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.LHS = Visit(E->getLHS()); 8897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.RHS = Visit(E->getRHS()); 8901f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Result.Ty = E->getType(); 8917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.E = E; 8927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Result; 8937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8953ccf774256382ef9aa95028eaad82f54a3d0b0adChris LattnerValue *ScalarExprEmitter::EmitCompoundAssign(const CompoundAssignOperator *E, 8961f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*Func)(const BinOpInfo &)) { 8977f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool Ignore = TestAndClearIgnoreResultAssign(); 8981f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType(); 8991f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9001f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo OpInfo; 9011f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 902ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman if (E->getComputationResultType()->isAnyComplexType()) { 903daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // This needs to go through the complex expression emitter, but 904ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman // it's a tad complicated to do that... I'm leaving it out for now. 905ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman // (Note that we do actually need the imaginary part of the RHS for 906ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman // multiplication and division.) 907ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman CGF.ErrorUnsupported(E, "complex compound assignment"); 90803e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 9091f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 9108c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 911cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump // Emit the RHS first. __block variables need to have the rhs evaluated 912cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump // first, plus this should improve codegen a little. 913cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.RHS = Visit(E->getRHS()); 914cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.Ty = E->getComputationResultType(); 915cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.E = E; 916ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman // Load/convert the LHS. 917ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman LValue LHSLV = EmitLValue(E->getLHS()); 918ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman OpInfo.LHS = EmitLoadOfLValue(LHSLV, LHSTy); 919ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman OpInfo.LHS = EmitScalarConversion(OpInfo.LHS, LHSTy, 920ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman E->getComputationLHSType()); 9211f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9221f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Expand the binary operator. 9231f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *Result = (this->*Func)(OpInfo); 9241f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9258c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Convert the result back to the LHS type. 926ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman Result = EmitScalarConversion(Result, E->getComputationResultType(), LHSTy); 927ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman 928ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar // Store the result value into the LHS lvalue. Bit-fields are 929371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // handled specially because the result is altered by the store, 930371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // i.e., [C99 6.5.16p1] 'An assignment expression has the value of 931371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // the left operand after the assignment...'. 9327f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (LHSLV.isBitfield()) { 9337f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (!LHSLV.isVolatileQualified()) { 9347f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, LHSTy, 9357f79f9be5916c51c35da4f126b7c12596a101607Mike Stump &Result); 9367f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return Result; 9377f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 9387f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, LHSTy); 9397f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 940ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Result), LHSLV, LHSTy); 9417f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (Ignore) 9427f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return 0; 9437f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitLoadOfLValue(LHSLV, E->getType()); 9441f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner} 9451f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9461f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 9477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitDiv(const BinOpInfo &Ops) { 948b3ab8dc7d3b2e24259b990ac4ad75abfd07fa1f9Nate Begeman if (Ops.LHS->getType()->isFPOrFPVector()) 9497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateFDiv(Ops.LHS, Ops.RHS, "div"); 9501f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner else if (Ops.Ty->isUnsignedIntegerType()) 9517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateUDiv(Ops.LHS, Ops.RHS, "div"); 9527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 9537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSDiv(Ops.LHS, Ops.RHS, "div"); 9547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitRem(const BinOpInfo &Ops) { 9577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Rem in C can't be a floating point type: C99 6.5.5p2. 9581f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 9597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateURem(Ops.LHS, Ops.RHS, "rem"); 9607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 9617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSRem(Ops.LHS, Ops.RHS, "rem"); 9627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9642add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike StumpValue *ScalarExprEmitter::EmitOverflowCheckedBinOp(const BinOpInfo &Ops) { 9652add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump unsigned IID; 9662add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump unsigned OpID = 0; 9675d8b2cf9fd704f6ca5e33525803a65421c0b440eMike Stump 968035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump switch (Ops.E->getOpcode()) { 969035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Add: 970035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::AddAssign: 971035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 1; 972035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::sadd_with_overflow; 973035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 974035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Sub: 975035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::SubAssign: 976035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 2; 977035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::ssub_with_overflow; 978035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 979035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Mul: 980035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::MulAssign: 981035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 3; 982035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::smul_with_overflow; 983035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 984035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump default: 985035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump assert(false && "Unsupported operation for overflow detection"); 986ab4eff620a9ce0ea62cdf29529a66c2c98d116f5Daniel Dunbar IID = 0; 987035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump } 988035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID <<= 1; 989035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID |= 1; 990035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump 9912add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump const llvm::Type *opTy = CGF.CGM.getTypes().ConvertType(Ops.Ty); 9922add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 9932add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Function *intrinsic = CGF.CGM.getIntrinsic(IID, &opTy, 1); 9942add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 9952add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *resultAndOverflow = Builder.CreateCall2(intrinsic, Ops.LHS, Ops.RHS); 9962add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *result = Builder.CreateExtractValue(resultAndOverflow, 0); 9972add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *overflow = Builder.CreateExtractValue(resultAndOverflow, 1); 9982add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 9992add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Branch in case of overflow. 10002add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *initialBB = Builder.GetInsertBlock(); 10012add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *overflowBB = 10022add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.createBasicBlock("overflow", CGF.CurFn); 10032add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *continueBB = 10042add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.createBasicBlock("overflow.continue", CGF.CurFn); 10052add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10062add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.CreateCondBr(overflow, overflowBB, continueBB); 10072add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10082add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Handle overflow 10092add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10102add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.SetInsertPoint(overflowBB); 10112add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10122add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Handler is: 10132add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // long long *__overflow_handler)(long long a, long long b, char op, 10142add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // char width) 10152add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump std::vector<const llvm::Type*> handerArgTypes; 10160032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt64Ty(VMContext)); 10170032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt64Ty(VMContext)); 10180032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt8Ty(VMContext)); 10190032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt8Ty(VMContext)); 10200032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType *handlerTy = llvm::FunctionType::get( 10210032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt64Ty(VMContext), handerArgTypes, false); 10222add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Value *handlerFunction = 10232add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.CGM.getModule().getOrInsertGlobal("__overflow_handler", 102496e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(handlerTy)); 10252add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump handlerFunction = Builder.CreateLoad(handlerFunction); 10262add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10272add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Value *handlerResult = Builder.CreateCall4(handlerFunction, 10280032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Builder.CreateSExt(Ops.LHS, llvm::Type::getInt64Ty(VMContext)), 10290032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Builder.CreateSExt(Ops.RHS, llvm::Type::getInt64Ty(VMContext)), 10300032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt8Ty(VMContext), OpID), 10310032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt8Ty(VMContext), 10322add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump cast<llvm::IntegerType>(opTy)->getBitWidth())); 10332add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10342add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump handlerResult = Builder.CreateTrunc(handlerResult, opTy); 10352add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10362add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.CreateBr(continueBB); 10372add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10382add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Set up the continuation 10392add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.SetInsertPoint(continueBB); 10402add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Get the correct result 10412add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::PHINode *phi = Builder.CreatePHI(opTy); 10422add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->reserveOperandSpace(2); 10432add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->addIncoming(result, initialBB); 10442add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->addIncoming(handlerResult, overflowBB); 10452add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 10462add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return phi; 10472add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump} 10487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitAdd(const BinOpInfo &Ops) { 105058f9f2c884af6b72d036b746a016d8031d31cb7aSteve Naroff if (!Ops.Ty->isAnyPointerType()) { 105187415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (CGF.getContext().getLangOptions().OverflowChecking && 105287415d2d45224596a96ef02310701797d56b2c19Chris Lattner Ops.Ty->isSignedIntegerType()) 10532add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 105487415d2d45224596a96ef02310701797d56b2c19Chris Lattner 105587415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 105687415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFAdd(Ops.LHS, Ops.RHS, "add"); 1057bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 1058bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman // Signed integer overflow is undefined behavior. 1059bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman if (Ops.Ty->isSignedIntegerType()) 1060bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman return Builder.CreateNSWAdd(Ops.LHS, Ops.RHS, "add"); 1061bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 10627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAdd(Ops.LHS, Ops.RHS, "add"); 10632add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump } 1064daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 106514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (Ops.Ty->isPointerType() && 10666217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek Ops.Ty->getAs<PointerType>()->isVariableArrayType()) { 1067daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition needs to account for the VLA size 1068daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(Ops.E, "VLA pointer addition"); 1069daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 10708f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Value *Ptr, *Idx; 10718f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Expr *IdxExp; 10726217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek const PointerType *PT = Ops.E->getLHS()->getType()->getAs<PointerType>(); 107314108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const ObjCObjectPointerType *OPT = 107414108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff Ops.E->getLHS()->getType()->getAsObjCObjectPointerType(); 107514108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (PT || OPT) { 10768f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.LHS; 10778f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.RHS; 10788f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getRHS(); 107914108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff } else { // int + pointer 10806217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek PT = Ops.E->getRHS()->getType()->getAs<PointerType>(); 108114108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff OPT = Ops.E->getRHS()->getType()->getAsObjCObjectPointerType(); 108214108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff assert((PT || OPT) && "Invalid add expr"); 10838f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.RHS; 10848f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.LHS; 10858f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getLHS(); 10868f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 10878f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 10888f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 10897cabee5b18212bd3106aea8415b044b2b3b43518Sanjiv Gupta if (Width < CGF.LLVMPointerWidth) { 10908f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // Zero or sign extend the pointer value based on whether the index is 10918f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // signed or not. 10920032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *IdxType = 10930032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 10949619662a1d42e2008b865d3459c0677e149dad1bChris Lattner if (IdxExp->getType()->isSignedIntegerType()) 10958f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 10968f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner else 10978f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 10988f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 109914108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const QualType ElementType = PT ? PT->getPointeeType() : OPT->getPointeeType(); 11002a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar // Handle interface types, which are not represented with a concrete 11012a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar // type. 11022a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar if (const ObjCInterfaceType *OIT = dyn_cast<ObjCInterfaceType>(ElementType)) { 11032a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar llvm::Value *InterfaceSize = 11044a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Idx->getType(), 11052a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar CGF.getContext().getTypeSize(OIT) / 8); 11062a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Idx = Builder.CreateMul(Idx, InterfaceSize); 11070032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *i8Ty = 11080032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 11092a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Casted = Builder.CreateBitCast(Ptr, i8Ty); 11102a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(Casted, Idx, "add.ptr"); 11112a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar return Builder.CreateBitCast(Res, Ptr->getType()); 11122a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar } 11132a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar 1114b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // Explicitly handle GNU void* and function pointer arithmetic 1115b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // extensions. The GNU void* casts amount to no-ops since our void* 1116b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // type is i8*, but this is future proof. 1117b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (ElementType->isVoidType() || ElementType->isFunctionType()) { 11180032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *i8Ty = 11190032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 1120b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Casted = Builder.CreateBitCast(Ptr, i8Ty); 11212a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(Casted, Idx, "add.ptr"); 1122b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ptr->getType()); 1123b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar } 11248f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 1125664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman return Builder.CreateInBoundsGEP(Ptr, Idx, "add.ptr"); 11267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) { 11292add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump if (!isa<llvm::PointerType>(Ops.LHS->getType())) { 1130035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump if (CGF.getContext().getLangOptions().OverflowChecking 1131035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump && Ops.Ty->isSignedIntegerType()) 11322add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 113387415d2d45224596a96ef02310701797d56b2c19Chris Lattner 113487415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 113587415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFSub(Ops.LHS, Ops.RHS, "sub"); 11367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub"); 11372add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump } 11381f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 113914108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (Ops.E->getLHS()->getType()->isPointerType() && 11406217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek Ops.E->getLHS()->getType()->getAs<PointerType>()->isVariableArrayType()) { 1141daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition needs to account for the VLA size for 1142daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // ptr-int 1143daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the division needs to account for the VLA size for 1144daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // ptr-ptr. 1145daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(Ops.E, "VLA pointer subtraction"); 1146daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 1147daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 1148b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const QualType LHSType = Ops.E->getLHS()->getType(); 114914108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const QualType LHSElementType = LHSType->getPointeeType(); 11508c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (!isa<llvm::PointerType>(Ops.RHS->getType())) { 11518c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - int 11528c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *Idx = Ops.RHS; 11538c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 11547cabee5b18212bd3106aea8415b044b2b3b43518Sanjiv Gupta if (Width < CGF.LLVMPointerWidth) { 11558c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Zero or sign extend the pointer value based on whether the index is 11568c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // signed or not. 11570032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *IdxType = 11580032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 11598c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (Ops.E->getRHS()->getType()->isSignedIntegerType()) 11608c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 11618c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar else 11628c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 11638c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 11648c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateNeg(Idx, "sub.ptr.neg"); 1165b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 11662a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar // Handle interface types, which are not represented with a concrete 11672a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar // type. 11682a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar if (const ObjCInterfaceType *OIT = 11692a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar dyn_cast<ObjCInterfaceType>(LHSElementType)) { 11702a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar llvm::Value *InterfaceSize = 11714a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Idx->getType(), 11722a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar CGF.getContext().getTypeSize(OIT) / 8); 11732a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Idx = Builder.CreateMul(Idx, InterfaceSize); 1174a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson const llvm::Type *i8Ty = 11750032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 11762a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *LHSCasted = Builder.CreateBitCast(Ops.LHS, i8Ty); 11772a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(LHSCasted, Idx, "add.ptr"); 11782a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar return Builder.CreateBitCast(Res, Ops.LHS->getType()); 11792a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar } 11802a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar 1181b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // Explicitly handle GNU void* and function pointer arithmetic 1182b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // extensions. The GNU void* casts amount to no-ops since our 1183b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // void* type is i8*, but this is future proof. 1184b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 1185a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson const llvm::Type *i8Ty = 11860032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext)); 1187b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *LHSCasted = Builder.CreateBitCast(Ops.LHS, i8Ty); 1188b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Res = Builder.CreateGEP(LHSCasted, Idx, "sub.ptr"); 1189b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ops.LHS->getType()); 1190b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar } 1191b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 1192664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman return Builder.CreateInBoundsGEP(Ops.LHS, Idx, "sub.ptr"); 1193820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar } else { 11948c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - pointer 11958c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *LHS = Ops.LHS; 11968c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *RHS = Ops.RHS; 11971f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 11988c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar uint64_t ElementSize; 1199820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar 1200e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Handle GCC extension for pointer arithmetic on void* and function pointer 1201e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // types. 1202e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 12038c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = 1; 12048c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else { 12058c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = CGF.getContext().getTypeSize(LHSElementType) / 8; 12068c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 12078c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 12088c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar const llvm::Type *ResultType = ConvertType(Ops.Ty); 12098c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LHS = Builder.CreatePtrToInt(LHS, ResultType, "sub.ptr.lhs.cast"); 12108c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RHS = Builder.CreatePtrToInt(RHS, ResultType, "sub.ptr.rhs.cast"); 12118c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *BytesBetween = Builder.CreateSub(LHS, RHS, "sub.ptr.sub"); 12128c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 1213e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Optimize out the shift for element size of 1. 1214e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (ElementSize == 1) 1215e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner return BytesBetween; 1216df1109434abd465a4db2e6f69ec2688866660367Dan Gohman 1217df1109434abd465a4db2e6f69ec2688866660367Dan Gohman // Otherwise, do a full sdiv. This uses the "exact" form of sdiv, since 1218df1109434abd465a4db2e6f69ec2688866660367Dan Gohman // pointer difference in C is only defined in the case where both 1219df1109434abd465a4db2e6f69ec2688866660367Dan Gohman // operands are pointing to elements of an array. 12204a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Value *BytesPerElt = llvm::ConstantInt::get(ResultType, ElementSize); 1221df1109434abd465a4db2e6f69ec2688866660367Dan Gohman return Builder.CreateExactSDiv(BytesBetween, BytesPerElt, "sub.ptr.div"); 12227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 12237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) { 12267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 12277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 12287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 12297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 12307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 12317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateShl(Ops.LHS, RHS, "shl"); 12337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShr(const BinOpInfo &Ops) { 12367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 12377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 12387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 12397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 12407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 12417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12421f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 12437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateLShr(Ops.LHS, RHS, "shr"); 12447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAShr(Ops.LHS, RHS, "shr"); 12457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCompare(const BinaryOperator *E,unsigned UICmpOpc, 12487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc) { 12497f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 12504f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *Result; 12517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner QualType LHSTy = E->getLHS()->getType(); 12529c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner if (!LHSTy->isAnyComplexType()) { 12537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS = Visit(E->getLHS()); 12547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 12557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12561360d4ad9045056d646c118344c7c5148aea4a52Eli Friedman if (LHS->getType()->isFPOrFPVector()) { 12577a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateFCmp((llvm::CmpInst::Predicate)FCmpOpc, 12587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 1259ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman } else if (LHSTy->isSignedIntegerType()) { 1260ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)SICmpOpc, 12617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 12627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 1263ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman // Unsigned integers and pointers. 1264ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 12657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 12667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 12679c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner 12689c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // If this is a vector comparison, sign extend the result to the appropriate 12699c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // vector integer type and return it (don't convert to bool). 12709c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner if (LHSTy->isVectorType()) 12719c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner return Builder.CreateSExt(Result, ConvertType(E->getType()), "sext"); 12727a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman 12737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 12747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex Comparison: can only be an equality comparison. 12757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy LHS = CGF.EmitComplexExpr(E->getLHS()); 12767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy RHS = CGF.EmitComplexExpr(E->getRHS()); 12777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12789619662a1d42e2008b865d3459c0677e149dad1bChris Lattner QualType CETy = LHSTy->getAsComplexType()->getElementType(); 12797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12804f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *ResultR, *ResultI; 12817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (CETy->isRealFloatingType()) { 12827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 12837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 12847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 12857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 12867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 12877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex comparisons can only be equality comparisons. As such, signed 12887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // and unsigned opcodes are the same. 12897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 12907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 12917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 12927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 12937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 12947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getOpcode() == BinaryOperator::EQ) { 12967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateAnd(ResultR, ResultI, "and.ri"); 12977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 12987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E->getOpcode() == BinaryOperator::NE && 12997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Complex comparison other than == or != ?"); 13007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateOr(ResultR, ResultI, "or.ri"); 13017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 13027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 130332f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes 130432f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes return EmitScalarConversion(Result, CGF.getContext().BoolTy, E->getType()); 13057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinAssign(const BinaryOperator *E) { 13087f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool Ignore = TestAndClearIgnoreResultAssign(); 13097f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 13107f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // __block variables need to have the rhs evaluated first, plus this should 13117f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // improve codegen just a little. 13127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 131399459b67daa0a49af7c5e5e93324f6ca815c0e6aMike Stump LValue LHS = EmitLValue(E->getLHS()); 13147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1315ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar // Store the value into the LHS. Bit-fields are handled specially 1316371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // because the result is altered by the store, i.e., [C99 6.5.16p1] 1317371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // 'An assignment expression has the value of the left operand after 1318daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // the assignment...'. 13197f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (LHS.isBitfield()) { 13207f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (!LHS.isVolatileQualified()) { 13217f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, E->getType(), 13227f79f9be5916c51c35da4f126b7c12596a101607Mike Stump &RHS); 13237f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return RHS; 13247f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 13257f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, E->getType()); 13267f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 1327ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(RHS), LHS, E->getType()); 13287f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (Ignore) 13297f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return 0; 13307f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitLoadOfLValue(LHS, E->getType()); 13317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLAnd(const BinaryOperator *E) { 133420eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 && RHS, see if we can elide RHS, if so, just return 0. 133520eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 && X, just emit X without inserting the control flow. 133620eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 133720eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == 1) { // If we have 1 && X, just emit X. 13380946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 13390946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // ZExt result to int. 13400946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return Builder.CreateZExt(RHSCond, CGF.LLVMIntTy, "land.ext"); 13410946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 134220eb09d562b80420a3328be789547af354bf3e36Chris Lattner 134320eb09d562b80420a3328be789547af354bf3e36Chris Lattner // 0 && RHS: If it is safe, just elide the RHS, and return 0. 134420eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 1345c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(CGF.LLVMIntTy); 13460946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 13470946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 13489615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("land.end"); 13499615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("land.rhs"); 135020eb09d562b80420a3328be789547af354bf3e36Chris Lattner 1351f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is false, go to the failure (cont) block. 1352f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), RHSBlock, ContBlock); 1353f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1354f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1355f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be false. Start 1356f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 13570032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 13580032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson "", ContBlock); 1359f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1360f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1361f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 13623b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson PN->addIncoming(llvm::ConstantInt::getFalse(VMContext), *PI); 13637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 136433da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson CGF.PushConditionalTempDestruction(); 13657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 13667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 136733da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson CGF.PopConditionalTempDestruction(); 13687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 13707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1371f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1372f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1373f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 13747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 13757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 13767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 13787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "land.ext"); 13797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 13807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLOr(const BinaryOperator *E) { 138220eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 || RHS, see if we can elide RHS, if so, just return 1. 138320eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 || X, just emit X without inserting the control flow. 138420eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 138520eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == -1) { // If we have 0 || X, just emit X. 13860946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 13870946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner // ZExt result to int. 13880946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner return Builder.CreateZExt(RHSCond, CGF.LLVMIntTy, "lor.ext"); 13890946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 139020eb09d562b80420a3328be789547af354bf3e36Chris Lattner 13918de8d1d3f2e21e4a72ac294276930ad293a3a765Eli Friedman // 1 || RHS: If it is safe, just elide the RHS, and return 1. 139220eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 13934a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(CGF.LLVMIntTy, 1); 13940946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 13950946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner 13969615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("lor.end"); 13979615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("lor.rhs"); 13987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1399f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is true, go to the success (cont) block. 1400f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), ContBlock, RHSBlock); 1401f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1402f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1403f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be true. Start 1404f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 14050032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 14060032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson "", ContBlock); 1407f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1408f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1409f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 14103b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson PN->addIncoming(llvm::ConstantInt::getTrue(VMContext), *PI); 1411f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 141233da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson CGF.PushConditionalTempDestruction(); 141333da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson 1414f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit the RHS condition as a bool value. 14157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 14167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 14177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 141833da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson CGF.PopConditionalTempDestruction(); 141933da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson 14207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 14217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 14227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1423f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1424f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 1425f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBlock(ContBlock); 14267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 14277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 14287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 14297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "lor.ext"); 14307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 14317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 14327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinComma(const BinaryOperator *E) { 14337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStmt(E->getLHS()); 1434a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar CGF.EnsureInsertPoint(); 14357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getRHS()); 14367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 14377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 14387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 14397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Other Operators 14407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 14417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 14429802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// isCheapEnoughToEvaluateUnconditionally - Return true if the specified 14439802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// expression is cheap enough and side-effect-free enough to evaluate 14449802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// unconditionally instead of conditionally. This is used to convert control 14459802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// flow into selects in some cases. 14469802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattnerstatic bool isCheapEnoughToEvaluateUnconditionally(const Expr *E) { 14479802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) 14489802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return isCheapEnoughToEvaluateUnconditionally(PE->getSubExpr()); 14499802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14509802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // TODO: Allow anything we can constant fold to an integer or fp constant. 14519802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (isa<IntegerLiteral>(E) || isa<CharacterLiteral>(E) || 14529802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner isa<FloatingLiteral>(E)) 14539802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 14549802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14559802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // Non-volatile automatic variables too, to get "cond ? X : Y" where 14569802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // X and Y are local variables. 14579802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E)) 14589802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) 14599802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (VD->hasLocalStorage() && !VD->getType().isVolatileQualified()) 14609802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 14619802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14629802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return false; 14639802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner} 14649802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14659802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter:: 14677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerVisitConditionalOperator(const ConditionalOperator *E) { 14687f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 146931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the condition constant folds and can be elided, try to avoid emitting 147031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the condition and the dead arm. 147131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getCond())){ 1472c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner Expr *Live = E->getLHS(), *Dead = E->getRHS(); 147331a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (Cond == -1) 1474c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner std::swap(Live, Dead); 147531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner 147631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the dead side doesn't have labels we need, and if the Live side isn't 147731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the gnu missing ?: extension (which we could handle, but don't bother 147831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // to), just emit the Live part. 147931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if ((!Dead || !CGF.ContainsLabel(Dead)) && // No labels in dead part 148031a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Live) // Live part isn't missing. 148131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return Visit(Live); 1482c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner } 1483c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner 14849802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14859802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // If this is a really simple expression (like x ? 4 : 5), emit this as a 14869802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // select instead of as control flow. We can only do this if it is cheap and 1487531a550531c144a58438f187816abbf1879e1c4eChris Lattner // safe to evaluate the LHS and RHS unconditionally. 14889802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (E->getLHS() && isCheapEnoughToEvaluateUnconditionally(E->getLHS()) && 14899802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner isCheapEnoughToEvaluateUnconditionally(E->getRHS())) { 14909802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *CondV = CGF.EvaluateExprAsBool(E->getCond()); 14919802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *LHS = Visit(E->getLHS()); 14929802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *RHS = Visit(E->getRHS()); 14939802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return Builder.CreateSelect(CondV, LHS, RHS, "cond"); 14949802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner } 14959802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 14969802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 1497be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 1498be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 14999615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 1500035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondVal = 0; 1501035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner 150212d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // If we don't have the GNU missing condition extension, emit a branch on 150312d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // bool the normal way. 150412d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner if (E->getLHS()) { 150512d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // Otherwise, just use EmitBranchOnBoolExpr to get small and simple code for 150612d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // the branch on bool. 150712d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock); 150812d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner } else { 150912d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // Otherwise, for the ?: extension, evaluate the conditional and then 151012d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // convert it to bool the hard way. We do this explicitly because we need 151112d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // the unconverted value for the missing middle value of the ?:. 1512035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CondVal = CGF.EmitScalarExpr(E->getCond()); 151312d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner 151412d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // In some cases, EmitScalarConversion will delete the "CondVal" expression 151512d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // if there are no extra uses (an optimization). Inhibit this by making an 151612d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // extra dead use, because we're going to add a use of CondVal later. We 151712d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // don't use the builder for this, because we don't want it to get optimized 151812d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // away. This leaves dead code, but the ?: extension isn't common. 151912d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner new llvm::BitCastInst(CondVal, CondVal->getType(), "dummy?:holder", 152012d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner Builder.GetInsertBlock()); 152112d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner 1522035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondBoolVal = 1523035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.EmitScalarConversion(CondVal, E->getCond()->getType(), 1524035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.getContext().BoolTy); 1525035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Builder.CreateCondBr(CondBoolVal, LHSBlock, RHSBlock); 1526035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner } 1527fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson 1528fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson CGF.PushConditionalTempDestruction(); 15297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(LHSBlock); 15307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the GNU extension for missing LHS. 1532a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Value *LHS; 1533a21ddb30e56026967d58e26c5212744e1831305bChris Lattner if (E->getLHS()) 1534856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman LHS = Visit(E->getLHS()); 1535a21ddb30e56026967d58e26c5212744e1831305bChris Lattner else // Perform promotions, to handle cases like "short ?: int" 1536a21ddb30e56026967d58e26c5212744e1831305bChris Lattner LHS = EmitScalarConversion(CondVal, E->getCond()->getType(), E->getType()); 1537a21ddb30e56026967d58e26c5212744e1831305bChris Lattner 1538fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson CGF.PopConditionalTempDestruction(); 15397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHSBlock = Builder.GetInsertBlock(); 1540d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 15417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1542fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson CGF.PushConditionalTempDestruction(); 15437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 15447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1545856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman Value *RHS = Visit(E->getRHS()); 1546fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson CGF.PopConditionalTempDestruction(); 15477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1548d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 15497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 15517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1552108f55d6fd9a1c0e753eb8e046cb1f1b81d77a76Nuno Lopes if (!LHS || !RHS) { 15532202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner assert(E->getType()->isVoidType() && "Non-void value should have a value"); 15542202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner return 0; 15552202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner } 15562202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner 15577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node for the real part. 15587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(LHS->getType(), "cond"); 15597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 15607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(LHS, LHSBlock); 15617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHS, RHSBlock); 15627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return PN; 15637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { 15667976932a1c256d447316ffac58e9821417725e34Eli Friedman return Visit(E->getChosenSubExpr(CGF.getContext())); 15677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15692202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 15704fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 1571ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 1572ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 1573ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // If EmitVAArg fails, we fall back to the LLVM instruction. 1574ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson if (!ArgPtr) 1575ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateVAArg(ArgValue, ConvertType(VE->getType())); 1576ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 15777f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // FIXME Volatility. 1578ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateLoad(ArgPtr); 15797c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson} 15807c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 1581df6b68c9487aed2042c7fc23db10a79f89083a11Mike StumpValue *ScalarExprEmitter::VisitBlockExpr(const BlockExpr *BE) { 15820892099dbc640720400a1d9decd2733a09d733e5Mike Stump return CGF.BuildBlockLiteralTmp(BE); 1583df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump} 1584df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump 15857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 15867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Entry Point into this File 15877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 15887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15897f79f9be5916c51c35da4f126b7c12596a101607Mike Stump/// EmitScalarExpr - Emit the computation of the specified expression of 15907f79f9be5916c51c35da4f126b7c12596a101607Mike Stump/// scalar type, ignoring the result. 15917f79f9be5916c51c35da4f126b7c12596a101607Mike StumpValue *CodeGenFunction::EmitScalarExpr(const Expr *E, bool IgnoreResultAssign) { 15927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E && !hasAggregateLLVMType(E->getType()) && 15937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Invalid scalar expression to emit"); 15947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15957f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return ScalarExprEmitter(*this, IgnoreResultAssign) 15967f79f9be5916c51c35da4f126b7c12596a101607Mike Stump .Visit(const_cast<Expr*>(E)); 15977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15983707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 15993707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 16003707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 16014f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitScalarConversion(Value *Src, QualType SrcTy, 16024f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 16033707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(!hasAggregateLLVMType(SrcTy) && !hasAggregateLLVMType(DstTy) && 16043707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner "Invalid scalar expression to emit"); 16053707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return ScalarExprEmitter(*this).EmitScalarConversion(Src, SrcTy, DstTy); 16063707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 16074f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 16084f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 16094f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 16104f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 16114f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitComplexToScalarConversion(ComplexPairTy Src, 16124f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, 16134f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 16149b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(SrcTy->isAnyComplexType() && !hasAggregateLLVMType(DstTy) && 16154f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner "Invalid complex -> scalar conversion"); 16164f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return ScalarExprEmitter(*this).EmitComplexToScalarConversion(Src, SrcTy, 16174f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner DstTy); 16184f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 1619cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1620cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders CarlssonValue *CodeGenFunction::EmitShuffleVector(Value* V1, Value *V2, ...) { 1621cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(V1->getType() == V2->getType() && 1622cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector operands must be of the same type"); 1623cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson unsigned NumElements = 1624cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson cast<llvm::VectorType>(V1->getType())->getNumElements(); 1625cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1626cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_list va; 1627cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_start(va, V2); 1628cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1629cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::SmallVector<llvm::Constant*, 16> Args; 1630cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson for (unsigned i = 0; i < NumElements; i++) { 1631cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson int n = va_arg(va, int); 1632cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(n >= 0 && n < (int)NumElements * 2 && 1633cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector shuffle index out of bounds!"); 16340032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Args.push_back(llvm::ConstantInt::get( 16350032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), n)); 1636cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson } 1637cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1638cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson const char *Name = va_arg(va, const char *); 1639cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_end(va); 1640cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 16414a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 1642cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1643cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson return Builder.CreateShuffleVector(V1, V2, Mask, Name); 1644cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson} 1645cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 16466086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlssonllvm::Value *CodeGenFunction::EmitVector(llvm::Value * const *Vals, 1647345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner unsigned NumVals, bool isSplat) { 16486086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Vec 164903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson = llvm::UndefValue::get(llvm::VectorType::get(Vals[0]->getType(), NumVals)); 16506086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 1651345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner for (unsigned i = 0, e = NumVals; i != e; ++i) { 16524119d1aeca8016654d381ce079864058d1709571Nate Begeman llvm::Value *Val = isSplat ? Vals[0] : Vals[i]; 16530032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Idx = llvm::ConstantInt::get( 16540032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), i); 16554119d1aeca8016654d381ce079864058d1709571Nate Begeman Vec = Builder.CreateInsertElement(Vec, Val, Idx, "tmp"); 16566086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson } 16576086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 16586086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson return Vec; 16596086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson} 1660