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