CGExprScalar.cpp revision 9b2dc287177394a8f73833e2ad4f7ca8cd6f22bb
17f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===--- CGExprScalar.cpp - Emit LLVM Code for Scalar Exprs ---------------===// 27f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 37f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// The LLVM Compiler Infrastructure 47f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 77f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 87f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 97f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// This contains code to emit Expr nodes with scalar LLVM types as LLVM code. 117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// 127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "CodeGenFunction.h" 157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "CodeGenModule.h" 167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "clang/AST/AST.h" 177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Constants.h" 187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Function.h" 1985f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson#include "llvm/GlobalVariable.h" 207c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson#include "llvm/Intrinsics.h" 217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#include "llvm/Support/Compiler.h" 22c89bf69c9289d2b2305f2c267daacc7312391898Chris Lattner#include <cstdarg> 236aad91a43e26118c824d976661077819265d9bc0Ted Kremenek 247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace clang; 257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing namespace CodeGen; 267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerusing llvm::Value; 277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Scalar Expression Emitter 307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerstruct BinOpInfo { 337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS; 347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS; 351f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType Ty; // Computation Type. 367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const BinaryOperator *E; 377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnernamespace { 407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerclass VISIBILITY_HIDDEN ScalarExprEmitter 417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner : public StmtVisitor<ScalarExprEmitter, Value*> { 427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction &CGF; 4350c9034ea90a01e302cb46a5fc2fdeb1a6d03ebcDevang Patel llvm::LLVMFoldingBuilder &Builder; 442b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner CGObjCRuntime *Runtime; 452b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 462b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattnerpublic: 487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 492b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner ScalarExprEmitter(CodeGenFunction &cgf) : CGF(cgf), 502b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Builder(CGF.Builder), 512b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Runtime(CGF.CGM.getObjCRuntime()) { 527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Utilities 567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const llvm::Type *ConvertType(QualType T) { return CGF.ConvertType(T); } 597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue EmitLValue(const Expr *E) { return CGF.EmitLValue(E); } 607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(LValue LV, QualType T) { 629b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitLoadOfLValue(LV, T).getScalarVal(); 637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// EmitLoadOfLValue - Given an expression with complex type that represents a 667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// value l-value, this method emits the address of the l-value, then loads 677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// and returns the result. 687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitLoadOfLValue(const Expr *E) { 697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Volatile 707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(EmitLValue(E), E->getType()); 717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 739abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner /// EmitConversionToBool - Convert the specified expression value to a 743420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner /// boolean (i1) truth value. This is equivalent to "Val != 0". 759abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *EmitConversionToBool(Value *Src, QualType DstTy); 769abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 773707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// EmitScalarConversion - Emit a conversion from the specified type to the 783707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner /// specified destination type, both of which are LLVM scalar types. 794f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitScalarConversion(Value *Src, QualType SrcTy, QualType DstTy); 804f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 814f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// EmitComplexToScalarConversion - Emit a conversion from the specified 824f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// complex type to the specified destination type, where the destination 834f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner /// type is an LLVM scalar type. 844f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *EmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 854f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy); 863707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Visitor Methods 897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner //===--------------------------------------------------------------------===// 907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStmt(Stmt *S) { 927a9d49fd2bfac00e905b361ba76d26ab5b6c3b09Ted Kremenek S->dump(CGF.getContext().getSourceManager()); 937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(0 && "Stmt can't have complex result type!"); 947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitExpr(Expr *S); 977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitParenExpr(ParenExpr *PE) { return Visit(PE->getSubExpr()); } 987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Leaves. 1007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitIntegerLiteral(const IntegerLiteral *E) { 1017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(E->getValue()); 1027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitFloatingLiteral(const FloatingLiteral *E) { 104c9bec4bfea9090a08dd83a7b213f0c8adf8d78ecChris Lattner return llvm::ConstantFP::get(ConvertType(E->getType()), E->getValue()); 1057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCharacterLiteral(const CharacterLiteral *E) { 1077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 108e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman } 109e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman Value *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) { 110e7579b57eb3eabfd3545b86320fb67466730e9fcNate Begeman return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue()); 1117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitTypesCompatibleExpr(const TypesCompatibleExpr *E) { 1137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(ConvertType(E->getType()), 114ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff CGF.getContext().typesAreCompatible( 115ec0550fa3653d46560bf4484a2e988329c228e39Steve Naroff E->getArgType1(), E->getArgType2())); 1167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) { 1187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf()); 1197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // l-values. 1227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitDeclRefExpr(DeclRefExpr *E) { 1237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(E->getDecl())) 1247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(EC->getInitVal()); 1257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 1267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1272b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Value *VisitObjCMessageExpr(ObjCMessageExpr *E); 128ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner Value *VisitObjCIvarRefExpr(ObjCIvarRefExpr *E) { return EmitLoadOfLValue(E);} 1297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitArraySubscriptExpr(ArraySubscriptExpr *E); 1307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitMemberExpr(Expr *E) { return EmitLoadOfLValue(E); } 1317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitOCUVectorElementExpr(Expr *E) { return EmitLoadOfLValue(E); } 1327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitStringLiteral(Expr *E) { return EmitLValue(E).getAddress(); } 1337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitPreDefinedExpr(Expr *E) { return EmitLValue(E).getAddress(); } 13435634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 13535634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel Value *VisitInitListExpr(InitListExpr *E) { 1367019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumInitElements = E->getNumInits(); 1377019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1387019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::VectorType *VType = 139f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson dyn_cast<llvm::VectorType>(ConvertType(E->getType())); 140f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson 141f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson // We have a scalar in braces. Just use the first element. 142f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson if (!VType) 143f6884ac7cfc4c5562c0678ad65b3460a38f56e23Anders Carlsson return Visit(E->getInit(0)); 1447019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1457019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson unsigned NumVectorElements = VType->getNumElements(); 1467019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson const llvm::Type *ElementType = VType->getElementType(); 1477019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1487019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit individual vector element stores. 1497019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson llvm::Value *V = llvm::UndefValue::get(VType); 1507019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 151222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson // Emit initializers 152222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson unsigned i; 153222d2c8b7886e37ba22f0b25ac7a6552f7cc8492Anders Carlsson for (i = 0; i < NumInitElements; ++i) { 154a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel Value *NewV = Visit(E->getInit(i)); 155a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 156a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel V = Builder.CreateInsertElement(V, NewV, Idx); 15735634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 1587019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 1597019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson // Emit remaining default initializers 1607019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson for (/* Do not initialize i*/; i < NumVectorElements; ++i) { 1617019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 1627019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson llvm::Value *NewV = llvm::Constant::getNullValue(ElementType); 1637019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson V = Builder.CreateInsertElement(V, NewV, Idx); 1647019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson } 1657019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 166a83cc33195c7d1fa31d6809416eaa4c3ebf036ebDevang Patel return V; 16735634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 16835634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 16935634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel Value *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) { 17035634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel return Visit(E->getInitializer()); 17135634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel } 17235634f5ed67966c9f1fde38420e79cc6515cd673Devang Patel 1737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitImplicitCastExpr(const ImplicitCastExpr *E); 1747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCastExpr(const CastExpr *E) { 1757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(E->getSubExpr(), E->getType()); 1767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCastExpr(const Expr *E, QualType T); 1787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitCallExpr(const CallExpr *E) { 1809b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitCallExpr(E).getScalarVal(); 1817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1833379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner Value *VisitStmtExpr(const StmtExpr *E); 1843379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 1857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Unary Operators. 1867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitPrePostIncDec(const UnaryOperator *E, bool isInc, bool isPre); 1877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostDec(const UnaryOperator *E) { 1887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, false); 1897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPostInc(const UnaryOperator *E) { 1917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, false); 1927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreDec(const UnaryOperator *E) { 1947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, false, true); 1957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPreInc(const UnaryOperator *E) { 1977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return VisitPrePostIncDec(E, true, true); 1987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 1997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryAddrOf(const UnaryOperator *E) { 2007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLValue(E->getSubExpr()).getAddress(); 2017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryDeref(const Expr *E) { return EmitLoadOfLValue(E); } 2037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryPlus(const UnaryOperator *E) { 2047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryMinus (const UnaryOperator *E); 2077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryNot (const UnaryOperator *E); 2087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryLNot (const UnaryOperator *E); 2097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnarySizeOf (const UnaryOperator *E) { 2107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true); 2117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryAlignOf (const UnaryOperator *E) { 2137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false); 2147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitSizeAlignOf(QualType TypeToSize, QualType RetType, 216bdcd637c29ec1540f912ea6860c88b910e78c329Chris Lattner bool isSizeOf); 21746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryReal (const UnaryOperator *E); 21846f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Value *VisitUnaryImag (const UnaryOperator *E); 2197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitUnaryExtension(const UnaryOperator *E) { 2207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getSubExpr()); 2217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2225a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson Value *VisitUnaryOffsetOf(const UnaryOperator *E); 2235a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson 2247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Binary Operators. 2257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitMul(const BinOpInfo &Ops) { 2267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul"); 2277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitDiv(const BinOpInfo &Ops); 2297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitRem(const BinOpInfo &Ops); 2307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAdd(const BinOpInfo &Ops); 2317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitSub(const BinOpInfo &Ops); 2327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShl(const BinOpInfo &Ops); 2337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitShr(const BinOpInfo &Ops); 2347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitAnd(const BinOpInfo &Ops) { 2357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAnd(Ops.LHS, Ops.RHS, "and"); 2367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitXor(const BinOpInfo &Ops) { 2387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateXor(Ops.LHS, Ops.RHS, "xor"); 2397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitOr (const BinOpInfo &Ops) { 2417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateOr(Ops.LHS, Ops.RHS, "or"); 2427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 2437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2441f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo EmitBinOps(const BinaryOperator *E); 2453ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *EmitCompoundAssign(const CompoundAssignOperator *E, 2461f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*F)(const BinOpInfo &)); 2471f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 2481f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Binary operators and binary compound assignment operators. 2491f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#define HANDLEBINOP(OP) \ 2503ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP(const BinaryOperator *E) { \ 2513ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return Emit ## OP(EmitBinOps(E)); \ 2523ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner } \ 2533ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBin ## OP ## Assign(const CompoundAssignOperator *E) { \ 2543ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner return EmitCompoundAssign(E, &ScalarExprEmitter::Emit ## OP); \ 2551f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 2561f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Mul); 2571f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Div); 2581f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Rem); 2591f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Add); 2601f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // (Sub) - Sub is handled specially below for ptr-ptr subtract. 2611f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shl); 2621f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Shr); 2631f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(And); 2641f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Xor); 2651f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner HANDLEBINOP(Or); 2661f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner#undef HANDLEBINOP 2671f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *VisitBinSub(const BinaryOperator *E); 2683ccf774256382ef9aa95028eaad82f54a3d0b0adChris Lattner Value *VisitBinSubAssign(const CompoundAssignOperator *E) { 2691f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner return EmitCompoundAssign(E, &ScalarExprEmitter::EmitSub); 2701f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 2711f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 2727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Comparisons. 2737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *EmitCompare(const BinaryOperator *E, unsigned UICmpOpc, 2747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc); 2757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#define VISITCOMP(CODE, UI, SI, FP) \ 2767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBin##CODE(const BinaryOperator *E) { \ 2777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCompare(E, llvm::ICmpInst::UI, llvm::ICmpInst::SI, \ 2787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::FCmpInst::FP); } 2797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LT, ICMP_ULT, ICMP_SLT, FCMP_OLT); 2807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GT, ICMP_UGT, ICMP_SGT, FCMP_OGT); 2817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(LE, ICMP_ULE, ICMP_SLE, FCMP_OLE); 2827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(GE, ICMP_UGE, ICMP_SGE, FCMP_OGE); 2837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(EQ, ICMP_EQ , ICMP_EQ , FCMP_OEQ); 2847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner VISITCOMP(NE, ICMP_NE , ICMP_NE , FCMP_UNE); 2857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner#undef VISITCOMP 2867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinAssign (const BinaryOperator *E); 2887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLAnd (const BinaryOperator *E); 2907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinLOr (const BinaryOperator *E); 2917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitBinComma (const BinaryOperator *E); 2927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 2937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Other Operators. 2947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitConditionalOperator(const ConditionalOperator *CO); 2957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitChooseExpr(ChooseExpr *CE); 296e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman Value *VisitOverloadExpr(OverloadExpr *OE); 2977c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson Value *VisitVAArgExpr(VAArgExpr *VE); 2987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *VisitObjCStringLiteral(const ObjCStringLiteral *E) { 2997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return CGF.EmitObjCStringLiteral(E); 3007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 30185f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson Value *VisitObjCEncodeExpr(const ObjCEncodeExpr *E); 3027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner}; 3037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} // end anonymous namespace. 3047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Utilities 3077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 3087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 3099abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner/// EmitConversionToBool - Convert the specified expression value to a 3103420d0de2c52fedf771d7ef20522f6080233e377Chris Lattner/// boolean (i1) truth value. This is equivalent to "Val != 0". 3119abc84e7ac4db891209fe67cc3a8c9690dc886efChris LattnerValue *ScalarExprEmitter::EmitConversionToBool(Value *Src, QualType SrcType) { 3129abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner assert(SrcType->isCanonical() && "EmitScalarConversion strips typedefs"); 3139abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3149abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (SrcType->isRealFloatingType()) { 3159abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against 0.0 for fp scalars. 3169abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3179abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateFCmpUNE(Src, Zero, "tobool"); 3189abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3199abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3209abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner assert((SrcType->isIntegerType() || SrcType->isPointerType()) && 3219abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner "Unknown scalar type to convert"); 3229abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3239abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Because of the type rules of C, we often end up computing a logical value, 3249abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // then zero extending it to int, then wanting it as a logical value again. 3259abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Optimize this common case. 3269abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (llvm::ZExtInst *ZI = dyn_cast<llvm::ZExtInst>(Src)) { 3279abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner if (ZI->getOperand(0)->getType() == llvm::Type::Int1Ty) { 3289abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner Value *Result = ZI->getOperand(0); 329356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // If there aren't any more uses, zap the instruction to save space. 330356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // Note that there can be more uses, for example if this 331356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman // is the result of an assignment. 332356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman if (ZI->use_empty()) 333356916ec84826a793b0353e5db0e9a7589b9ec5cEli Friedman ZI->eraseFromParent(); 3349abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Result; 3359abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3369abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner } 3379abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3389abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner // Compare against an integer or pointer null. 3399abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner llvm::Value *Zero = llvm::Constant::getNullValue(Src->getType()); 3409abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner return Builder.CreateICmpNE(Src, Zero, "tobool"); 3419abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner} 3429abc84e7ac4db891209fe67cc3a8c9690dc886efChris Lattner 3433707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 3443707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 3454f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter::EmitScalarConversion(Value *Src, QualType SrcType, 3464f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstType) { 3473707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner SrcType = SrcType.getCanonicalType(); 3483707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner DstType = DstType.getCanonicalType(); 3493707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (SrcType == DstType) return Src; 350cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner 351cf289083ab007264fa3ea96d92f133339aee5d2dChris Lattner if (DstType->isVoidType()) return 0; 3523707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3533707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 354ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstType->isBooleanType()) 355ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return EmitConversionToBool(Src, SrcType); 3563707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3573707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner const llvm::Type *DstTy = ConvertType(DstType); 3583707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3593707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Ignore conversions like int -> uint. 3603707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (Src->getType() == DstTy) 3613707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Src; 3623707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3633707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Handle pointer conversions next: pointers can only be converted to/from 3643707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // other pointers and integers. 3653707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<PointerType>(DstType)) { 3663707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // The source value may be an integer, or a pointer. 3673707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::PointerType>(Src->getType())) 3683707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateBitCast(Src, DstTy, "conv"); 3693707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?"); 3703707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return Builder.CreateIntToPtr(Src, DstTy, "conv"); 3713707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 3723707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 3733707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<PointerType>(SrcType)) { 3743707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Must be an ptr to int cast. 3753707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?"); 37650b5a30db40322880340e957ad7d6d8d60bb4c5bAnders Carlsson return Builder.CreatePtrToInt(Src, DstTy, "conv"); 3773707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 3783707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 37979b67f351fe885118d0685fafc9518e97a159529Anders Carlsson // A scalar source can be splatted to an OCU vector of the same element type 3803b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner if (DstType->isOCUVectorType() && !isa<VectorType>(SrcType) && 3813b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner cast<llvm::VectorType>(DstTy)->getElementType() == Src->getType()) 3824119d1aeca8016654d381ce079864058d1709571Nate Begeman return CGF.EmitVector(&Src, DstType->getAsVectorType()->getNumElements(), 3834119d1aeca8016654d381ce079864058d1709571Nate Begeman true); 3844119d1aeca8016654d381ce079864058d1709571Nate Begeman 3853b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner // Allow bitcast from vector to integer/fp of the same size. 3867019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson if (isa<llvm::VectorType>(Src->getType()) || 3873b1ae004d0ee88fc029dad876ec5695f178ef3f6Chris Lattner isa<llvm::VectorType>(DstTy)) 3887019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson return Builder.CreateBitCast(Src, DstTy, "conv"); 3897019a9ea3f5d6f8cdf5e2e31f74b4df53e3ffcddAnders Carlsson 3903707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Finally, we have the arithmetic types: real int/float. 3913707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(Src->getType())) { 3923707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner bool InputSigned = SrcType->isSignedIntegerType(); 393b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (isa<llvm::IntegerType>(DstTy)) 394b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateIntCast(Src, DstTy, InputSigned, "conv"); 395b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else if (InputSigned) 396b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateSIToFP(Src, DstTy, "conv"); 397b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 398b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateUIToFP(Src, DstTy, "conv"); 3993707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4003707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4013707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(Src->getType()->isFloatingPoint() && "Unknown real conversion"); 4023707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner if (isa<llvm::IntegerType>(DstTy)) { 403b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstType->isSignedIntegerType()) 404b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToSI(Src, DstTy, "conv"); 405b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 406b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPToUI(Src, DstTy, "conv"); 4073707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 4083707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4093707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(DstTy->isFloatingPoint() && "Unknown real conversion"); 410b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson if (DstTy->getTypeID() < Src->getType()->getTypeID()) 411b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPTrunc(Src, DstTy, "conv"); 412b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson else 413b5ce097bb741733e24efd7803f29849be227f8ceAnders Carlsson return Builder.CreateFPExt(Src, DstTy, "conv"); 4143707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 4153707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 4164f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 4174f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 4184f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 4194f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *ScalarExprEmitter:: 4204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerEmitComplexToScalarConversion(CodeGenFunction::ComplexPairTy Src, 4214f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, QualType DstTy) { 422ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Get the source element type. 423ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner SrcTy = cast<ComplexType>(SrcTy.getCanonicalType())->getElementType(); 424ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 425ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Handle conversions to bool first, they are special: comparisons against 0. 426ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner if (DstTy->isBooleanType()) { 427ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner // Complex != 0 -> (Real != 0) | (Imag != 0) 428ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.first = EmitScalarConversion(Src.first, SrcTy, DstTy); 429ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner Src.second = EmitScalarConversion(Src.second, SrcTy, DstTy); 430ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner return Builder.CreateOr(Src.first, Src.second, "tobool"); 431ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner } 432ed70f0a53610e5e4d4a62cfc0be48d8c1539b5ffChris Lattner 4334f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // C99 6.3.1.7p2: "When a value of complex type is converted to a real type, 4344f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // the imaginary part of the complex value is discarded and the value of the 4354f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // real part is converted according to the conversion rules for the 4364f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner // corresponding real type. 4374f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return EmitScalarConversion(Src.first, SrcTy, DstTy); 4384f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 4394f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 4404f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 4417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 4427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Visitor Methods 4437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 4447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 4457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitExpr(Expr *E) { 446dc4d280136d3301fcbf3c7b4b2782c8bd804342cChris Lattner CGF.WarnUnsupported(E, "scalar expression"); 4477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getType()->isVoidType()) 4487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return 0; 4497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::UndefValue::get(CGF.ConvertType(E->getType())); 4507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 4517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 4522b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris LattnerValue *ScalarExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) { 4532b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Only the lookup mechanism and first two arguments of the method 4542b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // implementation vary between runtimes. We can get the receiver and 4552b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // arguments in generic code. 4562b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 4572b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Find the receiver 458ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner llvm::Value *Receiver = CGF.EmitScalarExpr(E->getReceiver()); 4592b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 4602b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Process the arguments 461ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner unsigned ArgC = E->getNumArgs(); 4622b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner llvm::SmallVector<llvm::Value*, 16> Args; 463ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner for (unsigned i = 0; i != ArgC; ++i) { 4642b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Expr *ArgExpr = E->getArg(i); 4652b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner QualType ArgTy = ArgExpr->getType(); 4662b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner if (!CGF.hasAggregateLLVMType(ArgTy)) { 4672b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Scalar argument is passed by-value. 4682b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Args.push_back(CGF.EmitScalarExpr(ArgExpr)); 4699b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner } else if (ArgTy->isAnyComplexType()) { 4702b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Make a temporary alloca to pass the argument. 4712b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner llvm::Value *DestMem = CGF.CreateTempAlloca(ConvertType(ArgTy)); 4722b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner CGF.EmitComplexExprIntoAddr(ArgExpr, DestMem, false); 4732b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Args.push_back(DestMem); 4742b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner } else { 4752b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner llvm::Value *DestMem = CGF.CreateTempAlloca(ConvertType(ArgTy)); 4762b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner CGF.EmitAggExpr(ArgExpr, DestMem, false); 4772b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner Args.push_back(DestMem); 4782b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner } 4792b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner } 4802b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 4812b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner // Get the selector string 4822b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner std::string SelStr = E->getSelector().getName(); 4832b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner llvm::Constant *Selector = CGF.CGM.GetAddrOfConstantString(SelStr); 484391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner 485391d77a26382dddf25da73e29fc1fa5aaaea4c6fChris Lattner llvm::Value *SelPtr = Builder.CreateStructGEP(Selector, 0); 486ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner return Runtime->generateMessageSend(Builder, ConvertType(E->getType()), 487c8aa5f1f264fb230c38182adab944232bb160c2bChris Lattner CGF.LoadObjCSelf(), 488ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner Receiver, SelPtr, 489ce5605ecf76d8cde6372138f830bb144d174ced9Chris Lattner &Args[0], Args.size()); 4902b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner} 4912b94fe35edf951a14ecd32b21f7ebcc2e3754c67Chris Lattner 4927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitArraySubscriptExpr(ArraySubscriptExpr *E) { 4937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit subscript expressions in rvalue context's. For most cases, this just 4947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // loads the lvalue formed by the subscript expr. However, we have to be 4957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // careful, because the base of a vector subscript is occasionally an rvalue, 4967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // so we can't get it as an lvalue. 4977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!E->getBase()->getType()->isVectorType()) 4987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitLoadOfLValue(E); 4997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the vector case. The base must be a vector, the index must be an 5017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // integer value. 5027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Base = Visit(E->getBase()); 5037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Idx = Visit(E->getIdx()); 5047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Convert Idx to i32 type. 5067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateExtractElement(Base, Idx, "vecext"); 5077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// VisitImplicitCastExpr - Implicit casts are the same as normal casts, but 5107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// also handle things like function to pointer-to-function decay, and array to 5117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// pointer decay. 5127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitImplicitCastExpr(const ImplicitCastExpr *E) { 5137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner const Expr *Op = E->getSubExpr(); 5147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is due to array->pointer conversion, emit the array expression as 5167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // an l-value. 5177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Op->getType()->isArrayType()) { 5187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: For now we assume that all source arrays map to LLVM arrays. This 5197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // will not true when we add support for VLAs. 5204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *V = EmitLValue(Op).getAddress(); // Bitfields can't be arrays. 5217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(isa<llvm::PointerType>(V->getType()) && 5237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner isa<llvm::ArrayType>(cast<llvm::PointerType>(V->getType()) 5247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ->getElementType()) && 5257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Doesn't support VLAs yet!"); 52636b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner V = Builder.CreateStructGEP(V, 0, "arraydecay"); 527a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner 528a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner // The resultant pointer type can be implicitly casted to other pointer 529a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner // types as well, for example void*. 530a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner const llvm::Type *DestPTy = ConvertType(E->getType()); 531a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner assert(isa<llvm::PointerType>(DestPTy) && 532a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner "Only expect implicit cast to pointer"); 533a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner if (V->getType() != DestPTy) 534a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner V = Builder.CreateBitCast(V, DestPTy, "ptrconv"); 535a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner return V; 536a9e6372208ad77eb2cae639a8a17c86551ac1937Chris Lattner 537793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson } else if (E->getType()->isReferenceType()) { 53823af9f21283427d3e9b66cdccb711e2006028c8eAnders Carlsson assert(cast<ReferenceType>(E->getType().getCanonicalType())-> 539bdcd637c29ec1540f912ea6860c88b910e78c329Chris Lattner getPointeeType() == 54023af9f21283427d3e9b66cdccb711e2006028c8eAnders Carlsson Op->getType().getCanonicalType() && "Incompatible types!"); 541793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson 542793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson return EmitLValue(Op).getAddress(); 5437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 5447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return EmitCastExpr(Op, E->getType()); 5467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// VisitCastExpr - Emit code for an explicit or implicit cast. Implicit casts 5507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// have to handle a more broad range of conversions than explicit casts, as they 5517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// handle things like function to ptr-to-function decay etc. 5527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCastExpr(const Expr *E, QualType DestTy) { 55358a2e944faa16f1f61439acd2e71b19f50189511Chris Lattner // Handle cases where the source is an non-complex type. 55419a1d7c646729eb858b15583e647262a22de3637Chris Lattner 55519a1d7c646729eb858b15583e647262a22de3637Chris Lattner if (!CGF.hasAggregateLLVMType(E->getType())) { 5563707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner Value *Src = Visit(const_cast<Expr*>(E)); 5573707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 5583707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner // Use EmitScalarConversion to perform the conversion. 5593707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return EmitScalarConversion(Src, E->getType(), DestTy); 5603707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner } 56119a1d7c646729eb858b15583e647262a22de3637Chris Lattner 5629b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (E->getType()->isAnyComplexType()) { 56319a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Handle cases where the source is a complex type. 56419a1d7c646729eb858b15583e647262a22de3637Chris Lattner return EmitComplexToScalarConversion(CGF.EmitComplexExpr(E), E->getType(), 56519a1d7c646729eb858b15583e647262a22de3637Chris Lattner DestTy); 56619a1d7c646729eb858b15583e647262a22de3637Chris Lattner } 56710b00cfe6422906b223724048b9b2123968d3baaChris Lattner 56819a1d7c646729eb858b15583e647262a22de3637Chris Lattner // Okay, this is a cast from an aggregate. It must be a cast to void. Just 56919a1d7c646729eb858b15583e647262a22de3637Chris Lattner // evaluate the result and return. 57019a1d7c646729eb858b15583e647262a22de3637Chris Lattner CGF.EmitAggExpr(E, 0, false); 57119a1d7c646729eb858b15583e647262a22de3637Chris Lattner return 0; 5727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 5737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5743379320c10001d7e1ee5d7e7142c417f797cfe82Chris LattnerValue *ScalarExprEmitter::VisitStmtExpr(const StmtExpr *E) { 5759b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner return CGF.EmitCompoundStmt(*E->getSubStmt(), true).getScalarVal(); 5763379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner} 5773379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 5783379320c10001d7e1ee5d7e7142c417f797cfe82Chris Lattner 5797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Unary Operators 5817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 5827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitPrePostIncDec(const UnaryOperator *E, 584dfce2a51a78455c915722bc05f07c41e600220c9Chris Lattner bool isInc, bool isPre) { 5857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LV = EmitLValue(E->getSubExpr()); 5867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Handle volatile! 587e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner Value *InVal = CGF.EmitLoadOfLValue(LV, // false 5889b65551d0b387a7597fb39356a4d8ef10046445eChris Lattner E->getSubExpr()->getType()).getScalarVal(); 5897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner int AmountVal = isInc ? 1 : -1; 5917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 5927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *NextVal; 593e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner if (isa<llvm::PointerType>(InVal->getType())) { 594e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // FIXME: This isn't right for VLAs. 595e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = llvm::ConstantInt::get(llvm::Type::Int32Ty, AmountVal); 59636b6a0a63e87803a85080c639ad8b61e8bb5f9eeChris Lattner NextVal = Builder.CreateGEP(InVal, NextVal, "ptrincdec"); 597e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } else { 598e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner // Add the inc/dec to the real part. 599e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner if (isa<llvm::IntegerType>(InVal->getType())) 600e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = llvm::ConstantInt::get(InVal->getType(), AmountVal); 601ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner else if (InVal->getType() == llvm::Type::FloatTy) 602ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner // FIXME: Handle long double. 603e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 604e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel llvm::ConstantFP::get(InVal->getType(), 605e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel llvm::APFloat(static_cast<float>(AmountVal))); 606ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner else { 607ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner // FIXME: Handle long double. 608ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner assert(InVal->getType() == llvm::Type::DoubleTy); 609e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel NextVal = 610e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel llvm::ConstantFP::get(InVal->getType(), 611e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel llvm::APFloat(static_cast<double>(AmountVal))); 612ca2617c0e1f87c9da4d9aa3db4ea854ee2f6a1daChris Lattner } 613e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner NextVal = Builder.CreateAdd(InVal, NextVal, isInc ? "inc" : "dec"); 614e936cc8890b94e83f530453c8c9167fb5de9b5faChris Lattner } 6157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Store the updated result through the lvalue. 6177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStoreThroughLValue(RValue::get(NextVal), LV, 6187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner E->getSubExpr()->getType()); 6197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // If this is a postinc, return the value read from memory, otherwise use the 6217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // updated value. 6227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return isPre ? NextVal : InVal; 6237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryMinus(const UnaryOperator *E) { 6277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 6287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNeg(Op, "neg"); 6297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryNot(const UnaryOperator *E) { 6327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *Op = Visit(E->getSubExpr()); 6337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateNot(Op, "neg"); 6347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitUnaryLNot(const UnaryOperator *E) { 6377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Compare operand to zero. 6387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *BoolVal = CGF.EvaluateExprAsBool(E->getSubExpr()); 6397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Invert value. 6417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // TODO: Could dynamically modify easy computations here. For example, if 6427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // the operand is an icmp ne, turn into icmp eq. 6437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BoolVal = Builder.CreateNot(BoolVal, "lnot"); 6447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 6467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(BoolVal, CGF.LLVMIntTy, "lnot.ext"); 6477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// EmitSizeAlignOf - Return the size or alignment of the 'TypeToSize' type as 6507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// an integer (RetType). 6517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitSizeAlignOf(QualType TypeToSize, 65246f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner QualType RetType,bool isSizeOf){ 653a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner assert(RetType->isIntegerType() && "Result type must be an integer!"); 654a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner uint32_t ResultWidth = 65598be4943e8dc4f3905629a7102668960873cf863Chris Lattner static_cast<uint32_t>(CGF.getContext().getTypeSize(RetType)); 656a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner 657a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner // sizeof(void) and __alignof__(void) = 1 as a gcc extension. 658a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner if (TypeToSize->isVoidType()) 659a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner return llvm::ConstantInt::get(llvm::APInt(ResultWidth, 1)); 660a269ebfd91c4fa47e051fa1fa904833a022fe025Chris Lattner 6617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner /// FIXME: This doesn't handle VLAs yet! 66298be4943e8dc4f3905629a7102668960873cf863Chris Lattner std::pair<uint64_t, unsigned> Info = CGF.getContext().getTypeInfo(TypeToSize); 6637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner uint64_t Val = isSizeOf ? Info.first : Info.second; 6657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Val /= 8; // Return size in bytes, not bits. 6667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 6677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val)); 6687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 6697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 67046f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryReal(const UnaryOperator *E) { 67146f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 6729b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 67346f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return CGF.EmitComplexExpr(Op).first; 67446f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return Visit(Op); 67546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 67646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris LattnerValue *ScalarExprEmitter::VisitUnaryImag(const UnaryOperator *E) { 67746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner Expr *Op = E->getSubExpr(); 6789b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (Op->getType()->isAnyComplexType()) 67946f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner return CGF.EmitComplexExpr(Op).second; 68036f8406db837957b24b926fd657af909e1b12665Chris Lattner 68136f8406db837957b24b926fd657af909e1b12665Chris Lattner // __imag on a scalar returns zero. Emit it the subexpr to ensure side 68236f8406db837957b24b926fd657af909e1b12665Chris Lattner // effects are evaluated. 68336f8406db837957b24b926fd657af909e1b12665Chris Lattner CGF.EmitScalarExpr(Op); 68436f8406db837957b24b926fd657af909e1b12665Chris Lattner return llvm::Constant::getNullValue(ConvertType(E->getType())); 68546f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner} 68646f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 6875a1deb8d9c0722beae28d693fa137bbb942bd11fAnders CarlssonValue *ScalarExprEmitter::VisitUnaryOffsetOf(const UnaryOperator *E) 6885a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson{ 6895a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson int64_t Val = E->evaluateOffsetOf(CGF.getContext()); 6905a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson 6915a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson assert(E->getType()->isIntegerType() && "Result type must be an integer!"); 6925a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson 69398be4943e8dc4f3905629a7102668960873cf863Chris Lattner uint32_t ResultWidth = 69498be4943e8dc4f3905629a7102668960873cf863Chris Lattner static_cast<uint32_t>(CGF.getContext().getTypeSize(E->getType())); 6955a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val)); 6965a1deb8d9c0722beae28d693fa137bbb942bd11fAnders Carlsson} 69746f93d021a1778442c1c4a53f0b94a68bfae3be5Chris Lattner 6987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 6997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Binary Operators 7007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 7017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerBinOpInfo ScalarExprEmitter::EmitBinOps(const BinaryOperator *E) { 7037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner BinOpInfo Result; 7047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.LHS = Visit(E->getLHS()); 7057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.RHS = Visit(E->getRHS()); 7061f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Result.Ty = E->getType(); 7077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result.E = E; 7087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Result; 7097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 7107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7113ccf774256382ef9aa95028eaad82f54a3d0b0adChris LattnerValue *ScalarExprEmitter::EmitCompoundAssign(const CompoundAssignOperator *E, 7121f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *(ScalarExprEmitter::*Func)(const BinOpInfo &)) { 7131f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner QualType LHSTy = E->getLHS()->getType(), RHSTy = E->getRHS()->getType(); 7141f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7151f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner BinOpInfo OpInfo; 7161f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7171f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Load the LHS and RHS operands. 7181f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner LValue LHSLV = EmitLValue(E->getLHS()); 7191f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner OpInfo.LHS = EmitLoadOfLValue(LHSLV, LHSTy); 72004dc76496e869460a1acb7923fc00163c0128b0aChris Lattner 72104dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Determine the computation type. If the RHS is complex, then this is one of 72204dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // the add/sub/mul/div operators. All of these operators can be computed in 72304dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // with just their real component even though the computation domain really is 72404dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // complex. 72504dc76496e869460a1acb7923fc00163c0128b0aChris Lattner QualType ComputeType = E->getComputationType(); 7261f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 72704dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // If the computation type is complex, then the RHS is complex. Emit the RHS. 72804dc76496e869460a1acb7923fc00163c0128b0aChris Lattner if (const ComplexType *CT = ComputeType->getAsComplexType()) { 72904dc76496e869460a1acb7923fc00163c0128b0aChris Lattner ComputeType = CT->getElementType(); 73004dc76496e869460a1acb7923fc00163c0128b0aChris Lattner 73104dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Emit the RHS, only keeping the real component. 73204dc76496e869460a1acb7923fc00163c0128b0aChris Lattner OpInfo.RHS = CGF.EmitComplexExpr(E->getRHS()).first; 73304dc76496e869460a1acb7923fc00163c0128b0aChris Lattner RHSTy = RHSTy->getAsComplexType()->getElementType(); 73404dc76496e869460a1acb7923fc00163c0128b0aChris Lattner } else { 73504dc76496e869460a1acb7923fc00163c0128b0aChris Lattner // Otherwise the RHS is a simple scalar value. 73604dc76496e869460a1acb7923fc00163c0128b0aChris Lattner OpInfo.RHS = Visit(E->getRHS()); 73704dc76496e869460a1acb7923fc00163c0128b0aChris Lattner } 7381f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7391f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Convert the LHS/RHS values to the computation type. 740e937712379001def05bed3e21b4ade2be2fc210eChris Lattner OpInfo.LHS = EmitScalarConversion(OpInfo.LHS, LHSTy, ComputeType); 7411f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 742f86206ffbfd84a724f871409d09b31401e3f0d40Devang Patel // Do not merge types for -= or += where the LHS is a pointer. 743f86206ffbfd84a724f871409d09b31401e3f0d40Devang Patel if (!(E->getOpcode() == BinaryOperator::SubAssign || 74403f7c03ecf6bc772b851e19e81643b8e804258c8Devang Patel E->getOpcode() == BinaryOperator::AddAssign) || 7453b44b57423a61e4933e7506c78ff098a8638f961Chris Lattner !E->getLHS()->getType()->isPointerType()) { 746e937712379001def05bed3e21b4ade2be2fc210eChris Lattner OpInfo.RHS = EmitScalarConversion(OpInfo.RHS, RHSTy, ComputeType); 7471f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner } 7481f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner OpInfo.Ty = ComputeType; 7491f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner OpInfo.E = E; 7501f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7511f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Expand the binary operator. 7521f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *Result = (this->*Func)(OpInfo); 7531f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7541f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Truncate the result back to the LHS type. 755e937712379001def05bed3e21b4ade2be2fc210eChris Lattner Result = EmitScalarConversion(Result, ComputeType, LHSTy); 7561f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7571f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // Store the result value into the LHS lvalue. 7581f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner CGF.EmitStoreThroughLValue(RValue::get(Result), LHSLV, E->getType()); 7591f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7601f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner return Result; 7611f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner} 7621f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7631f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitDiv(const BinOpInfo &Ops) { 765b3ab8dc7d3b2e24259b990ac4ad75abfd07fa1f9Nate Begeman if (Ops.LHS->getType()->isFPOrFPVector()) 7667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateFDiv(Ops.LHS, Ops.RHS, "div"); 7671f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner else if (Ops.Ty->isUnsignedIntegerType()) 7687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateUDiv(Ops.LHS, Ops.RHS, "div"); 7697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 7707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSDiv(Ops.LHS, Ops.RHS, "div"); 7717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 7727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitRem(const BinOpInfo &Ops) { 7747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Rem in C can't be a floating point type: C99 6.5.5p2. 7751f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 7767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateURem(Ops.LHS, Ops.RHS, "rem"); 7777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner else 7787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSRem(Ops.LHS, Ops.RHS, "rem"); 7797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 7807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 7827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitAdd(const BinOpInfo &Ops) { 7831f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (!Ops.Ty->isPointerType()) 7847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAdd(Ops.LHS, Ops.RHS, "add"); 7851f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 7861f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // FIXME: What about a pointer to a VLA? 7878f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Value *Ptr, *Idx; 7888f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Expr *IdxExp; 7898f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner if (isa<llvm::PointerType>(Ops.LHS->getType())) { // pointer + int 7908f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.LHS; 7918f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.RHS; 7928f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getRHS(); 7938f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } else { // int + pointer 7948f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Ptr = Ops.RHS; 7958f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Ops.LHS; 7968f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner IdxExp = Ops.E->getLHS(); 7978f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 7988f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 7998f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 8008f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner if (Width < CGF.LLVMPointerWidth) { 8018f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // Zero or sign extend the pointer value based on whether the index is 8028f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner // signed or not. 8038f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner const llvm::Type *IdxType = llvm::IntegerType::get(CGF.LLVMPointerWidth); 8048f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner if (IdxExp->getType().getCanonicalType()->isSignedIntegerType()) 8058f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 8068f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner else 8078f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 8088f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner } 8098f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner 8108f925280abe3795ae0fb47f2ba90faea62e26af4Chris Lattner return Builder.CreateGEP(Ptr, Idx, "add.ptr"); 8117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) { 8147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (!isa<llvm::PointerType>(Ops.LHS->getType())) 8157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub"); 8167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8171f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // pointer - int 8181f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner assert(!isa<llvm::PointerType>(Ops.RHS->getType()) && 8191f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner "ptr-ptr shouldn't get here"); 8201f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // FIXME: The pointer could point to a VLA. 8216860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner Value *Idx = Builder.CreateNeg(Ops.RHS, "sub.ptr.neg"); 8226860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner 8236860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner unsigned Width = cast<llvm::IntegerType>(Idx->getType())->getBitWidth(); 8246860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner if (Width < CGF.LLVMPointerWidth) { 8256860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner // Zero or sign extend the pointer value based on whether the index is 8266860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner // signed or not. 8276860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner const llvm::Type *IdxType = llvm::IntegerType::get(CGF.LLVMPointerWidth); 8286860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner if (Ops.E->getRHS()->getType().getCanonicalType()->isSignedIntegerType()) 8296860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner Idx = Builder.CreateSExt(Idx, IdxType, "idx.ext"); 8306860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner else 8316860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner Idx = Builder.CreateZExt(Idx, IdxType, "idx.ext"); 8326860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner } 8336860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner 8346860f3cef7d5ed22cf7626e357c202124c43c899Chris Lattner return Builder.CreateGEP(Ops.LHS, Idx, "sub.ptr"); 8351f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner} 8361f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8371f1ded9629529085e1673c99fb805e4d9d0b370bChris LattnerValue *ScalarExprEmitter::VisitBinSub(const BinaryOperator *E) { 8381f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // "X - Y" is different from "X -= Y" in one case: when Y is a pointer. In 8391f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner // the compound assignment case it is invalid, so just handle it here. 8401f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (!E->getRHS()->getType()->isPointerType()) 8411f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner return EmitSub(EmitBinOps(E)); 8427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // pointer - pointer 8441f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *LHS = Visit(E->getLHS()); 8451f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *RHS = Visit(E->getRHS()); 8461f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 847ec86b97c34b4da5f66b2522d296a6d1c94f742e4Seo Sanghyeon const QualType LHSType = E->getLHS()->getType().getCanonicalType(); 8489bb947adc5641938bd72c247ff353721160eea70Seo Sanghyeon const QualType LHSElementType = cast<PointerType>(LHSType)->getPointeeType(); 84998be4943e8dc4f3905629a7102668960873cf863Chris Lattner uint64_t ElementSize = CGF.getContext().getTypeSize(LHSElementType) / 8; 8501f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8511f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner const llvm::Type *ResultType = ConvertType(E->getType()); 8521f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner LHS = Builder.CreatePtrToInt(LHS, ResultType, "sub.ptr.lhs.cast"); 8531f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner RHS = Builder.CreatePtrToInt(RHS, ResultType, "sub.ptr.rhs.cast"); 8541f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner Value *BytesBetween = Builder.CreateSub(LHS, RHS, "sub.ptr.sub"); 8557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // HACK: LLVM doesn't have an divide instruction that 'knows' there is no 8577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // remainder. As such, we handle common power-of-two cases here to generate 8587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // better code. 8597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (llvm::isPowerOf2_64(ElementSize)) { 8607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *ShAmt = 8617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::ConstantInt::get(ResultType, llvm::Log2_64(ElementSize)); 8627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAShr(BytesBetween, ShAmt, "sub.ptr.shr"); 8637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 8641f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Otherwise, do a full sdiv. 8667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *BytesPerElt = llvm::ConstantInt::get(ResultType, ElementSize); 8677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateSDiv(BytesBetween, BytesPerElt, "sub.ptr.div"); 8687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8701f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner 8717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShl(const BinOpInfo &Ops) { 8727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 8737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 8747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 8757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 8767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 8777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateShl(Ops.LHS, RHS, "shl"); 8797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitShr(const BinOpInfo &Ops) { 8827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // LLVM requires the LHS and RHS to be the same type: promote or truncate the 8837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // RHS to the same size as the LHS. 8847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Ops.RHS; 8857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (Ops.LHS->getType() != RHS->getType()) 8867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHS = Builder.CreateIntCast(RHS, Ops.LHS->getType(), false, "sh_prom"); 8877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8881f1ded9629529085e1673c99fb805e4d9d0b370bChris Lattner if (Ops.Ty->isUnsignedIntegerType()) 8897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateLShr(Ops.LHS, RHS, "shr"); 8907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateAShr(Ops.LHS, RHS, "shr"); 8917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 8927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 8937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::EmitCompare(const BinaryOperator *E,unsigned UICmpOpc, 8947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner unsigned SICmpOpc, unsigned FCmpOpc) { 8954f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *Result; 8967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner QualType LHSTy = E->getLHS()->getType(); 8979b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner if (!LHSTy->isAnyComplexType()) { 8987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHS = Visit(E->getLHS()); 8997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 9007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (LHS->getType()->isFloatingPoint()) { 9027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 9037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 9047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else if (LHSTy->isUnsignedIntegerType()) { 9057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 9067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 9077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 9087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Signed integers and pointers. 9097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateICmp((llvm::ICmpInst::Predicate)SICmpOpc, 9107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS, RHS, "cmp"); 9117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 9127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 9137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex Comparison: can only be an equality comparison. 9147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy LHS = CGF.EmitComplexExpr(E->getLHS()); 9157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CodeGenFunction::ComplexPairTy RHS = CGF.EmitComplexExpr(E->getRHS()); 9167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner QualType CETy = 9187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner cast<ComplexType>(LHSTy.getCanonicalType())->getElementType(); 9197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner Value *ResultR, *ResultI; 9217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (CETy->isRealFloatingType()) { 9227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 9237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 9247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateFCmp((llvm::FCmpInst::Predicate)FCmpOpc, 9257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 9267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 9277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Complex comparisons can only be equality comparisons. As such, signed 9287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // and unsigned opcodes are the same. 9297f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultR = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 9307f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.first, RHS.first, "cmp.r"); 9317f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner ResultI = Builder.CreateICmp((llvm::ICmpInst::Predicate)UICmpOpc, 9327f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHS.second, RHS.second, "cmp.i"); 9337f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 9347f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9357f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner if (E->getOpcode() == BinaryOperator::EQ) { 9367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateAnd(ResultR, ResultI, "and.ri"); 9377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } else { 9387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E->getOpcode() == BinaryOperator::NE && 9397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Complex comparison other than == or != ?"); 9407f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Result = Builder.CreateOr(ResultR, ResultI, "or.ri"); 9417f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 9427f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner } 9437f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9447f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 9457f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(Result, CGF.LLVMIntTy, "cmp.ext"); 9467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinAssign(const BinaryOperator *E) { 9497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LValue LHS = EmitLValue(E->getLHS()); 9507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 9517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Store the value into the LHS. 9537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // FIXME: Volatility! 9547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStoreThroughLValue(RValue::get(RHS), LHS, E->getType()); 9557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Return the RHS. 9577f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return RHS; 9587f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9597f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9607f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLAnd(const BinaryOperator *E) { 9617f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHSCond = CGF.EvaluateExprAsBool(E->getLHS()); 9627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *ContBlock = new llvm::BasicBlock("land_cont"); 9647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *RHSBlock = new llvm::BasicBlock("land_rhs"); 9657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *OrigBlock = Builder.GetInsertBlock(); 9677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Builder.CreateCondBr(LHSCond, RHSBlock, ContBlock); 9687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 9707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 9717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9727f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 9737f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 9747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 9757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9767f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node. If we just evaluted the LHS condition, the result is 9777f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // false. If we evaluated both, the result is the RHS condition. 9787f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(llvm::Type::Int1Ty, "land"); 9797f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 9807f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(llvm::ConstantInt::getFalse(), OrigBlock); 9817f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 9827f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9837f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 9847f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "land.ext"); 9857f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 9867f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9877f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinLOr(const BinaryOperator *E) { 9887f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *LHSCond = CGF.EvaluateExprAsBool(E->getLHS()); 9897f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9907f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *ContBlock = new llvm::BasicBlock("lor_cont"); 9917f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *RHSBlock = new llvm::BasicBlock("lor_rhs"); 9927f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9937f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *OrigBlock = Builder.GetInsertBlock(); 9947f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Builder.CreateCondBr(LHSCond, ContBlock, RHSBlock); 9957f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9967f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 9977f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHSCond = CGF.EvaluateExprAsBool(E->getRHS()); 9987f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 9997f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Reaquire the RHS block, as there may be subblocks inserted. 10007f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 10017f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 10027f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10037f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node. If we just evaluted the LHS condition, the result is 10047f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // true. If we evaluated both, the result is the RHS condition. 10057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(llvm::Type::Int1Ty, "lor"); 10067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 10077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(llvm::ConstantInt::getTrue(), OrigBlock); 10087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHSCond, RHSBlock); 10097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // ZExt result to int. 10117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Builder.CreateZExt(PN, CGF.LLVMIntTy, "lor.ext"); 10127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitBinComma(const BinaryOperator *E) { 10157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitStmt(E->getLHS()); 10167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return Visit(E->getRHS()); 10177f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10187f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10197f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 10207f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Other Operators 10217f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 10227f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10237f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter:: 10247f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerVisitConditionalOperator(const ConditionalOperator *E) { 10257f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *LHSBlock = new llvm::BasicBlock("cond.?"); 10267f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *RHSBlock = new llvm::BasicBlock("cond.:"); 10277f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::BasicBlock *ContBlock = new llvm::BasicBlock("cond.cont"); 10287f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1029a21ddb30e56026967d58e26c5212744e1831305bChris Lattner // Evaluate the conditional, then convert it to bool. We do this explicitly 1030a21ddb30e56026967d58e26c5212744e1831305bChris Lattner // because we need the unconverted value if this is a GNU ?: expression with 1031a21ddb30e56026967d58e26c5212744e1831305bChris Lattner // missing middle value. 1032a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Value *CondVal = CGF.EmitScalarExpr(E->getCond()); 1033c89bf69c9289d2b2305f2c267daacc7312391898Chris Lattner Value *CondBoolVal =CGF.EmitScalarConversion(CondVal, E->getCond()->getType(), 1034c89bf69c9289d2b2305f2c267daacc7312391898Chris Lattner CGF.getContext().BoolTy); 1035a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Builder.CreateCondBr(CondBoolVal, LHSBlock, RHSBlock); 10367f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10377f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(LHSBlock); 10387f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10397f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Handle the GNU extension for missing LHS. 1040a21ddb30e56026967d58e26c5212744e1831305bChris Lattner Value *LHS; 1041a21ddb30e56026967d58e26c5212744e1831305bChris Lattner if (E->getLHS()) 1042a21ddb30e56026967d58e26c5212744e1831305bChris Lattner LHS = Visit(E->getLHS()); 1043a21ddb30e56026967d58e26c5212744e1831305bChris Lattner else // Perform promotions, to handle cases like "short ?: int" 1044a21ddb30e56026967d58e26c5212744e1831305bChris Lattner LHS = EmitScalarConversion(CondVal, E->getCond()->getType(), E->getType()); 1045a21ddb30e56026967d58e26c5212744e1831305bChris Lattner 10467f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Builder.CreateBr(ContBlock); 10477f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner LHSBlock = Builder.GetInsertBlock(); 10487f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10497f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(RHSBlock); 10507f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10517f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Value *RHS = Visit(E->getRHS()); 10527f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner Builder.CreateBr(ContBlock); 10537f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner RHSBlock = Builder.GetInsertBlock(); 10547f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10557f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner CGF.EmitBlock(ContBlock); 10567f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10572202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner if (!LHS) { 10582202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner assert(E->getType()->isVoidType() && "Non-void value should have a value"); 10592202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner return 0; 10602202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner } 10612202bce80fc72d067cbe67dc1512f7b45351fd31Chris Lattner 10627f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Create a PHI node for the real part. 10637f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner llvm::PHINode *PN = Builder.CreatePHI(LHS->getType(), "cond"); 10647f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->reserveOperandSpace(2); 10657f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(LHS, LHSBlock); 10667f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner PN->addIncoming(RHS, RHSBlock); 10677f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return PN; 10687f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10697f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 10707f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *ScalarExprEmitter::VisitChooseExpr(ChooseExpr *E) { 10717f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner // Emit the LHS or RHS as appropriate. 1072e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel return 1073e9b8c0a38549692f1b8f688c05c35442fc620865Devang Patel Visit(E->isConditionTrue(CGF.getContext()) ? E->getLHS() : E->getRHS()); 10747f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 10757f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 1076e2ce1d9440186cf3332368291cd884a6e3ae8946Nate BegemanValue *ScalarExprEmitter::VisitOverloadExpr(OverloadExpr *E) { 107767295d05c50ab0b5d1b0f9ef82a906701c348715Nate Begeman return CGF.EmitCallExpr(E->getFn(), E->arg_begin(), 107867295d05c50ab0b5d1b0f9ef82a906701c348715Nate Begeman E->getNumArgs(CGF.getContext())).getScalarVal(); 1079e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman} 1080e2ce1d9440186cf3332368291cd884a6e3ae8946Nate Begeman 10812202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitVAArgExpr(VAArgExpr *VE) { 10827c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson llvm::Value *ArgValue = EmitLValue(VE->getSubExpr()).getAddress(); 10837c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 10847c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson llvm::Value *V = Builder.CreateVAArg(ArgValue, ConvertType(VE->getType())); 10857c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson return V; 10867c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson} 10877c50aca2fe36f6daa9bf1c8c428f30e72f96470aAnders Carlsson 10882202bce80fc72d067cbe67dc1512f7b45351fd31Chris LattnerValue *ScalarExprEmitter::VisitObjCEncodeExpr(const ObjCEncodeExpr *E) { 108985f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson std::string str; 10907d6b46d9a9d75dea8ef9f6973dd50633c1f37963Fariborz Jahanian llvm::SmallVector<const RecordType *, 8> EncodingRecordTypes; 10917d6b46d9a9d75dea8ef9f6973dd50633c1f37963Fariborz Jahanian CGF.getContext().getObjCEncodingForType(E->getEncodedType(), str, 10927d6b46d9a9d75dea8ef9f6973dd50633c1f37963Fariborz Jahanian EncodingRecordTypes); 109385f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 109485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *C = llvm::ConstantArray::get(str); 109585f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C = new llvm::GlobalVariable(C->getType(), true, 109685f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::GlobalValue::InternalLinkage, 109785f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C, ".str", &CGF.CGM.getModule()); 109885f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *Zero = llvm::Constant::getNullValue(llvm::Type::Int32Ty); 109985f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson llvm::Constant *Zeros[] = { Zero, Zero }; 110085f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson C = llvm::ConstantExpr::getGetElementPtr(C, Zeros, 2); 110185f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 110285f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson return C; 110385f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson} 110485f9bceab1542aafff012d4d28e998f4ba16e362Anders Carlsson 11057f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 11067f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner// Entry Point into this File 11077f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner//===----------------------------------------------------------------------===// 11087f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11097f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// EmitComplexExpr - Emit the computation of the specified expression of 11107f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner/// complex type, ignoring the result. 11117f02f721d48772e4eee4fccd8af4f800be1bbc1eChris LattnerValue *CodeGenFunction::EmitScalarExpr(const Expr *E) { 11127f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner assert(E && !hasAggregateLLVMType(E->getType()) && 11137f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner "Invalid scalar expression to emit"); 11147f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner 11157f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner return ScalarExprEmitter(*this).Visit(const_cast<Expr*>(E)); 11167f02f721d48772e4eee4fccd8af4f800be1bbc1eChris Lattner} 11173707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner 11183707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// EmitScalarConversion - Emit a conversion from the specified type to the 11193707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner/// specified destination type, both of which are LLVM scalar types. 11204f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitScalarConversion(Value *Src, QualType SrcTy, 11214f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 11223707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner assert(!hasAggregateLLVMType(SrcTy) && !hasAggregateLLVMType(DstTy) && 11233707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner "Invalid scalar expression to emit"); 11243707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner return ScalarExprEmitter(*this).EmitScalarConversion(Src, SrcTy, DstTy); 11253707b255f8993fb362904c9cff87b0e9bc6ca317Chris Lattner} 11264f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner 11274f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// EmitComplexToScalarConversion - Emit a conversion from the specified 11284f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// complex type to the specified destination type, where the destination 11294f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner/// type is an LLVM scalar type. 11304f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris LattnerValue *CodeGenFunction::EmitComplexToScalarConversion(ComplexPairTy Src, 11314f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType SrcTy, 11324f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner QualType DstTy) { 11339b2dc287177394a8f73833e2ad4f7ca8cd6f22bbChris Lattner assert(SrcTy->isAnyComplexType() && !hasAggregateLLVMType(DstTy) && 11344f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner "Invalid complex -> scalar conversion"); 11354f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner return ScalarExprEmitter(*this).EmitComplexToScalarConversion(Src, SrcTy, 11364f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner DstTy); 11374f1a7b380809b4ca19ad2daff61bc11cd1e979d8Chris Lattner} 1138cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1139cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders CarlssonValue *CodeGenFunction::EmitShuffleVector(Value* V1, Value *V2, ...) { 1140cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(V1->getType() == V2->getType() && 1141cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector operands must be of the same type"); 1142cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1143cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson unsigned NumElements = 1144cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson cast<llvm::VectorType>(V1->getType())->getNumElements(); 1145cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1146cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_list va; 1147cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_start(va, V2); 1148cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1149cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::SmallVector<llvm::Constant*, 16> Args; 1150cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1151cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson for (unsigned i = 0; i < NumElements; i++) { 1152cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson int n = va_arg(va, int); 1153cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1154cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson assert(n >= 0 && n < (int)NumElements * 2 && 1155cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson "Vector shuffle index out of bounds!"); 1156cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1157cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson Args.push_back(llvm::ConstantInt::get(llvm::Type::Int32Ty, n)); 1158cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson } 1159cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1160cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson const char *Name = va_arg(va, const char *); 1161cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson va_end(va); 1162cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1163cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson llvm::Constant *Mask = llvm::ConstantVector::get(&Args[0], NumElements); 1164cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 1165cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson return Builder.CreateShuffleVector(V1, V2, Mask, Name); 1166cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson} 1167cc23acae84c6d5c37b4805edbcd95ee5d821c400Anders Carlsson 11686086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlssonllvm::Value *CodeGenFunction::EmitVector(llvm::Value * const *Vals, 11694119d1aeca8016654d381ce079864058d1709571Nate Begeman unsigned NumVals, bool isSplat) 11706086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson{ 11716086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Vec 11726086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson = llvm::UndefValue::get(llvm::VectorType::get(Vals[0]->getType(), NumVals)); 11736086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 11746086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson for (unsigned i = 0, e = NumVals ; i != e; ++i) { 11754119d1aeca8016654d381ce079864058d1709571Nate Begeman llvm::Value *Val = isSplat ? Vals[0] : Vals[i]; 11766086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson llvm::Value *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty, i); 11774119d1aeca8016654d381ce079864058d1709571Nate Begeman Vec = Builder.CreateInsertElement(Vec, Val, Idx, "tmp"); 11786086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson } 11796086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson 11806086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson return Vec; 11816086bbd1799e22e75561c3d31dc9b923f0508fa5Anders Carlsson} 1182