blob: 83c5e60475cc47b31eeff518b5caf5389934b41e [file] [log] [blame]
Anders Carlsson49865302007-08-20 18:05:56 +00001//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Anders Carlsson49865302007-08-20 18:05:56 +00007//
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 Carlsson6f6c6482007-12-09 21:20:04 +000016#include "clang/Basic/TargetInfo.h"
Chris Lattnerab862cc2007-08-31 04:31:45 +000017#include "clang/AST/ASTContext.h"
Anders Carlsson49865302007-08-20 18:05:56 +000018#include "clang/AST/Builtins.h"
19#include "clang/AST/Expr.h"
Anders Carlssone1449c12007-12-09 23:17:02 +000020#include "clang/AST/TargetBuiltins.h"
Chris Lattner783a78f2007-08-26 04:17:05 +000021#include "llvm/Constants.h"
Chris Lattner02c60f52007-08-31 04:44:06 +000022#include "llvm/Function.h"
Anders Carlssoncebb8d62007-10-12 23:56:29 +000023#include "llvm/Intrinsics.h"
Anders Carlsson49865302007-08-20 18:05:56 +000024using namespace clang;
25using namespace CodeGen;
Anders Carlsson6f6c6482007-12-09 21:20:04 +000026using namespace llvm;
27
Chris Lattner783a78f2007-08-26 04:17:05 +000028RValue CodeGenFunction::EmitBuiltinExpr(unsigned BuiltinID, const CallExpr *E) {
29 switch (BuiltinID) {
Anders Carlsson6f6c6482007-12-09 21:20:04 +000030 default: {
Chris Lattner02c60f52007-08-31 04:44:06 +000031 if (getContext().BuiltinInfo.isLibFunction(BuiltinID))
Nate Begeman33a50432008-01-17 18:06:09 +000032 return EmitCallExpr(CGM.getBuiltinLibFunction(BuiltinID),
Eli Friedman261f4ad2008-01-30 01:32:06 +000033 E->getCallee()->getType(), E->arg_begin(),
34 E->getNumArgs());
Anders Carlsson6f6c6482007-12-09 21:20:04 +000035
36 // See if we have a target specific intrinsic.
Chris Lattner9d37e132007-12-13 07:34:23 +000037 Intrinsic::ID IntrinsicID;
Anders Carlsson6f6c6482007-12-09 21:20:04 +000038 const char *TargetPrefix = Target.getTargetPrefix();
39 const char *BuiltinName = getContext().BuiltinInfo.GetName(BuiltinID);
40#define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
41#include "llvm/Intrinsics.gen"
42#undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
43
44 if (IntrinsicID != Intrinsic::not_intrinsic) {
Chris Lattner9d37e132007-12-13 07:34:23 +000045 SmallVector<Value*, 16> Args;
Anders Carlsson6f6c6482007-12-09 21:20:04 +000046
Chris Lattner4b23f942007-12-18 00:25:38 +000047 Function *F = CGM.getIntrinsic(IntrinsicID);
Anders Carlsson6f6c6482007-12-09 21:20:04 +000048 const llvm::FunctionType *FTy = F->getFunctionType();
49
50 for (unsigned i = 0, e = E->getNumArgs(); i != e; ++i) {
Chris Lattner9d37e132007-12-13 07:34:23 +000051 Value *ArgValue = EmitScalarExpr(E->getArg(i));
Anders Carlsson6f6c6482007-12-09 21:20:04 +000052
53 // If the intrinsic arg type is different from the builtin arg type
54 // we need to do a bit cast.
55 const llvm::Type *PTy = FTy->getParamType(i);
56 if (PTy != ArgValue->getType()) {
57 assert(PTy->canLosslesslyBitCastTo(FTy->getParamType(i)) &&
58 "Must be able to losslessly bit cast to param");
59 ArgValue = Builder.CreateBitCast(ArgValue, PTy);
60 }
61
62 Args.push_back(ArgValue);
63 }
64
Chris Lattner9d37e132007-12-13 07:34:23 +000065 Value *V = Builder.CreateCall(F, &Args[0], &Args[0] + Args.size());
Anders Carlsson6f6c6482007-12-09 21:20:04 +000066 QualType BuiltinRetType = E->getType();
67
Chris Lattner9d37e132007-12-13 07:34:23 +000068 const llvm::Type *RetTy = llvm::Type::VoidTy;
69 if (!BuiltinRetType->isVoidType()) RetTy = ConvertType(BuiltinRetType);
Anders Carlsson6f6c6482007-12-09 21:20:04 +000070
71 if (RetTy != V->getType()) {
72 assert(V->getType()->canLosslesslyBitCastTo(RetTy) &&
73 "Must be able to losslessly bit cast result type");
Anders Carlsson6f6c6482007-12-09 21:20:04 +000074 V = Builder.CreateBitCast(V, RetTy);
75 }
76
77 return RValue::get(V);
78 }
Anders Carlssone1449c12007-12-09 23:17:02 +000079
80 // See if we have a target specific builtin that needs to be lowered.
Chris Lattner9d37e132007-12-13 07:34:23 +000081 Value *V = 0;
Chris Lattner02c60f52007-08-31 04:44:06 +000082
Anders Carlssone1449c12007-12-09 23:17:02 +000083 if (strcmp(TargetPrefix, "x86") == 0)
84 V = EmitX86BuiltinExpr(BuiltinID, E);
85 else if (strcmp(TargetPrefix, "ppc") == 0)
86 V = EmitPPCBuiltinExpr(BuiltinID, E);
87
88 if (V)
89 return RValue::get(V);
90
Chris Lattnere8f49632007-12-02 01:49:16 +000091 WarnUnsupported(E, "builtin function");
Chris Lattner783a78f2007-08-26 04:17:05 +000092
93 // Unknown builtin, for now just dump it out and return undef.
94 if (hasAggregateLLVMType(E->getType()))
95 return RValue::getAggregate(CreateTempAlloca(ConvertType(E->getType())));
Chris Lattner9d37e132007-12-13 07:34:23 +000096 return RValue::get(UndefValue::get(ConvertType(E->getType())));
Anders Carlsson6f6c6482007-12-09 21:20:04 +000097 }
Chris Lattner783a78f2007-08-26 04:17:05 +000098 case Builtin::BI__builtin___CFStringMakeConstantString: {
99 const Expr *Arg = E->getArg(0);
100
Anders Carlsson783e1432007-11-01 00:39:26 +0000101 while (1) {
102 if (const ParenExpr *PE = dyn_cast<ParenExpr>(Arg))
103 Arg = PE->getSubExpr();
104 else if (const ImplicitCastExpr *CE = dyn_cast<ImplicitCastExpr>(Arg))
105 Arg = CE->getSubExpr();
106 else
107 break;
108 }
Chris Lattner783a78f2007-08-26 04:17:05 +0000109
110 const StringLiteral *Literal = cast<StringLiteral>(Arg);
111 std::string S(Literal->getStrData(), Literal->getByteLength());
112
113 return RValue::get(CGM.GetAddrOfConstantCFString(S));
Anders Carlssoncebb8d62007-10-12 23:56:29 +0000114 }
115 case Builtin::BI__builtin_va_start:
116 case Builtin::BI__builtin_va_end: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000117 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Christopher Lamb4fe5e702007-12-17 01:11:20 +0000118 const llvm::Type *DestType =
119 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
Anders Carlssoncebb8d62007-10-12 23:56:29 +0000120 if (ArgValue->getType() != DestType)
121 ArgValue = Builder.CreateBitCast(ArgValue, DestType,
122 ArgValue->getNameStart());
123
Chris Lattner9d37e132007-12-13 07:34:23 +0000124 Intrinsic::ID inst = (BuiltinID == Builtin::BI__builtin_va_start) ?
125 Intrinsic::vastart : Intrinsic::vaend;
Chris Lattner4b23f942007-12-18 00:25:38 +0000126 return RValue::get(Builder.CreateCall(CGM.getIntrinsic(inst), ArgValue));
Anders Carlssoncebb8d62007-10-12 23:56:29 +0000127 }
Anders Carlssond227c112008-02-09 20:26:43 +0000128 case Builtin::BI__builtin_va_copy: {
129 // FIXME: This does not yet handle architectures where va_list is a struct.
130 Value *DstPtr = EmitScalarExpr(E->getArg(0));
131 Value *SrcValue = EmitScalarExpr(E->getArg(1));
132
133 Value *SrcPtr = CreateTempAlloca(SrcValue->getType(), "dst_ptr");
134
135 // FIXME: Volatile
136 Builder.CreateStore(SrcValue, SrcPtr, false);
137
138 const llvm::Type *Type =
139 llvm::PointerType::getUnqual(llvm::Type::Int8Ty);
140
141 DstPtr = Builder.CreateBitCast(DstPtr, Type);
142 SrcPtr = Builder.CreateBitCast(SrcPtr, Type);
143 Value *Args[] = { DstPtr, SrcPtr };
144 return RValue::get(Builder.CreateCall(CGM.getIntrinsic(Intrinsic::vacopy),
145 &Args[0], &Args[2]));
146 }
Anders Carlsson40438402007-10-29 02:59:40 +0000147 case Builtin::BI__builtin_classify_type: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000148 APSInt Result(32);
Anders Carlsson40438402007-10-29 02:59:40 +0000149 if (!E->isBuiltinClassifyType(Result))
150 assert(0 && "Expr not __builtin_classify_type!");
Chris Lattner9d37e132007-12-13 07:34:23 +0000151 return RValue::get(ConstantInt::get(Result));
Anders Carlsson49865302007-08-20 18:05:56 +0000152 }
Anders Carlsson783e1432007-11-01 00:39:26 +0000153 case Builtin::BI__builtin_constant_p: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000154 APSInt Result(32);
Anders Carlsson783e1432007-11-01 00:39:26 +0000155 // FIXME: Analyze the parameter and check if it is a constant.
156 Result = 0;
Chris Lattner9d37e132007-12-13 07:34:23 +0000157 return RValue::get(ConstantInt::get(Result));
Anders Carlsson783e1432007-11-01 00:39:26 +0000158 }
Anders Carlssone79dbe22007-11-20 19:05:17 +0000159 case Builtin::BI__builtin_abs: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000160 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Anders Carlssone79dbe22007-11-20 19:05:17 +0000161
162 llvm::BinaryOperator *NegOp =
163 Builder.CreateNeg(ArgValue, (ArgValue->getName() + "neg").c_str());
Chris Lattner9d37e132007-12-13 07:34:23 +0000164 Value *CmpResult =
Anders Carlssone79dbe22007-11-20 19:05:17 +0000165 Builder.CreateICmpSGE(ArgValue, NegOp->getOperand(0), "abscond");
Chris Lattner9d37e132007-12-13 07:34:23 +0000166 Value *Result =
Anders Carlssone79dbe22007-11-20 19:05:17 +0000167 Builder.CreateSelect(CmpResult, ArgValue, NegOp, "abs");
168
169 return RValue::get(Result);
170 }
Anders Carlssond50452e2008-02-06 07:19:27 +0000171 case Builtin::BI__builtin_ctz:
172 case Builtin::BI__builtin_ctzl:
173 case Builtin::BI__builtin_ctzll: {
174 Value *ArgValue = EmitScalarExpr(E->getArg(0));
175
176 const llvm::Type *ArgType = ArgValue->getType();
177 Value *F = CGM.getIntrinsic(Intrinsic::cttz, &ArgType, 1);
178
179 const llvm::Type *ResultType = ConvertType(E->getType());
180 Value *Result = Builder.CreateCall(F, ArgValue, "tmp");
181 if (Result->getType() != ResultType)
182 Result = Builder.CreateIntCast(Result, ResultType, "cast");
183 return RValue::get(Result);
184 }
Chris Lattner9d37e132007-12-13 07:34:23 +0000185 case Builtin::BI__builtin_expect:
186 return RValue::get(EmitScalarExpr(E->getArg(0)));
Anders Carlsson56118002007-12-02 21:58:10 +0000187 case Builtin::BI__builtin_bswap32:
188 case Builtin::BI__builtin_bswap64: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000189 Value *ArgValue = EmitScalarExpr(E->getArg(0));
Anders Carlsson56118002007-12-02 21:58:10 +0000190 const llvm::Type *ArgType = ArgValue->getType();
Chris Lattner4b23f942007-12-18 00:25:38 +0000191 Value *F = CGM.getIntrinsic(Intrinsic::bswap, &ArgType, 1);
Chris Lattner9d37e132007-12-13 07:34:23 +0000192 return RValue::get(Builder.CreateCall(F, ArgValue, "tmp"));
Anders Carlsson56118002007-12-02 21:58:10 +0000193 }
Anders Carlssona8897f02007-12-05 07:22:48 +0000194 case Builtin::BI__builtin_inff: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000195 APFloat f(APFloat::IEEEsingle, APFloat::fcInfinity, false);
196 return RValue::get(ConstantFP::get(llvm::Type::FloatTy, f));
Anders Carlssona8897f02007-12-05 07:22:48 +0000197 }
Anders Carlsson8fc5f602008-02-01 16:06:34 +0000198 case Builtin::BI__builtin_huge_val:
Anders Carlssona8897f02007-12-05 07:22:48 +0000199 case Builtin::BI__builtin_inf:
200 // FIXME: mapping long double onto double.
201 case Builtin::BI__builtin_infl: {
Chris Lattner9d37e132007-12-13 07:34:23 +0000202 APFloat f(APFloat::IEEEdouble, APFloat::fcInfinity, false);
203 return RValue::get(ConstantFP::get(llvm::Type::DoubleTy, f));
Anders Carlssona8897f02007-12-05 07:22:48 +0000204 }
Chris Lattnerd1f26b32007-12-20 00:44:32 +0000205 case Builtin::BI__builtin_isgreater:
206 case Builtin::BI__builtin_isgreaterequal:
207 case Builtin::BI__builtin_isless:
208 case Builtin::BI__builtin_islessequal:
209 case Builtin::BI__builtin_islessgreater:
210 case Builtin::BI__builtin_isunordered: {
211 // Ordered comparisons: we know the arguments to these are matching scalar
212 // floating point values.
213 Value *LHS = EmitScalarExpr(E->getArg(0));
214 Value *RHS = EmitScalarExpr(E->getArg(1));
215
216 switch (BuiltinID) {
217 default: assert(0 && "Unknown ordered comparison");
218 case Builtin::BI__builtin_isgreater:
219 LHS = Builder.CreateFCmpOGT(LHS, RHS, "cmp");
220 break;
221 case Builtin::BI__builtin_isgreaterequal:
222 LHS = Builder.CreateFCmpOGE(LHS, RHS, "cmp");
223 break;
224 case Builtin::BI__builtin_isless:
225 LHS = Builder.CreateFCmpOLT(LHS, RHS, "cmp");
226 break;
227 case Builtin::BI__builtin_islessequal:
228 LHS = Builder.CreateFCmpOLE(LHS, RHS, "cmp");
229 break;
230 case Builtin::BI__builtin_islessgreater:
231 LHS = Builder.CreateFCmpONE(LHS, RHS, "cmp");
232 break;
233 case Builtin::BI__builtin_isunordered:
234 LHS = Builder.CreateFCmpUNO(LHS, RHS, "cmp");
235 break;
236 }
237 // ZExt bool to int type.
238 return RValue::get(Builder.CreateZExt(LHS, ConvertType(E->getType()),
239 "tmp"));
240 }
Nate Begeman67365112008-02-06 00:02:50 +0000241 case Builtin::BI__builtin_alloca:
242 return RValue::get(Builder.CreateAlloca(llvm::Type::Int8Ty,
243 EmitScalarExpr(E->getArg(0)),
244 "tmp"));
Anders Carlsson40438402007-10-29 02:59:40 +0000245 }
Anders Carlsson49865302007-08-20 18:05:56 +0000246 return RValue::get(0);
247}
Anders Carlssone1449c12007-12-09 23:17:02 +0000248
Chris Lattner9d37e132007-12-13 07:34:23 +0000249Value *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID,
250 const CallExpr *E) {
Anders Carlsson04c4b752007-12-14 17:48:24 +0000251
252 llvm::SmallVector<Value*, 4> Ops;
253
254 for (unsigned i = 0, e = E->getNumArgs(); i != e; i++)
255 Ops.push_back(EmitScalarExpr(E->getArg(i)));
256
Anders Carlssone1449c12007-12-09 23:17:02 +0000257 switch (BuiltinID) {
Anders Carlsson0a35a812007-12-09 23:39:18 +0000258 default: return 0;
259 case X86::BI__builtin_ia32_mulps:
Anders Carlsson04c4b752007-12-14 17:48:24 +0000260 return Builder.CreateMul(Ops[0], Ops[1], "mulps");
Anders Carlsson17b80c12007-12-11 02:25:54 +0000261 case X86::BI__builtin_ia32_pand:
Anders Carlsson04c4b752007-12-14 17:48:24 +0000262 return Builder.CreateAnd(Ops[0], Ops[1], "pand");
Anders Carlsson17b80c12007-12-11 02:25:54 +0000263 case X86::BI__builtin_ia32_por:
Anders Carlsson04c4b752007-12-14 17:48:24 +0000264 return Builder.CreateAnd(Ops[0], Ops[1], "por");
Anders Carlsson17b80c12007-12-11 02:25:54 +0000265 case X86::BI__builtin_ia32_pxor:
Anders Carlsson04c4b752007-12-14 17:48:24 +0000266 return Builder.CreateAnd(Ops[0], Ops[1], "pxor");
Chris Lattner70376292007-12-11 04:33:00 +0000267 case X86::BI__builtin_ia32_pandn: {
Anders Carlsson04c4b752007-12-14 17:48:24 +0000268 Ops[0] = Builder.CreateNot(Ops[0], "tmp");
269 return Builder.CreateAnd(Ops[0], Ops[1], "pandn");
Chris Lattner70376292007-12-11 04:33:00 +0000270 }
Anders Carlsson17b80c12007-12-11 02:25:54 +0000271 case X86::BI__builtin_ia32_paddb:
272 case X86::BI__builtin_ia32_paddd:
273 case X86::BI__builtin_ia32_paddq:
274 case X86::BI__builtin_ia32_paddw:
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000275 case X86::BI__builtin_ia32_addps:
276 return Builder.CreateAdd(Ops[0], Ops[1], "add");
Anders Carlsson17b80c12007-12-11 02:25:54 +0000277 case X86::BI__builtin_ia32_psubb:
278 case X86::BI__builtin_ia32_psubd:
279 case X86::BI__builtin_ia32_psubq:
280 case X86::BI__builtin_ia32_psubw:
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000281 case X86::BI__builtin_ia32_subps:
282 return Builder.CreateSub(Ops[0], Ops[1], "sub");
283 case X86::BI__builtin_ia32_divps:
284 return Builder.CreateFDiv(Ops[0], Ops[1], "divps");
Anders Carlsson820cb742007-12-11 03:09:22 +0000285 case X86::BI__builtin_ia32_pmullw:
Anders Carlsson04c4b752007-12-14 17:48:24 +0000286 return Builder.CreateMul(Ops[0], Ops[1], "pmul");
Anders Carlsson820cb742007-12-11 03:09:22 +0000287 case X86::BI__builtin_ia32_punpckhbw:
Chris Lattner4b23f942007-12-18 00:25:38 +0000288 return EmitShuffleVector(Ops[0], Ops[1], 4, 12, 5, 13, 6, 14, 7, 15,
Anders Carlsson820cb742007-12-11 03:09:22 +0000289 "punpckhbw");
290 case X86::BI__builtin_ia32_punpckhwd:
Chris Lattner4b23f942007-12-18 00:25:38 +0000291 return EmitShuffleVector(Ops[0], Ops[1], 2, 6, 3, 7, "punpckhwd");
Anders Carlsson820cb742007-12-11 03:09:22 +0000292 case X86::BI__builtin_ia32_punpckhdq:
Chris Lattner4b23f942007-12-18 00:25:38 +0000293 return EmitShuffleVector(Ops[0], Ops[1], 1, 3, "punpckhdq");
Anders Carlsson820cb742007-12-11 03:09:22 +0000294 case X86::BI__builtin_ia32_punpcklbw:
Chris Lattner4b23f942007-12-18 00:25:38 +0000295 return EmitShuffleVector(Ops[0], Ops[1], 0, 8, 1, 9, 2, 10, 3, 11,
Anders Carlsson820cb742007-12-11 03:09:22 +0000296 "punpcklbw");
297 case X86::BI__builtin_ia32_punpcklwd:
Chris Lattner4b23f942007-12-18 00:25:38 +0000298 return EmitShuffleVector(Ops[0], Ops[1], 0, 4, 1, 5, "punpcklwd");
Anders Carlsson820cb742007-12-11 03:09:22 +0000299 case X86::BI__builtin_ia32_punpckldq:
Chris Lattner4b23f942007-12-18 00:25:38 +0000300 return EmitShuffleVector(Ops[0], Ops[1], 0, 2, "punpckldq");
Anders Carlsson04c4b752007-12-14 17:48:24 +0000301 case X86::BI__builtin_ia32_pslldi:
302 case X86::BI__builtin_ia32_psllqi:
303 case X86::BI__builtin_ia32_psllwi:
304 case X86::BI__builtin_ia32_psradi:
305 case X86::BI__builtin_ia32_psrawi:
306 case X86::BI__builtin_ia32_psrldi:
307 case X86::BI__builtin_ia32_psrlqi:
308 case X86::BI__builtin_ia32_psrlwi: {
309 Ops[1] = Builder.CreateZExt(Ops[1], llvm::Type::Int64Ty, "zext");
310 const llvm::Type *Ty = llvm::VectorType::get(llvm::Type::Int64Ty, 1);
311 Ops[1] = Builder.CreateBitCast(Ops[1], Ty, "bitcast");
Anders Carlsson04c4b752007-12-14 17:48:24 +0000312 const char *name = 0;
313 Intrinsic::ID ID = Intrinsic::not_intrinsic;
314
315 switch (BuiltinID) {
316 default: assert(0 && "Unsupported shift intrinsic!");
317 case X86::BI__builtin_ia32_pslldi:
318 name = "pslldi";
319 ID = Intrinsic::x86_mmx_psll_d;
320 break;
321 case X86::BI__builtin_ia32_psllqi:
322 name = "psllqi";
323 ID = Intrinsic::x86_mmx_psll_q;
324 break;
325 case X86::BI__builtin_ia32_psllwi:
326 name = "psllwi";
327 ID = Intrinsic::x86_mmx_psll_w;
328 break;
329 case X86::BI__builtin_ia32_psradi:
330 name = "psradi";
331 ID = Intrinsic::x86_mmx_psra_d;
332 break;
333 case X86::BI__builtin_ia32_psrawi:
334 name = "psrawi";
335 ID = Intrinsic::x86_mmx_psra_w;
336 break;
337 case X86::BI__builtin_ia32_psrldi:
338 name = "psrldi";
339 ID = Intrinsic::x86_mmx_psrl_d;
340 break;
341 case X86::BI__builtin_ia32_psrlqi:
342 name = "psrlqi";
343 ID = Intrinsic::x86_mmx_psrl_q;
344 break;
345 case X86::BI__builtin_ia32_psrlwi:
346 name = "psrlwi";
347 ID = Intrinsic::x86_mmx_psrl_w;
348 break;
349 }
Chris Lattner4b23f942007-12-18 00:25:38 +0000350 llvm::Function *F = CGM.getIntrinsic(ID);
Anders Carlsson04c4b752007-12-14 17:48:24 +0000351 return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), name);
352 }
353 case X86::BI__builtin_ia32_pshufd: {
Chris Lattner4b23f942007-12-18 00:25:38 +0000354 unsigned i = cast<ConstantInt>(Ops[1])->getZExtValue();
Anders Carlsson04c4b752007-12-14 17:48:24 +0000355 return EmitShuffleVector(Ops[0], Ops[0],
Anders Carlsson17b80c12007-12-11 02:25:54 +0000356 i & 0x3, (i & 0xc) >> 2,
357 (i & 0x30) >> 4, (i & 0xc0) >> 6,
358 "pshufd");
359 }
Anders Carlsson68b8be92007-12-15 21:23:30 +0000360 case X86::BI__builtin_ia32_vec_init_v4hi:
361 case X86::BI__builtin_ia32_vec_init_v8qi:
362 case X86::BI__builtin_ia32_vec_init_v2si:
363 return EmitVector(&Ops[0], Ops.size());
364 case X86::BI__builtin_ia32_vec_ext_v2si:
365 return Builder.CreateExtractElement(Ops[0], Ops[1], "result");
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000366 case X86::BI__builtin_ia32_cmpordss:
367 case X86::BI__builtin_ia32_cmpunordss:
368 case X86::BI__builtin_ia32_cmpeqss:
369 case X86::BI__builtin_ia32_cmpltss:
370 case X86::BI__builtin_ia32_cmpless:
371 case X86::BI__builtin_ia32_cmpneqss:
372 case X86::BI__builtin_ia32_cmpnltss:
373 case X86::BI__builtin_ia32_cmpnless: {
Chris Lattner4b23f942007-12-18 00:25:38 +0000374 unsigned i = 0;
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000375 const char *name = 0;
376 switch (BuiltinID) {
377 default: assert(0 && "Unknown compare builtin!");
378 case X86::BI__builtin_ia32_cmpeqss:
379 i = 0;
380 name = "cmpeqss";
381 break;
382 case X86::BI__builtin_ia32_cmpltss:
383 i = 1;
384 name = "cmpltss";
385 break;
386 case X86::BI__builtin_ia32_cmpless:
387 i = 2;
388 name = "cmpless";
389 break;
390 case X86::BI__builtin_ia32_cmpunordss:
391 i = 3;
392 name = "cmpunordss";
393 break;
394 case X86::BI__builtin_ia32_cmpneqss:
395 i = 4;
396 name = "cmpneqss";
397 break;
398 case X86::BI__builtin_ia32_cmpnltss:
399 i = 5;
400 name = "cmpntlss";
401 break;
402 case X86::BI__builtin_ia32_cmpnless:
403 i = 6;
404 name = "cmpnless";
405 break;
406 case X86::BI__builtin_ia32_cmpordss:
407 i = 7;
408 name = "cmpordss";
409 break;
410 }
411
412 Ops.push_back(llvm::ConstantInt::get(llvm::Type::Int8Ty, i));
Chris Lattner4b23f942007-12-18 00:25:38 +0000413 llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse_cmp_ss);
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000414 return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), name);
415 }
416 case X86::BI__builtin_ia32_cmpordps:
417 case X86::BI__builtin_ia32_cmpunordps:
418 case X86::BI__builtin_ia32_cmpeqps:
419 case X86::BI__builtin_ia32_cmpltps:
420 case X86::BI__builtin_ia32_cmpleps:
421 case X86::BI__builtin_ia32_cmpneqps:
422 case X86::BI__builtin_ia32_cmpngtps:
423 case X86::BI__builtin_ia32_cmpnltps:
424 case X86::BI__builtin_ia32_cmpgtps:
425 case X86::BI__builtin_ia32_cmpgeps:
426 case X86::BI__builtin_ia32_cmpngeps:
427 case X86::BI__builtin_ia32_cmpnleps: {
Chris Lattner4b23f942007-12-18 00:25:38 +0000428 unsigned i = 0;
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000429 const char *name = 0;
430 bool ShouldSwap = false;
431 switch (BuiltinID) {
432 default: assert(0 && "Unknown compare builtin!");
Chris Lattner4b23f942007-12-18 00:25:38 +0000433 case X86::BI__builtin_ia32_cmpeqps: i = 0; name = "cmpeqps"; break;
434 case X86::BI__builtin_ia32_cmpltps: i = 1; name = "cmpltps"; break;
435 case X86::BI__builtin_ia32_cmpleps: i = 2; name = "cmpleps"; break;
436 case X86::BI__builtin_ia32_cmpunordps: i = 3; name = "cmpunordps"; break;
437 case X86::BI__builtin_ia32_cmpneqps: i = 4; name = "cmpneqps"; break;
438 case X86::BI__builtin_ia32_cmpnltps: i = 5; name = "cmpntlps"; break;
439 case X86::BI__builtin_ia32_cmpnleps: i = 6; name = "cmpnleps"; break;
440 case X86::BI__builtin_ia32_cmpordps: i = 7; name = "cmpordps"; break;
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000441 case X86::BI__builtin_ia32_cmpgtps:
Chris Lattner4b23f942007-12-18 00:25:38 +0000442 ShouldSwap = true;
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000443 i = 1;
444 name = "cmpgtps";
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000445 break;
446 case X86::BI__builtin_ia32_cmpgeps:
447 i = 2;
448 name = "cmpgeps";
449 ShouldSwap = true;
450 break;
451 case X86::BI__builtin_ia32_cmpngtps:
452 i = 5;
453 name = "cmpngtps";
454 ShouldSwap = true;
455 break;
456 case X86::BI__builtin_ia32_cmpngeps:
457 i = 6;
458 name = "cmpngeps";
459 ShouldSwap = true;
460 break;
461 }
462
463 if (ShouldSwap)
464 std::swap(Ops[0], Ops[1]);
465
466 Ops.push_back(llvm::ConstantInt::get(llvm::Type::Int8Ty, i));
Chris Lattner4b23f942007-12-18 00:25:38 +0000467 llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse_cmp_ps);
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000468 return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), name);
469 }
470 case X86::BI__builtin_ia32_movss:
471 return EmitShuffleVector(Ops[0], Ops[1], 4, 1, 2, 3, "movss");
472 case X86::BI__builtin_ia32_shufps:
Chris Lattner4b23f942007-12-18 00:25:38 +0000473 unsigned i = cast<ConstantInt>(Ops[2])->getZExtValue();
Anders Carlsson1ad775f2007-12-16 22:33:50 +0000474 return EmitShuffleVector(Ops[0], Ops[1],
475 i & 0x3, (i & 0xc) >> 2,
476 ((i & 0x30) >> 4) + 4,
477 ((i & 0x60) >> 6) + 4, "shufps");
Anders Carlssone1449c12007-12-09 23:17:02 +0000478 }
479}
480
Chris Lattner9d37e132007-12-13 07:34:23 +0000481Value *CodeGenFunction::EmitPPCBuiltinExpr(unsigned BuiltinID,
482 const CallExpr *E) {
Anders Carlssone1449c12007-12-09 23:17:02 +0000483 switch (BuiltinID) {
Anders Carlsson0a35a812007-12-09 23:39:18 +0000484 default: return 0;
Anders Carlssone1449c12007-12-09 23:17:02 +0000485 }
486}