[cfe-commits] r57156 - /cfe/trunk/lib/CodeGen/CGBuiltin.cpp

[Chris Lattner]

Author: lattner
Date: Mon Oct  6 01:09:18 2008
New Revision: 57156

URL: http://llvm.org/viewvc/llvm-project?rev=57156&view=rev
Log:
remove some code where CGBuiltin folds constants, and use tryEvaluate to
do it instead.  We should still handle __builtin_nan etc, but don't yet.
This fixes incorrect evaluation of __builtin_constant_p, a FIXME.

Modified:
    cfe/trunk/lib/CodeGen/CGBuiltin.cpp

Modified: cfe/trunk/lib/CodeGen/CGBuiltin.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGBuiltin.cpp?rev=57156&r1=57155&r2=57156&view=diff

==============================================================================
--- cfe/trunk/lib/CodeGen/CGBuiltin.cpp (original)
+++ cfe/trunk/lib/CodeGen/CGBuiltin.cpp Mon Oct  6 01:09:18 2008
@@ -14,6 +14,7 @@
 #include "CodeGenFunction.h"
 #include "CodeGenModule.h"
 #include "clang/Basic/TargetInfo.h"
+#include "clang/AST/APValue.h"
 #include "clang/AST/ASTContext.h"
 #include "clang/AST/Decl.h"
 #include "clang/AST/TargetBuiltins.h"
@@ -39,6 +40,24 @@
   switch (BuiltinID) {
   default: break;  // Handle intrinsics and libm functions below.
       
+  case Builtin::BI__builtin_huge_val:
+  case Builtin::BI__builtin_huge_valf:
+  case Builtin::BI__builtin_huge_vall:
+  case Builtin::BI__builtin_inf:
+  case Builtin::BI__builtin_inff:
+  case Builtin::BI__builtin_infl:
+  case Builtin::BI__builtin_classify_type:
+  case Builtin::BI__builtin_constant_p: {
+    APValue Result;
+    bool IsCst = E->tryEvaluate(Result, CGM.getContext());
+    assert(IsCst && "These must all be constants!");
+    
+    if (Result.isInt())
+      return RValue::get(llvm::ConstantInt::get(Result.getInt()));
+    assert(Result.isFloat() && "Unsupported constant type");
+    return RValue::get(llvm::ConstantFP::get(Result.getFloat()));
+  }
+      
   case Builtin::BI__builtin___CFStringMakeConstantString: {
     const Expr *Arg = E->getArg(0);
     
@@ -87,18 +106,6 @@
     return RValue::get(Builder.CreateCall2(CGM.getIntrinsic(Intrinsic::vacopy), 
                                            DstPtr, SrcPtr));
   }
-  case Builtin::BI__builtin_classify_type: {
-    APSInt Result(32);
-    if (!E->isBuiltinClassifyType(Result))
-      assert(0 && "Expr not __builtin_classify_type!");
-    return RValue::get(ConstantInt::get(Result));
-  }
-  case Builtin::BI__builtin_constant_p: {
-    APSInt Result(32);
-    // FIXME: Analyze the parameter and check if it is a constant.
-    Result = 0;
-    return RValue::get(ConstantInt::get(Result));
-  }
   case Builtin::BI__builtin_abs: {
     Value *ArgValue = EmitScalarExpr(E->getArg(0));   
     
@@ -224,16 +231,6 @@
     return RValue::get(Builder.CreateCall(F));
   }
 
-  case Builtin::BI__builtin_huge_val:
-  case Builtin::BI__builtin_huge_valf:
-  case Builtin::BI__builtin_huge_vall:
-  case Builtin::BI__builtin_inf:
-  case Builtin::BI__builtin_inff:
-  case Builtin::BI__builtin_infl: {
-    const llvm::fltSemantics &Sem =
-      CGM.getContext().getFloatTypeSemantics(E->getType());
-    return RValue::get(ConstantFP::get(APFloat::getInf(Sem)));
-  }
   case Builtin::BI__builtin_nan:
   case Builtin::BI__builtin_nanf:
   case Builtin::BI__builtin_nanl: {