diff options
author | Chris Lattner <sabre@nondot.org> | 2007-12-29 23:43:37 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2007-12-29 23:43:37 +0000 |
commit | 17930d9b58a43a1048b2c51a51b51e5ada2d0232 (patch) | |
tree | 935c1bb563b1d865b537fee6a75ce10a5b58eb62 /CodeGen/CodeGenModule.cpp | |
parent | 0538bc56e3fbb580921082bd80b2ddefb6ed2532 (diff) |
implement codegen support for most unary operators when
initializing a global. This handles important cases like:
float foo3 = -0.01f;
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45427 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'CodeGen/CodeGenModule.cpp')
-rw-r--r-- | CodeGen/CodeGenModule.cpp | 37 |
1 files changed, 36 insertions, 1 deletions
diff --git a/CodeGen/CodeGenModule.cpp b/CodeGen/CodeGenModule.cpp index 506db8d6c6..866ba47b2a 100644 --- a/CodeGen/CodeGenModule.cpp +++ b/CodeGen/CodeGenModule.cpp @@ -424,7 +424,42 @@ static llvm::Constant *GenerateConstantExpr(const Expr *Expression, case Stmt::CastExprClass: return GenerateConstantCast(cast<CastExpr>(Expression)->getSubExpr(), type, CGM); - + case Stmt::UnaryOperatorClass: { + const UnaryOperator *Op = cast<UnaryOperator>(Expression); + llvm::Constant *SubExpr = GenerateConstantExpr(Op->getSubExpr(), CGM); + // FIXME: These aren't right for complex. + switch (Op->getOpcode()) { + default: break; + case UnaryOperator::Plus: + case UnaryOperator::Extension: + return SubExpr; + case UnaryOperator::Minus: + return llvm::ConstantExpr::getNeg(SubExpr); + case UnaryOperator::Not: + return llvm::ConstantExpr::getNot(SubExpr); + case UnaryOperator::LNot: + if (Op->getSubExpr()->getType()->isRealFloatingType()) { + // Compare against 0.0 for fp scalars. + llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType()); + SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, SubExpr, + Zero); + } else { + assert((Op->getSubExpr()->getType()->isIntegerType() || + Op->getSubExpr()->getType()->isPointerType()) && + "Unknown scalar type to convert"); + // Compare against an integer or pointer null. + llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType()); + SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, SubExpr, + Zero); + } + + return llvm::ConstantExpr::getZExt(SubExpr, Types.ConvertType(type)); + //SizeOf, AlignOf, // [C99 6.5.3.4] Sizeof (expr, not type) operator. + //Real, Imag, // "__real expr"/"__imag expr" Extension. + //OffsetOf // __builtin_offsetof + } + break; + } case Stmt::ImplicitCastExprClass: { const ImplicitCastExpr *ICExpr = cast<ImplicitCastExpr>(Expression); |