CGExprScalar.cpp revision 2da84ff228a231adbd3f6f236b857f752d02959a
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" 15f7bcc7e6c803a2b2f7b7f7fdfb2506dd25ec6de8Fariborz Jahanian#include "CGObjCRuntime.h" 167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "CodeGenModule.h" 17de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/ASTContext.h" 1898c5ead87d720d8b68b6f236c3c3579a388fc882Daniel Dunbar#include "clang/AST/DeclObjC.h" 1919cc4abea06a9b49e0e16a50d335c064cd723572Anders Carlsson#include "clang/AST/RecordLayout.h" 20de7fb8413b13651fd85b7125d08b3c9ac2816d9dDaniel Dunbar#include "clang/AST/StmtVisitor.h" 2125ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner#include "clang/Basic/TargetInfo.h" 227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Constants.h" 237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Function.h" 2485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson#include "llvm/GlobalVariable.h" 257c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson#include "llvm/Intrinsics.h" 262add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump#include "llvm/Module.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 { 4785b4521e34dcd4a0a4a1f0819e1123128e5a3125Benjamin Kramerclass 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) 56db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump : CGF(cgf), Builder(CGF.Builder), IgnoreResultAssign(ira), 57a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson VMContext(cgf.getLLVMContext()) { 587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 59db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 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 } 76db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 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 } 83db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 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); 87db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 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 93db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump /// complex type to the specified destination type, where the destination type 94db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump /// 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); 108f51dc64f90851f636302dbaaf3f52c0524cdac36Fariborz Jahanian 1097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr()); } 1107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Leaves. 1127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitIntegerLiteral(const IntegerLiteral *E) { 1134a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(VMContext, E->getValue()); 1147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitFloatingLiteral(const FloatingLiteral *E) { 116bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson return llvm::ConstantFP::get(VMContext, E->getValue()); 1177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCharacterLiteral(const CharacterLiteral *E) { 1194a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 120e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman } 121e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman Value *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) { 1224a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 1237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1247267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis Value *VisitCXXZeroInitValueExpr(const CXXZeroInitValueExpr *E) { 125c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1267267f7832e5f0c7f951765e201c5a2650eb1637bArgyrios Kyrtzidis } 1273f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson Value *VisitGNUNullExpr(const GNUNullExpr *E) { 128c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1293f70456b8adb0405ef2a47d51f9fc2d5937ae8aeAnders Carlsson } 1307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitTypesCompatibleExpr(const TypesCompatibleExpr *E) { 1314a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(ConvertType(E->getType()), 132ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff CGF.getContext().typesAreCompatible( 133ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff E->getArgType1(), E->getArgType2())); 1347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1350518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl Value *VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E); 1360ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar Value *VisitAddrLabelExpr(const AddrLabelExpr *E) { 137d9becd1846e2c72bf6ad283faa1b048f33dd3afeChris Lattner llvm::Value *V = CGF.GetAddrOfLabel(E->getLabel()); 138d9becd1846e2c72bf6ad283faa1b048f33dd3afeChris Lattner return Builder.CreateBitCast(V, ConvertType(E->getType())); 1390ffb125996336fc7602b162c0a9e392f1a93060fDaniel Dunbar } 140db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // l-values. 1427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitDeclRefExpr(DeclRefExpr *E) { 14328665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman Expr::EvalResult Result; 14428665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman if (E->Evaluate(Result, CGF.getContext()) && Result.Val.isInt()) { 14528665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman assert(!Result.HasSideEffects && "Constant declref with side-effect?!"); 14628665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman return llvm::ConstantInt::get(VMContext, Result.Val.getInt()); 14728665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman } 1487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 1497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 150db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump Value *VisitObjCSelectorExpr(ObjCSelectorExpr *E) { 151db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump return CGF.EmitObjCSelectorExpr(E); 1529c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 153db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump Value *VisitObjCProtocolExpr(ObjCProtocolExpr *E) { 154db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump return CGF.EmitObjCProtocolExpr(E); 1559c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 156db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump Value *VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { 1579c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return EmitLoadOfLValue(E); 1589c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 1590a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar Value *VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *E) { 16085c59edda02df48fae8dc85049743319bc6e7e89Daniel Dunbar return EmitLoadOfLValue(E); 1619c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar } 16209105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian Value *VisitObjCImplicitSetterGetterRefExpr( 16309105f52b1f28cbb1374c27c3c70f5517e2c465dFariborz Jahanian ObjCImplicitSetterGetterRefExpr *E) { 16443f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian return EmitLoadOfLValue(E); 16543f447098d5e6162fbfb97ed38365284207a7fbeFariborz Jahanian } 1669c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar Value *VisitObjCMessageExpr(ObjCMessageExpr *E) { 1679c3fc703b29a31d40bcf5027dbb4784dd393804eDaniel Dunbar return CGF.EmitObjCMessageExpr(E).getScalarVal(); 1680a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar } 1690a04d77bde7e3a661c2b41b60630d125d09ed6efDaniel Dunbar 1707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitArraySubscriptExpr(ArraySubscriptExpr *E); 171d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value *VisitShuffleVectorExpr(ShuffleVectorExpr *E); 17228665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman Value *VisitMemberExpr(MemberExpr *E); 173213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman Value *VisitExtVectorElementExpr(Expr *E) { return EmitLoadOfLValue(E); } 174be20bb558cae5352898e6a913e29d24d20134841Chris Lattner Value *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 175be20bb558cae5352898e6a913e29d24d20134841Chris Lattner return EmitLoadOfLValue(E); 176be20bb558cae5352898e6a913e29d24d20134841Chris Lattner } 1777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStringLiteral(Expr *E) { return EmitLValue(E).getAddress(); } 178eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner Value *VisitObjCEncodeExpr(const ObjCEncodeExpr *E) { 179eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner return EmitLValue(E).getAddress(); 180eaf2bb89eb2aad3b80673de30febe52df43c10ecChris Lattner } 181db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 182d9f6910f4ef37c0e8eeee2a01287d9572c3176efChris Lattner Value *VisitPredefinedExpr(Expr *E) { return EmitLValue(E).getAddress(); } 18335634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 1840533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *VisitInitListExpr(InitListExpr *E); 185db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1863498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor Value *VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E) { 187c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 1883498bdb9e9cb300de74c7b51c92608e2902b2348Douglas Gregor } 189d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Value *VisitCastExpr(CastExpr *E) { 190c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman // Make sure to evaluate VLA bounds now so that we have them for later. 191c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman if (E->getType()->isVariablyModifiedType()) 192c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman CGF.EmitVLASize(E->getType()); 193c62aad8f45ec3dd893376bd1c51e5e8019a76d8eEli Friedman 194592a2bbc1945358ab8ebf0d74c57f0b23c4434c0Anders Carlsson return EmitCastExpr(E); 1957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 196d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Value *EmitCastExpr(CastExpr *E); 1977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCallExpr(const CallExpr *E) { 199e9f2f45fe9bf79bd4aea47fa1ad9204b68510fd9Anders Carlsson if (E->getCallReturnType()->isReferenceType()) 200e9f2f45fe9bf79bd4aea47fa1ad9204b68510fd9Anders Carlsson return EmitLoadOfLValue(E); 201db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 2029b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitCallExpr(E).getScalarVal(); 2037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2048f2926b73ed635afecd020da787af6a837601a2bDaniel Dunbar 2053379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner Value *VisitStmtExpr(const StmtExpr *E); 2064e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump 207a99038c0757a836c6faeeddaa5dfd249b32f6e9eMike Stump Value *VisitBlockDeclRefExpr(const BlockDeclRefExpr *E); 208db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 2097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Unary Operators. 2107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitPrePostIncDec(const UnaryOperator *E, bool isInc, bool isPre); 2117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostDec(const UnaryOperator *E) { 2127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, false); 2137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostInc(const UnaryOperator *E) { 2157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, false); 2167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreDec(const UnaryOperator *E) { 2187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, true); 2197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreInc(const UnaryOperator *E) { 2217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, true); 2227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryAddrOf(const UnaryOperator *E) { 2247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLValue(E->getSubExpr()).getAddress(); 2257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 2277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPlus(const UnaryOperator *E) { 2287f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // This differs from gcc, though, most likely due to a bug in gcc. 2297f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 2307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryMinus (const UnaryOperator *E); 2337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryNot (const UnaryOperator *E); 2347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryLNot (const UnaryOperator *E); 23546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryReal (const UnaryOperator *E); 23646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryImag (const UnaryOperator *E); 2377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryExtension(const UnaryOperator *E) { 2387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2405a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson Value *VisitUnaryOffsetOf(const UnaryOperator *E); 241db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 2425f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson // C++ 24304421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner Value *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) { 24404421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner return Visit(DAE->getExpr()); 24504421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner } 2465f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson Value *VisitCXXThisExpr(CXXThisExpr *TE) { 2475f4307b7ba164b03c853c8d3eb4674d33f8967a6Anders Carlsson return CGF.LoadCXXThis(); 248db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump } 249db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 2507f6ad153565245026c7569314f65a4d4ff4ac41fAnders Carlsson Value *VisitCXXExprWithTemporaries(CXXExprWithTemporaries *E) { 2513082463f4f387b725f4e4bf7d7b46269d445e4f5Anders Carlsson return CGF.EmitCXXExprWithTemporaries(E).getScalarVal(); 2527f6ad153565245026c7569314f65a4d4ff4ac41fAnders Carlsson } 253a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson Value *VisitCXXNewExpr(const CXXNewExpr *E) { 254a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson return CGF.EmitCXXNewExpr(E); 255a00703dccbdc6cc4a293db38477dea7db5538c7eAnders Carlsson } 25660e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson Value *VisitCXXDeleteExpr(const CXXDeleteExpr *E) { 25760e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson CGF.EmitCXXDeleteExpr(E); 25860e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson return 0; 25960e282cc1e508be327b0481cecedc206873cb86aAnders Carlsson } 260db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 261a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor Value *VisitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *E) { 262a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor // C++ [expr.pseudo]p1: 263db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // The result shall only be used as the operand for the function call 264a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor // operator (), and the result of such a call has type void. The only 265a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor // effect is the evaluation of the postfix-expression before the dot or 266a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor // arrow. 267a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor CGF.EmitScalarExpr(E->getBase()); 268a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor return 0; 269a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor } 270db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 271c1eb14a66fdd955aff3f957a5843295f27952bddAnders Carlsson Value *VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E) { 272c1eb14a66fdd955aff3f957a5843295f27952bddAnders Carlsson return llvm::Constant::getNullValue(ConvertType(E->getType())); 273c1eb14a66fdd955aff3f957a5843295f27952bddAnders Carlsson } 274756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson 275756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson Value *VisitCXXThrowExpr(const CXXThrowExpr *E) { 276756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson CGF.EmitCXXThrowExpr(E); 277756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson return 0; 278756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson } 279756b5c4f9d52642d87d1948bee58f97a4f795b24Anders Carlsson 2807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Binary Operators. 2817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitMul(const BinOpInfo &Ops) { 282035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump if (CGF.getContext().getLangOptions().OverflowChecking 283035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump && Ops.Ty->isSignedIntegerType()) 2842add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 28587415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 28687415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFMul(Ops.LHS, Ops.RHS, "mul"); 2877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 2887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2892add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump /// Create a binary op that checks for overflow. 2902add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump /// Currently only supports +, - and *. 2912add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *EmitOverflowCheckedBinOp(const BinOpInfo &Ops); 2927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitDiv(const BinOpInfo &Ops); 2937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitRem(const BinOpInfo &Ops); 2947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAdd(const BinOpInfo &Ops); 2957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitSub(const BinOpInfo &Ops); 2967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShl(const BinOpInfo &Ops); 2977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShr(const BinOpInfo &Ops); 2987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAnd(const BinOpInfo &Ops) { 2997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAnd(Ops.LHS, Ops.RHS, "and"); 3007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitXor(const BinOpInfo &Ops) { 3027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateXor(Ops.LHS, Ops.RHS, "xor"); 3037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitOr (const BinOpInfo &Ops) { 3057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateOr(Ops.LHS, Ops.RHS, "or"); 3067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3081f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 3093ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *EmitCompoundAssign(const CompoundAssignOperator *E, 3101f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*F)(const BinOpInfo &)); 3111f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 3121f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Binary operators and binary compound assignment operators. 3131f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#define HANDLEBINOP(OP) \ 3143ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP(const BinaryOperator *E) { \ 3153ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return Emit ## OP(EmitBinOps(E)); \ 3163ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner } \ 3173ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP ## Assign(const CompoundAssignOperator *E) { \ 3183ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return EmitCompoundAssign(E, &ScalarExprEmitter::Emit ## OP); \ 3191f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 3201f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Mul); 3211f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Div); 3221f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Rem); 3231f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Add); 3248c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar HANDLEBINOP(Sub); 3251f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shl); 3261f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shr); 3271f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(And); 3281f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Xor); 3291f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Or); 3301f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#undef HANDLEBINOP 3318c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 3327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Comparisons. 3337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCompare(const BinaryOperator *E, unsigned UICmpOpc, 3347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc); 3357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#define VISITCOMP(CODE, UI, SI, FP) \ 3367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBin##CODE(const BinaryOperator *E) { \ 3377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCompare(E, llvm::ICmpInst::UI, llvm::ICmpInst::SI, \ 3387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::FCmpInst::FP); } 3397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LT, ICMP_ULT, ICMP_SLT, FCMP_OLT); 3407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GT, ICMP_UGT, ICMP_SGT, FCMP_OGT); 3417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LE, ICMP_ULE, ICMP_SLE, FCMP_OLE); 3427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GE, ICMP_UGE, ICMP_SGE, FCMP_OGE); 3437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(EQ, ICMP_EQ , ICMP_EQ , FCMP_OEQ); 3447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(NE, ICMP_NE , ICMP_NE , FCMP_UNE); 3457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#undef VISITCOMP 346db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 3477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinAssign (const BinaryOperator *E); 3487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLAnd (const BinaryOperator *E); 3507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLOr (const BinaryOperator *E); 3517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinComma (const BinaryOperator *E); 3527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 35325b825d1a48fb4d64cb553bef7a316469e89c46aEli Friedman Value *VisitBinPtrMemD(const Expr *E) { return EmitLoadOfLValue(E); } 35425b825d1a48fb4d64cb553bef7a316469e89c46aEli Friedman Value *VisitBinPtrMemI(const Expr *E) { return EmitLoadOfLValue(E); } 35525b825d1a48fb4d64cb553bef7a316469e89c46aEli Friedman 3567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Other Operators. 357df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump Value *VisitBlockExpr(const BlockExpr *BE); 3587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitConditionalOperator(const ConditionalOperator *CO); 3597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitChooseExpr(ChooseExpr *CE); 3607c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson Value *VisitVAArgExpr(VAArgExpr *VE); 3617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitObjCStringLiteral(const ObjCStringLiteral *E) { 3627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return CGF.EmitObjCStringLiteral(E); 3637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 3647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 3657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} // end anonymous namespace. 3667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Utilities 3697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3719abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner/// EmitConversionToBool - Convert the specified expression value to a 3723420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner/// boolean (i1) truth value. This is equivalent to "Val != 0". 3739abc84e7ac4db891209fe67cc3a8c9690dc886efChris LattnerValue *ScalarExprEmitter::EmitConversionToBool(Value *Src, QualType SrcType) { 374467b27b9a24bdc823218ad1ad0e37673b6cc1e83John McCall assert(SrcType.isCanonical() && "EmitScalarConversion strips typedefs"); 375db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 3769abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (SrcType->isRealFloatingType()) { 3779abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against 0.0 for fp scalars. 378c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3799abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateFCmpUNE(Src, Zero, "tobool"); 3809abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 381db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 382237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson if (SrcType->isMemberPointerType()) { 383237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson // FIXME: This is ABI specific. 384db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 385237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson // Compare against -1. 386237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson llvm::Value *NegativeOne = llvm::Constant::getAllOnesValue(Src->getType()); 387237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson return Builder.CreateICmpNE(Src, NegativeOne, "tobool"); 388237957c45774713f81fbd5394b3db4317fef0938Anders Carlsson } 389db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 390d1d66bcd6914ff82abdfa88dd25bb0b74cde3b99Daniel Dunbar assert((SrcType->isIntegerType() || isa<llvm::PointerType>(Src->getType())) && 3919abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner "Unknown scalar type to convert"); 392db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 3939abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Because of the type rules of C, we often end up computing a logical value, 3949abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // then zero extending it to int, then wanting it as a logical value again. 3959abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Optimize this common case. 3969abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (llvm::ZExtInst *ZI = dyn_cast<llvm::ZExtInst>(Src)) { 3970032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson if (ZI->getOperand(0)->getType() == 3980032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt1Ty(CGF.getLLVMContext())) { 3999abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *Result = ZI->getOperand(0); 400356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // If there aren't any more uses, zap the instruction to save space. 401356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // Note that there can be more uses, for example if this 402356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // is the result of an assignment. 403356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman if (ZI->use_empty()) 404356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman ZI->eraseFromParent(); 4059abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Result; 4069abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 4079abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 408db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 4099abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against an integer or pointer null. 410c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 4119abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateICmpNE(Src, Zero, "tobool"); 4129abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner} 4139abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 4143707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 4153707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 4164f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, 4174f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstType) { 4189619662a1d42e2008b865d3459c0677e149dad1bChris Lattner SrcType = CGF.getContext().getCanonicalType(SrcType); 4199619662a1d42e2008b865d3459c0677e149dad1bChris Lattner DstType = CGF.getContext().getCanonicalType(DstType); 4203707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (SrcType == DstType) return Src; 421db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 422cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner if (DstType->isVoidType()) return 0; 423db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 4240032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::LLVMContext &VMContext = CGF.getLLVMContext(); 4253707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4263707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 427ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstType->isBooleanType()) 428ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return EmitConversionToBool(Src, SrcType); 429db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 4303707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner const llvm::Type *DstTy = ConvertType(DstType); 4313707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4323707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Ignore conversions like int -> uint. 4333707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (Src->getType() == DstTy) 4343707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Src; 4353707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 436db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // Handle pointer conversions next: pointers can only be converted to/from 437db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // other pointers and integers. Check for pointer types in terms of LLVM, as 438db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // some native types (like Obj-C id) may map to a pointer type. 439270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(DstTy)) { 4403707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // The source value may be an integer, or a pointer. 441191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson if (isa<llvm::PointerType>(Src->getType())) 4423707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateBitCast(Src, DstTy, "conv"); 443191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson 4443707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?"); 44525615424741bcce31fe52c896f76268f0307f00dEli Friedman // First, convert to the correct width so that we control the kind of 44625615424741bcce31fe52c896f76268f0307f00dEli Friedman // extension. 447db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump const llvm::Type *MiddleTy = 4480032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 44925615424741bcce31fe52c896f76268f0307f00dEli Friedman bool InputSigned = SrcType->isSignedIntegerType(); 45025615424741bcce31fe52c896f76268f0307f00dEli Friedman llvm::Value* IntResult = 45125615424741bcce31fe52c896f76268f0307f00dEli Friedman Builder.CreateIntCast(Src, MiddleTy, InputSigned, "conv"); 45225615424741bcce31fe52c896f76268f0307f00dEli Friedman // Then, cast to pointer. 45325615424741bcce31fe52c896f76268f0307f00dEli Friedman return Builder.CreateIntToPtr(IntResult, DstTy, "conv"); 4543707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 455db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 456270cc66683b22d6bb0b4644f5a40f84d45edf119Daniel Dunbar if (isa<llvm::PointerType>(Src->getType())) { 4573707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Must be an ptr to int cast. 4583707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?"); 45950b5a30db40322880340e957ad7d6d8d60bb4c5bAnders Carlsson return Builder.CreatePtrToInt(Src, DstTy, "conv"); 4603707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 461db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 462213541a68a3e137d11d2cefb612c6cdb410d7e8eNate Begeman // A scalar can be splatted to an extended vector of the same element type 4632ef13e5abef0570a9f567b4671367275c05d4d34Nate Begeman if (DstType->isExtVectorType() && !SrcType->isVectorType()) { 4646fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Cast the scalar to element type 465183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall QualType EltTy = DstType->getAs<ExtVectorType>()->getElementType(); 4666fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Elt = EmitScalarConversion(Src, SrcType, EltTy); 4676fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4686fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Insert the element in element zero of an undef vector 46903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson llvm::Value *UnV = llvm::UndefValue::get(DstTy); 4700032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Idx = 4710032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0); 4726fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman UnV = Builder.CreateInsertElement(UnV, Elt, Idx, "tmp"); 4736fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman 4746fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman // Splat the element across to all elements 4756fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::SmallVector<llvm::Constant*, 16> Args; 4766fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 4776fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman for (unsigned i = 0; i < NumElements; i++) 4780032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Args.push_back(llvm::ConstantInt::get( 4790032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), 0)); 480db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 4814a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 4826fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman llvm::Value *Yay = Builder.CreateShuffleVector(UnV, UnV, Mask, "splat"); 4836fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman return Yay; 4846fe7c8aa8c7546743ecd0ac0138c2cf5d8155386Nate Begeman } 4854119d1aeca8016654d381ce079864058d1709571Nate Begeman 4863b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner // Allow bitcast from vector to integer/fp of the same size. 4877019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson if (isa<llvm::VectorType>(Src->getType()) || 4883b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner isa<llvm::VectorType>(DstTy)) 4897019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson return Builder.CreateBitCast(Src, DstTy, "conv"); 490db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 4913707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Finally, we have the arithmetic types: real int/float. 4923707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(Src->getType())) { 4933707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner bool InputSigned = SrcType->isSignedIntegerType(); 494b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (isa<llvm::IntegerType>(DstTy)) 495b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 496b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else if (InputSigned) 497b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateSIToFP(Src, DstTy, "conv"); 498b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 499b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateUIToFP(Src, DstTy, "conv"); 5003707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 501db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 5023707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(Src->getType()->isFloatingPoint() && "Unknown real conversion"); 5033707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(DstTy)) { 504b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstType->isSignedIntegerType()) 505b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToSI(Src, DstTy, "conv"); 506b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 507b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToUI(Src, DstTy, "conv"); 5083707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 5093707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5103707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(DstTy->isFloatingPoint() && "Unknown real conversion"); 511b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstTy->getTypeID() < Src->getType()->getTypeID()) 512b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPTrunc(Src, DstTy, "conv"); 513b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 514b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPExt(Src, DstTy, "conv"); 5153707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 5163707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 517db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// EmitComplexToScalarConversion - Emit a conversion from the specified complex 518db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// type to the specified destination type, where the destination type is an 519db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// LLVM scalar type. 5204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter:: 5214f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerEmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 5224f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy) { 523ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Get the source element type. 524183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall SrcTy = SrcTy->getAs<ComplexType>()->getElementType(); 525db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 526ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 527ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstTy->isBooleanType()) { 528ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Complex != 0 -> (Real != 0) | (Imag != 0) 529ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.first = EmitScalarConversion(Src.first, SrcTy, DstTy); 530ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.second = EmitScalarConversion(Src.second, SrcTy, DstTy); 531ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return Builder.CreateOr(Src.first, Src.second, "tobool"); 532ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner } 533db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 5344f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // C99 6.3.1.7p2: "When a value of complex type is converted to a real type, 5354f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // the imaginary part of the complex value is discarded and the value of the 5364f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // real part is converted according to the conversion rules for the 537db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // corresponding real type. 5384f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return EmitScalarConversion(Src.first, SrcTy, DstTy); 5394f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 5404f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 5414f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 5427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Visitor Methods 5447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitExpr(Expr *E) { 547488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar CGF.ErrorUnsupported(E, "scalar expression"); 5487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getType()->isVoidType()) 5497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 55003e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 5517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 553d38617c8a50f9729c254ab76cd359af797c6739bEli FriedmanValue *ScalarExprEmitter::VisitShuffleVectorExpr(ShuffleVectorExpr *E) { 554d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman llvm::SmallVector<llvm::Constant*, 32> indices; 555d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman for (unsigned i = 2; i < E->getNumSubExprs(); i++) { 556d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman indices.push_back(cast<llvm::Constant>(CGF.EmitScalarExpr(E->getExpr(i)))); 557d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman } 558d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V1 = CGF.EmitScalarExpr(E->getExpr(0)); 559d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman Value* V2 = CGF.EmitScalarExpr(E->getExpr(1)); 5604a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson Value* SV = llvm::ConstantVector::get(indices.begin(), indices.size()); 561d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman return Builder.CreateShuffleVector(V1, V2, SV, "shuffle"); 562d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman} 56328665272c36cccb1014a6ea1217354b0519e2b59Eli FriedmanValue *ScalarExprEmitter::VisitMemberExpr(MemberExpr *E) { 56428665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman Expr::EvalResult Result; 56528665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman if (E->Evaluate(Result, CGF.getContext()) && Result.Val.isInt()) { 56628665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman if (E->isArrow()) 56728665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman CGF.EmitScalarExpr(E->getBase()); 56828665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman else 56928665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman EmitLValue(E->getBase()); 57028665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman return llvm::ConstantInt::get(VMContext, Result.Val.getInt()); 57128665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman } 57228665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman return EmitLoadOfLValue(E); 57328665272c36cccb1014a6ea1217354b0519e2b59Eli Friedman} 574d38617c8a50f9729c254ab76cd359af797c6739bEli Friedman 5757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 5767f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 5777f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 5787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit subscript expressions in rvalue context's. For most cases, this just 5797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // loads the lvalue formed by the subscript expr. However, we have to be 5807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // careful, because the base of a vector subscript is occasionally an rvalue, 5817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // so we can't get it as an lvalue. 5827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!E->getBase()->getType()->isVectorType()) 5837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 584db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 5857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the vector case. The base must be a vector, the index must be an 5867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // integer value. 5877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Base = Visit(E->getBase()); 5887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Idx = Visit(E->getIdx()); 589daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman bool IdxSigned = E->getIdx()->getType()->isSignedIntegerType(); 5900032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Idx = Builder.CreateIntCast(Idx, 591db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump llvm::Type::getInt32Ty(CGF.getLLVMContext()), 5920032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson IdxSigned, 593515ff5a31d75df9f4f099458a31cd7a405cf513dEli Friedman "vecidxcast"); 5947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateExtractElement(Base, Idx, "vecext"); 5957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5970533b3020ca39898751d4200feed776861dcd1ceNate Begemanstatic llvm::Constant *getMaskElt(llvm::ShuffleVectorInst *SVI, unsigned Idx, 5980533b3020ca39898751d4200feed776861dcd1ceNate Begeman unsigned Off, const llvm::Type *I32Ty) { 5990533b3020ca39898751d4200feed776861dcd1ceNate Begeman int MV = SVI->getMaskValue(Idx); 6000533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (MV == -1) 6010533b3020ca39898751d4200feed776861dcd1ceNate Begeman return llvm::UndefValue::get(I32Ty); 6020533b3020ca39898751d4200feed776861dcd1ceNate Begeman return llvm::ConstantInt::get(I32Ty, Off+MV); 6030533b3020ca39898751d4200feed776861dcd1ceNate Begeman} 6040533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6050533b3020ca39898751d4200feed776861dcd1ceNate BegemanValue *ScalarExprEmitter::VisitInitListExpr(InitListExpr *E) { 6060533b3020ca39898751d4200feed776861dcd1ceNate Begeman bool Ignore = TestAndClearIgnoreResultAssign(); 6070533b3020ca39898751d4200feed776861dcd1ceNate Begeman (void)Ignore; 6080533b3020ca39898751d4200feed776861dcd1ceNate Begeman assert (Ignore == false && "init list ignored"); 6090533b3020ca39898751d4200feed776861dcd1ceNate Begeman unsigned NumInitElements = E->getNumInits(); 6100533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6110533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (E->hadArrayRangeDesignator()) 6120533b3020ca39898751d4200feed776861dcd1ceNate Begeman CGF.ErrorUnsupported(E, "GNU array range designator extension"); 6130533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6140533b3020ca39898751d4200feed776861dcd1ceNate Begeman const llvm::VectorType *VType = 6150533b3020ca39898751d4200feed776861dcd1ceNate Begeman dyn_cast<llvm::VectorType>(ConvertType(E->getType())); 6160533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6170533b3020ca39898751d4200feed776861dcd1ceNate Begeman // We have a scalar in braces. Just use the first element. 6180533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (!VType) 6190533b3020ca39898751d4200feed776861dcd1ceNate Begeman return Visit(E->getInit(0)); 6200533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6210533b3020ca39898751d4200feed776861dcd1ceNate Begeman unsigned ResElts = VType->getNumElements(); 6220533b3020ca39898751d4200feed776861dcd1ceNate Begeman const llvm::Type *I32Ty = llvm::Type::getInt32Ty(CGF.getLLVMContext()); 6230533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6240533b3020ca39898751d4200feed776861dcd1ceNate Begeman // Loop over initializers collecting the Value for each, and remembering 6250533b3020ca39898751d4200feed776861dcd1ceNate Begeman // whether the source was swizzle (ExtVectorElementExpr). This will allow 6260533b3020ca39898751d4200feed776861dcd1ceNate Begeman // us to fold the shuffle for the swizzle into the shuffle for the vector 6270533b3020ca39898751d4200feed776861dcd1ceNate Begeman // initializer, since LLVM optimizers generally do not want to touch 6280533b3020ca39898751d4200feed776861dcd1ceNate Begeman // shuffles. 6290533b3020ca39898751d4200feed776861dcd1ceNate Begeman unsigned CurIdx = 0; 6300533b3020ca39898751d4200feed776861dcd1ceNate Begeman bool VIsUndefShuffle = false; 6310533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::Value *V = llvm::UndefValue::get(VType); 6320533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned i = 0; i != NumInitElements; ++i) { 6330533b3020ca39898751d4200feed776861dcd1ceNate Begeman Expr *IE = E->getInit(i); 6340533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *Init = Visit(IE); 6350533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::SmallVector<llvm::Constant*, 16> Args; 6360533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6370533b3020ca39898751d4200feed776861dcd1ceNate Begeman const llvm::VectorType *VVT = dyn_cast<llvm::VectorType>(Init->getType()); 6380533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6390533b3020ca39898751d4200feed776861dcd1ceNate Begeman // Handle scalar elements. If the scalar initializer is actually one 6400533b3020ca39898751d4200feed776861dcd1ceNate Begeman // element of a different vector of the same width, use shuffle instead of 6410533b3020ca39898751d4200feed776861dcd1ceNate Begeman // extract+insert. 6420533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (!VVT) { 6430533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (isa<ExtVectorElementExpr>(IE)) { 6440533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::ExtractElementInst *EI = cast<llvm::ExtractElementInst>(Init); 6450533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6460533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (EI->getVectorOperandType()->getNumElements() == ResElts) { 6470533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::ConstantInt *C = cast<llvm::ConstantInt>(EI->getIndexOperand()); 6480533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *LHS = 0, *RHS = 0; 6490533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (CurIdx == 0) { 6500533b3020ca39898751d4200feed776861dcd1ceNate Begeman // insert into undef -> shuffle (src, undef) 6510533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(C); 6520533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 1; j != ResElts; ++j) 6530533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::UndefValue::get(I32Ty)); 6540533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6550533b3020ca39898751d4200feed776861dcd1ceNate Begeman LHS = EI->getVectorOperand(); 6560533b3020ca39898751d4200feed776861dcd1ceNate Begeman RHS = V; 6570533b3020ca39898751d4200feed776861dcd1ceNate Begeman VIsUndefShuffle = true; 6580533b3020ca39898751d4200feed776861dcd1ceNate Begeman } else if (VIsUndefShuffle) { 6590533b3020ca39898751d4200feed776861dcd1ceNate Begeman // insert into undefshuffle && size match -> shuffle (v, src) 6600533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::ShuffleVectorInst *SVV = cast<llvm::ShuffleVectorInst>(V); 6610533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0; j != CurIdx; ++j) 6620533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(getMaskElt(SVV, j, 0, I32Ty)); 6630533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::ConstantInt::get(I32Ty, 6640533b3020ca39898751d4200feed776861dcd1ceNate Begeman ResElts + C->getZExtValue())); 6650533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = CurIdx + 1; j != ResElts; ++j) 6660533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::UndefValue::get(I32Ty)); 6670533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6680533b3020ca39898751d4200feed776861dcd1ceNate Begeman LHS = cast<llvm::ShuffleVectorInst>(V)->getOperand(0); 6690533b3020ca39898751d4200feed776861dcd1ceNate Begeman RHS = EI->getVectorOperand(); 6700533b3020ca39898751d4200feed776861dcd1ceNate Begeman VIsUndefShuffle = false; 6710533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 6720533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (!Args.empty()) { 6730533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], ResElts); 6740533b3020ca39898751d4200feed776861dcd1ceNate Begeman V = Builder.CreateShuffleVector(LHS, RHS, Mask); 6750533b3020ca39898751d4200feed776861dcd1ceNate Begeman ++CurIdx; 6760533b3020ca39898751d4200feed776861dcd1ceNate Begeman continue; 6770533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 6780533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 6790533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 6800533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *Idx = llvm::ConstantInt::get(I32Ty, CurIdx); 6810533b3020ca39898751d4200feed776861dcd1ceNate Begeman V = Builder.CreateInsertElement(V, Init, Idx, "vecinit"); 6820533b3020ca39898751d4200feed776861dcd1ceNate Begeman VIsUndefShuffle = false; 6830533b3020ca39898751d4200feed776861dcd1ceNate Begeman ++CurIdx; 6840533b3020ca39898751d4200feed776861dcd1ceNate Begeman continue; 6850533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 6860533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6870533b3020ca39898751d4200feed776861dcd1ceNate Begeman unsigned InitElts = VVT->getNumElements(); 6880533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6890533b3020ca39898751d4200feed776861dcd1ceNate Begeman // If the initializer is an ExtVecEltExpr (a swizzle), and the swizzle's 6900533b3020ca39898751d4200feed776861dcd1ceNate Begeman // input is the same width as the vector being constructed, generate an 6910533b3020ca39898751d4200feed776861dcd1ceNate Begeman // optimized shuffle of the swizzle input into the result. 692a99f08351b6df3bb0f2947e038747717a60fd93aNate Begeman unsigned Offset = (CurIdx == 0) ? 0 : ResElts; 6930533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (isa<ExtVectorElementExpr>(IE)) { 6940533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::ShuffleVectorInst *SVI = cast<llvm::ShuffleVectorInst>(Init); 6950533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *SVOp = SVI->getOperand(0); 6960533b3020ca39898751d4200feed776861dcd1ceNate Begeman const llvm::VectorType *OpTy = cast<llvm::VectorType>(SVOp->getType()); 6970533b3020ca39898751d4200feed776861dcd1ceNate Begeman 6980533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (OpTy->getNumElements() == ResElts) { 6990533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0; j != CurIdx; ++j) { 7000533b3020ca39898751d4200feed776861dcd1ceNate Begeman // If the current vector initializer is a shuffle with undef, merge 7010533b3020ca39898751d4200feed776861dcd1ceNate Begeman // this shuffle directly into it. 7020533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (VIsUndefShuffle) { 7030533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(getMaskElt(cast<llvm::ShuffleVectorInst>(V), j, 0, 7040533b3020ca39898751d4200feed776861dcd1ceNate Begeman I32Ty)); 7050533b3020ca39898751d4200feed776861dcd1ceNate Begeman } else { 7060533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::ConstantInt::get(I32Ty, j)); 7070533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7080533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7090533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0, je = InitElts; j != je; ++j) 7100533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(getMaskElt(SVI, j, Offset, I32Ty)); 7110533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = CurIdx + InitElts; j != ResElts; ++j) 7120533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::UndefValue::get(I32Ty)); 7130533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7140533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (VIsUndefShuffle) 7150533b3020ca39898751d4200feed776861dcd1ceNate Begeman V = cast<llvm::ShuffleVectorInst>(V)->getOperand(0); 7160533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7170533b3020ca39898751d4200feed776861dcd1ceNate Begeman Init = SVOp; 7180533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7190533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7200533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7210533b3020ca39898751d4200feed776861dcd1ceNate Begeman // Extend init to result vector length, and then shuffle its contribution 7220533b3020ca39898751d4200feed776861dcd1ceNate Begeman // to the vector initializer into V. 7230533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (Args.empty()) { 7240533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0; j != InitElts; ++j) 7250533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::ConstantInt::get(I32Ty, j)); 7260533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = InitElts; j != ResElts; ++j) 7270533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::UndefValue::get(I32Ty)); 7280533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], ResElts); 7290533b3020ca39898751d4200feed776861dcd1ceNate Begeman Init = Builder.CreateShuffleVector(Init, llvm::UndefValue::get(VVT), 730a99f08351b6df3bb0f2947e038747717a60fd93aNate Begeman Mask, "vext"); 7310533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7320533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.clear(); 7330533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0; j != CurIdx; ++j) 7340533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::ConstantInt::get(I32Ty, j)); 7350533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = 0; j != InitElts; ++j) 736a99f08351b6df3bb0f2947e038747717a60fd93aNate Begeman Args.push_back(llvm::ConstantInt::get(I32Ty, j+Offset)); 7370533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (unsigned j = CurIdx + InitElts; j != ResElts; ++j) 7380533b3020ca39898751d4200feed776861dcd1ceNate Begeman Args.push_back(llvm::UndefValue::get(I32Ty)); 7390533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7400533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7410533b3020ca39898751d4200feed776861dcd1ceNate Begeman // If V is undef, make sure it ends up on the RHS of the shuffle to aid 7420533b3020ca39898751d4200feed776861dcd1ceNate Begeman // merging subsequent shuffles into this one. 7430533b3020ca39898751d4200feed776861dcd1ceNate Begeman if (CurIdx == 0) 7440533b3020ca39898751d4200feed776861dcd1ceNate Begeman std::swap(V, Init); 7450533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], ResElts); 7460533b3020ca39898751d4200feed776861dcd1ceNate Begeman V = Builder.CreateShuffleVector(V, Init, Mask, "vecinit"); 7470533b3020ca39898751d4200feed776861dcd1ceNate Begeman VIsUndefShuffle = isa<llvm::UndefValue>(Init); 7480533b3020ca39898751d4200feed776861dcd1ceNate Begeman CurIdx += InitElts; 7490533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7500533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7510533b3020ca39898751d4200feed776861dcd1ceNate Begeman // FIXME: evaluate codegen vs. shuffling against constant null vector. 7520533b3020ca39898751d4200feed776861dcd1ceNate Begeman // Emit remaining default initializers. 7530533b3020ca39898751d4200feed776861dcd1ceNate Begeman const llvm::Type *EltTy = VType->getElementType(); 7540533b3020ca39898751d4200feed776861dcd1ceNate Begeman 7550533b3020ca39898751d4200feed776861dcd1ceNate Begeman // Emit remaining default initializers 7560533b3020ca39898751d4200feed776861dcd1ceNate Begeman for (/* Do not initialize i*/; CurIdx < ResElts; ++CurIdx) { 7570533b3020ca39898751d4200feed776861dcd1ceNate Begeman Value *Idx = llvm::ConstantInt::get(I32Ty, CurIdx); 7580533b3020ca39898751d4200feed776861dcd1ceNate Begeman llvm::Value *Init = llvm::Constant::getNullValue(EltTy); 7590533b3020ca39898751d4200feed776861dcd1ceNate Begeman V = Builder.CreateInsertElement(V, Init, Idx, "vecinit"); 7600533b3020ca39898751d4200feed776861dcd1ceNate Begeman } 7610533b3020ca39898751d4200feed776861dcd1ceNate Begeman return V; 7620533b3020ca39898751d4200feed776861dcd1ceNate Begeman} 7630533b3020ca39898751d4200feed776861dcd1ceNate Begeman 764a3697c9c155bda93fd2802f37084b620f4738822Anders Carlssonstatic bool ShouldNullCheckClassCastValue(const CastExpr *CE) { 765a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson const Expr *E = CE->getSubExpr(); 766a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 767a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson if (isa<CXXThisExpr>(E)) { 768a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson // We always assume that 'this' is never null. 769a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson return false; 770a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson } 771a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 772a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson if (const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(CE)) { 773a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson // And that lvalue casts are never null. 774a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson if (ICE->isLvalueCast()) 775a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson return false; 776a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson } 777a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 778a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson return true; 779a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson} 780a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 781504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson// VisitCastExpr - Emit code for an explicit or implicit cast. Implicit casts 782504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson// have to handle a more broad range of conversions than explicit casts, as they 783504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson// handle things like function to ptr-to-function decay etc. 784d888962cff03b543fbe9ac6051ec6addf5b993b4Eli FriedmanValue *ScalarExprEmitter::EmitCastExpr(CastExpr *CE) { 785d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Expr *E = CE->getSubExpr(); 786592a2bbc1945358ab8ebf0d74c57f0b23c4434c0Anders Carlsson QualType DestTy = CE->getType(); 787592a2bbc1945358ab8ebf0d74c57f0b23c4434c0Anders Carlsson CastExpr::CastKind Kind = CE->getCastKind(); 788592a2bbc1945358ab8ebf0d74c57f0b23c4434c0Anders Carlsson 789504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson if (!DestTy->isVoidType()) 790504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson TestAndClearIgnoreResultAssign(); 791db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 7928c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman // Since almost all cast kinds apply to scalars, this switch doesn't have 7938c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman // a default case, so the compiler will warn on a missing case. The cases 7948c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman // are in the same order as in the CastKind enum. 795504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson switch (Kind) { 7967f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson case CastExpr::CK_Unknown: 797d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman // FIXME: All casts should have a known kind! 798ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman //assert(0 && "Unknown cast kind!"); 799504bf55195ccbf84e016a0c7759669dee2975ba3Anders Carlsson break; 800ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 801cb3c308ef0e63b2902911b985517309c26f975dcAnders Carlsson case CastExpr::CK_BitCast: { 802cb3c308ef0e63b2902911b985517309c26f975dcAnders Carlsson Value *Src = Visit(const_cast<Expr*>(E)); 803cb3c308ef0e63b2902911b985517309c26f975dcAnders Carlsson return Builder.CreateBitCast(Src, ConvertType(DestTy)); 804cb3c308ef0e63b2902911b985517309c26f975dcAnders Carlsson } 805ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_NoOp: 806ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return Visit(const_cast<Expr*>(E)); 807db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 808a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson case CastExpr::CK_BaseToDerived: { 809a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson const CXXRecordDecl *BaseClassDecl = 810a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson E->getType()->getCXXRecordDeclForPointerType(); 811a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson const CXXRecordDecl *DerivedClassDecl = 812a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson DestTy->getCXXRecordDeclForPointerType(); 813a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 814a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson Value *Src = Visit(const_cast<Expr*>(E)); 815a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson 816a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson bool NullCheckValue = ShouldNullCheckClassCastValue(CE); 817a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson return CGF.GetAddressOfDerivedClass(Src, BaseClassDecl, DerivedClassDecl, 818a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson NullCheckValue); 819a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson } 820191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson case CastExpr::CK_DerivedToBase: { 821191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson const RecordType *DerivedClassTy = 822191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson E->getType()->getAs<PointerType>()->getPointeeType()->getAs<RecordType>(); 823191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson CXXRecordDecl *DerivedClassDecl = 824191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson cast<CXXRecordDecl>(DerivedClassTy->getDecl()); 825191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson 826191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson const RecordType *BaseClassTy = 827191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson DestTy->getAs<PointerType>()->getPointeeType()->getAs<RecordType>(); 828191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson CXXRecordDecl *BaseClassDecl = cast<CXXRecordDecl>(BaseClassTy->getDecl()); 829191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson 830191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson Value *Src = Visit(const_cast<Expr*>(E)); 83132baf62b9a3aea3b63be6925b64aa182b0a2278eAnders Carlsson 832a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson bool NullCheckValue = ShouldNullCheckClassCastValue(CE); 833a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson return CGF.GetAddressOfBaseClass(Src, DerivedClassDecl, BaseClassDecl, 834a3697c9c155bda93fd2802f37084b620f4738822Anders Carlsson NullCheckValue); 835191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson } 8368c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_Dynamic: { 8378c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman Value *V = Visit(const_cast<Expr*>(E)); 8388c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman const CXXDynamicCastExpr *DCE = cast<CXXDynamicCastExpr>(CE); 8398c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman return CGF.EmitDynamicCast(V, DCE); 8408c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman } 841d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman case CastExpr::CK_ToUnion: 842ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman assert(0 && "Should be unreachable!"); 843ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman break; 844d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman 845ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_ArrayToPointerDecay: { 846ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman assert(E->getType()->isArrayType() && 847ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman "Array to pointer decay must have array source type!"); 848ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 849ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman Value *V = EmitLValue(E).getAddress(); // Bitfields can't be arrays. 850ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 851ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman // Note that VLA pointers are always decayed, so we don't need to do 852ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman // anything here. 853ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman if (!E->getType()->isVariableArrayType()) { 854ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman assert(isa<llvm::PointerType>(V->getType()) && "Expected pointer"); 855ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman assert(isa<llvm::ArrayType>(cast<llvm::PointerType>(V->getType()) 856ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman ->getElementType()) && 857ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman "Expected pointer to array"); 858ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman V = Builder.CreateStructGEP(V, 0, "arraydecay"); 859ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman } 860ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 861ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return V; 862ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman } 863ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_FunctionToPointerDecay: 864ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return EmitLValue(E).getAddress(); 865ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 866ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_NullToMemberPointer: 867ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return CGF.CGM.EmitNullConstant(DestTy); 868191dfe909d6cc18e9134ac23ac4daaedeceb862fAnders Carlsson 8698c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_BaseToDerivedMemberPointer: 870d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman case CastExpr::CK_DerivedToBaseMemberPointer: { 871d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Value *Src = Visit(E); 872d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman 873d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman // See if we need to adjust the pointer. 874d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman const CXXRecordDecl *BaseDecl = 875d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman cast<CXXRecordDecl>(E->getType()->getAs<MemberPointerType>()-> 876d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman getClass()->getAs<RecordType>()->getDecl()); 877d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman const CXXRecordDecl *DerivedDecl = 878d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman cast<CXXRecordDecl>(CE->getType()->getAs<MemberPointerType>()-> 879d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman getClass()->getAs<RecordType>()->getDecl()); 880d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman if (CE->getCastKind() == CastExpr::CK_DerivedToBaseMemberPointer) 881d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman std::swap(DerivedDecl, BaseDecl); 882d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman 883d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman llvm::Constant *Adj = CGF.CGM.GetCXXBaseClassOffset(DerivedDecl, BaseDecl); 884d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman if (Adj) { 885d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman if (CE->getCastKind() == CastExpr::CK_DerivedToBaseMemberPointer) 886d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Src = Builder.CreateSub(Src, Adj, "adj"); 887d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman else 888d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman Src = Builder.CreateAdd(Src, Adj, "adj"); 889d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman } 890d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman return Src; 891d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman } 892d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman 8938c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_UserDefinedConversion: 8948c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_ConstructorConversion: 895d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman assert(0 && "Should be unreachable!"); 8968c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman break; 8978c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman 8987f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson case CastExpr::CK_IntegralToPointer: { 8997f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson Value *Src = Visit(const_cast<Expr*>(E)); 90082debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson 90182debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson // First, convert to the correct width so that we control the kind of 90282debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson // extension. 90382debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson const llvm::Type *MiddleTy = 90482debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 90582debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson bool InputSigned = E->getType()->isSignedIntegerType(); 90682debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson llvm::Value* IntResult = 90782debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson Builder.CreateIntCast(Src, MiddleTy, InputSigned, "conv"); 90882debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson 90982debc7d282e723e58d183bfa89ddc2500a8daafAnders Carlsson return Builder.CreateIntToPtr(IntResult, ConvertType(DestTy)); 9107f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson } 9117f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson case CastExpr::CK_PointerToIntegral: { 9127f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson Value *Src = Visit(const_cast<Expr*>(E)); 9137f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson return Builder.CreatePtrToInt(Src, ConvertType(DestTy)); 9147f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson } 915ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_ToVoid: { 916ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman CGF.EmitAnyExpr(E, 0, false, true); 917ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return 0; 918ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman } 919ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman case CastExpr::CK_VectorSplat: { 920ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman const llvm::Type *DstTy = ConvertType(DestTy); 921ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman Value *Elt = Visit(const_cast<Expr*>(E)); 922ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 923ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman // Insert the element in element zero of an undef vector 924ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::Value *UnV = llvm::UndefValue::get(DstTy); 925ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::Value *Idx = 926ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0); 927ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman UnV = Builder.CreateInsertElement(UnV, Elt, Idx, "tmp"); 928ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 929ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman // Splat the element across to all elements 930ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::SmallVector<llvm::Constant*, 16> Args; 931ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman unsigned NumElements = cast<llvm::VectorType>(DstTy)->getNumElements(); 932ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman for (unsigned i = 0; i < NumElements; i++) 933ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman Args.push_back(llvm::ConstantInt::get( 934ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::Type::getInt32Ty(VMContext), 0)); 935ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 936ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 937ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman llvm::Value *Yay = Builder.CreateShuffleVector(UnV, UnV, Mask, "splat"); 938ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman return Yay; 939ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman } 9408c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_IntegralCast: 9418c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_IntegralToFloating: 9428c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_FloatingToIntegral: 9438c3e7e7ddafe26f236741fb25e2898be4f3230eaEli Friedman case CastExpr::CK_FloatingCast: 944d888962cff03b543fbe9ac6051ec6addf5b993b4Eli Friedman return EmitScalarConversion(Visit(E), E->getType(), DestTy); 945ad35a83102683b00a7e28707eee7f2d8c994b742Eli Friedman 946bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson case CastExpr::CK_MemberPointerToBoolean: { 947bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson const MemberPointerType* T = E->getType()->getAs<MemberPointerType>(); 948bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 949bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson if (T->getPointeeType()->isFunctionType()) { 950bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson // We have a member function pointer. 951bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson llvm::Value *Ptr = CGF.CreateTempAlloca(ConvertType(E->getType())); 952bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 953bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson CGF.EmitAggExpr(E, Ptr, /*VolatileDest=*/false); 954bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 955bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson // Get the pointer. 956bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson llvm::Value *FuncPtr = Builder.CreateStructGEP(Ptr, 0, "src.ptr"); 957bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson FuncPtr = Builder.CreateLoad(FuncPtr); 958bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 959bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson llvm::Value *IsNotNull = 960bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson Builder.CreateICmpNE(FuncPtr, 961bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson llvm::Constant::getNullValue(FuncPtr->getType()), 962bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson "tobool"); 963bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 964bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson return IsNotNull; 965bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson } 966bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson 967bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson // We have a regular member pointer. 968bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson Value *Ptr = Visit(const_cast<Expr*>(E)); 969bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson llvm::Value *IsNotNull = 970bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson Builder.CreateICmpNE(Ptr, CGF.CGM.EmitNullConstant(E->getType()), 971bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson "tobool"); 972bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson return IsNotNull; 973bc0e0781da778bd5eb41a810419912893ae20448Anders Carlsson } 974e9776247577715ad3a19461769a3488a445a8cbdAnders Carlsson } 975db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 97658a2e944faa16f1f61439acd2e71b19f50189511Chris Lattner // Handle cases where the source is an non-complex type. 977db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 97819a1d7c646729eb858b15583e647262a22de3637Chris Lattner if (!CGF.hasAggregateLLVMType(E->getType())) { 9793707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner Value *Src = Visit(const_cast<Expr*>(E)); 9803707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 9813707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Use EmitScalarConversion to perform the conversion. 9823707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return EmitScalarConversion(Src, E->getType(), DestTy); 9833707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 984db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 9859b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (E->getType()->isAnyComplexType()) { 98619a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Handle cases where the source is a complex type. 9877f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreImag = true; 9887f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreImagAssign = true; 9897f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreReal = IgnoreResultAssign; 9907f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool IgnoreRealAssign = IgnoreResultAssign; 9917f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (DestTy->isBooleanType()) 9927f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreImagAssign = IgnoreImag = false; 9937f79f9be5916c51c35da4f126b7c12596a101607Mike Stump else if (DestTy->isVoidType()) { 9947f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreReal = IgnoreImag = false; 9957f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreRealAssign = IgnoreImagAssign = true; 9967f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } 9977f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CodeGenFunction::ComplexPairTy V 9987f79f9be5916c51c35da4f126b7c12596a101607Mike Stump = CGF.EmitComplexExpr(E, IgnoreReal, IgnoreImag, IgnoreRealAssign, 9997f79f9be5916c51c35da4f126b7c12596a101607Mike Stump IgnoreImagAssign); 10007f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitComplexToScalarConversion(V, E->getType(), DestTy); 100119a1d7c646729eb858b15583e647262a22de3637Chris Lattner } 100210b00cfe6422906b223724048b9b2123968d3baaChris Lattner 100319a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Okay, this is a cast from an aggregate. It must be a cast to void. Just 100419a1d7c646729eb858b15583e647262a22de3637Chris Lattner // evaluate the result and return. 10057f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitAggExpr(E, 0, false, true); 100619a1d7c646729eb858b15583e647262a22de3637Chris Lattner return 0; 10077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10093379320c10001d7e1ee5d7e7142c417f797cfe82Chris LattnerValue *ScalarExprEmitter::VisitStmtExpr(const StmtExpr *E) { 101091d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner return CGF.EmitCompoundStmt(*E->getSubStmt(), 101191d723da7b68be5245c3ac58aa2a36d04658cfb8Chris Lattner !E->getType()->isVoidType()).getScalarVal(); 10123379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner} 10133379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 1014a99038c0757a836c6faeeddaa5dfd249b32f6e9eMike StumpValue *ScalarExprEmitter::VisitBlockDeclRefExpr(const BlockDeclRefExpr *E) { 1015f7bcc7e6c803a2b2f7b7f7fdfb2506dd25ec6de8Fariborz Jahanian llvm::Value *V = CGF.GetAddrOfBlockDecl(E); 1016f7bcc7e6c803a2b2f7b7f7fdfb2506dd25ec6de8Fariborz Jahanian if (E->getType().isObjCGCWeak()) 1017f7bcc7e6c803a2b2f7b7f7fdfb2506dd25ec6de8Fariborz Jahanian return CGF.CGM.getObjCRuntime().EmitObjCWeakRead(CGF, V); 10182da84ff228a231adbd3f6f236b857f752d02959aDaniel Dunbar return Builder.CreateLoad(V, "tmp"); 10194e7a1f7682d94811bd41fca8aefccc38f686db23Mike Stump} 10203379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 10217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 10227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Unary Operators 10237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 10247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitPrePostIncDec(const UnaryOperator *E, 1026dfce2a51a78455c915722bc05f07c41e600220c9Chris Lattner bool isInc, bool isPre) { 10277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LV = EmitLValue(E->getSubExpr()); 1028f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman QualType ValTy = E->getSubExpr()->getType(); 1029f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman Value *InVal = CGF.EmitLoadOfLValue(LV, ValTy).getScalarVal(); 10300032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson 10310032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::LLVMContext &VMContext = CGF.getLLVMContext(); 1032db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 10337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner int AmountVal = isInc ? 1 : -1; 1034daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 1035daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman if (ValTy->isPointerType() && 10366217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek ValTy->getAs<PointerType>()->isVariableArrayType()) { 1037daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition/subtraction needs to account for the VLA size 1038daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(E, "VLA pointer inc/dec"); 1039daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 1040daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 10417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *NextVal; 1042db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump if (const llvm::PointerType *PT = 10438cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner dyn_cast<llvm::PointerType>(InVal->getType())) { 1044a1cf15f4680e5cf39e72e28c5ea854fcba792e84Owen Anderson llvm::Constant *Inc = 10450032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), AmountVal); 10468cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner if (!isa<llvm::FunctionType>(PT->getElementType())) { 104762a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian QualType PTEE = ValTy->getPointeeType(); 1048db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump if (const ObjCInterfaceType *OIT = 104962a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian dyn_cast<ObjCInterfaceType>(PTEE)) { 105062a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian // Handle interface types, which are not represented with a concrete type. 105162a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian int size = CGF.getContext().getTypeSize(OIT) / 8; 105262a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian if (!isInc) 105362a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian size = -size; 10544a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Inc = llvm::ConstantInt::get(Inc->getType(), size); 10553c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 105662a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian InVal = Builder.CreateBitCast(InVal, i8Ty); 105762a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian NextVal = Builder.CreateGEP(InVal, Inc, "add.ptr"); 105862a11a78c2616ce1fa3ef7b1a4bc3f42365cafb9Fariborz Jahanian llvm::Value *lhs = LV.getAddress(); 105996e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson lhs = Builder.CreateBitCast(lhs, llvm::PointerType::getUnqual(i8Ty)); 10600953e767ff7817f97b3ab20896b229891eeff45bJohn McCall LV = LValue::MakeAddr(lhs, CGF.MakeQualifiers(ValTy)); 1061b3589f44c5d295cd41de2c83f3475116835eeebdMike Stump } else 1062664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman NextVal = Builder.CreateInBoundsGEP(InVal, Inc, "ptrincdec"); 10638cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner } else { 10643c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 10658cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateBitCast(InVal, i8Ty, "tmp"); 10668cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateGEP(NextVal, Inc, "ptrincdec"); 10678cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner NextVal = Builder.CreateBitCast(NextVal, InVal->getType()); 10688cc9d08eb8b2652ca939d724ab64dec906e418a0Chris Lattner } 10690032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson } else if (InVal->getType() == llvm::Type::getInt1Ty(VMContext) && isInc) { 1070db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool++ is an interesting case, due to promotion rules, we get: 1071db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool++ -> Bool = Bool+1 -> Bool = (int)Bool+1 -> 1072db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Bool = ((int)Bool+1) != 0 1073db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // An interesting aspect of this is that increment is always true. 1074db3bd4b4eabc325781a6a407c3dcf68a8d6db0f9Chris Lattner // Decrement does not have this property. 10753b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson NextVal = llvm::ConstantInt::getTrue(VMContext); 107687415d2d45224596a96ef02310701797d56b2c19Chris Lattner } else if (isa<llvm::IntegerType>(InVal->getType())) { 10774a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson NextVal = llvm::ConstantInt::get(InVal->getType(), AmountVal); 1078bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 1079bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman // Signed integer overflow is undefined behavior. 1080bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman if (ValTy->isSignedIntegerType()) 1081bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman NextVal = Builder.CreateNSWAdd(InVal, NextVal, isInc ? "inc" : "dec"); 1082bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman else 1083bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman NextVal = Builder.CreateAdd(InVal, NextVal, isInc ? "inc" : "dec"); 1084e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } else { 1085e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // Add the inc/dec to the real part. 1086ffbb15e54a6dc120087003d1e42448b8705bd58aBenjamin Kramer if (InVal->getType()->isFloatTy()) 1087db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump NextVal = 1088db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump llvm::ConstantFP::get(VMContext, 1089bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::APFloat(static_cast<float>(AmountVal))); 1090ffbb15e54a6dc120087003d1e42448b8705bd58aBenjamin Kramer else if (InVal->getType()->isDoubleTy()) 1091db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump NextVal = 1092bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::ConstantFP::get(VMContext, 1093bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson llvm::APFloat(static_cast<double>(AmountVal))); 109425ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner else { 109525ddea7f7835c4b1804e458a5c866cde0097430aChris Lattner llvm::APFloat F(static_cast<float>(AmountVal)); 1096ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen bool ignored; 1097ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen F.convert(CGF.Target.getLongDoubleFormat(), llvm::APFloat::rmTowardZero, 1098ee5a700af3fe9ae1a639c271f093f40677dddc04Dale Johannesen &ignored); 1099bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson NextVal = llvm::ConstantFP::get(VMContext, F); 1100ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner } 110187415d2d45224596a96ef02310701797d56b2c19Chris Lattner NextVal = Builder.CreateFAdd(InVal, NextVal, isInc ? "inc" : "dec"); 1102e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } 1103db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 11047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Store the updated result through the lvalue. 1105f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman if (LV.isBitfield()) 1106f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman CGF.EmitStoreThroughBitfieldLValue(RValue::get(NextVal), LV, ValTy, 1107f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman &NextVal); 1108f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman else 1109f52bbeb1ce55aa10b4519024258b8962777fa8d4Eli Friedman CGF.EmitStoreThroughLValue(RValue::get(NextVal), LV, ValTy); 11107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is a postinc, return the value read from memory, otherwise use the 11127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // updated value. 11137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return isPre ? NextVal : InVal; 11147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 11187f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 11197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 112087415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Op->getType()->isFPOrFPVector()) 112187415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFNeg(Op, "neg"); 11227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNeg(Op, "neg"); 11237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 11267f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 11277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 11287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNot(Op, "neg"); 11297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryLNot(const UnaryOperator *E) { 11327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Compare operand to zero. 11337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *BoolVal = CGF.EvaluateExprAsBool(E->getSubExpr()); 1134db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 11357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Invert value. 11367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // TODO: Could dynamically modify easy computations here. For example, if 11377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // the operand is an icmp ne, turn into icmp eq. 11387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BoolVal = Builder.CreateNot(BoolVal, "lnot"); 1139db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 11409f84d88a302ea38cf0695ce8cdace47178d2fff4Anders Carlsson // ZExt result to the expr type. 11419f84d88a302ea38cf0695ce8cdace47178d2fff4Anders Carlsson return Builder.CreateZExt(BoolVal, ConvertType(E->getType()), "lnot.ext"); 11427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11440518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// VisitSizeOfAlignOfExpr - Return the size or alignment of the type of 11450518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl/// argument of the sizeof expression as an integer. 11460518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlValue * 11470518999d3adcc289997bd974dce90cc97f5c1c44Sebastian RedlScalarExprEmitter::VisitSizeOfAlignOfExpr(const SizeOfAlignOfExpr *E) { 11480518999d3adcc289997bd974dce90cc97f5c1c44Sebastian Redl QualType TypeToSize = E->getTypeOfArgument(); 1149f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isSizeOf()) { 1150db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump if (const VariableArrayType *VAT = 1151f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.getContext().getAsVariableArrayType(TypeToSize)) { 1152f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman if (E->isArgumentType()) { 1153f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman // sizeof(type) - make sure to emit the VLA size. 1154f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman CGF.EmitVLASize(TypeToSize); 11558f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman } else { 11568f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman // C99 6.5.3.4p2: If the argument is an expression of type 11578f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman // VLA, it is evaluated. 11588f426fa9fca022201fc0944d6c1cb2cf9918db7dEli Friedman CGF.EmitAnyExpr(E->getArgumentExpr()); 1159f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman } 1160db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 116196f214776c0f69069fee4d67557c8c7f416009a8Anders Carlsson return CGF.GetVLASize(VAT); 1162b50525ba0e996bc072cdb76152fcfe0bc64bb72aAnders Carlsson } 11635d46315ca3cbbfe0d0f5f65520b618fb05dd4446Anders Carlsson } 1164f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman 1165db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // If this isn't sizeof(vla), the result must be constant; use the constant 1166db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // folding logic so we don't have to duplicate it here. 1167f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman Expr::EvalResult Result; 1168f2da9dfef96dc11b7b5effb1d02cb427b2d71599Eli Friedman E->Evaluate(Result, CGF.getContext()); 11694a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson return llvm::ConstantInt::get(VMContext, Result.Val.getInt()); 11707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 117246f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryReal(const UnaryOperator *E) { 117346f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 11749b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 11757f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return CGF.EmitComplexExpr(Op, false, true, false, true).first; 117646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return Visit(Op); 117746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 117846f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryImag(const UnaryOperator *E) { 117946f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 11809b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 11817f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return CGF.EmitComplexExpr(Op, true, false, true, false).second; 1182db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 11837f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // __imag on a scalar returns zero. Emit the subexpr to ensure side 11847f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // effects are evaluated, but not the actual value. 11857f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (E->isLvalue(CGF.getContext()) == Expr::LV_Valid) 11867f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitLValue(Op); 11877f79f9be5916c51c35da4f126b7c12596a101607Mike Stump else 11887f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitScalarExpr(Op, true); 1189c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson return llvm::Constant::getNullValue(ConvertType(E->getType())); 119046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 119146f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 11921eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpValue *ScalarExprEmitter::VisitUnaryOffsetOf(const UnaryOperator *E) { 119335183aca180a2b9b2c637cd625a40a7e147d6a32Eli Friedman Value* ResultAsPtr = EmitLValue(E->getSubExpr()).getAddress(); 1194769e411b72465a63454cdd416ff26ff313d43505Eli Friedman const llvm::Type* ResultType = ConvertType(E->getType()); 119535183aca180a2b9b2c637cd625a40a7e147d6a32Eli Friedman return Builder.CreatePtrToInt(ResultAsPtr, ResultType, "offsetof"); 11965a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson} 119746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 11987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 11997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Binary Operators 12007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 12017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerBinOpInfo ScalarExprEmitter::EmitBinOps(const BinaryOperator *E) { 12037f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 12047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BinOpInfo Result; 12057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.LHS = Visit(E->getLHS()); 12067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.RHS = Visit(E->getRHS()); 12071f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Result.Ty = E->getType(); 12087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.E = E; 12097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Result; 12107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12123ccf774256382ef9aa95028eaad82f54a3d0b0adChris LattnerValue *ScalarExprEmitter::EmitCompoundAssign(const CompoundAssignOperator *E, 12131f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*Func)(const BinOpInfo &)) { 12147f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool Ignore = TestAndClearIgnoreResultAssign(); 12151f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType(); 12161f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 12171f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo OpInfo; 12181f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 1219ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman if (E->getComputationResultType()->isAnyComplexType()) { 1220db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // This needs to go through the complex expression emitter, but it's a tad 1221db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // complicated to do that... I'm leaving it out for now. (Note that we do 1222db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // actually need the imaginary part of the RHS for multiplication and 1223db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // division.) 1224ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman CGF.ErrorUnsupported(E, "complex compound assignment"); 122503e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 12261f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 12278c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar 1228cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump // Emit the RHS first. __block variables need to have the rhs evaluated 1229cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump // first, plus this should improve codegen a little. 1230cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.RHS = Visit(E->getRHS()); 1231cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.Ty = E->getComputationResultType(); 1232cc0442fa28e5d1f403f820dcdee49911c3e622a9Mike Stump OpInfo.E = E; 1233ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman // Load/convert the LHS. 1234ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman LValue LHSLV = EmitLValue(E->getLHS()); 1235ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman OpInfo.LHS = EmitLoadOfLValue(LHSLV, LHSTy); 1236ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman OpInfo.LHS = EmitScalarConversion(OpInfo.LHS, LHSTy, 1237ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman E->getComputationLHSType()); 1238db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 12391f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Expand the binary operator. 12401f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *Result = (this->*Func)(OpInfo); 1241db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 12428c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Convert the result back to the LHS type. 1243ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman Result = EmitScalarConversion(Result, E->getComputationResultType(), LHSTy); 1244ab3a852ae713189444dcbf75e70accf1e8c2b7f2Eli Friedman 1245db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // Store the result value into the LHS lvalue. Bit-fields are handled 1246db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // specially because the result is altered by the store, i.e., [C99 6.5.16p1] 1247db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // 'An assignment expression has the value of the left operand after the 1248db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // assignment...'. 12497f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (LHSLV.isBitfield()) { 12507f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (!LHSLV.isVolatileQualified()) { 12517f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, LHSTy, 12527f79f9be5916c51c35da4f126b7c12596a101607Mike Stump &Result); 12537f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return Result; 12547f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 12557f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(Result), LHSLV, LHSTy); 12567f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 1257ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(Result), LHSLV, LHSTy); 12587f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (Ignore) 12597f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return 0; 12607f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitLoadOfLValue(LHSLV, E->getType()); 12611f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner} 12621f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 12631f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 12647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitDiv(const BinOpInfo &Ops) { 1265b3ab8dc7d3b2e24259b990ac4ad75abfd07fa1f9Nate Begeman if (Ops.LHS->getType()->isFPOrFPVector()) 12667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateFDiv(Ops.LHS, Ops.RHS, "div"); 12671f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner else if (Ops.Ty->isUnsignedIntegerType()) 12687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateUDiv(Ops.LHS, Ops.RHS, "div"); 12697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 12707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSDiv(Ops.LHS, Ops.RHS, "div"); 12717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitRem(const BinOpInfo &Ops) { 12747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Rem in C can't be a floating point type: C99 6.5.5p2. 12751f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 12767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateURem(Ops.LHS, Ops.RHS, "rem"); 12777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 12787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSRem(Ops.LHS, Ops.RHS, "rem"); 12797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 12807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 12812add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike StumpValue *ScalarExprEmitter::EmitOverflowCheckedBinOp(const BinOpInfo &Ops) { 12822add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump unsigned IID; 12832add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump unsigned OpID = 0; 12845d8b2cf9fd704f6ca5e33525803a65421c0b440eMike Stump 1285035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump switch (Ops.E->getOpcode()) { 1286035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Add: 1287035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::AddAssign: 1288035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 1; 1289035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::sadd_with_overflow; 1290035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 1291035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Sub: 1292035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::SubAssign: 1293035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 2; 1294035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::ssub_with_overflow; 1295035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 1296035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::Mul: 1297035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump case BinaryOperator::MulAssign: 1298035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID = 3; 1299035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump IID = llvm::Intrinsic::smul_with_overflow; 1300035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump break; 1301035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump default: 1302035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump assert(false && "Unsupported operation for overflow detection"); 1303ab4eff620a9ce0ea62cdf29529a66c2c98d116f5Daniel Dunbar IID = 0; 1304035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump } 1305035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID <<= 1; 1306035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump OpID |= 1; 1307035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump 13082add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump const llvm::Type *opTy = CGF.CGM.getTypes().ConvertType(Ops.Ty); 13092add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13102add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Function *intrinsic = CGF.CGM.getIntrinsic(IID, &opTy, 1); 13112add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13122add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *resultAndOverflow = Builder.CreateCall2(intrinsic, Ops.LHS, Ops.RHS); 13132add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *result = Builder.CreateExtractValue(resultAndOverflow, 0); 13142add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Value *overflow = Builder.CreateExtractValue(resultAndOverflow, 1); 13152add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13162add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Branch in case of overflow. 13172add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *initialBB = Builder.GetInsertBlock(); 13182add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *overflowBB = 13192add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.createBasicBlock("overflow", CGF.CurFn); 13202add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::BasicBlock *continueBB = 13212add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.createBasicBlock("overflow.continue", CGF.CurFn); 13222add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13232add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.CreateCondBr(overflow, overflowBB, continueBB); 13242add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13252add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Handle overflow 13262add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13272add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.SetInsertPoint(overflowBB); 13282add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13292add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Handler is: 1330db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // long long *__overflow_handler)(long long a, long long b, char op, 13312add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // char width) 13322add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump std::vector<const llvm::Type*> handerArgTypes; 13330032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt64Ty(VMContext)); 13340032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt64Ty(VMContext)); 13350032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt8Ty(VMContext)); 13360032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson handerArgTypes.push_back(llvm::Type::getInt8Ty(VMContext)); 13370032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::FunctionType *handlerTy = llvm::FunctionType::get( 13380032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt64Ty(VMContext), handerArgTypes, false); 13392add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Value *handlerFunction = 13402add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump CGF.CGM.getModule().getOrInsertGlobal("__overflow_handler", 134196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::PointerType::getUnqual(handlerTy)); 13422add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump handlerFunction = Builder.CreateLoad(handlerFunction); 13432add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13442add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::Value *handlerResult = Builder.CreateCall4(handlerFunction, 13450032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Builder.CreateSExt(Ops.LHS, llvm::Type::getInt64Ty(VMContext)), 13460032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Builder.CreateSExt(Ops.RHS, llvm::Type::getInt64Ty(VMContext)), 13470032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt8Ty(VMContext), OpID), 1348db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump llvm::ConstantInt::get(llvm::Type::getInt8Ty(VMContext), 13492add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump cast<llvm::IntegerType>(opTy)->getBitWidth())); 13502add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13512add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump handlerResult = Builder.CreateTrunc(handlerResult, opTy); 13522add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13532add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.CreateBr(continueBB); 1354db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 13552add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Set up the continuation 13562add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump Builder.SetInsertPoint(continueBB); 13572add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump // Get the correct result 13582add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump llvm::PHINode *phi = Builder.CreatePHI(opTy); 13592add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->reserveOperandSpace(2); 13602add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->addIncoming(result, initialBB); 13612add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump phi->addIncoming(handlerResult, overflowBB); 13622add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump 13632add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return phi; 13642add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump} 13657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 13667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitAdd(const BinOpInfo &Ops) { 136758f9f2c884af6b72d036b746a016d8031d31cb7aSteve Naroff if (!Ops.Ty->isAnyPointerType()) { 136887415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (CGF.getContext().getLangOptions().OverflowChecking && 136987415d2d45224596a96ef02310701797d56b2c19Chris Lattner Ops.Ty->isSignedIntegerType()) 13702add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 1371db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 137287415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 137387415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFAdd(Ops.LHS, Ops.RHS, "add"); 1374bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 1375bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman // Signed integer overflow is undefined behavior. 1376bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman if (Ops.Ty->isSignedIntegerType()) 1377bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman return Builder.CreateNSWAdd(Ops.LHS, Ops.RHS, "add"); 1378bf933a0cb628670490c15367b3f5ccb3193354a7Dan Gohman 13797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAdd(Ops.LHS, Ops.RHS, "add"); 13802add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump } 1381daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 138214108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (Ops.Ty->isPointerType() && 13836217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek Ops.Ty->getAs<PointerType>()->isVariableArrayType()) { 1384daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition needs to account for the VLA size 1385daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(Ops.E, "VLA pointer addition"); 1386daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 13878f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Value *Ptr, *Idx; 13888f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Expr *IdxExp; 13896217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek const PointerType *PT = Ops.E->getLHS()->getType()->getAs<PointerType>(); 1390db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump const ObjCObjectPointerType *OPT = 1391183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall Ops.E->getLHS()->getType()->getAs<ObjCObjectPointerType>(); 139214108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (PT || OPT) { 13938f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.LHS; 13948f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.RHS; 13958f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getRHS(); 139614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff } else { // int + pointer 13976217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek PT = Ops.E->getRHS()->getType()->getAs<PointerType>(); 1398183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall OPT = Ops.E->getRHS()->getType()->getAs<ObjCObjectPointerType>(); 139914108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff assert((PT || OPT) && "Invalid add expr"); 14008f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.RHS; 14018f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.LHS; 14028f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getLHS(); 14038f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 14048f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 14058f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 14067cabee5b18212bd3106aea8415b044b2b3b43518Sanjiv Gupta if (Width < CGF.LLVMPointerWidth) { 14078f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // Zero or sign extend the pointer value based on whether the index is 14088f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // signed or not. 14090032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *IdxType = 14100032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 14119619662a1d42e2008b865d3459c0677e149dad1bChris Lattner if (IdxExp->getType()->isSignedIntegerType()) 14128f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 14138f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner else 14148f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 14158f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 141614108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const QualType ElementType = PT ? PT->getPointeeType() : OPT->getPointeeType(); 1417db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // Handle interface types, which are not represented with a concrete type. 14182a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar if (const ObjCInterfaceType *OIT = dyn_cast<ObjCInterfaceType>(ElementType)) { 1419db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump llvm::Value *InterfaceSize = 14204a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Idx->getType(), 14212a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar CGF.getContext().getTypeSize(OIT) / 8); 14222a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Idx = Builder.CreateMul(Idx, InterfaceSize); 14233c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 14242a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Casted = Builder.CreateBitCast(Ptr, i8Ty); 14252a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(Casted, Idx, "add.ptr"); 14262a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar return Builder.CreateBitCast(Res, Ptr->getType()); 1427db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump } 14282a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar 1429db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // Explicitly handle GNU void* and function pointer arithmetic extensions. The 1430db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // GNU void* casts amount to no-ops since our void* type is i8*, but this is 1431db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // future proof. 1432b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (ElementType->isVoidType() || ElementType->isFunctionType()) { 14333c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 1434b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Casted = Builder.CreateBitCast(Ptr, i8Ty); 14352a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(Casted, Idx, "add.ptr"); 1436b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ptr->getType()); 1437db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump } 1438db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1439664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman return Builder.CreateInBoundsGEP(Ptr, Idx, "add.ptr"); 14407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 14417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 14427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) { 14432add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump if (!isa<llvm::PointerType>(Ops.LHS->getType())) { 1444035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump if (CGF.getContext().getLangOptions().OverflowChecking 1445035cf8911c2282550411be70f370dfe5d282b5c9Mike Stump && Ops.Ty->isSignedIntegerType()) 14462add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump return EmitOverflowCheckedBinOp(Ops); 144787415d2d45224596a96ef02310701797d56b2c19Chris Lattner 144887415d2d45224596a96ef02310701797d56b2c19Chris Lattner if (Ops.LHS->getType()->isFPOrFPVector()) 144987415d2d45224596a96ef02310701797d56b2c19Chris Lattner return Builder.CreateFSub(Ops.LHS, Ops.RHS, "sub"); 14507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub"); 14512add47387d39ee6c40dcb0e9f3d51c27ad1e113cMike Stump } 14521f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 145314108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff if (Ops.E->getLHS()->getType()->isPointerType() && 14546217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek Ops.E->getLHS()->getType()->getAs<PointerType>()->isVariableArrayType()) { 1455daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the addition needs to account for the VLA size for 1456daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // ptr-int 1457daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // The amount of the division needs to account for the VLA size for 1458daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // ptr-ptr. 1459daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman CGF.ErrorUnsupported(Ops.E, "VLA pointer subtraction"); 1460daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman } 1461daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman 1462b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar const QualType LHSType = Ops.E->getLHS()->getType(); 146314108da7f7fc059772711e4ffee1322a27b152a7Steve Naroff const QualType LHSElementType = LHSType->getPointeeType(); 14648c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (!isa<llvm::PointerType>(Ops.RHS->getType())) { 14658c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - int 14668c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *Idx = Ops.RHS; 14678c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 14687cabee5b18212bd3106aea8415b044b2b3b43518Sanjiv Gupta if (Width < CGF.LLVMPointerWidth) { 14698c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // Zero or sign extend the pointer value based on whether the index is 14708c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // signed or not. 14710032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *IdxType = 14720032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::IntegerType::get(VMContext, CGF.LLVMPointerWidth); 14738c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar if (Ops.E->getRHS()->getType()->isSignedIntegerType()) 14748c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 14758c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar else 14768c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 14778c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 14788c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Idx = Builder.CreateNeg(Idx, "sub.ptr.neg"); 1479b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar 1480db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // Handle interface types, which are not represented with a concrete type. 1481db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump if (const ObjCInterfaceType *OIT = 14822a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar dyn_cast<ObjCInterfaceType>(LHSElementType)) { 1483db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump llvm::Value *InterfaceSize = 14844a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(Idx->getType(), 14852a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar CGF.getContext().getTypeSize(OIT) / 8); 14862a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Idx = Builder.CreateMul(Idx, InterfaceSize); 14873c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 14882a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *LHSCasted = Builder.CreateBitCast(Ops.LHS, i8Ty); 14892a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar Value *Res = Builder.CreateGEP(LHSCasted, Idx, "add.ptr"); 14902a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar return Builder.CreateBitCast(Res, Ops.LHS->getType()); 1491db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump } 14922a866251a80a8d88f6908f7dc68ce06d1023ec1dDaniel Dunbar 1493b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar // Explicitly handle GNU void* and function pointer arithmetic 1494db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // extensions. The GNU void* casts amount to no-ops since our void* type is 1495db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // i8*, but this is future proof. 1496b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 14973c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *i8Ty = llvm::Type::getInt8PtrTy(VMContext); 1498b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *LHSCasted = Builder.CreateBitCast(Ops.LHS, i8Ty); 1499b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar Value *Res = Builder.CreateGEP(LHSCasted, Idx, "sub.ptr"); 1500b09fae74acfae7af8b3d31b9638a0aa0fdf7c7acDaniel Dunbar return Builder.CreateBitCast(Res, Ops.LHS->getType()); 1501db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump } 1502db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1503664f8934e06cf10de98083b4526aef7bce191a3fDan Gohman return Builder.CreateInBoundsGEP(Ops.LHS, Idx, "sub.ptr"); 1504820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar } else { 15058c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar // pointer - pointer 15068c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *LHS = Ops.LHS; 15078c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *RHS = Ops.RHS; 1508db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15098c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar uint64_t ElementSize; 1510820b03398fdcc8f1f6c60ace55b708e311fa8ce4Daniel Dunbar 1511e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Handle GCC extension for pointer arithmetic on void* and function pointer 1512e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // types. 1513e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (LHSElementType->isVoidType() || LHSElementType->isFunctionType()) { 15148c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = 1; 15158c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } else { 15168c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar ElementSize = CGF.getContext().getTypeSize(LHSElementType) / 8; 15178c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar } 1518db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15198c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar const llvm::Type *ResultType = ConvertType(Ops.Ty); 15208c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar LHS = Builder.CreatePtrToInt(LHS, ResultType, "sub.ptr.lhs.cast"); 15218c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar RHS = Builder.CreatePtrToInt(RHS, ResultType, "sub.ptr.rhs.cast"); 15228c6f57c38b1451bb28945876b0d147fd2f26e6d3Daniel Dunbar Value *BytesBetween = Builder.CreateSub(LHS, RHS, "sub.ptr.sub"); 1523db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1524e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner // Optimize out the shift for element size of 1. 1525e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner if (ElementSize == 1) 1526e5ed15195b71b8fa440e67d49db0168bb58e4e8aChris Lattner return BytesBetween; 1527df1109434abd465a4db2e6f69ec2688866660367Dan Gohman 1528df1109434abd465a4db2e6f69ec2688866660367Dan Gohman // Otherwise, do a full sdiv. This uses the "exact" form of sdiv, since 1529db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // pointer difference in C is only defined in the case where both operands 1530db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // are pointing to elements of an array. 15314a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Value *BytesPerElt = llvm::ConstantInt::get(ResultType, ElementSize); 1532df1109434abd465a4db2e6f69ec2688866660367Dan Gohman return Builder.CreateExactSDiv(BytesBetween, BytesPerElt, "sub.ptr.div"); 15337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 15347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) { 15377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 15387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 15397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 15407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 15417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 1542db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateShl(Ops.LHS, RHS, "shl"); 15447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShr(const BinOpInfo &Ops) { 15477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 15487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 15497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 15507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 15517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 1552db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15531f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 15547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateLShr(Ops.LHS, RHS, "shr"); 15557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAShr(Ops.LHS, RHS, "shr"); 15567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 15577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 15587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCompare(const BinaryOperator *E,unsigned UICmpOpc, 15597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc) { 15607f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 15614f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *Result; 15627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner QualType LHSTy = E->getLHS()->getType(); 15639c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner if (!LHSTy->isAnyComplexType()) { 15647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS = Visit(E->getLHS()); 15657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 1566db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15671360d4ad9045056d646c118344c7c5148aea4a52Eli Friedman if (LHS->getType()->isFPOrFPVector()) { 15687a66d7b6c0d84f8c9c74c687a338cf3cf6b9c808Nate Begeman Result = Builder.CreateFCmp((llvm::CmpInst::Predicate)FCmpOpc, 15697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 1570ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman } else if (LHSTy->isSignedIntegerType()) { 1571ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)SICmpOpc, 15727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 15737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 1574ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman // Unsigned integers and pointers. 1575ec2c12646aee07bf6bb1b4092d538d5860fd0661Eli Friedman Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 15767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 15777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 15789c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner 15799c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // If this is a vector comparison, sign extend the result to the appropriate 15809c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner // vector integer type and return it (don't convert to bool). 15819c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner if (LHSTy->isVectorType()) 15829c10fcfc3b9d2076efe701b60644a9987a93c503Chris Lattner return Builder.CreateSExt(Result, ConvertType(E->getType()), "sext"); 1583db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 15857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex Comparison: can only be an equality comparison. 15867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy LHS = CGF.EmitComplexExpr(E->getLHS()); 15877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy RHS = CGF.EmitComplexExpr(E->getRHS()); 1588db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1589183700f494ec9b6701b6efe82bcb25f4c79ba561John McCall QualType CETy = LHSTy->getAs<ComplexType>()->getElementType(); 1590db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 15914f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *ResultR, *ResultI; 15927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (CETy->isRealFloatingType()) { 15937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 15947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 15957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 15967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 15977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 15987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex comparisons can only be equality comparisons. As such, signed 15997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // and unsigned opcodes are the same. 16007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 16017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 16027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 16037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 16047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1605db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 16067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getOpcode() == BinaryOperator::EQ) { 16077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateAnd(ResultR, ResultI, "and.ri"); 16087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 16097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E->getOpcode() == BinaryOperator::NE && 16107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Complex comparison other than == or != ?"); 16117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateOr(ResultR, ResultI, "or.ri"); 16127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 16137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 161432f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes 161532f6209ea9a5a88ad3f8d7ad5e5b160b403d12daNuno Lopes return EmitScalarConversion(Result, CGF.getContext().BoolTy, E->getType()); 16167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 16177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 16187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinAssign(const BinaryOperator *E) { 16197f79f9be5916c51c35da4f126b7c12596a101607Mike Stump bool Ignore = TestAndClearIgnoreResultAssign(); 16207f79f9be5916c51c35da4f126b7c12596a101607Mike Stump 16217f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // __block variables need to have the rhs evaluated first, plus this should 16227f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // improve codegen just a little. 16237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 162499459b67daa0a49af7c5e5e93324f6ca815c0e6aMike Stump LValue LHS = EmitLValue(E->getLHS()); 1625db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1626ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar // Store the value into the LHS. Bit-fields are handled specially 1627371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // because the result is altered by the store, i.e., [C99 6.5.16p1] 1628371d16f45aeec61c1d07687f763d92137e133642Daniel Dunbar // 'An assignment expression has the value of the left operand after 1629daa24a29f881fb2ae53c4022e593eda1adf4b95bEli Friedman // the assignment...'. 16307f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (LHS.isBitfield()) { 16317f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (!LHS.isVolatileQualified()) { 16327f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, E->getType(), 16337f79f9be5916c51c35da4f126b7c12596a101607Mike Stump &RHS); 16347f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return RHS; 16357f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 16367f79f9be5916c51c35da4f126b7c12596a101607Mike Stump CGF.EmitStoreThroughBitfieldLValue(RValue::get(RHS), LHS, E->getType()); 16377f79f9be5916c51c35da4f126b7c12596a101607Mike Stump } else 1638ed3849b456d64d124bddc7ac044f3ce590bd9d69Daniel Dunbar CGF.EmitStoreThroughLValue(RValue::get(RHS), LHS, E->getType()); 16397f79f9be5916c51c35da4f126b7c12596a101607Mike Stump if (Ignore) 16407f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return 0; 16417f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return EmitLoadOfLValue(LHS, E->getType()); 16427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 16437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 16447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLAnd(const BinaryOperator *E) { 16457804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner const llvm::Type *ResTy = ConvertType(E->getType()); 16467804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner 164720eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 && RHS, see if we can elide RHS, if so, just return 0. 164820eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 && X, just emit X without inserting the control flow. 164920eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 165020eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == 1) { // If we have 1 && X, just emit X. 16510946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 16527804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner // ZExt result to int or bool. 16537804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return Builder.CreateZExtOrBitCast(RHSCond, ResTy, "land.ext"); 16540946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 1655db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 16567804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner // 0 && RHS: If it is safe, just elide the RHS, and return 0/false. 165720eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 16587804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return llvm::Constant::getNullValue(ResTy); 16590946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 1660db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 16619615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("land.end"); 16629615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("land.rhs"); 166320eb09d562b80420a3328be789547af354bf3e36Chris Lattner 1664f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is false, go to the failure (cont) block. 1665f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), RHSBlock, ContBlock); 1666f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1667f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1668f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be false. Start 1669f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 16700032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 16710032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson "", ContBlock); 1672f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1673f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1674f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 16753b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson PN->addIncoming(llvm::ConstantInt::getFalse(VMContext), *PI); 1676db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1677a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.StartConditionalBranch(); 16787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 16797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 1680a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.FinishConditionalBranch(); 1681db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 16827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 16837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1684f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1685f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1686f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 16877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 16887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 1689db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 16907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 16917804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return Builder.CreateZExtOrBitCast(PN, ResTy, "land.ext"); 16927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 16937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 16947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLOr(const BinaryOperator *E) { 16957804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner const llvm::Type *ResTy = ConvertType(E->getType()); 16967804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner 169720eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 1 || RHS, see if we can elide RHS, if so, just return 1. 169820eb09d562b80420a3328be789547af354bf3e36Chris Lattner // If we have 0 || X, just emit X without inserting the control flow. 169920eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getLHS())) { 170020eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (Cond == -1) { // If we have 0 || X, just emit X. 17010946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 17027804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner // ZExt result to int or bool. 17037804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return Builder.CreateZExtOrBitCast(RHSCond, ResTy, "lor.ext"); 17040946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 1705db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17067804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner // 1 || RHS: If it is safe, just elide the RHS, and return 1/true. 170720eb09d562b80420a3328be789547af354bf3e36Chris Lattner if (!CGF.ContainsLabel(E->getRHS())) 17087804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return llvm::ConstantInt::get(ResTy, 1); 17090946ccd1e58c1f1da31ddbca67c5b6301ac8b255Chris Lattner } 1710db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17119615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("lor.end"); 17129615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("lor.rhs"); 1713db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1714f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Branch on the LHS first. If it is true, go to the success (cont) block. 1715f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBranchOnBoolExpr(E->getLHS(), ContBlock, RHSBlock); 1716f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1717f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Any edges into the ContBlock are now from an (indeterminate number of) 1718f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // edges from this first condition. All of these values will be true. Start 1719f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // setting up the PHI node in the Cont Block for this. 17200032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::PHINode *PN = llvm::PHINode::Create(llvm::Type::getInt1Ty(VMContext), 17210032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson "", ContBlock); 1722f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PN->reserveOperandSpace(2); // Normal case, two inputs. 1723f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner for (llvm::pred_iterator PI = pred_begin(ContBlock), PE = pred_end(ContBlock); 1724f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner PI != PE; ++PI) 17253b144ba615c32f3cfa5309060ed5e09c89ac2871Owen Anderson PN->addIncoming(llvm::ConstantInt::getTrue(VMContext), *PI); 1726f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner 1727a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.StartConditionalBranch(); 172833da07db112f4877f6ab13e20db08b9bb86a0c2eAnders Carlsson 1729f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit the RHS condition as a bool value. 17307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 17317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 1732db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1733a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.FinishConditionalBranch(); 1734db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 17367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1737db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1738f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // Emit an unconditional branch from this block to ContBlock. Insert an entry 1739f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner // into the phi node for the edge with the value of RHSCond. 1740f7b5ea9de3d043fa900ab8a8976a4c0eefc233b7Chris Lattner CGF.EmitBlock(ContBlock); 17417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 1742db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 17447804bcba90bf5ea8ec6cd0f6cc9a64577f1a9259Chris Lattner return Builder.CreateZExtOrBitCast(PN, ResTy, "lor.ext"); 17457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 17467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 17477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinComma(const BinaryOperator *E) { 17487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStmt(E->getLHS()); 1749a448fb2da03ece39978784793eea68760e8205a1Daniel Dunbar CGF.EnsureInsertPoint(); 17507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getRHS()); 17517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 17527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 17537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 17547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Other Operators 17557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 17567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 17579802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// isCheapEnoughToEvaluateUnconditionally - Return true if the specified 17589802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// expression is cheap enough and side-effect-free enough to evaluate 17599802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// unconditionally instead of conditionally. This is used to convert control 17609802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner/// flow into selects in some cases. 1761df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stumpstatic bool isCheapEnoughToEvaluateUnconditionally(const Expr *E, 1762df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump CodeGenFunction &CGF) { 17639802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const ParenExpr *PE = dyn_cast<ParenExpr>(E)) 1764df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump return isCheapEnoughToEvaluateUnconditionally(PE->getSubExpr(), CGF); 1765db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17669802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // TODO: Allow anything we can constant fold to an integer or fp constant. 17679802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (isa<IntegerLiteral>(E) || isa<CharacterLiteral>(E) || 17689802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner isa<FloatingLiteral>(E)) 17699802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 1770db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17719802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // Non-volatile automatic variables too, to get "cond ? X : Y" where 17729802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // X and Y are local variables. 17739802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(E)) 17749802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner if (const VarDecl *VD = dyn_cast<VarDecl>(DRE->getDecl())) 1775df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump if (VD->hasLocalStorage() && !(CGF.getContext() 1776df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump .getCanonicalType(VD->getType()) 1777df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump .isVolatileQualified())) 17789802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return true; 1779db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 17809802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return false; 17819802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner} 17829802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 17839802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner 17847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter:: 17857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerVisitConditionalOperator(const ConditionalOperator *E) { 17867f79f9be5916c51c35da4f126b7c12596a101607Mike Stump TestAndClearIgnoreResultAssign(); 178731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the condition constant folds and can be elided, try to avoid emitting 178831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the condition and the dead arm. 178931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (int Cond = CGF.ConstantFoldsToSimpleInteger(E->getCond())){ 1790c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner Expr *Live = E->getLHS(), *Dead = E->getRHS(); 179131a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if (Cond == -1) 1792c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner std::swap(Live, Dead); 1793db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 179431a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // If the dead side doesn't have labels we need, and if the Live side isn't 179531a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // the gnu missing ?: extension (which we could handle, but don't bother 179631a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner // to), just emit the Live part. 179731a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner if ((!Dead || !CGF.ContainsLabel(Dead)) && // No labels in dead part 179831a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner Live) // Live part isn't missing. 179931a0984b5cb4af99d2407c0f25bf5af68df681c6Chris Lattner return Visit(Live); 1800c657e92d7b44568fe39ae018a69b18cbcc4ea3b0Chris Lattner } 1801db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1802db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 18039802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // If this is a really simple expression (like x ? 4 : 5), emit this as a 18049802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner // select instead of as control flow. We can only do this if it is cheap and 1805531a550531c144a58438f187816abbf1879e1c4eChris Lattner // safe to evaluate the LHS and RHS unconditionally. 1806df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump if (E->getLHS() && isCheapEnoughToEvaluateUnconditionally(E->getLHS(), 1807df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump CGF) && 1808df317bf71653eeb235da8337b1e8e790f9653aa4Mike Stump isCheapEnoughToEvaluateUnconditionally(E->getRHS(), CGF)) { 18099802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *CondV = CGF.EvaluateExprAsBool(E->getCond()); 18109802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *LHS = Visit(E->getLHS()); 18119802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner llvm::Value *RHS = Visit(E->getRHS()); 18129802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner return Builder.CreateSelect(CondV, LHS, RHS, "cond"); 18139802a5173ffd403d9ede2d4b6b6107fa2e220544Chris Lattner } 1814db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1815db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1816be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *LHSBlock = CGF.createBasicBlock("cond.true"); 1817be65abc8e41213ecb951f2f507fb2e13a151d30cDaniel Dunbar llvm::BasicBlock *RHSBlock = CGF.createBasicBlock("cond.false"); 18189615ecb44f549ae9fa2b4db6ff46bc78befbf62cDaniel Dunbar llvm::BasicBlock *ContBlock = CGF.createBasicBlock("cond.end"); 1819035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondVal = 0; 1820035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner 1821db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // If we don't have the GNU missing condition extension, emit a branch on bool 1822db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump // the normal way. 182312d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner if (E->getLHS()) { 182412d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // Otherwise, just use EmitBranchOnBoolExpr to get small and simple code for 182512d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // the branch on bool. 182612d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner CGF.EmitBranchOnBoolExpr(E->getCond(), LHSBlock, RHSBlock); 182712d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner } else { 182812d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // Otherwise, for the ?: extension, evaluate the conditional and then 182912d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // convert it to bool the hard way. We do this explicitly because we need 183012d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // the unconverted value for the missing middle value of the ?:. 1831035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CondVal = CGF.EmitScalarExpr(E->getCond()); 1832db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 183312d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // In some cases, EmitScalarConversion will delete the "CondVal" expression 183412d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // if there are no extra uses (an optimization). Inhibit this by making an 183512d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // extra dead use, because we're going to add a use of CondVal later. We 183612d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // don't use the builder for this, because we don't want it to get optimized 183712d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner // away. This leaves dead code, but the ?: extension isn't common. 183812d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner new llvm::BitCastInst(CondVal, CondVal->getType(), "dummy?:holder", 183912d152f61ccef9a2c0372ba39be7cf416c6e1a9eChris Lattner Builder.GetInsertBlock()); 1840db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1841035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Value *CondBoolVal = 1842035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.EmitScalarConversion(CondVal, E->getCond()->getType(), 1843035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner CGF.getContext().BoolTy); 1844035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner Builder.CreateCondBr(CondBoolVal, LHSBlock, RHSBlock); 1845035cf4294319271ad19ddcc5ba327c8365f3575eChris Lattner } 1846fb6fa30a9b06670deb14f862dddbc49a12552939Anders Carlsson 1847a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.StartConditionalBranch(); 18487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(LHSBlock); 1849db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 18507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the GNU extension for missing LHS. 1851a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Value *LHS; 1852a21ddb30e56026967d58e26c5212744e1831305bChris Lattner if (E->getLHS()) 1853856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman LHS = Visit(E->getLHS()); 1854a21ddb30e56026967d58e26c5212744e1831305bChris Lattner else // Perform promotions, to handle cases like "short ?: int" 1855a21ddb30e56026967d58e26c5212744e1831305bChris Lattner LHS = EmitScalarConversion(CondVal, E->getCond()->getType(), E->getType()); 1856db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1857a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.FinishConditionalBranch(); 18587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHSBlock = Builder.GetInsertBlock(); 1859d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 1860db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1861a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.StartConditionalBranch(); 18627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 1863db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1864856226c37ff10955c7f3f07ce6fa9522da23a3a5Eli Friedman Value *RHS = Visit(E->getRHS()); 1865a36bf8f74180e834c6bf2db867796fd5338495abAnders Carlsson CGF.FinishConditionalBranch(); 18667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 1867d57a871339c7c98d58d93108b806f59bdf4e13e2Daniel Dunbar CGF.EmitBranch(ContBlock); 1868db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 18697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 1870db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1871108f55d6fd9a1c0e753eb8e046cb1f1b81d77a76Nuno Lopes if (!LHS || !RHS) { 18722202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner assert(E->getType()->isVoidType() && "Non-void value should have a value"); 18732202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner return 0; 18742202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner } 1875db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 18767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node for the real part. 18777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(LHS->getType(), "cond"); 18787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 18797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(LHS, LHSBlock); 18807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHS, RHSBlock); 18817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return PN; 18827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 18837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 18847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { 18857976932a1c256d447316ffac58e9821417725e34Eli Friedman return Visit(E->getChosenSubExpr(CGF.getContext())); 18867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 18877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 18882202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 18894fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman llvm::Value *ArgValue = CGF.EmitVAListRef(VE->getSubExpr()); 1890ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson llvm::Value *ArgPtr = CGF.EmitVAArg(ArgValue, VE->getType()); 1891ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 1892ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson // If EmitVAArg fails, we fall back to the LLVM instruction. 1893db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump if (!ArgPtr) 1894ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateVAArg(ArgValue, ConvertType(VE->getType())); 1895ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson 18967f79f9be5916c51c35da4f126b7c12596a101607Mike Stump // FIXME Volatility. 1897ddf7cac45d85b73127adbbd91a2b28fc7291c57eAnders Carlsson return Builder.CreateLoad(ArgPtr); 18987c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson} 18997c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 1900df6b68c9487aed2042c7fc23db10a79f89083a11Mike StumpValue *ScalarExprEmitter::VisitBlockExpr(const BlockExpr *BE) { 19010892099dbc640720400a1d9decd2733a09d733e5Mike Stump return CGF.BuildBlockLiteralTmp(BE); 1902df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump} 1903df6b68c9487aed2042c7fc23db10a79f89083a11Mike Stump 19047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 19057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Entry Point into this File 19067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 19077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1908db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// EmitScalarExpr - Emit the computation of the specified expression of scalar 1909db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// type, ignoring the result. 19107f79f9be5916c51c35da4f126b7c12596a101607Mike StumpValue *CodeGenFunction::EmitScalarExpr(const Expr *E, bool IgnoreResultAssign) { 19117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E && !hasAggregateLLVMType(E->getType()) && 19127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Invalid scalar expression to emit"); 1913db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 19147f79f9be5916c51c35da4f126b7c12596a101607Mike Stump return ScalarExprEmitter(*this, IgnoreResultAssign) 19157f79f9be5916c51c35da4f126b7c12596a101607Mike Stump .Visit(const_cast<Expr*>(E)); 19167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 19173707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 19183707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 19193707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 19204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitScalarConversion(Value *Src, QualType SrcTy, 19214f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 19223707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(!hasAggregateLLVMType(SrcTy) && !hasAggregateLLVMType(DstTy) && 19233707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner "Invalid scalar expression to emit"); 19243707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return ScalarExprEmitter(*this).EmitScalarConversion(Src, SrcTy, DstTy); 19253707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 19264f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 1927db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// EmitComplexToScalarConversion - Emit a conversion from the specified complex 1928db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// type to the specified destination type, where the destination type is an 1929db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump/// LLVM scalar type. 19304f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitComplexToScalarConversion(ComplexPairTy Src, 19314f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, 19324f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 19339b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(SrcTy->isAnyComplexType() && !hasAggregateLLVMType(DstTy) && 19344f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner "Invalid complex -> scalar conversion"); 19354f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return ScalarExprEmitter(*this).EmitComplexToScalarConversion(Src, SrcTy, 19364f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner DstTy); 19374f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 1938cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1939cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders CarlssonValue *CodeGenFunction::EmitShuffleVector(Value* V1, Value *V2, ...) { 1940cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(V1->getType() == V2->getType() && 1941cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector operands must be of the same type"); 1942db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump unsigned NumElements = 1943cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson cast<llvm::VectorType>(V1->getType())->getNumElements(); 1944db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1945cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_list va; 1946cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_start(va, V2); 1947db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1948cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::SmallVector<llvm::Constant*, 16> Args; 1949cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson for (unsigned i = 0; i < NumElements; i++) { 1950cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson int n = va_arg(va, int); 1951db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump assert(n >= 0 && n < (int)NumElements * 2 && 1952cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector shuffle index out of bounds!"); 19530032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Args.push_back(llvm::ConstantInt::get( 19540032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), n)); 1955cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson } 1956db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1957cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson const char *Name = va_arg(va, const char *); 1958cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_end(va); 1959db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 19604a28932dba03132dabbe70abdadcaae468dd7933Owen Anderson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 1961db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1962cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson return Builder.CreateShuffleVector(V1, V2, Mask, Name); 1963cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson} 1964cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1965db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stumpllvm::Value *CodeGenFunction::EmitVector(llvm::Value * const *Vals, 1966345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner unsigned NumVals, bool isSplat) { 19676086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Vec 196803e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson = llvm::UndefValue::get(llvm::VectorType::get(Vals[0]->getType(), NumVals)); 1969db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1970345f7209692b116ca433a3196c1e3c998e0ffcdeChris Lattner for (unsigned i = 0, e = NumVals; i != e; ++i) { 19714119d1aeca8016654d381ce079864058d1709571Nate Begeman llvm::Value *Val = isSplat ? Vals[0] : Vals[i]; 19720032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Idx = llvm::ConstantInt::get( 19730032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Type::getInt32Ty(VMContext), i); 19744119d1aeca8016654d381ce079864058d1709571Nate Begeman Vec = Builder.CreateInsertElement(Vec, Val, Idx, "tmp"); 19756086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson } 1976db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump 1977db52dcdae7d2e25565096d07ee74fa307061cc32Mike Stump return Vec; 19786086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson} 1979