blob: 1cd0c27b0e839bc989b158cdfec2ce4f22e607ed [file] [log] [blame]
Anders Carlsson022012e2007-08-20 18:05:56 +00001//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Anders Carlsson and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code to emit Builtin calls as LLVM code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenFunction.h"
15#include "CodeGenModule.h"
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000016#include "clang/Basic/TargetInfo.h"
Chris Lattnerbef20ac2007-08-31 04:31:45 +000017#include "clang/AST/ASTContext.h"
Anders Carlsson022012e2007-08-20 18:05:56 +000018#include "clang/AST/Builtins.h"
19#include "clang/AST/Expr.h"
Anders Carlsson564f1de2007-12-09 23:17:02 +000020#include "clang/AST/TargetBuiltins.h"
Chris Lattner6de93ff2007-08-26 04:17:05 +000021#include "llvm/Constants.h"
Chris Lattnerc5e940f2007-08-31 04:44:06 +000022#include "llvm/Function.h"
Anders Carlsson793680e2007-10-12 23:56:29 +000023#include "llvm/Intrinsics.h"
Anders Carlsson022012e2007-08-20 18:05:56 +000024using namespace clang;
25using namespace CodeGen;
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000026using namespace llvm;
27
Chris Lattner6de93ff2007-08-26 04:17:05 +000028RValue CodeGenFunction::EmitBuiltinExpr(unsigned BuiltinID, const CallExpr *E) {
29 switch (BuiltinID) {
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000030 default: {
Chris Lattnerc5e940f2007-08-31 04:44:06 +000031 if (getContext().BuiltinInfo.isLibFunction(BuiltinID))
32 return EmitCallExpr(CGM.getBuiltinLibFunction(BuiltinID), E);
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000033
34 // See if we have a target specific intrinsic.
Chris Lattner1feedd82007-12-13 07:34:23 +000035 Intrinsic::ID IntrinsicID;
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000036 const char *TargetPrefix = Target.getTargetPrefix();
37 const char *BuiltinName = getContext().BuiltinInfo.GetName(BuiltinID);
38#define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
39#include "llvm/Intrinsics.gen"
40#undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
41
42 if (IntrinsicID != Intrinsic::not_intrinsic) {
Chris Lattner1feedd82007-12-13 07:34:23 +000043 SmallVector<Value*, 16> Args;
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000044
Chris Lattner1feedd82007-12-13 07:34:23 +000045 Function *F = Intrinsic::getDeclaration(&CGM.getModule(), IntrinsicID);
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000046 const llvm::FunctionType *FTy = F->getFunctionType();
47
48 for (unsigned i = 0, e = E->getNumArgs(); i != e; ++i) {
Chris Lattner1feedd82007-12-13 07:34:23 +000049 Value *ArgValue = EmitScalarExpr(E->getArg(i));
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000050
51 // If the intrinsic arg type is different from the builtin arg type
52 // we need to do a bit cast.
53 const llvm::Type *PTy = FTy->getParamType(i);
54 if (PTy != ArgValue->getType()) {
55 assert(PTy->canLosslesslyBitCastTo(FTy->getParamType(i)) &&
56 "Must be able to losslessly bit cast to param");
57 ArgValue = Builder.CreateBitCast(ArgValue, PTy);
58 }
59
60 Args.push_back(ArgValue);
61 }
62
Chris Lattner1feedd82007-12-13 07:34:23 +000063 Value *V = Builder.CreateCall(F, &Args[0], &Args[0] + Args.size());
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000064 QualType BuiltinRetType = E->getType();
65
Chris Lattner1feedd82007-12-13 07:34:23 +000066 const llvm::Type *RetTy = llvm::Type::VoidTy;
67 if (!BuiltinRetType->isVoidType()) RetTy = ConvertType(BuiltinRetType);
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000068
69 if (RetTy != V->getType()) {
70 assert(V->getType()->canLosslesslyBitCastTo(RetTy) &&
71 "Must be able to losslessly bit cast result type");
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000072 V = Builder.CreateBitCast(V, RetTy);
73 }
74
75 return RValue::get(V);
76 }
Anders Carlsson564f1de2007-12-09 23:17:02 +000077
78 // See if we have a target specific builtin that needs to be lowered.
Chris Lattner1feedd82007-12-13 07:34:23 +000079 Value *V = 0;
Chris Lattnerc5e940f2007-08-31 04:44:06 +000080
Anders Carlsson564f1de2007-12-09 23:17:02 +000081 if (strcmp(TargetPrefix, "x86") == 0)
82 V = EmitX86BuiltinExpr(BuiltinID, E);
83 else if (strcmp(TargetPrefix, "ppc") == 0)
84 V = EmitPPCBuiltinExpr(BuiltinID, E);
85
86 if (V)
87 return RValue::get(V);
88
Chris Lattnerdc4d2802007-12-02 01:49:16 +000089 WarnUnsupported(E, "builtin function");
Chris Lattner6de93ff2007-08-26 04:17:05 +000090
91 // Unknown builtin, for now just dump it out and return undef.
92 if (hasAggregateLLVMType(E->getType()))
93 return RValue::getAggregate(CreateTempAlloca(ConvertType(E->getType())));
Chris Lattner1feedd82007-12-13 07:34:23 +000094 return RValue::get(UndefValue::get(ConvertType(E->getType())));
Anders Carlssonca6fcfa2007-12-09 21:20:04 +000095 }
Chris Lattner6de93ff2007-08-26 04:17:05 +000096 case Builtin::BI__builtin___CFStringMakeConstantString: {
97 const Expr *Arg = E->getArg(0);
98
Anders Carlssond6a275f2007-11-01 00:39:26 +000099 while (1) {
100 if (const ParenExpr *PE = dyn_cast<ParenExpr>(Arg))
101 Arg = PE->getSubExpr();
102 else if (const ImplicitCastExpr *CE = dyn_cast<ImplicitCastExpr>(Arg))
103 Arg = CE->getSubExpr();
104 else
105 break;
106 }
Chris Lattner6de93ff2007-08-26 04:17:05 +0000107
108 const StringLiteral *Literal = cast<StringLiteral>(Arg);
109 std::string S(Literal->getStrData(), Literal->getByteLength());
110
111 return RValue::get(CGM.GetAddrOfConstantCFString(S));
Anders Carlsson793680e2007-10-12 23:56:29 +0000112 }
113 case Builtin::BI__builtin_va_start:
114 case Builtin::BI__builtin_va_end: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000115 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Anders Carlsson793680e2007-10-12 23:56:29 +0000116 const llvm::Type *DestType = llvm::PointerType::get(llvm::Type::Int8Ty);
117 if (ArgValue->getType() != DestType)
118 ArgValue = Builder.CreateBitCast(ArgValue, DestType,
119 ArgValue->getNameStart());
120
Chris Lattner1feedd82007-12-13 07:34:23 +0000121 Intrinsic::ID inst = (BuiltinID == Builtin::BI__builtin_va_start) ?
122 Intrinsic::vastart : Intrinsic::vaend;
123 Value *F = Intrinsic::getDeclaration(&CGM.getModule(), inst);
124 Value *V = Builder.CreateCall(F, ArgValue);
Anders Carlsson793680e2007-10-12 23:56:29 +0000125
126 return RValue::get(V);
127 }
Anders Carlsson89799cf2007-10-29 02:59:40 +0000128 case Builtin::BI__builtin_classify_type: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000129 APSInt Result(32);
Anders Carlsson89799cf2007-10-29 02:59:40 +0000130
131 if (!E->isBuiltinClassifyType(Result))
132 assert(0 && "Expr not __builtin_classify_type!");
133
Chris Lattner1feedd82007-12-13 07:34:23 +0000134 return RValue::get(ConstantInt::get(Result));
Anders Carlsson022012e2007-08-20 18:05:56 +0000135 }
Anders Carlssond6a275f2007-11-01 00:39:26 +0000136 case Builtin::BI__builtin_constant_p: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000137 APSInt Result(32);
Anders Carlssond6a275f2007-11-01 00:39:26 +0000138
139 // FIXME: Analyze the parameter and check if it is a constant.
140 Result = 0;
141
Chris Lattner1feedd82007-12-13 07:34:23 +0000142 return RValue::get(ConstantInt::get(Result));
Anders Carlssond6a275f2007-11-01 00:39:26 +0000143 }
Anders Carlssonc2251dc2007-11-20 19:05:17 +0000144 case Builtin::BI__builtin_abs: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000145 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Anders Carlssonc2251dc2007-11-20 19:05:17 +0000146
147 llvm::BinaryOperator *NegOp =
148 Builder.CreateNeg(ArgValue, (ArgValue->getName() + "neg").c_str());
Chris Lattner1feedd82007-12-13 07:34:23 +0000149 Value *CmpResult =
Anders Carlssonc2251dc2007-11-20 19:05:17 +0000150 Builder.CreateICmpSGE(ArgValue, NegOp->getOperand(0), "abscond");
Chris Lattner1feedd82007-12-13 07:34:23 +0000151 Value *Result =
Anders Carlssonc2251dc2007-11-20 19:05:17 +0000152 Builder.CreateSelect(CmpResult, ArgValue, NegOp, "abs");
153
154 return RValue::get(Result);
155 }
Chris Lattner1feedd82007-12-13 07:34:23 +0000156 case Builtin::BI__builtin_expect:
157 return RValue::get(EmitScalarExpr(E->getArg(0)));
Anders Carlssondf4852a2007-12-02 21:58:10 +0000158 case Builtin::BI__builtin_bswap32:
159 case Builtin::BI__builtin_bswap64: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000160 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Anders Carlssondf4852a2007-12-02 21:58:10 +0000161 const llvm::Type *ArgType = ArgValue->getType();
Chris Lattner1feedd82007-12-13 07:34:23 +0000162 Value *F = Intrinsic::getDeclaration(&CGM.getModule(), Intrinsic::bswap,
163 &ArgType, 1);
164 return RValue::get(Builder.CreateCall(F, ArgValue, "tmp"));
Anders Carlssondf4852a2007-12-02 21:58:10 +0000165 }
Anders Carlssonc8ee7982007-12-05 07:22:48 +0000166 case Builtin::BI__builtin_inff: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000167 APFloat f(APFloat::IEEEsingle, APFloat::fcInfinity, false);
168 return RValue::get(ConstantFP::get(llvm::Type::FloatTy, f));
Anders Carlssonc8ee7982007-12-05 07:22:48 +0000169 }
170 case Builtin::BI__builtin_inf:
171 // FIXME: mapping long double onto double.
172 case Builtin::BI__builtin_infl: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000173 APFloat f(APFloat::IEEEdouble, APFloat::fcInfinity, false);
174 return RValue::get(ConstantFP::get(llvm::Type::DoubleTy, f));
Anders Carlssonc8ee7982007-12-05 07:22:48 +0000175 }
Anders Carlsson89799cf2007-10-29 02:59:40 +0000176 }
Anders Carlsson022012e2007-08-20 18:05:56 +0000177 return RValue::get(0);
178}
Anders Carlsson564f1de2007-12-09 23:17:02 +0000179
Chris Lattner1feedd82007-12-13 07:34:23 +0000180Value *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID,
181 const CallExpr *E) {
Anders Carlsson564f1de2007-12-09 23:17:02 +0000182 switch (BuiltinID) {
Anders Carlsson46a26b02007-12-09 23:39:18 +0000183 default: return 0;
184 case X86::BI__builtin_ia32_mulps:
185 return Builder.CreateMul(EmitScalarExpr(E->getArg(0)),
186 EmitScalarExpr(E->getArg(1)),
187 "mulps");
Anders Carlsson4e4ee212007-12-11 02:25:54 +0000188 case X86::BI__builtin_ia32_pand:
189 return Builder.CreateAnd(EmitScalarExpr(E->getArg(0)),
190 EmitScalarExpr(E->getArg(1)),
191 "pand");
192 case X86::BI__builtin_ia32_por:
193 return Builder.CreateAnd(EmitScalarExpr(E->getArg(0)),
194 EmitScalarExpr(E->getArg(1)),
195 "por");
196 case X86::BI__builtin_ia32_pxor:
197 return Builder.CreateAnd(EmitScalarExpr(E->getArg(0)),
198 EmitScalarExpr(E->getArg(1)),
199 "pxor");
Chris Lattner8e7b6922007-12-11 04:33:00 +0000200 case X86::BI__builtin_ia32_pandn: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000201 Value *V1 = Builder.CreateNot(EmitScalarExpr(E->getArg(0)), "tmp");
Anders Carlsson4e4ee212007-12-11 02:25:54 +0000202 return Builder.CreateAnd(V1, EmitScalarExpr(E->getArg(1)), "pandn");
Chris Lattner8e7b6922007-12-11 04:33:00 +0000203 }
Anders Carlsson4e4ee212007-12-11 02:25:54 +0000204 case X86::BI__builtin_ia32_paddb:
205 case X86::BI__builtin_ia32_paddd:
206 case X86::BI__builtin_ia32_paddq:
207 case X86::BI__builtin_ia32_paddw:
208 return Builder.CreateAdd(EmitScalarExpr(E->getArg(0)),
209 EmitScalarExpr(E->getArg(1)), "padd");
210 case X86::BI__builtin_ia32_psubb:
211 case X86::BI__builtin_ia32_psubd:
212 case X86::BI__builtin_ia32_psubq:
213 case X86::BI__builtin_ia32_psubw:
214 return Builder.CreateSub(EmitScalarExpr(E->getArg(0)),
215 EmitScalarExpr(E->getArg(1)), "psub");
Anders Carlssondb832302007-12-11 03:09:22 +0000216 case X86::BI__builtin_ia32_pmullw:
217 return Builder.CreateMul(EmitScalarExpr(E->getArg(0)),
218 EmitScalarExpr(E->getArg(1)), "pmul");
219 case X86::BI__builtin_ia32_punpckhbw:
220 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
221 EmitScalarExpr(E->getArg(1)),
222 4, 12, 5, 13, 6, 14, 7, 15,
223 "punpckhbw");
224 case X86::BI__builtin_ia32_punpckhwd:
225 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
226 EmitScalarExpr(E->getArg(1)),
227 2, 6, 3, 7,
228 "punpckhwd");
229 case X86::BI__builtin_ia32_punpckhdq:
230 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
231 EmitScalarExpr(E->getArg(1)),
232 1, 3,
233 "punpckhdq");
234 case X86::BI__builtin_ia32_punpcklbw:
235 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
236 EmitScalarExpr(E->getArg(1)),
237 0, 8, 1, 9, 2, 10, 3, 11,
238 "punpcklbw");
239 case X86::BI__builtin_ia32_punpcklwd:
240 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
241 EmitScalarExpr(E->getArg(1)),
242 0, 4, 1, 5,
243 "punpcklwd");
244 case X86::BI__builtin_ia32_punpckldq:
245 return EmitShuffleVector(EmitScalarExpr(E->getArg(0)),
246 EmitScalarExpr(E->getArg(1)),
247 0, 2,
248 "punpckldq");
Anders Carlsson4e4ee212007-12-11 02:25:54 +0000249 case X86::BI__builtin_ia32_pshufd: {
Chris Lattner1feedd82007-12-13 07:34:23 +0000250 Value *V = EmitScalarExpr(E->getArg(0));
251 ConstantInt *I =
252 cast<ConstantInt>(EmitScalarExpr(E->getArg(1)));
Anders Carlsson4e4ee212007-12-11 02:25:54 +0000253 int i = I->getZExtValue();
254
255 return EmitShuffleVector(V, V,
256 i & 0x3, (i & 0xc) >> 2,
257 (i & 0x30) >> 4, (i & 0xc0) >> 6,
258 "pshufd");
259 }
Anders Carlsson564f1de2007-12-09 23:17:02 +0000260 }
261}
262
Chris Lattner1feedd82007-12-13 07:34:23 +0000263Value *CodeGenFunction::EmitPPCBuiltinExpr(unsigned BuiltinID,
264 const CallExpr *E) {
Anders Carlsson564f1de2007-12-09 23:17:02 +0000265 switch (BuiltinID) {
Anders Carlsson46a26b02007-12-09 23:39:18 +0000266 default: return 0;
Anders Carlsson564f1de2007-12-09 23:17:02 +0000267 }
268}