CGBuiltin.cpp revision 78673d9f910e8dfe13248c2426c51d8f9fb28572
1022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson//===---- CGBuiltin.cpp - Emit LLVM Code for builtins ---------------------===// 2022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// 3022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// The LLVM Compiler Infrastructure 4022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 7022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// 8022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson//===----------------------------------------------------------------------===// 9022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// 10022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// This contains code to emit Builtin calls as LLVM code. 11022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson// 12022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson//===----------------------------------------------------------------------===// 13022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson 14d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall#include "TargetInfo.h" 15022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson#include "CodeGenFunction.h" 16022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson#include "CodeGenModule.h" 17ca6fcfad547dcec3fdd17790b4fab0918df74b37Anders Carlsson#include "clang/Basic/TargetInfo.h" 181f32999ec79a980576e100d64d5f3267eb19ea49Chris Lattner#include "clang/AST/APValue.h" 19bef20ac367a09555b30d6eb3847a81ec164caf88Chris Lattner#include "clang/AST/ASTContext.h" 20c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/Decl.h" 216b15cdc1312f8fc45c86ee75e2a85106700e97f6Chris Lattner#include "clang/Basic/TargetBuiltins.h" 22793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson#include "llvm/Intrinsics.h" 23d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall#include "llvm/Target/TargetData.h" 24022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlssonusing namespace clang; 25022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlssonusing namespace CodeGen; 26ca6fcfad547dcec3fdd17790b4fab0918df74b37Anders Carlssonusing namespace llvm; 27ca6fcfad547dcec3fdd17790b4fab0918df74b37Anders Carlsson 28cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbarstatic void EmitMemoryBarrier(CodeGenFunction &CGF, 29cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar bool LoadLoad, bool LoadStore, 30cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar bool StoreLoad, bool StoreStore, 31cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar bool Device) { 32cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *True = llvm::ConstantInt::getTrue(CGF.getLLVMContext()); 33cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *False = llvm::ConstantInt::getFalse(CGF.getLLVMContext()); 34cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *C[5] = { LoadLoad ? True : False, 35cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar LoadStore ? True : False, 36cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar StoreLoad ? True : False, 37cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar StoreStore ? True : False, 38cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Device ? True : False }; 39cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar CGF.Builder.CreateCall(CGF.CGM.getIntrinsic(Intrinsic::memory_barrier), 40cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar C, C + 5); 41cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar} 42cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar 43cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar// The atomic builtins are also full memory barriers. This is a utility for 44cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar// wrapping a call to the builtins with memory barriers. 45cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbarstatic Value *EmitCallWithBarrier(CodeGenFunction &CGF, Value *Fn, 46cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value **ArgBegin, Value **ArgEnd) { 47cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar // FIXME: We need a target hook for whether this applies to device memory or 48cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar // not. 49cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar bool Device = true; 50cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar 51cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar // Create barriers both before and after the call. 52cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitMemoryBarrier(CGF, true, true, true, true, Device); 53cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Result = CGF.Builder.CreateCall(Fn, ArgBegin, ArgEnd); 54cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitMemoryBarrier(CGF, true, true, true, true, Device); 55cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar return Result; 56cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar} 57cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar 580002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar/// Utility to insert an atomic instruction based on Instrinsic::ID 590002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar/// and the expression node. 60cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbarstatic RValue EmitBinaryAtomic(CodeGenFunction &CGF, 611ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang Intrinsic::ID Id, const CallExpr *E) { 62cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Args[2] = { CGF.EmitScalarExpr(E->getArg(0)), 63cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar CGF.EmitScalarExpr(E->getArg(1)) }; 64c5004516489c931cf839bdbdde5a76e4074cc888Mon P Wang const llvm::Type *ResType[2]; 650002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar ResType[0] = CGF.ConvertType(E->getType()); 660002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar ResType[1] = CGF.ConvertType(E->getArg(0)->getType()); 670002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Value *AtomF = CGF.CGM.getIntrinsic(Id, ResType, 2); 68cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar return RValue::get(EmitCallWithBarrier(CGF, AtomF, Args, Args + 2)); 690002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar} 700002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 710002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar/// Utility to insert an atomic instruction based Instrinsic::ID and 720002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar// the expression node, where the return value is the result of the 730002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar// operation. 74420b11850d3f4557421f43f519b59d528329c668Chris Lattnerstatic RValue EmitBinaryAtomicPost(CodeGenFunction &CGF, 750002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Intrinsic::ID Id, const CallExpr *E, 760002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Instruction::BinaryOps Op) { 770002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar const llvm::Type *ResType[2]; 780002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar ResType[0] = CGF.ConvertType(E->getType()); 790002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar ResType[1] = CGF.ConvertType(E->getArg(0)->getType()); 800002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Value *AtomF = CGF.CGM.getIntrinsic(Id, ResType, 2); 81cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Args[2] = { CGF.EmitScalarExpr(E->getArg(0)), 82cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar CGF.EmitScalarExpr(E->getArg(1)) }; 83cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Result = EmitCallWithBarrier(CGF, AtomF, Args, Args + 2); 84cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar return RValue::get(CGF.Builder.CreateBinOp(Op, Result, Args[1])); 851ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang} 861ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang 87fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCallstatic llvm::ConstantInt *getInt32(llvm::LLVMContext &Context, int32_t Value) { 88fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall return llvm::ConstantInt::get(llvm::Type::getInt32Ty(Context), Value); 89fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall} 90fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall 91420b11850d3f4557421f43f519b59d528329c668Chris Lattner 92420b11850d3f4557421f43f519b59d528329c668Chris Lattner/// EmitFAbs - Emit a call to fabs/fabsf/fabsl, depending on the type of ValTy, 93420b11850d3f4557421f43f519b59d528329c668Chris Lattner/// which must be a scalar floating point type. 94420b11850d3f4557421f43f519b59d528329c668Chris Lattnerstatic Value *EmitFAbs(CodeGenFunction &CGF, Value *V, QualType ValTy) { 95420b11850d3f4557421f43f519b59d528329c668Chris Lattner const BuiltinType *ValTyP = ValTy->getAs<BuiltinType>(); 96420b11850d3f4557421f43f519b59d528329c668Chris Lattner assert(ValTyP && "isn't scalar fp type!"); 97420b11850d3f4557421f43f519b59d528329c668Chris Lattner 98420b11850d3f4557421f43f519b59d528329c668Chris Lattner StringRef FnName; 99420b11850d3f4557421f43f519b59d528329c668Chris Lattner switch (ValTyP->getKind()) { 100420b11850d3f4557421f43f519b59d528329c668Chris Lattner default: assert(0 && "Isn't a scalar fp type!"); 101420b11850d3f4557421f43f519b59d528329c668Chris Lattner case BuiltinType::Float: FnName = "fabsf"; break; 102420b11850d3f4557421f43f519b59d528329c668Chris Lattner case BuiltinType::Double: FnName = "fabs"; break; 103420b11850d3f4557421f43f519b59d528329c668Chris Lattner case BuiltinType::LongDouble: FnName = "fabsl"; break; 104420b11850d3f4557421f43f519b59d528329c668Chris Lattner } 105420b11850d3f4557421f43f519b59d528329c668Chris Lattner 106420b11850d3f4557421f43f519b59d528329c668Chris Lattner // The prototype is something that takes and returns whatever V's type is. 107420b11850d3f4557421f43f519b59d528329c668Chris Lattner std::vector<const llvm::Type*> Args; 108420b11850d3f4557421f43f519b59d528329c668Chris Lattner Args.push_back(V->getType()); 109420b11850d3f4557421f43f519b59d528329c668Chris Lattner llvm::FunctionType *FT = llvm::FunctionType::get(V->getType(), Args, false); 110420b11850d3f4557421f43f519b59d528329c668Chris Lattner llvm::Value *Fn = CGF.CGM.CreateRuntimeFunction(FT, FnName); 111420b11850d3f4557421f43f519b59d528329c668Chris Lattner 112420b11850d3f4557421f43f519b59d528329c668Chris Lattner return CGF.Builder.CreateCall(Fn, V, "abs"); 113420b11850d3f4557421f43f519b59d528329c668Chris Lattner} 114420b11850d3f4557421f43f519b59d528329c668Chris Lattner 1151eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpRValue CodeGenFunction::EmitBuiltinExpr(const FunctionDecl *FD, 116ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar unsigned BuiltinID, const CallExpr *E) { 117564ea2a99b3afeac9ded332730a56db1f6358a58Chris Lattner // See if we can constant fold this builtin. If so, don't emit it at all. 118f35d35a2316dcb65d078844696c2032b71a7f103Anders Carlsson Expr::EvalResult Result; 1196ee7aa154e8bbb21a21254293410b944f78b0bfeChris Lattner if (E->Evaluate(Result, CGM.getContext())) { 120f35d35a2316dcb65d078844696c2032b71a7f103Anders Carlsson if (Result.Val.isInt()) 1211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return RValue::get(llvm::ConstantInt::get(VMContext, 1224a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson Result.Val.getInt())); 1233941b18b8e441c8c466efecd557de60b9a32d10bEli Friedman else if (Result.Val.isFloat()) 124bc0a2226c7fcd18b29b6846049e2cfcb872d3593Owen Anderson return RValue::get(ConstantFP::get(VMContext, Result.Val.getFloat())); 1251f32999ec79a980576e100d64d5f3267eb19ea49Chris Lattner } 1261eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 127564ea2a99b3afeac9ded332730a56db1f6358a58Chris Lattner switch (BuiltinID) { 128564ea2a99b3afeac9ded332730a56db1f6358a58Chris Lattner default: break; // Handle intrinsics and libm functions below. 129506ff88f44562df267b6a06608ab841b76df2a2bChris Lattner case Builtin::BI__builtin___CFStringMakeConstantString: 1300d13f6fdbdd6f06e2449b8834dda53334abd399aDavid Chisnall case Builtin::BI__builtin___NSStringMakeConstantString: 131e9352cc9818ba59e7cf88500ef048991c90f3821Anders Carlsson return RValue::get(CGM.EmitConstantExpr(E, E->getType(), 0)); 1326a705f0443f8398ece14d80e71d8e8c9e71aa84aChris Lattner case Builtin::BI__builtin_stdarg_start: 133793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson case Builtin::BI__builtin_va_start: 134793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson case Builtin::BI__builtin_va_end: { 1350785570af3ef5f8c5a0377129e41efe6f3f8d770Daniel Dunbar Value *ArgValue = EmitVAListRef(E->getArg(0)); 1363c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *DestType = llvm::Type::getInt8PtrTy(VMContext); 137793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson if (ArgValue->getType() != DestType) 1381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump ArgValue = Builder.CreateBitCast(ArgValue, DestType, 139b27ffbef8e8aa1e87b63cbc0d9cd630aba30dae5Daniel Dunbar ArgValue->getName().data()); 140793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson 1411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Intrinsic::ID inst = (BuiltinID == Builtin::BI__builtin_va_end) ? 1426a705f0443f8398ece14d80e71d8e8c9e71aa84aChris Lattner Intrinsic::vaend : Intrinsic::vastart; 1437acda7c4a0e4aec6c003b3169ca45a5f3bc7e033Chris Lattner return RValue::get(Builder.CreateCall(CGM.getIntrinsic(inst), ArgValue)); 144793680ed8104bf088d1b382b963a8badcb3f07deAnders Carlsson } 145a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson case Builtin::BI__builtin_va_copy: { 1464fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman Value *DstPtr = EmitVAListRef(E->getArg(0)); 1474fd0aa5803357d8c72eeac2cae15e12649ea08feEli Friedman Value *SrcPtr = EmitVAListRef(E->getArg(1)); 148a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson 1493c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *Type = llvm::Type::getInt8PtrTy(VMContext); 150a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson 151a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson DstPtr = Builder.CreateBitCast(DstPtr, Type); 152a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson SrcPtr = Builder.CreateBitCast(SrcPtr, Type); 1531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return RValue::get(Builder.CreateCall2(CGM.getIntrinsic(Intrinsic::vacopy), 1543eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner DstPtr, SrcPtr)); 155a28ef8b5c6ea452472d89041128fac8b683fe968Anders Carlsson } 156c2251dc59b0edc28f9303637dec970a7520939adAnders Carlsson case Builtin::BI__builtin_abs: { 1571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *ArgValue = EmitScalarExpr(E->getArg(0)); 1581eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1599a847f598c4907a72b8593b364b9e6b94b086e75Chris Lattner Value *NegOp = Builder.CreateNeg(ArgValue, "neg"); 1601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *CmpResult = 1611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Builder.CreateICmpSGE(ArgValue, 162c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson llvm::Constant::getNullValue(ArgValue->getType()), 1639a847f598c4907a72b8593b364b9e6b94b086e75Chris Lattner "abscond"); 1641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *Result = 165c2251dc59b0edc28f9303637dec970a7520939adAnders Carlsson Builder.CreateSelect(CmpResult, ArgValue, NegOp, "abs"); 1661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 167c2251dc59b0edc28f9303637dec970a7520939adAnders Carlsson return RValue::get(Result); 168c2251dc59b0edc28f9303637dec970a7520939adAnders Carlsson } 1693a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson case Builtin::BI__builtin_ctz: 1703a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson case Builtin::BI__builtin_ctzl: 1713a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson case Builtin::BI__builtin_ctzll: { 1723a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson Value *ArgValue = EmitScalarExpr(E->getArg(0)); 1731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1743a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson const llvm::Type *ArgType = ArgValue->getType(); 1753a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson Value *F = CGM.getIntrinsic(Intrinsic::cttz, &ArgType, 1); 1763a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson 1771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *ResultType = ConvertType(E->getType()); 1783a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson Value *Result = Builder.CreateCall(F, ArgValue, "tmp"); 1793a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson if (Result->getType() != ResultType) 180eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands Result = Builder.CreateIntCast(Result, ResultType, /*isSigned*/true, 181eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands "cast"); 1823a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson return RValue::get(Result); 1833a31d60cffedfb7c9e6d129a5c9ba15fa74f179aAnders Carlsson } 184f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman case Builtin::BI__builtin_clz: 185f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman case Builtin::BI__builtin_clzl: 186f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman case Builtin::BI__builtin_clzll: { 187f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman Value *ArgValue = EmitScalarExpr(E->getArg(0)); 1881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 189f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman const llvm::Type *ArgType = ArgValue->getType(); 190f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman Value *F = CGM.getIntrinsic(Intrinsic::ctlz, &ArgType, 1); 191f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman 1921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump const llvm::Type *ResultType = ConvertType(E->getType()); 193f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman Value *Result = Builder.CreateCall(F, ArgValue, "tmp"); 194f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman if (Result->getType() != ResultType) 195eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands Result = Builder.CreateIntCast(Result, ResultType, /*isSigned*/true, 196eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands "cast"); 197f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman return RValue::get(Result); 198f4e853340590d5c32e58379e8c379ea1777d3101Eli Friedman } 19904b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_ffs: 20004b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_ffsl: 20104b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_ffsll: { 20204b290030eee33295600728450f348989d1a627eDaniel Dunbar // ffs(x) -> x ? cttz(x) + 1 : 0 20304b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *ArgValue = EmitScalarExpr(E->getArg(0)); 2041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20504b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ArgType = ArgValue->getType(); 20604b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::cttz, &ArgType, 1); 2071eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20804b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ResultType = ConvertType(E->getType()); 2091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *Tmp = Builder.CreateAdd(Builder.CreateCall(F, ArgValue, "tmp"), 2104a28d5deeba33722aa009eab488591fb9055cc7eOwen Anderson llvm::ConstantInt::get(ArgType, 1), "tmp"); 211c9c88b4159791c48e486ca94e3743b5979e2b7a6Owen Anderson Value *Zero = llvm::Constant::getNullValue(ArgType); 21204b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *IsZero = Builder.CreateICmpEQ(ArgValue, Zero, "iszero"); 21304b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *Result = Builder.CreateSelect(IsZero, Zero, Tmp, "ffs"); 21404b290030eee33295600728450f348989d1a627eDaniel Dunbar if (Result->getType() != ResultType) 215eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands Result = Builder.CreateIntCast(Result, ResultType, /*isSigned*/true, 216eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands "cast"); 21704b290030eee33295600728450f348989d1a627eDaniel Dunbar return RValue::get(Result); 21804b290030eee33295600728450f348989d1a627eDaniel Dunbar } 21904b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_parity: 22004b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_parityl: 22104b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_parityll: { 22204b290030eee33295600728450f348989d1a627eDaniel Dunbar // parity(x) -> ctpop(x) & 1 22304b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *ArgValue = EmitScalarExpr(E->getArg(0)); 2241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 22504b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ArgType = ArgValue->getType(); 22604b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::ctpop, &ArgType, 1); 2271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 22804b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ResultType = ConvertType(E->getType()); 22904b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *Tmp = Builder.CreateCall(F, ArgValue, "tmp"); 2301eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *Result = Builder.CreateAnd(Tmp, llvm::ConstantInt::get(ArgType, 1), 23104b290030eee33295600728450f348989d1a627eDaniel Dunbar "tmp"); 23204b290030eee33295600728450f348989d1a627eDaniel Dunbar if (Result->getType() != ResultType) 233eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands Result = Builder.CreateIntCast(Result, ResultType, /*isSigned*/true, 234eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands "cast"); 23504b290030eee33295600728450f348989d1a627eDaniel Dunbar return RValue::get(Result); 23604b290030eee33295600728450f348989d1a627eDaniel Dunbar } 23704b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_popcount: 23804b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_popcountl: 23904b290030eee33295600728450f348989d1a627eDaniel Dunbar case Builtin::BI__builtin_popcountll: { 24004b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *ArgValue = EmitScalarExpr(E->getArg(0)); 2411eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 24204b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ArgType = ArgValue->getType(); 24304b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::ctpop, &ArgType, 1); 2441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 24504b290030eee33295600728450f348989d1a627eDaniel Dunbar const llvm::Type *ResultType = ConvertType(E->getType()); 24604b290030eee33295600728450f348989d1a627eDaniel Dunbar Value *Result = Builder.CreateCall(F, ArgValue, "tmp"); 24704b290030eee33295600728450f348989d1a627eDaniel Dunbar if (Result->getType() != ResultType) 248eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands Result = Builder.CreateIntCast(Result, ResultType, /*isSigned*/true, 249eac73e5b3eb3862945bcaa2770c71a727a3ee542Duncan Sands "cast"); 25004b290030eee33295600728450f348989d1a627eDaniel Dunbar return RValue::get(Result); 25104b290030eee33295600728450f348989d1a627eDaniel Dunbar } 2521feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner case Builtin::BI__builtin_expect: 253a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar // FIXME: pass expect through to LLVM 2541feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner return RValue::get(EmitScalarExpr(E->getArg(0))); 255df4852ac816e6050d53b808b86d7c1c9738eb99eAnders Carlsson case Builtin::BI__builtin_bswap32: 256df4852ac816e6050d53b808b86d7c1c9738eb99eAnders Carlsson case Builtin::BI__builtin_bswap64: { 2571feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner Value *ArgValue = EmitScalarExpr(E->getArg(0)); 258df4852ac816e6050d53b808b86d7c1c9738eb99eAnders Carlsson const llvm::Type *ArgType = ArgValue->getType(); 2597acda7c4a0e4aec6c003b3169ca45a5f3bc7e033Chris Lattner Value *F = CGM.getIntrinsic(Intrinsic::bswap, &ArgType, 1); 2601feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner return RValue::get(Builder.CreateCall(F, ArgValue, "tmp")); 2611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump } 262d5f8a4fd4d6dfb0415b93bb7ab721bba5cab1332Daniel Dunbar case Builtin::BI__builtin_object_size: { 263b16d32f74ffc467a5604934a1f844906be20cf7dMike Stump // We pass this builtin onto the optimizer so that it can 264b16d32f74ffc467a5604934a1f844906be20cf7dMike Stump // figure out the object size in more complex cases. 265c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump const llvm::Type *ResType[] = { 266c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump ConvertType(E->getType()) 267c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump }; 268fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher 269fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher // LLVM only supports 0 and 2, make sure that we pass along that 270fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher // as a boolean. 271fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher Value *Ty = EmitScalarExpr(E->getArg(1)); 272fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher ConstantInt *CI = dyn_cast<ConstantInt>(Ty); 273fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher assert(CI); 274fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher uint64_t val = CI->getZExtValue(); 275fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher CI = ConstantInt::get(llvm::Type::getInt1Ty(VMContext), (val & 0x2) >> 1); 276fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher 277c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump Value *F = CGM.getIntrinsic(Intrinsic::objectsize, ResType, 1); 278c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump return RValue::get(Builder.CreateCall2(F, 279c4c9045dabfc0f0d37dea1b3eb2992654d5b2db1Mike Stump EmitScalarExpr(E->getArg(0)), 280fee667f35e64751baa7fefe70b4e7bab06c8cd86Eric Christopher CI)); 281d5f8a4fd4d6dfb0415b93bb7ab721bba5cab1332Daniel Dunbar } 2824493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar case Builtin::BI__builtin_prefetch: { 2834493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar Value *Locality, *RW, *Address = EmitScalarExpr(E->getArg(0)); 2844493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar // FIXME: Technically these constants should of type 'int', yes? 2851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump RW = (E->getNumArgs() > 1) ? EmitScalarExpr(E->getArg(1)) : 2860032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0); 2871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Locality = (E->getNumArgs() > 2) ? EmitScalarExpr(E->getArg(2)) : 2880032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 3); 2894493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::prefetch, 0, 0); 2904493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar return RValue::get(Builder.CreateCall3(F, Address, RW, Locality)); 2914493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar } 2924493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar case Builtin::BI__builtin_trap: { 2934493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::trap, 0, 0); 2944493f79fce48cd9cbd9f55fa9d452cde736747a0Daniel Dunbar return RValue::get(Builder.CreateCall(F)); 295df4852ac816e6050d53b808b86d7c1c9738eb99eAnders Carlsson } 29621190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner case Builtin::BI__builtin_unreachable: { 297fba565d044a8979cfd916ce52655a6847bfaa601Mike Stump if (CatchUndefined && HaveInsertPoint()) 298fba565d044a8979cfd916ce52655a6847bfaa601Mike Stump EmitBranch(getTrapBB()); 29921190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner Value *V = Builder.CreateUnreachable(); 30021190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner Builder.ClearInsertionPoint(); 30121190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner return RValue::get(V); 30221190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner } 30321190d54634d6e244e85d28ad915ce2fe86ecbffChris Lattner 304a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar case Builtin::BI__builtin_powi: 305a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar case Builtin::BI__builtin_powif: 306a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar case Builtin::BI__builtin_powil: { 307a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar Value *Base = EmitScalarExpr(E->getArg(0)); 308a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar Value *Exponent = EmitScalarExpr(E->getArg(1)); 309a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar const llvm::Type *ArgType = Base->getType(); 310a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::powi, &ArgType, 1); 311a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar return RValue::get(Builder.CreateCall2(F, Base, Exponent, "tmp")); 312a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar } 313a933c3c052bbd87b01cc6fc7a7745e1c4b1757fbDaniel Dunbar 314fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isgreater: 315fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isgreaterequal: 316fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isless: 317fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_islessequal: 318fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_islessgreater: 319fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isunordered: { 320fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner // Ordered comparisons: we know the arguments to these are matching scalar 321fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner // floating point values. 3221eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Value *LHS = EmitScalarExpr(E->getArg(0)); 323fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner Value *RHS = EmitScalarExpr(E->getArg(1)); 3241eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 325fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner switch (BuiltinID) { 326fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner default: assert(0 && "Unknown ordered comparison"); 327fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isgreater: 328fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpOGT(LHS, RHS, "cmp"); 329fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 330fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isgreaterequal: 331fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpOGE(LHS, RHS, "cmp"); 332fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 333fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_isless: 334fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpOLT(LHS, RHS, "cmp"); 335fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 336fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_islessequal: 337fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpOLE(LHS, RHS, "cmp"); 338fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 339fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner case Builtin::BI__builtin_islessgreater: 340fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpONE(LHS, RHS, "cmp"); 341fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 3421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump case Builtin::BI__builtin_isunordered: 343fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner LHS = Builder.CreateFCmpUNO(LHS, RHS, "cmp"); 344fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner break; 345fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner } 346fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner // ZExt bool to int type. 347fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner return RValue::get(Builder.CreateZExt(LHS, ConvertType(E->getType()), 348fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner "tmp")); 349fe23e217774aaec350086fab839210d7d9e1e3f4Chris Lattner } 350d6139895f43d161a972d134ffda4229d2f548eb6Eli Friedman case Builtin::BI__builtin_isnan: { 351d6139895f43d161a972d134ffda4229d2f548eb6Eli Friedman Value *V = EmitScalarExpr(E->getArg(0)); 352d6139895f43d161a972d134ffda4229d2f548eb6Eli Friedman V = Builder.CreateFCmpUNO(V, V, "cmp"); 353d6139895f43d161a972d134ffda4229d2f548eb6Eli Friedman return RValue::get(Builder.CreateZExt(V, ConvertType(E->getType()), "tmp")); 354d6139895f43d161a972d134ffda4229d2f548eb6Eli Friedman } 355420b11850d3f4557421f43f519b59d528329c668Chris Lattner 356420b11850d3f4557421f43f519b59d528329c668Chris Lattner case Builtin::BI__builtin_isinf: { 357420b11850d3f4557421f43f519b59d528329c668Chris Lattner // isinf(x) --> fabs(x) == infinity 358420b11850d3f4557421f43f519b59d528329c668Chris Lattner Value *V = EmitScalarExpr(E->getArg(0)); 359420b11850d3f4557421f43f519b59d528329c668Chris Lattner V = EmitFAbs(*this, V, E->getArg(0)->getType()); 360420b11850d3f4557421f43f519b59d528329c668Chris Lattner 361420b11850d3f4557421f43f519b59d528329c668Chris Lattner V = Builder.CreateFCmpOEQ(V, ConstantFP::getInfinity(V->getType()),"isinf"); 362420b11850d3f4557421f43f519b59d528329c668Chris Lattner return RValue::get(Builder.CreateZExt(V, ConvertType(E->getType()), "tmp")); 363420b11850d3f4557421f43f519b59d528329c668Chris Lattner } 36458ae5b4b1e2fc02b95d6650af5755a59639aa153Chris Lattner 36558ae5b4b1e2fc02b95d6650af5755a59639aa153Chris Lattner // TODO: BI__builtin_isinf_sign 36658ae5b4b1e2fc02b95d6650af5755a59639aa153Chris Lattner // isinf_sign(x) -> isinf(x) ? (signbit(x) ? -1 : 1) : 0 3676349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer 3686349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer case Builtin::BI__builtin_isnormal: { 3696349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer // isnormal(x) --> x == x && fabsf(x) < infinity && fabsf(x) >= float_min 3706349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Value *V = EmitScalarExpr(E->getArg(0)); 3716349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Value *Eq = Builder.CreateFCmpOEQ(V, V, "iseq"); 3726349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer 3736349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Value *Abs = EmitFAbs(*this, V, E->getArg(0)->getType()); 3746349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Value *IsLessThanInf = 3756349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Builder.CreateFCmpULT(Abs, ConstantFP::getInfinity(V->getType()),"isinf"); 3766349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer APFloat Smallest = APFloat::getSmallestNormalized( 3776349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer getContext().getFloatTypeSemantics(E->getArg(0)->getType())); 3786349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Value *IsNormal = 3796349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer Builder.CreateFCmpUGE(Abs, ConstantFP::get(V->getContext(), Smallest), 3806349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer "isnormal"); 3816349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer V = Builder.CreateAnd(Eq, IsLessThanInf, "and"); 3826349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer V = Builder.CreateAnd(V, IsNormal, "and"); 3836349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer return RValue::get(Builder.CreateZExt(V, ConvertType(E->getType()))); 3846349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer } 3856349ce94d1b4fa560bf060c5ca5ad5728ce4fad9Benjamin Kramer 386ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner case Builtin::BI__builtin_isfinite: { 387ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner // isfinite(x) --> x == x && fabs(x) != infinity; } 388ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner Value *V = EmitScalarExpr(E->getArg(0)); 389ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner Value *Eq = Builder.CreateFCmpOEQ(V, V, "iseq"); 390ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner 391ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner Value *Abs = EmitFAbs(*this, V, E->getArg(0)->getType()); 392ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner Value *IsNotInf = 393ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner Builder.CreateFCmpUNE(Abs, ConstantFP::getInfinity(V->getType()),"isinf"); 394ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner 395ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner V = Builder.CreateAnd(Eq, IsNotInf, "and"); 396ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner return RValue::get(Builder.CreateZExt(V, ConvertType(E->getType()))); 397ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner } 398ed074150c9a775c5e2e1c4ececeba18ba880ce7dChris Lattner 399b52fe9ce99970955a5f581f5c66fcd89be9a268bEli Friedman case Builtin::BIalloca: 4009e800e3dd80d77f6c47054738177bf824089f55aChris Lattner case Builtin::BI__builtin_alloca: { 4019e800e3dd80d77f6c47054738177bf824089f55aChris Lattner // FIXME: LLVM IR Should allow alloca with an i64 size! 4029e800e3dd80d77f6c47054738177bf824089f55aChris Lattner Value *Size = EmitScalarExpr(E->getArg(0)); 4030032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Size = Builder.CreateIntCast(Size, llvm::Type::getInt32Ty(VMContext), false, "tmp"); 4040032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson return RValue::get(Builder.CreateAlloca(llvm::Type::getInt8Ty(VMContext), Size, "tmp")); 4051caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar } 406e6dddfd907f6ea58daed5e26eeaacd893d98db9bEli Friedman case Builtin::BIbzero: 4071caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar case Builtin::BI__builtin_bzero: { 4081caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar Value *Address = EmitScalarExpr(E->getArg(0)); 4093ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SizeVal = EmitScalarExpr(E->getArg(1)); 4103ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Builder.CreateCall5(CGM.getMemSetFn(Address->getType(), SizeVal->getType()), 4113ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Address, 4123ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt8Ty(VMContext), 0), 4133ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang SizeVal, 4143ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1), 4153ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 0)); 4161caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar return RValue::get(Address); 4179e800e3dd80d77f6c47054738177bf824089f55aChris Lattner } 418e6ec205d6d0f4aec27bf49ca1e8fbb139acc2f2bEli Friedman case Builtin::BImemcpy: 419d4b32e46517358f34e8cfbea35010adfcc3786e0Eli Friedman case Builtin::BI__builtin_memcpy: { 4201caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar Value *Address = EmitScalarExpr(E->getArg(0)); 4213ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SrcAddr = EmitScalarExpr(E->getArg(1)); 4223ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SizeVal = EmitScalarExpr(E->getArg(2)); 4233ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Builder.CreateCall5(CGM.getMemCpyFn(Address->getType(), SrcAddr->getType(), 4243ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang SizeVal->getType()), 4253ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Address, SrcAddr, SizeVal, 4263ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1), 4273ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 0)); 4281caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar return RValue::get(Address); 4291caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar } 430e6ec205d6d0f4aec27bf49ca1e8fbb139acc2f2bEli Friedman case Builtin::BImemmove: 4311caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar case Builtin::BI__builtin_memmove: { 4321caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar Value *Address = EmitScalarExpr(E->getArg(0)); 4333ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SrcAddr = EmitScalarExpr(E->getArg(1)); 4343ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SizeVal = EmitScalarExpr(E->getArg(2)); 4353ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Builder.CreateCall5(CGM.getMemMoveFn(Address->getType(), SrcAddr->getType(), 4363ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang SizeVal->getType()), 4373ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Address, SrcAddr, SizeVal, 4383ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1), 4393ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 0)); 4401caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar return RValue::get(Address); 4411caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar } 442e6ec205d6d0f4aec27bf49ca1e8fbb139acc2f2bEli Friedman case Builtin::BImemset: 4431caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar case Builtin::BI__builtin_memset: { 4441caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar Value *Address = EmitScalarExpr(E->getArg(0)); 4453ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Value *SizeVal = EmitScalarExpr(E->getArg(2)); 4463ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Builder.CreateCall5(CGM.getMemSetFn(Address->getType(), SizeVal->getType()), 4473ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Address, 4483ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang Builder.CreateTrunc(EmitScalarExpr(E->getArg(1)), 4493ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::Type::getInt8Ty(VMContext)), 4503ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang SizeVal, 4513ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1), 4523ecd785aff34381f3704d9cb28fe3ef85af759deMon P Wang llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), 0)); 4531caae959017b355e9bb61250d5a0d04edbf468b0Daniel Dunbar return RValue::get(Address); 454d4b32e46517358f34e8cfbea35010adfcc3786e0Eli Friedman } 455fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall case Builtin::BI__builtin_dwarf_cfa: { 456fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // The offset in bytes from the first argument to the CFA. 457fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // 458fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // Why on earth is this in the frontend? Is there any reason at 459fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // all that the backend can't reasonably determine this while 460fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // lowering llvm.eh.dwarf.cfa()? 461fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // 462fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // TODO: If there's a satisfactory reason, add a target hook for 463fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall // this instead of hard-coding 0, which is correct for most targets. 464fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall int32_t Offset = 0; 465fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall 466fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall Value *F = CGM.getIntrinsic(Intrinsic::eh_dwarf_cfa, 0, 0); 467fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall return RValue::get(Builder.CreateCall(F, getInt32(VMContext, Offset))); 468fb17a562135dd7597121da9245d0c1bdcda4146fJohn McCall } 469256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman case Builtin::BI__builtin_return_address: { 47083c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov Value *Depth = EmitScalarExpr(E->getArg(0)); 47183c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov Depth = Builder.CreateIntCast(Depth, 47283c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov llvm::Type::getInt32Ty(VMContext), 47383c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov false, "tmp"); 474256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman Value *F = CGM.getIntrinsic(Intrinsic::returnaddress, 0, 0); 47583c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov return RValue::get(Builder.CreateCall(F, Depth)); 476256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman } 477256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman case Builtin::BI__builtin_frame_address: { 47883c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov Value *Depth = EmitScalarExpr(E->getArg(0)); 47983c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov Depth = Builder.CreateIntCast(Depth, 48083c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov llvm::Type::getInt32Ty(VMContext), 48183c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov false, "tmp"); 482256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman Value *F = CGM.getIntrinsic(Intrinsic::frameaddress, 0, 0); 48383c2a98012a65b51be66fd76c3a1b13ed782c558Anton Korobeynikov return RValue::get(Builder.CreateCall(F, Depth)); 484256f77e431bc6b920ec94cf0bb4ad339ca21b8c9Eli Friedman } 4853b660efb9f9fa3e87096f4a96a2093cd17c43c2eEli Friedman case Builtin::BI__builtin_extract_return_addr: { 486492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall Value *Address = EmitScalarExpr(E->getArg(0)); 487492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall Value *Result = getTargetHooks().decodeReturnAddress(*this, Address); 488492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall return RValue::get(Result); 489492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall } 490492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall case Builtin::BI__builtin_frob_return_addr: { 491492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall Value *Address = EmitScalarExpr(E->getArg(0)); 492492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall Value *Result = getTargetHooks().encodeReturnAddress(*this, Address); 493492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall return RValue::get(Result); 4943b660efb9f9fa3e87096f4a96a2093cd17c43c2eEli Friedman } 4956374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall case Builtin::BI__builtin_dwarf_sp_column: { 4966374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall const llvm::IntegerType *Ty 4976374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall = cast<llvm::IntegerType>(ConvertType(E->getType())); 4986374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall int Column = getTargetHooks().getDwarfEHStackPointer(CGM); 4996374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall if (Column == -1) { 5006374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall CGM.ErrorUnsupported(E, "__builtin_dwarf_sp_column"); 5016374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall return RValue::get(llvm::UndefValue::get(Ty)); 5026374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall } 5036374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall return RValue::get(llvm::ConstantInt::get(Ty, Column, true)); 5046374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall } 5056374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall case Builtin::BI__builtin_init_dwarf_reg_size_table: { 5066374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall Value *Address = EmitScalarExpr(E->getArg(0)); 5076374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall if (getTargetHooks().initDwarfEHRegSizeTable(*this, Address)) 5086374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall CGM.ErrorUnsupported(E, "__builtin_init_dwarf_reg_size_table"); 5096374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall return RValue::get(llvm::UndefValue::get(ConvertType(E->getType()))); 5106374c3307e2d73348f7b8cc73eeeb0998ad0ac94John McCall } 5117ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall case Builtin::BI__builtin_eh_return: { 5127ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Value *Int = EmitScalarExpr(E->getArg(0)); 5137ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Value *Ptr = EmitScalarExpr(E->getArg(1)); 5147ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall 5157ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall const llvm::IntegerType *IntTy = cast<llvm::IntegerType>(Int->getType()); 5167ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall assert((IntTy->getBitWidth() == 32 || IntTy->getBitWidth() == 64) && 5177ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall "LLVM's __builtin_eh_return only supports 32- and 64-bit variants"); 5187ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Value *F = CGM.getIntrinsic(IntTy->getBitWidth() == 32 5197ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall ? Intrinsic::eh_return_i32 5207ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall : Intrinsic::eh_return_i64, 5217ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall 0, 0); 5227ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Builder.CreateCall2(F, Int, Ptr); 5237ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Value *V = Builder.CreateUnreachable(); 5247ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall Builder.ClearInsertionPoint(); 5257ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall return RValue::get(V); 5267ada111fd5e81aff355e67bad0e4083f552b34bdJohn McCall } 527a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman case Builtin::BI__builtin_unwind_init: { 528a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman Value *F = CGM.getIntrinsic(Intrinsic::eh_unwind_init, 0, 0); 529a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman return RValue::get(Builder.CreateCall(F)); 530a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman } 5315e11085830d4d4c53ff75575ab75889ee5126854John McCall case Builtin::BI__builtin_extend_pointer: { 5325e11085830d4d4c53ff75575ab75889ee5126854John McCall // Extends a pointer to the size of an _Unwind_Word, which is 533d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // uint64_t on all platforms. Generally this gets poked into a 534d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // register and eventually used as an address, so if the 535d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // addressing registers are wider than pointers and the platform 536d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // doesn't implicitly ignore high-order bits when doing 537d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // addressing, we need to make sure we zext / sext based on 538d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // the platform's expectations. 5395e11085830d4d4c53ff75575ab75889ee5126854John McCall // 5405e11085830d4d4c53ff75575ab75889ee5126854John McCall // See: http://gcc.gnu.org/ml/gcc-bugs/2002-02/msg00237.html 541d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall 542d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall LLVMContext &C = CGM.getLLVMContext(); 543d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall 544d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // Cast the pointer to intptr_t. 5455e11085830d4d4c53ff75575ab75889ee5126854John McCall Value *Ptr = EmitScalarExpr(E->getArg(0)); 546d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall const llvm::IntegerType *IntPtrTy = CGM.getTargetData().getIntPtrType(C); 547d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall Value *Result = Builder.CreatePtrToInt(Ptr, IntPtrTy, "extend.cast"); 548d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall 549d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // If that's 64 bits, we're done. 550d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall if (IntPtrTy->getBitWidth() == 64) 551d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall return RValue::get(Result); 552d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall 553d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall // Otherwise, ask the codegen data what to do. 554d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall const llvm::IntegerType *Int64Ty = llvm::IntegerType::get(C, 64); 555492c4f998d848673d3d6c9e6416115df4036a71dJohn McCall if (getTargetHooks().extendPointerWithSExt()) 556d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall return RValue::get(Builder.CreateSExt(Result, Int64Ty, "extend.sext")); 557d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall else 558d0b76ca10feefcfda5cb16698e50197e87a7d876John McCall return RValue::get(Builder.CreateZExt(Result, Int64Ty, "extend.zext")); 5595e11085830d4d4c53ff75575ab75889ee5126854John McCall } 560a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman case Builtin::BI__builtin_setjmp: { 56178673d9f910e8dfe13248c2426c51d8f9fb28572John McCall // Buffer is a void**. 562a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman Value *Buf = EmitScalarExpr(E->getArg(0)); 56378673d9f910e8dfe13248c2426c51d8f9fb28572John McCall 56478673d9f910e8dfe13248c2426c51d8f9fb28572John McCall // Store the frame pointer to the setjmp buffer. 565a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman Value *FrameAddr = 56678673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Builder.CreateCall(CGM.getIntrinsic(Intrinsic::frameaddress), 56778673d9f910e8dfe13248c2426c51d8f9fb28572John McCall ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0)); 568a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman Builder.CreateStore(FrameAddr, Buf); 56978673d9f910e8dfe13248c2426c51d8f9fb28572John McCall 57078673d9f910e8dfe13248c2426c51d8f9fb28572John McCall // Call LLVM's EH setjmp, which is lightweight. 57178673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Value *F = CGM.getIntrinsic(Intrinsic::eh_sjlj_setjmp); 57278673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Buf = Builder.CreateBitCast(Buf, llvm::Type::getInt8PtrTy(VMContext)); 573a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman return RValue::get(Builder.CreateCall(F, Buf)); 574a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman } 575a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman case Builtin::BI__builtin_longjmp: { 576a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman Value *Buf = EmitScalarExpr(E->getArg(0)); 57778673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Buf = Builder.CreateBitCast(Buf, llvm::Type::getInt8PtrTy(VMContext)); 57878673d9f910e8dfe13248c2426c51d8f9fb28572John McCall 57978673d9f910e8dfe13248c2426c51d8f9fb28572John McCall // Call LLVM's EH longjmp, which is lightweight. 58078673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Builder.CreateCall(CGM.getIntrinsic(Intrinsic::eh_sjlj_longjmp), Buf); 58178673d9f910e8dfe13248c2426c51d8f9fb28572John McCall 58278673d9f910e8dfe13248c2426c51d8f9fb28572John McCall // longjmp doesn't return; mark this as unreachable 58378673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Value *V = Builder.CreateUnreachable(); 58478673d9f910e8dfe13248c2426c51d8f9fb28572John McCall Builder.ClearInsertionPoint(); 58578673d9f910e8dfe13248c2426c51d8f9fb28572John McCall return RValue::get(V); 586a6d75c0324ac690107bbaa7193b526ef21466212Eli Friedman } 5871ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_add: 5881ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_sub: 5895caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or: 5905caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and: 5915caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor: 5925caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch: 5935caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch: 5945caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch: 5955caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch: 5965caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch: 5975caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_val_compare_and_swap: 5985caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_bool_compare_and_swap: 5995caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set: 6005caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_release: 6015caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner assert(0 && "Shouldn't make it through sema"); 6025caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_add_1: 6035caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_add_2: 6045caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_add_4: 6055caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_add_8: 6065caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_add_16: 6075caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner return EmitBinaryAtomic(*this, Intrinsic::atomic_load_add, E); 6085caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_sub_1: 6095caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_sub_2: 6105caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_sub_4: 6115caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_sub_8: 6125caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_sub_16: 61309b6bf5bfa2ba9cbbd353cbd7846af8f49b020e7Mon P Wang return EmitBinaryAtomic(*this, Intrinsic::atomic_load_sub, E); 6145caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or_1: 6155caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or_2: 6165caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or_4: 6175caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or_8: 6185caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_or_16: 6195caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner return EmitBinaryAtomic(*this, Intrinsic::atomic_load_or, E); 6205caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and_1: 6215caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and_2: 6225caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and_4: 6235caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and_8: 6245caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_and_16: 6255caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner return EmitBinaryAtomic(*this, Intrinsic::atomic_load_and, E); 6265caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor_1: 6275caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor_2: 6285caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor_4: 6295caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor_8: 6305caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_fetch_and_xor_16: 6315caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner return EmitBinaryAtomic(*this, Intrinsic::atomic_load_xor, E); 6321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6335caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner // Clang extensions: not overloaded yet. 6341ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_min: 6351ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang return EmitBinaryAtomic(*this, Intrinsic::atomic_load_min, E); 6361ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_max: 6371ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang return EmitBinaryAtomic(*this, Intrinsic::atomic_load_max, E); 6381ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_umin: 6391ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang return EmitBinaryAtomic(*this, Intrinsic::atomic_load_umin, E); 6401ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang case Builtin::BI__sync_fetch_and_umax: 6411ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang return EmitBinaryAtomic(*this, Intrinsic::atomic_load_umax, E); 6420002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 6435caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch_1: 6445caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch_2: 6455caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch_4: 6465caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch_8: 6475caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_add_and_fetch_16: 6481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return EmitBinaryAtomicPost(*this, Intrinsic::atomic_load_add, E, 6490002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar llvm::Instruction::Add); 6505caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch_1: 6515caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch_2: 6525caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch_4: 6535caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch_8: 6545caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_sub_and_fetch_16: 6550002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar return EmitBinaryAtomicPost(*this, Intrinsic::atomic_load_sub, E, 6560002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar llvm::Instruction::Sub); 6575caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch_1: 6585caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch_2: 6595caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch_4: 6605caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch_8: 6615caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_and_and_fetch_16: 6620002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar return EmitBinaryAtomicPost(*this, Intrinsic::atomic_load_and, E, 6630002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar llvm::Instruction::And); 6645caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch_1: 6655caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch_2: 6665caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch_4: 6675caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch_8: 6685caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_or_and_fetch_16: 6690002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar return EmitBinaryAtomicPost(*this, Intrinsic::atomic_load_or, E, 6700002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar llvm::Instruction::Or); 6715caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch_1: 6725caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch_2: 6735caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch_4: 6745caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch_8: 6755caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_xor_and_fetch_16: 6760002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar return EmitBinaryAtomicPost(*this, Intrinsic::atomic_load_xor, E, 6770002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar llvm::Instruction::Xor); 6781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 6795caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_val_compare_and_swap_1: 6805caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_val_compare_and_swap_2: 6815caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_val_compare_and_swap_4: 6825caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_val_compare_and_swap_8: 683cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar case Builtin::BI__sync_val_compare_and_swap_16: { 684c5004516489c931cf839bdbdde5a76e4074cc888Mon P Wang const llvm::Type *ResType[2]; 685c5004516489c931cf839bdbdde5a76e4074cc888Mon P Wang ResType[0]= ConvertType(E->getType()); 686c5004516489c931cf839bdbdde5a76e4074cc888Mon P Wang ResType[1] = ConvertType(E->getArg(0)->getType()); 687c5004516489c931cf839bdbdde5a76e4074cc888Mon P Wang Value *AtomF = CGM.getIntrinsic(Intrinsic::atomic_cmp_swap, ResType, 2); 688cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Args[3] = { EmitScalarExpr(E->getArg(0)), 689cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitScalarExpr(E->getArg(1)), 690cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitScalarExpr(E->getArg(2)) }; 691cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar return RValue::get(EmitCallWithBarrier(*this, AtomF, Args, Args + 3)); 692022012e6e5626c3372e1a5493c0929dfc1fa9e47Anders Carlsson } 6930002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 6945caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_bool_compare_and_swap_1: 6955caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_bool_compare_and_swap_2: 6965caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_bool_compare_and_swap_4: 6975caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_bool_compare_and_swap_8: 698cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar case Builtin::BI__sync_bool_compare_and_swap_16: { 6990002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar const llvm::Type *ResType[2]; 7005caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner ResType[0]= ConvertType(E->getArg(1)->getType()); 70196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson ResType[1] = llvm::PointerType::getUnqual(ResType[0]); 7020002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Value *AtomF = CGM.getIntrinsic(Intrinsic::atomic_cmp_swap, ResType, 2); 7030002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Value *OldVal = EmitScalarExpr(E->getArg(1)); 704cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *Args[3] = { EmitScalarExpr(E->getArg(0)), 705cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar OldVal, 706cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitScalarExpr(E->getArg(2)) }; 707cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar Value *PrevVal = EmitCallWithBarrier(*this, AtomF, Args, Args + 3); 7080002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar Value *Result = Builder.CreateICmpEQ(PrevVal, OldVal); 7090002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar // zext bool to int. 7100002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar return RValue::get(Builder.CreateZExt(Result, ConvertType(E->getType()))); 7110002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar } 7120002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 7135caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set_1: 7145caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set_2: 7155caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set_4: 7165caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set_8: 7175caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_test_and_set_16: 7187ea2e3f6aae9b7511686d3d26dee690fee81c3aaNate Begeman return EmitBinaryAtomic(*this, Intrinsic::atomic_swap, E); 719cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar 7205caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_release_1: 7215caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_release_2: 7225caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_release_4: 7235caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner case Builtin::BI__sync_lock_release_8: 724f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner case Builtin::BI__sync_lock_release_16: { 725f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner Value *Ptr = EmitScalarExpr(E->getArg(0)); 726f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner const llvm::Type *ElTy = 727f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner cast<llvm::PointerType>(Ptr->getType())->getElementType(); 728007b56738b00426688ee85baa75174358bd849f9Daniel Dunbar llvm::StoreInst *Store = 729007b56738b00426688ee85baa75174358bd849f9Daniel Dunbar Builder.CreateStore(llvm::Constant::getNullValue(ElTy), Ptr); 730007b56738b00426688ee85baa75174358bd849f9Daniel Dunbar Store->setVolatile(true); 731eb4f81e174b11633f7b85f555ea5d2834d6dae8aDaniel Dunbar return RValue::get(0); 732f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner } 733ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar 734f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner case Builtin::BI__sync_synchronize: { 735cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar // We assume like gcc appears to, that this only applies to cached memory. 736cb61a7bbe635cfa941b1aeaaa1fbda1bf900ee51Daniel Dunbar EmitMemoryBarrier(*this, true, true, true, true, false); 737eb4f81e174b11633f7b85f555ea5d2834d6dae8aDaniel Dunbar return RValue::get(0); 738f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner } 7391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7400b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner case Builtin::BI__builtin_llvm_memory_barrier: { 7410b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner Value *C[5] = { 7420b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner EmitScalarExpr(E->getArg(0)), 7430b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner EmitScalarExpr(E->getArg(1)), 7440b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner EmitScalarExpr(E->getArg(2)), 7450b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner EmitScalarExpr(E->getArg(3)), 7460b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner EmitScalarExpr(E->getArg(4)) 7470b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner }; 7480b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner Builder.CreateCall(CGM.getIntrinsic(Intrinsic::memory_barrier), C, C + 5); 7490b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner return RValue::get(0); 7500b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner } 7510b5716469b4be89adeb15a9819ac82a86ef19ca8Tanya Lattner 752ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar // Library functions with special handling. 753ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIsqrt: 754ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIsqrtf: 755ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIsqrtl: { 756beb41281f8355caa05700d0a77539defbdf428f8John McCall // TODO: there is currently no set of optimizer flags 757beb41281f8355caa05700d0a77539defbdf428f8John McCall // sufficient for us to rewrite sqrt to @llvm.sqrt. 758beb41281f8355caa05700d0a77539defbdf428f8John McCall // -fmath-errno=0 is not good enough; we need finiteness. 759beb41281f8355caa05700d0a77539defbdf428f8John McCall // We could probably precondition the call with an ult 760beb41281f8355caa05700d0a77539defbdf428f8John McCall // against 0, but is that worth the complexity? 761beb41281f8355caa05700d0a77539defbdf428f8John McCall break; 762ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar } 763ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar 764ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIpow: 765ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIpowf: 766ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar case Builtin::BIpowl: { 767ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar // Rewrite sqrt to intrinsic if allowed. 76840b598eea1310ec9ed554d56ce3e25b34c585458Argyrios Kyrtzidis if (!FD->hasAttr<ConstAttr>()) 769ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar break; 770ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar Value *Base = EmitScalarExpr(E->getArg(0)); 771ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar Value *Exponent = EmitScalarExpr(E->getArg(1)); 772ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar const llvm::Type *ArgType = Base->getType(); 773ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar Value *F = CGM.getIntrinsic(Intrinsic::pow, &ArgType, 1); 774ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar return RValue::get(Builder.CreateCall2(F, Base, Exponent, "tmp")); 775ef2abfee3ea16ec74942dc09e9e425f46aeb2582Daniel Dunbar } 776ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman 777ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman case Builtin::BI__builtin_signbit: 778ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman case Builtin::BI__builtin_signbitf: 779ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman case Builtin::BI__builtin_signbitl: { 780ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman LLVMContext &C = CGM.getLLVMContext(); 781ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman 782ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman Value *Arg = EmitScalarExpr(E->getArg(0)); 783ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman const llvm::Type *ArgTy = Arg->getType(); 784ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman if (ArgTy->isPPC_FP128Ty()) 785ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman break; // FIXME: I'm not sure what the right implementation is here. 786ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman int ArgWidth = ArgTy->getPrimitiveSizeInBits(); 787ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman const llvm::Type *ArgIntTy = llvm::IntegerType::get(C, ArgWidth); 788ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman Value *BCArg = Builder.CreateBitCast(Arg, ArgIntTy); 789ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman Value *ZeroCmp = llvm::Constant::getNullValue(ArgIntTy); 790ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman Value *Result = Builder.CreateICmpSLT(BCArg, ZeroCmp); 791ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman return RValue::get(Builder.CreateZExt(Result, ConvertType(E->getType()))); 792ba68b08a05587490ed4c2e3d26f3a742c995c660Eli Friedman } 7937ea2e3f6aae9b7511686d3d26dee690fee81c3aaNate Begeman } 7941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 795b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // If this is an alias for a libm function (e.g. __builtin_sin) turn it into 796b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // that function. 7973e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor if (getContext().BuiltinInfo.isLibFunction(BuiltinID) || 7983e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor getContext().BuiltinInfo.isPredefinedLibFunction(BuiltinID)) 79931777a2540879051a3c643b90e02c3fd3d315243Anders Carlsson return EmitCall(E->getCallee()->getType(), 80031777a2540879051a3c643b90e02c3fd3d315243Anders Carlsson CGM.getBuiltinLibFunction(FD, BuiltinID), 801d2490a91341b57df7a7e54f8a707e7ecde2eeb4eAnders Carlsson ReturnValueSlot(), 80231777a2540879051a3c643b90e02c3fd3d315243Anders Carlsson E->arg_begin(), E->arg_end()); 8031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 804b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // See if we have a target specific intrinsic. 805a6f80ef997f0363386749087b325607eaa5adcfcDale Johannesen const char *Name = getContext().BuiltinInfo.GetName(BuiltinID); 80655cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar Intrinsic::ID IntrinsicID = Intrinsic::not_intrinsic; 80755cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar if (const char *Prefix = 8081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump llvm::Triple::getArchTypePrefix(Target.getTriple().getArch())) 80955cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar IntrinsicID = Intrinsic::getIntrinsicForGCCBuiltin(Prefix, Name); 8101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 811b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner if (IntrinsicID != Intrinsic::not_intrinsic) { 812b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner SmallVector<Value*, 16> Args; 8131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 814b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner Function *F = CGM.getIntrinsic(IntrinsicID); 815b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner const llvm::FunctionType *FTy = F->getFunctionType(); 8161eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 817b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner for (unsigned i = 0, e = E->getNumArgs(); i != e; ++i) { 818b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner Value *ArgValue = EmitScalarExpr(E->getArg(i)); 8191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 820b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // If the intrinsic arg type is different from the builtin arg type 821b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // we need to do a bit cast. 822b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner const llvm::Type *PTy = FTy->getParamType(i); 823b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner if (PTy != ArgValue->getType()) { 824b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner assert(PTy->canLosslesslyBitCastTo(FTy->getParamType(i)) && 825b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner "Must be able to losslessly bit cast to param"); 826b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner ArgValue = Builder.CreateBitCast(ArgValue, PTy); 827b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner } 8281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 829b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner Args.push_back(ArgValue); 830b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner } 8311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 832beaaccd8e2a8748f77b66e2b330fb9136937e14cJay Foad Value *V = Builder.CreateCall(F, Args.data(), Args.data() + Args.size()); 833b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner QualType BuiltinRetType = E->getType(); 8341eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 8350032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *RetTy = llvm::Type::getVoidTy(VMContext); 836b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner if (!BuiltinRetType->isVoidType()) RetTy = ConvertType(BuiltinRetType); 8371eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 838b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner if (RetTy != V->getType()) { 839b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner assert(V->getType()->canLosslesslyBitCastTo(RetTy) && 840b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner "Must be able to losslessly bit cast result type"); 841b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner V = Builder.CreateBitCast(V, RetTy); 842b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner } 8431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 844b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner return RValue::get(V); 845b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner } 8461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 847b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // See if we have a target specific builtin that needs to be lowered. 848f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar if (Value *V = EmitTargetBuiltinExpr(BuiltinID, E)) 849b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner return RValue::get(V); 8501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 851488e993a135ce700b982bf099c3d6b856301d642Daniel Dunbar ErrorUnsupported(E, "builtin function"); 8521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 853b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner // Unknown builtin, for now just dump it out and return undef. 854b7cfe88e88cb4f46308de89cf3f0c81bfe624128Chris Lattner if (hasAggregateLLVMType(E->getType())) 855195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar return RValue::getAggregate(CreateMemTemp(E->getType())); 85603e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson return RValue::get(llvm::UndefValue::get(ConvertType(E->getType()))); 8571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump} 858564f1de67d7ba43646b8740db86d6269e3dfbe0bAnders Carlsson 859f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel DunbarValue *CodeGenFunction::EmitTargetBuiltinExpr(unsigned BuiltinID, 860f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar const CallExpr *E) { 86155cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar switch (Target.getTriple().getArch()) { 8622752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner case llvm::Triple::arm: 8632752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner case llvm::Triple::thumb: 8642752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner return EmitARMBuiltinExpr(BuiltinID, E); 86555cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar case llvm::Triple::x86: 86655cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar case llvm::Triple::x86_64: 867f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar return EmitX86BuiltinExpr(BuiltinID, E); 86855cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar case llvm::Triple::ppc: 86955cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar case llvm::Triple::ppc64: 870f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar return EmitPPCBuiltinExpr(BuiltinID, E); 87155cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar default: 87255cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar return 0; 87355cc2ed722e041228670d26d548e5590e355acedDaniel Dunbar } 874f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar} 875f02e9ddf5efc75917af712b3c7f909581205f0a5Daniel Dunbar 8762752c0137d95aa2f4ee1cdff4b564bac842e041bChris LattnerValue *CodeGenFunction::EmitARMBuiltinExpr(unsigned BuiltinID, 8772752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner const CallExpr *E) { 8782752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner switch (BuiltinID) { 8792752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner default: return 0; 8802752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner 8812752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner case ARM::BI__builtin_thread_pointer: { 8822752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner Value *AtomF = CGM.getIntrinsic(Intrinsic::arm_thread_pointer, 0, 0); 8832752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner return Builder.CreateCall(AtomF); 8842752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner } 8852752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner } 8862752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner} 8872752c0137d95aa2f4ee1cdff4b564bac842e041bChris Lattner 8881eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpValue *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID, 8891feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner const CallExpr *E) { 8901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 8912929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson llvm::SmallVector<Value*, 4> Ops; 8922929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson 8932929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson for (unsigned i = 0, e = E->getNumArgs(); i != e; i++) 8942929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson Ops.push_back(EmitScalarExpr(E->getArg(i))); 8952929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson 896564f1de67d7ba43646b8740db86d6269e3dfbe0bAnders Carlsson switch (BuiltinID) { 89746a26b0b0e2ec1557bad9b70e8e20836524ebdfcAnders Carlsson default: return 0; 8981eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump case X86::BI__builtin_ia32_pslldi128: 899e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psllqi128: 9001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump case X86::BI__builtin_ia32_psllwi128: 901e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psradi128: 902e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrawi128: 903e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrldi128: 904e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrlqi128: 905e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrlwi128: { 9060032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Ops[1] = Builder.CreateZExt(Ops[1], llvm::Type::getInt64Ty(VMContext), "zext"); 9070032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *Ty = llvm::VectorType::get(llvm::Type::getInt64Ty(VMContext), 2); 9080032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Zero = llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 0); 90903e205031b08669f05c41eed5b896fc94c4a12bbOwen Anderson Ops[1] = Builder.CreateInsertElement(llvm::UndefValue::get(Ty), 910e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Ops[1], Zero, "insert"); 911e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Ops[1] = Builder.CreateBitCast(Ops[1], Ops[0]->getType(), "bitcast"); 912e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman const char *name = 0; 913e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Intrinsic::ID ID = Intrinsic::not_intrinsic; 9141eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 915e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman switch (BuiltinID) { 916e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman default: assert(0 && "Unsupported shift intrinsic!"); 917e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_pslldi128: 918e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "pslldi"; 919e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psll_d; 920e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 921e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psllqi128: 922e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psllqi"; 923e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psll_q; 924e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 925e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psllwi128: 926e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psllwi"; 927e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psll_w; 928e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 929e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psradi128: 930e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psradi"; 931e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psra_d; 932e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 933e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrawi128: 934e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psrawi"; 935e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psra_w; 936e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 937e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrldi128: 938e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psrldi"; 939e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psrl_d; 940e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 941e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrlqi128: 942e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psrlqi"; 943e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psrl_q; 944e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 945e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_psrlwi128: 946e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman name = "psrlwi"; 947e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman ID = Intrinsic::x86_sse2_psrl_w; 948e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman break; 949e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman } 950e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman llvm::Function *F = CGM.getIntrinsic(ID); 9511eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), name); 952e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman } 9531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump case X86::BI__builtin_ia32_pslldi: 9542929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psllqi: 9551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump case X86::BI__builtin_ia32_psllwi: 9562929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psradi: 9572929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrawi: 9582929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrldi: 9592929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrlqi: 9602929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrlwi: { 9610032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Ops[1] = Builder.CreateZExt(Ops[1], llvm::Type::getInt64Ty(VMContext), "zext"); 9620032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *Ty = llvm::VectorType::get(llvm::Type::getInt64Ty(VMContext), 1); 9632929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson Ops[1] = Builder.CreateBitCast(Ops[1], Ty, "bitcast"); 9642929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson const char *name = 0; 9652929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson Intrinsic::ID ID = Intrinsic::not_intrinsic; 9661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9672929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson switch (BuiltinID) { 9682929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson default: assert(0 && "Unsupported shift intrinsic!"); 9692929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_pslldi: 9702929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "pslldi"; 9712929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psll_d; 9722929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9732929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psllqi: 9742929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psllqi"; 9752929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psll_q; 9762929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9772929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psllwi: 9782929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psllwi"; 9792929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psll_w; 9802929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9812929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psradi: 9822929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psradi"; 9832929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psra_d; 9842929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9852929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrawi: 9862929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psrawi"; 9872929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psra_w; 9882929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9892929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrldi: 9902929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psrldi"; 9912929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psrl_d; 9922929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9932929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrlqi: 9942929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psrlqi"; 9952929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psrl_q; 9962929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 9972929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson case X86::BI__builtin_ia32_psrlwi: 9982929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson name = "psrlwi"; 9992929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson ID = Intrinsic::x86_mmx_psrl_w; 10002929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson break; 10012929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson } 10027acda7c4a0e4aec6c003b3169ca45a5f3bc7e033Chris Lattner llvm::Function *F = CGM.getIntrinsic(ID); 10031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), name); 10042929cfa9b7df1d5b0571b54161783e4d791a0b77Anders Carlsson } 100579dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson case X86::BI__builtin_ia32_cmpps: { 100679dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse_cmp_ps); 100779dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), "cmpps"); 100879dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson } 100979dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson case X86::BI__builtin_ia32_cmpss: { 101079dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse_cmp_ss); 101179dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), "cmpss"); 1012cc8b7f911892b3257e381677d0a82d43bf7b067cAnders Carlsson } 1013e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_ldmxcsr: { 10143c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *PtrTy = llvm::Type::getInt8PtrTy(VMContext); 10150032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *One = llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1); 10160032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *Tmp = Builder.CreateAlloca(llvm::Type::getInt32Ty(VMContext), One, "tmp"); 1017e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Builder.CreateStore(Ops[0], Tmp); 1018e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman return Builder.CreateCall(CGM.getIntrinsic(Intrinsic::x86_sse_ldmxcsr), 10193eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner Builder.CreateBitCast(Tmp, PtrTy)); 1020e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman } 1021e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_stmxcsr: { 10223c0ef8cc0dc246bd3083e8cdd63005e8873d36d2Benjamin Kramer const llvm::Type *PtrTy = llvm::Type::getInt8PtrTy(VMContext); 10230032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *One = llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), 1); 10240032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson Value *Tmp = Builder.CreateAlloca(llvm::Type::getInt32Ty(VMContext), One, "tmp"); 1025e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman One = Builder.CreateCall(CGM.getIntrinsic(Intrinsic::x86_sse_stmxcsr), 10263eae03e7d165f20a863a9a4d7122ba2a691ab16dChris Lattner Builder.CreateBitCast(Tmp, PtrTy)); 1027e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman return Builder.CreateLoad(Tmp, "stmxcsr"); 1028e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman } 102979dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson case X86::BI__builtin_ia32_cmppd: { 103079dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse2_cmp_pd); 103179dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), "cmppd"); 103279dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson } 103379dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson case X86::BI__builtin_ia32_cmpsd: { 103479dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse2_cmp_sd); 103579dcf5f96ad75259867d19bbf69512f320032fceAnders Carlsson return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), "cmpsd"); 1036cc8b7f911892b3257e381677d0a82d43bf7b067cAnders Carlsson } 1037e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_storehps: 1038e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman case X86::BI__builtin_ia32_storelps: { 10390032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson const llvm::Type *EltTy = llvm::Type::getInt64Ty(VMContext); 104096e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Type *PtrTy = llvm::PointerType::getUnqual(EltTy); 104196e0fc726c6fe7538522c60743705d5e696b40afOwen Anderson llvm::Type *VecTy = llvm::VectorType::get(EltTy, 2); 10421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1043e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman // cast val v2i64 1044e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Ops[1] = Builder.CreateBitCast(Ops[1], VecTy, "cast"); 10451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1046e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman // extract (0, 1) 1047e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman unsigned Index = BuiltinID == X86::BI__builtin_ia32_storelps ? 0 : 1; 10480032b2781b4deb131f8c9b7968f2030bf2489cddOwen Anderson llvm::Value *Idx = llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), Index); 1049e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Ops[1] = Builder.CreateExtractElement(Ops[1], Idx, "extract"); 1050e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman 1051e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman // cast pointer to i64 & store 1052e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman Ops[0] = Builder.CreateBitCast(Ops[0], PtrTy); 1053e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman return Builder.CreateStore(Ops[1], Ops[0]); 1054e7722103abc4583366c914374d6aa8560e145fa1Nate Begeman } 105591b59274439f776cdd545bd7bf5849fdb1842160Eric Christopher case X86::BI__builtin_ia32_palignr: { 1056e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher unsigned shiftVal = cast<llvm::ConstantInt>(Ops[2])->getZExtValue(); 1057e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1058e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // If palignr is shifting the pair of input vectors less than 9 bytes, 1059e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // emit a shuffle instruction. 1060e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher if (shiftVal <= 8) { 1061e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher const llvm::Type *IntTy = llvm::Type::getInt32Ty(VMContext); 1062e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1063e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher llvm::SmallVector<llvm::Constant*, 8> Indices; 1064e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher for (unsigned i = 0; i != 8; ++i) 1065e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher Indices.push_back(llvm::ConstantInt::get(IntTy, shiftVal + i)); 1066e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1067e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher Value* SV = llvm::ConstantVector::get(Indices.begin(), Indices.size()); 1068e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher return Builder.CreateShuffleVector(Ops[1], Ops[0], SV, "palignr"); 1069e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher } 1070e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1071e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // If palignr is shifting the pair of input vectors more than 8 but less 1072e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // than 16 bytes, emit a logical right shift of the destination. 1073e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher if (shiftVal < 16) { 1074e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // MMX has these as 1 x i64 vectors for some odd optimization reasons. 1075e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher const llvm::Type *EltTy = llvm::Type::getInt64Ty(VMContext); 1076e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher const llvm::Type *VecTy = llvm::VectorType::get(EltTy, 1); 1077e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1078e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher Ops[0] = Builder.CreateBitCast(Ops[0], VecTy, "cast"); 1079e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher Ops[1] = llvm::ConstantInt::get(VecTy, (shiftVal-8) * 8); 1080e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1081e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // create i32 constant 1082e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_mmx_psrl_q); 1083e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher return Builder.CreateCall(F, &Ops[0], &Ops[0] + 2, "palignr"); 1084e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher } 1085e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher 1086e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher // If palignr is shifting the pair of vectors more than 32 bytes, emit zero. 1087e57aa9e367af227214140e1a174cc561aabaa0b9Eric Christopher return llvm::Constant::getNullValue(ConvertType(E->getType())); 1088c3420ffb282c6ffc0192013bf8045b6c21eddeceNate Begeman } 1089c3420ffb282c6ffc0192013bf8045b6c21eddeceNate Begeman case X86::BI__builtin_ia32_palignr128: { 1090ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman unsigned shiftVal = cast<llvm::ConstantInt>(Ops[2])->getZExtValue(); 1091ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1092ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // If palignr is shifting the pair of input vectors less than 17 bytes, 1093ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // emit a shuffle instruction. 1094ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman if (shiftVal <= 16) { 1095ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman const llvm::Type *IntTy = llvm::Type::getInt32Ty(VMContext); 1096ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1097ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman llvm::SmallVector<llvm::Constant*, 16> Indices; 1098ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman for (unsigned i = 0; i != 16; ++i) 1099ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman Indices.push_back(llvm::ConstantInt::get(IntTy, shiftVal + i)); 1100ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1101ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman Value* SV = llvm::ConstantVector::get(Indices.begin(), Indices.size()); 1102ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman return Builder.CreateShuffleVector(Ops[1], Ops[0], SV, "palignr"); 1103ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman } 1104ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1105ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // If palignr is shifting the pair of input vectors more than 16 but less 1106ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // than 32 bytes, emit a logical right shift of the destination. 1107ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman if (shiftVal < 32) { 1108ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman const llvm::Type *EltTy = llvm::Type::getInt64Ty(VMContext); 1109ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman const llvm::Type *VecTy = llvm::VectorType::get(EltTy, 2); 1110ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman const llvm::Type *IntTy = llvm::Type::getInt32Ty(VMContext); 1111ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1112ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman Ops[0] = Builder.CreateBitCast(Ops[0], VecTy, "cast"); 1113ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman Ops[1] = llvm::ConstantInt::get(IntTy, (shiftVal-16) * 8); 1114ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1115ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // create i32 constant 1116ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman llvm::Function *F = CGM.getIntrinsic(Intrinsic::x86_sse2_psrl_dq); 1117ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman return Builder.CreateCall(F, &Ops[0], &Ops[0] + 2, "palignr"); 1118ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman } 1119ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman 1120ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman // If palignr is shifting the pair of vectors more than 32 bytes, emit zero. 1121ce5818a19a8f77d1540d0352649d6687eca4af6bNate Begeman return llvm::Constant::getNullValue(ConvertType(E->getType())); 112291b59274439f776cdd545bd7bf5849fdb1842160Eric Christopher } 1123564f1de67d7ba43646b8740db86d6269e3dfbe0bAnders Carlsson } 1124564f1de67d7ba43646b8740db86d6269e3dfbe0bAnders Carlsson} 1125564f1de67d7ba43646b8740db86d6269e3dfbe0bAnders Carlsson 11261eb4433ac451dc16f4133a88af2d002ac26c58efMike StumpValue *CodeGenFunction::EmitPPCBuiltinExpr(unsigned BuiltinID, 11271feedd84221e8dbcc3faf3de27cc42b559db845dChris Lattner const CallExpr *E) { 1128dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner llvm::SmallVector<Value*, 4> Ops; 1129dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner 1130dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner for (unsigned i = 0, e = E->getNumArgs(); i != e; i++) 1131dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner Ops.push_back(EmitScalarExpr(E->getArg(i))); 1132dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner 1133dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner Intrinsic::ID ID = Intrinsic::not_intrinsic; 1134dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner 1135dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner switch (BuiltinID) { 1136dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner default: return 0; 1137dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner 1138dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner // vec_st 1139dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvx: 1140dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvxl: 1141dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvebx: 1142dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvehx: 1143dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvewx: 1144dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner { 1145dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner Ops[2] = Builder.CreateBitCast(Ops[2], llvm::Type::getInt8PtrTy(VMContext)); 1146dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner Ops[1] = !isa<Constant>(Ops[1]) || !cast<Constant>(Ops[1])->isNullValue() 1147dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ? Builder.CreateGEP(Ops[2], Ops[1], "tmp") : Ops[2]; 1148dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner Ops.pop_back(); 1149dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner 1150dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner switch (BuiltinID) { 1151dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner default: assert(0 && "Unsupported vavg intrinsic!"); 1152dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvx: 1153dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ID = Intrinsic::ppc_altivec_stvx; 1154dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner break; 1155dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvxl: 1156dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ID = Intrinsic::ppc_altivec_stvxl; 1157dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner break; 1158dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvebx: 1159dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ID = Intrinsic::ppc_altivec_stvebx; 1160dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner break; 1161dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvehx: 1162dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ID = Intrinsic::ppc_altivec_stvehx; 1163dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner break; 1164dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner case PPC::BI__builtin_altivec_stvewx: 1165dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner ID = Intrinsic::ppc_altivec_stvewx; 1166dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner break; 1167dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner } 1168dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner llvm::Function *F = CGM.getIntrinsic(ID); 1169dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner return Builder.CreateCall(F, &Ops[0], &Ops[0] + Ops.size(), ""); 1170dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner } 1171dd17394d225b06376e9ae1d23f36cec463fdef01Chris Lattner } 1172b0b84385f0cb0ea4036579f5f384f1c19b917c7eDaniel Dunbar return 0; 11731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump} 1174