2003-12-28 08:19:41 +00:00
|
|
|
//===-- IntrinsicLowering.cpp - Intrinsic Lowering default implementation -===//
|
2005-04-21 22:36:52 +00:00
|
|
|
//
|
2003-12-28 08:19:41 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:36:04 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 22:36:52 +00:00
|
|
|
//
|
2003-12-28 08:19:41 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2006-11-15 18:00:10 +00:00
|
|
|
// This file implements the IntrinsicLowering class.
|
2003-12-28 08:19:41 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2004-02-14 02:47:17 +00:00
|
|
|
#include "llvm/Constants.h"
|
2004-02-12 17:01:09 +00:00
|
|
|
#include "llvm/DerivedTypes.h"
|
2003-12-28 08:19:41 +00:00
|
|
|
#include "llvm/Module.h"
|
2005-05-03 17:19:30 +00:00
|
|
|
#include "llvm/Type.h"
|
2006-11-28 02:08:17 +00:00
|
|
|
#include "llvm/CodeGen/IntrinsicLowering.h"
|
2009-05-12 20:27:44 +00:00
|
|
|
#include "llvm/Support/IRBuilder.h"
|
2007-01-29 17:42:06 +00:00
|
|
|
#include "llvm/Target/TargetData.h"
|
2007-02-13 06:01:22 +00:00
|
|
|
#include "llvm/ADT/SmallVector.h"
|
2003-12-28 08:19:41 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
2004-05-09 04:29:57 +00:00
|
|
|
template <class ArgIt>
|
2007-01-07 08:12:01 +00:00
|
|
|
static void EnsureFunctionExists(Module &M, const char *Name,
|
|
|
|
ArgIt ArgBegin, ArgIt ArgEnd,
|
|
|
|
const Type *RetTy) {
|
|
|
|
// Insert a correctly-typed definition now.
|
2004-05-09 04:29:57 +00:00
|
|
|
std::vector<const Type *> ParamTys;
|
|
|
|
for (ArgIt I = ArgBegin; I != ArgEnd; ++I)
|
|
|
|
ParamTys.push_back(I->getType());
|
2007-01-07 08:12:01 +00:00
|
|
|
M.getOrInsertFunction(Name, FunctionType::get(RetTy, ParamTys, false));
|
2004-05-09 04:29:57 +00:00
|
|
|
}
|
|
|
|
|
2009-02-07 22:37:06 +00:00
|
|
|
static void EnsureFPIntrinsicsExist(Module &M, Function *Fn,
|
|
|
|
const char *FName,
|
|
|
|
const char *DName, const char *LDName) {
|
2008-09-22 19:51:58 +00:00
|
|
|
// Insert definitions for all the floating point types.
|
2009-02-07 22:37:06 +00:00
|
|
|
switch((int)Fn->arg_begin()->getType()->getTypeID()) {
|
2008-09-22 19:51:58 +00:00
|
|
|
case Type::FloatTyID:
|
2009-02-07 22:37:06 +00:00
|
|
|
EnsureFunctionExists(M, FName, Fn->arg_begin(), Fn->arg_end(),
|
2008-09-22 19:51:58 +00:00
|
|
|
Type::FloatTy);
|
2009-02-07 22:37:06 +00:00
|
|
|
break;
|
2008-09-22 19:51:58 +00:00
|
|
|
case Type::DoubleTyID:
|
2009-02-07 22:37:06 +00:00
|
|
|
EnsureFunctionExists(M, DName, Fn->arg_begin(), Fn->arg_end(),
|
2008-09-22 19:51:58 +00:00
|
|
|
Type::DoubleTy);
|
2009-02-07 22:37:06 +00:00
|
|
|
break;
|
2008-09-22 19:51:58 +00:00
|
|
|
case Type::X86_FP80TyID:
|
|
|
|
case Type::FP128TyID:
|
|
|
|
case Type::PPC_FP128TyID:
|
2009-02-07 22:37:06 +00:00
|
|
|
EnsureFunctionExists(M, LDName, Fn->arg_begin(), Fn->arg_end(),
|
|
|
|
Fn->arg_begin()->getType());
|
|
|
|
break;
|
2008-09-22 19:51:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-02-15 22:16:39 +00:00
|
|
|
/// ReplaceCallWith - This function is used when we want to lower an intrinsic
|
|
|
|
/// call to a call of an external function. This handles hard cases such as
|
|
|
|
/// when there was already a prototype for the external function, and if that
|
|
|
|
/// prototype doesn't match the arguments we expect to pass in.
|
|
|
|
template <class ArgIt>
|
|
|
|
static CallInst *ReplaceCallWith(const char *NewFn, CallInst *CI,
|
2007-01-07 08:12:01 +00:00
|
|
|
ArgIt ArgBegin, ArgIt ArgEnd,
|
2009-06-26 20:33:47 +00:00
|
|
|
const Type *RetTy) {
|
|
|
|
// If we haven't already looked up this function, check to see if the
|
|
|
|
// program already contains a function with this name.
|
|
|
|
Module *M = CI->getParent()->getParent()->getParent();
|
|
|
|
// Get or insert the definition now.
|
|
|
|
std::vector<const Type *> ParamTys;
|
|
|
|
for (ArgIt I = ArgBegin; I != ArgEnd; ++I)
|
|
|
|
ParamTys.push_back((*I)->getType());
|
|
|
|
Constant* FCache = M->getOrInsertFunction(NewFn,
|
|
|
|
FunctionType::get(RetTy, ParamTys, false));
|
2004-02-15 22:16:39 +00:00
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder(CI->getParent(), CI);
|
2007-08-01 03:43:44 +00:00
|
|
|
SmallVector<Value *, 8> Args(ArgBegin, ArgEnd);
|
2009-05-12 20:27:44 +00:00
|
|
|
CallInst *NewCI = Builder.CreateCall(FCache, Args.begin(), Args.end());
|
|
|
|
NewCI->setName(CI->getName());
|
2007-01-07 08:12:01 +00:00
|
|
|
if (!CI->use_empty())
|
|
|
|
CI->replaceAllUsesWith(NewCI);
|
2004-06-11 02:54:02 +00:00
|
|
|
return NewCI;
|
2004-02-15 22:16:39 +00:00
|
|
|
}
|
|
|
|
|
2006-11-15 18:00:10 +00:00
|
|
|
void IntrinsicLowering::AddPrototypes(Module &M) {
|
2004-05-09 04:29:57 +00:00
|
|
|
for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
|
2007-01-30 20:08:39 +00:00
|
|
|
if (I->isDeclaration() && !I->use_empty())
|
2004-05-09 04:29:57 +00:00
|
|
|
switch (I->getIntrinsicID()) {
|
|
|
|
default: break;
|
|
|
|
case Intrinsic::setjmp:
|
2005-05-08 19:46:29 +00:00
|
|
|
EnsureFunctionExists(M, "setjmp", I->arg_begin(), I->arg_end(),
|
2006-12-31 05:55:36 +00:00
|
|
|
Type::Int32Ty);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::longjmp:
|
2005-05-08 19:46:29 +00:00
|
|
|
EnsureFunctionExists(M, "longjmp", I->arg_begin(), I->arg_end(),
|
|
|
|
Type::VoidTy);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::siglongjmp:
|
2005-05-08 19:46:29 +00:00
|
|
|
EnsureFunctionExists(M, "abort", I->arg_end(), I->arg_end(),
|
|
|
|
Type::VoidTy);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memcpy:
|
2007-12-17 01:12:55 +00:00
|
|
|
M.getOrInsertFunction("memcpy", PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
PointerType::getUnqual(Type::Int8Ty),
|
2007-01-29 17:42:06 +00:00
|
|
|
TD.getIntPtrType(), (Type *)0);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memmove:
|
2007-12-17 01:12:55 +00:00
|
|
|
M.getOrInsertFunction("memmove", PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
PointerType::getUnqual(Type::Int8Ty),
|
2007-01-29 17:42:06 +00:00
|
|
|
TD.getIntPtrType(), (Type *)0);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memset:
|
2007-12-17 01:12:55 +00:00
|
|
|
M.getOrInsertFunction("memset", PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
PointerType::getUnqual(Type::Int8Ty),
|
|
|
|
Type::Int32Ty,
|
2007-01-29 17:42:06 +00:00
|
|
|
TD.getIntPtrType(), (Type *)0);
|
2004-05-09 04:29:57 +00:00
|
|
|
break;
|
2007-10-02 17:43:59 +00:00
|
|
|
case Intrinsic::sqrt:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "sqrtf", "sqrt", "sqrtl");
|
2005-04-30 04:07:50 +00:00
|
|
|
break;
|
2007-10-15 22:07:31 +00:00
|
|
|
case Intrinsic::sin:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "sinf", "sin", "sinl");
|
2007-10-15 22:07:31 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::cos:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "cosf", "cos", "cosl");
|
2007-10-15 22:07:31 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::pow:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "powf", "pow", "powl");
|
2007-10-15 22:07:31 +00:00
|
|
|
break;
|
2008-09-04 00:47:13 +00:00
|
|
|
case Intrinsic::log:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "logf", "log", "logl");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::log2:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "log2f", "log2", "log2l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::log10:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "log10f", "log10", "log10l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::exp:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "expf", "exp", "expl");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
case Intrinsic::exp2:
|
2008-09-22 19:51:58 +00:00
|
|
|
EnsureFPIntrinsicsExist(M, I, "exp2f", "exp2", "exp2l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
2004-05-09 04:29:57 +00:00
|
|
|
}
|
|
|
|
}
|
2004-02-15 22:16:39 +00:00
|
|
|
|
2006-01-16 07:57:00 +00:00
|
|
|
/// LowerBSWAP - Emit the code to lower bswap of V before the specified
|
|
|
|
/// instruction IP.
|
|
|
|
static Value *LowerBSWAP(Value *V, Instruction *IP) {
|
2007-01-15 02:27:26 +00:00
|
|
|
assert(V->getType()->isInteger() && "Can't bswap a non-integer type!");
|
2006-01-16 07:57:00 +00:00
|
|
|
|
|
|
|
unsigned BitSize = V->getType()->getPrimitiveSizeInBits();
|
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder(IP->getParent(), IP);
|
|
|
|
|
2006-01-16 07:57:00 +00:00
|
|
|
switch(BitSize) {
|
|
|
|
default: assert(0 && "Unhandled type size of value to byteswap!");
|
|
|
|
case 16: {
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Tmp1 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.2");
|
|
|
|
Value *Tmp2 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.1");
|
|
|
|
V = Builder.CreateOr(Tmp1, Tmp2, "bswap.i16");
|
2006-01-16 07:57:00 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 32: {
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Tmp4 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 24),
|
|
|
|
"bswap.4");
|
|
|
|
Value *Tmp3 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.3");
|
|
|
|
Value *Tmp2 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.2");
|
|
|
|
Value *Tmp1 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 24),
|
|
|
|
"bswap.1");
|
|
|
|
Tmp3 = Builder.CreateAnd(Tmp3, ConstantInt::get(Type::Int32Ty, 0xFF0000),
|
|
|
|
"bswap.and3");
|
|
|
|
Tmp2 = Builder.CreateAnd(Tmp2, ConstantInt::get(Type::Int32Ty, 0xFF00),
|
|
|
|
"bswap.and2");
|
|
|
|
Tmp4 = Builder.CreateOr(Tmp4, Tmp3, "bswap.or1");
|
|
|
|
Tmp2 = Builder.CreateOr(Tmp2, Tmp1, "bswap.or2");
|
|
|
|
V = Builder.CreateOr(Tmp4, Tmp2, "bswap.i32");
|
2006-01-16 07:57:00 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 64: {
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Tmp8 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 56),
|
|
|
|
"bswap.8");
|
|
|
|
Value *Tmp7 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 40),
|
|
|
|
"bswap.7");
|
|
|
|
Value *Tmp6 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 24),
|
|
|
|
"bswap.6");
|
|
|
|
Value *Tmp5 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.5");
|
|
|
|
Value* Tmp4 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8),
|
|
|
|
"bswap.4");
|
|
|
|
Value* Tmp3 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 24),
|
|
|
|
"bswap.3");
|
|
|
|
Value* Tmp2 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 40),
|
|
|
|
"bswap.2");
|
|
|
|
Value* Tmp1 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 56),
|
|
|
|
"bswap.1");
|
|
|
|
Tmp7 = Builder.CreateAnd(Tmp7,
|
|
|
|
ConstantInt::get(Type::Int64Ty,
|
|
|
|
0xFF000000000000ULL),
|
|
|
|
"bswap.and7");
|
|
|
|
Tmp6 = Builder.CreateAnd(Tmp6,
|
|
|
|
ConstantInt::get(Type::Int64Ty,
|
|
|
|
0xFF0000000000ULL),
|
|
|
|
"bswap.and6");
|
|
|
|
Tmp5 = Builder.CreateAnd(Tmp5,
|
2006-12-31 05:55:36 +00:00
|
|
|
ConstantInt::get(Type::Int64Ty, 0xFF00000000ULL),
|
2009-05-12 20:27:44 +00:00
|
|
|
"bswap.and5");
|
|
|
|
Tmp4 = Builder.CreateAnd(Tmp4,
|
2006-12-31 05:55:36 +00:00
|
|
|
ConstantInt::get(Type::Int64Ty, 0xFF000000ULL),
|
2009-05-12 20:27:44 +00:00
|
|
|
"bswap.and4");
|
|
|
|
Tmp3 = Builder.CreateAnd(Tmp3,
|
2006-12-31 05:55:36 +00:00
|
|
|
ConstantInt::get(Type::Int64Ty, 0xFF0000ULL),
|
2009-05-12 20:27:44 +00:00
|
|
|
"bswap.and3");
|
|
|
|
Tmp2 = Builder.CreateAnd(Tmp2,
|
2006-12-31 05:55:36 +00:00
|
|
|
ConstantInt::get(Type::Int64Ty, 0xFF00ULL),
|
2009-05-12 20:27:44 +00:00
|
|
|
"bswap.and2");
|
|
|
|
Tmp8 = Builder.CreateOr(Tmp8, Tmp7, "bswap.or1");
|
|
|
|
Tmp6 = Builder.CreateOr(Tmp6, Tmp5, "bswap.or2");
|
|
|
|
Tmp4 = Builder.CreateOr(Tmp4, Tmp3, "bswap.or3");
|
|
|
|
Tmp2 = Builder.CreateOr(Tmp2, Tmp1, "bswap.or4");
|
|
|
|
Tmp8 = Builder.CreateOr(Tmp8, Tmp6, "bswap.or5");
|
|
|
|
Tmp4 = Builder.CreateOr(Tmp4, Tmp2, "bswap.or6");
|
|
|
|
V = Builder.CreateOr(Tmp8, Tmp4, "bswap.i64");
|
2006-01-16 07:57:00 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return V;
|
|
|
|
}
|
|
|
|
|
2005-05-11 19:42:05 +00:00
|
|
|
/// LowerCTPOP - Emit the code to lower ctpop of V before the specified
|
2006-01-16 07:57:00 +00:00
|
|
|
/// instruction IP.
|
2005-05-11 19:42:05 +00:00
|
|
|
static Value *LowerCTPOP(Value *V, Instruction *IP) {
|
2007-01-15 02:27:26 +00:00
|
|
|
assert(V->getType()->isInteger() && "Can't ctpop a non-integer type!");
|
2005-05-11 19:42:05 +00:00
|
|
|
|
|
|
|
static const uint64_t MaskValues[6] = {
|
|
|
|
0x5555555555555555ULL, 0x3333333333333333ULL,
|
|
|
|
0x0F0F0F0F0F0F0F0FULL, 0x00FF00FF00FF00FFULL,
|
|
|
|
0x0000FFFF0000FFFFULL, 0x00000000FFFFFFFFULL
|
|
|
|
};
|
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder(IP->getParent(), IP);
|
|
|
|
|
2005-05-11 20:24:12 +00:00
|
|
|
unsigned BitSize = V->getType()->getPrimitiveSizeInBits();
|
2007-06-02 04:10:33 +00:00
|
|
|
unsigned WordSize = (BitSize + 63) / 64;
|
|
|
|
Value *Count = ConstantInt::get(V->getType(), 0);
|
2006-11-08 06:47:33 +00:00
|
|
|
|
2007-06-02 04:10:33 +00:00
|
|
|
for (unsigned n = 0; n < WordSize; ++n) {
|
|
|
|
Value *PartValue = V;
|
|
|
|
for (unsigned i = 1, ct = 0; i < (BitSize>64 ? 64 : BitSize);
|
|
|
|
i <<= 1, ++ct) {
|
|
|
|
Value *MaskCst = ConstantInt::get(V->getType(), MaskValues[ct]);
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *LHS = Builder.CreateAnd(PartValue, MaskCst, "cppop.and1");
|
|
|
|
Value *VShift = Builder.CreateLShr(PartValue,
|
|
|
|
ConstantInt::get(V->getType(), i),
|
|
|
|
"ctpop.sh");
|
|
|
|
Value *RHS = Builder.CreateAnd(VShift, MaskCst, "cppop.and2");
|
|
|
|
PartValue = Builder.CreateAdd(LHS, RHS, "ctpop.step");
|
2007-06-02 04:10:33 +00:00
|
|
|
}
|
2009-05-12 20:27:44 +00:00
|
|
|
Count = Builder.CreateAdd(PartValue, Count, "ctpop.part");
|
2007-06-02 04:10:33 +00:00
|
|
|
if (BitSize > 64) {
|
2009-05-12 20:27:44 +00:00
|
|
|
V = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 64),
|
|
|
|
"ctpop.part.sh");
|
2007-06-02 04:10:33 +00:00
|
|
|
BitSize -= 64;
|
|
|
|
}
|
2005-05-11 19:42:05 +00:00
|
|
|
}
|
|
|
|
|
2007-08-06 16:36:18 +00:00
|
|
|
return Count;
|
2005-05-11 19:42:05 +00:00
|
|
|
}
|
|
|
|
|
2005-05-11 20:24:12 +00:00
|
|
|
/// LowerCTLZ - Emit the code to lower ctlz of V before the specified
|
2006-01-16 07:57:00 +00:00
|
|
|
/// instruction IP.
|
2005-05-11 20:24:12 +00:00
|
|
|
static Value *LowerCTLZ(Value *V, Instruction *IP) {
|
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder(IP->getParent(), IP);
|
|
|
|
|
2005-05-11 20:24:12 +00:00
|
|
|
unsigned BitSize = V->getType()->getPrimitiveSizeInBits();
|
2007-06-02 04:10:33 +00:00
|
|
|
for (unsigned i = 1; i < BitSize; i <<= 1) {
|
2007-02-02 02:16:23 +00:00
|
|
|
Value *ShVal = ConstantInt::get(V->getType(), i);
|
2009-05-12 20:27:44 +00:00
|
|
|
ShVal = Builder.CreateLShr(V, ShVal, "ctlz.sh");
|
|
|
|
V = Builder.CreateOr(V, ShVal, "ctlz.step");
|
2005-05-11 20:24:12 +00:00
|
|
|
}
|
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
V = Builder.CreateNot(V);
|
2005-05-11 20:24:12 +00:00
|
|
|
return LowerCTPOP(V, IP);
|
|
|
|
}
|
|
|
|
|
2007-04-12 02:48:46 +00:00
|
|
|
/// Convert the llvm.part.select.iX.iY intrinsic. This intrinsic takes
|
|
|
|
/// three integer arguments. The first argument is the Value from which the
|
|
|
|
/// bits will be selected. It may be of any bit width. The second and third
|
|
|
|
/// arguments specify a range of bits to select with the second argument
|
|
|
|
/// specifying the low bit and the third argument specifying the high bit. Both
|
|
|
|
/// must be type i32. The result is the corresponding selected bits from the
|
|
|
|
/// Value in the same width as the Value (first argument). If the low bit index
|
|
|
|
/// is higher than the high bit index then the inverse selection is done and
|
|
|
|
/// the bits are returned in inverse order.
|
|
|
|
/// @brief Lowering of llvm.part.select intrinsic.
|
|
|
|
static Instruction *LowerPartSelect(CallInst *CI) {
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder;
|
|
|
|
|
2007-04-04 23:48:25 +00:00
|
|
|
// Make sure we're dealing with a part select intrinsic here
|
|
|
|
Function *F = CI->getCalledFunction();
|
|
|
|
const FunctionType *FT = F->getFunctionType();
|
|
|
|
if (!F->isDeclaration() || !FT->getReturnType()->isInteger() ||
|
|
|
|
FT->getNumParams() != 3 || !FT->getParamType(0)->isInteger() ||
|
|
|
|
!FT->getParamType(1)->isInteger() || !FT->getParamType(2)->isInteger())
|
|
|
|
return CI;
|
|
|
|
|
|
|
|
// Get the intrinsic implementation function by converting all the . to _
|
|
|
|
// in the intrinsic's function name and then reconstructing the function
|
|
|
|
// declaration.
|
|
|
|
std::string Name(F->getName());
|
|
|
|
for (unsigned i = 4; i < Name.length(); ++i)
|
|
|
|
if (Name[i] == '.')
|
|
|
|
Name[i] = '_';
|
|
|
|
Module* M = F->getParent();
|
|
|
|
F = cast<Function>(M->getOrInsertFunction(Name, FT));
|
Introduce new linkage types linkonce_odr, weak_odr, common_odr
and extern_weak_odr. These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global. In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time. This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function. If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body. The
code generators on the other hand map weak and weak_odr linkage
to the same thing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66339 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-07 15:45:40 +00:00
|
|
|
F->setLinkage(GlobalValue::WeakAnyLinkage);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// If we haven't defined the impl function yet, do so now
|
|
|
|
if (F->isDeclaration()) {
|
|
|
|
|
|
|
|
// Get the arguments to the function
|
2007-04-12 13:30:14 +00:00
|
|
|
Function::arg_iterator args = F->arg_begin();
|
|
|
|
Value* Val = args++; Val->setName("Val");
|
|
|
|
Value* Lo = args++; Lo->setName("Lo");
|
2008-04-06 20:25:17 +00:00
|
|
|
Value* Hi = args++; Hi->setName("High");
|
2007-04-04 23:48:25 +00:00
|
|
|
|
2007-04-12 13:30:14 +00:00
|
|
|
// We want to select a range of bits here such that [Hi, Lo] is shifted
|
|
|
|
// down to the low bits. However, it is quite possible that Hi is smaller
|
|
|
|
// than Lo in which case the bits have to be reversed.
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Create the blocks we will need for the two cases (forward, reverse)
|
2008-04-06 20:25:17 +00:00
|
|
|
BasicBlock* CurBB = BasicBlock::Create("entry", F);
|
|
|
|
BasicBlock *RevSize = BasicBlock::Create("revsize", CurBB->getParent());
|
|
|
|
BasicBlock *FwdSize = BasicBlock::Create("fwdsize", CurBB->getParent());
|
|
|
|
BasicBlock *Compute = BasicBlock::Create("compute", CurBB->getParent());
|
|
|
|
BasicBlock *Reverse = BasicBlock::Create("reverse", CurBB->getParent());
|
|
|
|
BasicBlock *RsltBlk = BasicBlock::Create("result", CurBB->getParent());
|
2007-04-04 23:48:25 +00:00
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(CurBB);
|
|
|
|
|
2007-04-12 13:30:14 +00:00
|
|
|
// Cast Hi and Lo to the size of Val so the widths are all the same
|
|
|
|
if (Hi->getType() != Val->getType())
|
2009-05-12 20:27:44 +00:00
|
|
|
Hi = Builder.CreateIntCast(Hi, Val->getType(), /* isSigned */ false,
|
|
|
|
"tmp");
|
2007-04-12 13:30:14 +00:00
|
|
|
if (Lo->getType() != Val->getType())
|
2009-05-12 20:27:44 +00:00
|
|
|
Lo = Builder.CreateIntCast(Lo, Val->getType(), /* isSigned */ false,
|
|
|
|
"tmp");
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Compute a few things that both cases will need, up front.
|
|
|
|
Constant* Zero = ConstantInt::get(Val->getType(), 0);
|
|
|
|
Constant* One = ConstantInt::get(Val->getType(), 1);
|
|
|
|
Constant* AllOnes = ConstantInt::getAllOnesValue(Val->getType());
|
|
|
|
|
2007-04-12 13:30:14 +00:00
|
|
|
// Compare the Hi and Lo bit positions. This is used to determine
|
2007-04-04 23:48:25 +00:00
|
|
|
// which case we have (forward or reverse)
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Cmp = Builder.CreateICmpULT(Hi, Lo, "less");
|
|
|
|
Builder.CreateCondBr(Cmp, RevSize, FwdSize);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
2009-05-12 20:27:44 +00:00
|
|
|
// First, compute the number of bits in the forward case.
|
|
|
|
Builder.SetInsertPoint(FwdSize);
|
|
|
|
Value* FBitSize = Builder.CreateSub(Hi, Lo, "fbits");
|
|
|
|
Builder.CreateBr(Compute);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Second, compute the number of bits in the reverse case.
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(RevSize);
|
|
|
|
Value* RBitSize = Builder.CreateSub(Lo, Hi, "rbits");
|
|
|
|
Builder.CreateBr(Compute);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Now, compute the bit range. Start by getting the bitsize and the shift
|
2007-04-12 13:30:14 +00:00
|
|
|
// amount (either Hi or Lo) from PHI nodes. Then we compute a mask for
|
2007-04-04 23:48:25 +00:00
|
|
|
// the number of bits we want in the range. We shift the bits down to the
|
|
|
|
// least significant bits, apply the mask to zero out unwanted high bits,
|
|
|
|
// and we have computed the "forward" result. It may still need to be
|
|
|
|
// reversed.
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(Compute);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Get the BitSize from one of the two subtractions
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *BitSize = Builder.CreatePHI(Val->getType(), "bits");
|
2007-04-04 23:48:25 +00:00
|
|
|
BitSize->reserveOperandSpace(2);
|
|
|
|
BitSize->addIncoming(FBitSize, FwdSize);
|
|
|
|
BitSize->addIncoming(RBitSize, RevSize);
|
|
|
|
|
2007-04-12 13:30:14 +00:00
|
|
|
// Get the ShiftAmount as the smaller of Hi/Lo
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *ShiftAmt = Builder.CreatePHI(Val->getType(), "shiftamt");
|
2007-04-04 23:48:25 +00:00
|
|
|
ShiftAmt->reserveOperandSpace(2);
|
2007-04-12 13:30:14 +00:00
|
|
|
ShiftAmt->addIncoming(Lo, FwdSize);
|
|
|
|
ShiftAmt->addIncoming(Hi, RevSize);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Increment the bit size
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *BitSizePlusOne = Builder.CreateAdd(BitSize, One, "bits");
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Create a Mask to zero out the high order bits.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* Mask = Builder.CreateShl(AllOnes, BitSizePlusOne, "mask");
|
|
|
|
Mask = Builder.CreateNot(Mask, "mask");
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Shift the bits down and apply the mask
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* FRes = Builder.CreateLShr(Val, ShiftAmt, "fres");
|
|
|
|
FRes = Builder.CreateAnd(FRes, Mask, "fres");
|
|
|
|
Builder.CreateCondBr(Cmp, Reverse, RsltBlk);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// In the Reverse block we have the mask already in FRes but we must reverse
|
|
|
|
// it by shifting FRes bits right and putting them in RRes by shifting them
|
|
|
|
// in from left.
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(Reverse);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// First set up our loop counters
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *Count = Builder.CreatePHI(Val->getType(), "count");
|
2007-04-04 23:48:25 +00:00
|
|
|
Count->reserveOperandSpace(2);
|
|
|
|
Count->addIncoming(BitSizePlusOne, Compute);
|
|
|
|
|
|
|
|
// Next, get the value that we are shifting.
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *BitsToShift = Builder.CreatePHI(Val->getType(), "val");
|
2007-04-04 23:48:25 +00:00
|
|
|
BitsToShift->reserveOperandSpace(2);
|
|
|
|
BitsToShift->addIncoming(FRes, Compute);
|
|
|
|
|
|
|
|
// Finally, get the result of the last computation
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *RRes = Builder.CreatePHI(Val->getType(), "rres");
|
2007-04-04 23:48:25 +00:00
|
|
|
RRes->reserveOperandSpace(2);
|
|
|
|
RRes->addIncoming(Zero, Compute);
|
|
|
|
|
|
|
|
// Decrement the counter
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Decr = Builder.CreateSub(Count, One, "decr");
|
2007-04-04 23:48:25 +00:00
|
|
|
Count->addIncoming(Decr, Reverse);
|
|
|
|
|
|
|
|
// Compute the Bit that we want to move
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Bit = Builder.CreateAnd(BitsToShift, One, "bit");
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Compute the new value for next iteration.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *NewVal = Builder.CreateLShr(BitsToShift, One, "rshift");
|
2007-04-04 23:48:25 +00:00
|
|
|
BitsToShift->addIncoming(NewVal, Reverse);
|
|
|
|
|
|
|
|
// Shift the bit into the low bits of the result.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *NewRes = Builder.CreateShl(RRes, One, "lshift");
|
|
|
|
NewRes = Builder.CreateOr(NewRes, Bit, "addbit");
|
2007-04-04 23:48:25 +00:00
|
|
|
RRes->addIncoming(NewRes, Reverse);
|
|
|
|
|
|
|
|
// Terminate loop if we've moved all the bits.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Cond = Builder.CreateICmpEQ(Decr, Zero, "cond");
|
|
|
|
Builder.CreateCondBr(Cond, RsltBlk, Reverse);
|
2007-04-04 23:48:25 +00:00
|
|
|
|
|
|
|
// Finally, in the result block, select one of the two results with a PHI
|
|
|
|
// node and return the result;
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(RsltBlk);
|
|
|
|
PHINode *BitSelect = Builder.CreatePHI(Val->getType(), "part_select");
|
2007-04-04 23:48:25 +00:00
|
|
|
BitSelect->reserveOperandSpace(2);
|
|
|
|
BitSelect->addIncoming(FRes, Compute);
|
|
|
|
BitSelect->addIncoming(NewRes, Reverse);
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.CreateRet(BitSelect);
|
2007-04-04 23:48:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Return a call to the implementation function
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(CI->getParent(), CI);
|
|
|
|
CallInst *NewCI = Builder.CreateCall3(F, CI->getOperand(1),
|
|
|
|
CI->getOperand(2), CI->getOperand(3));
|
|
|
|
NewCI->setName(CI->getName());
|
|
|
|
return NewCI;
|
2007-04-04 23:48:25 +00:00
|
|
|
}
|
|
|
|
|
2007-04-12 02:48:46 +00:00
|
|
|
/// Convert the llvm.part.set.iX.iY.iZ intrinsic. This intrinsic takes
|
|
|
|
/// four integer arguments (iAny %Value, iAny %Replacement, i32 %Low, i32 %High)
|
|
|
|
/// The first two arguments can be any bit width. The result is the same width
|
|
|
|
/// as %Value. The operation replaces bits between %Low and %High with the value
|
|
|
|
/// in %Replacement. If %Replacement is not the same width, it is truncated or
|
|
|
|
/// zero extended as appropriate to fit the bits being replaced. If %Low is
|
|
|
|
/// greater than %High then the inverse set of bits are replaced.
|
|
|
|
/// @brief Lowering of llvm.bit.part.set intrinsic.
|
|
|
|
static Instruction *LowerPartSet(CallInst *CI) {
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder;
|
|
|
|
|
2007-04-12 02:48:46 +00:00
|
|
|
// Make sure we're dealing with a part select intrinsic here
|
|
|
|
Function *F = CI->getCalledFunction();
|
|
|
|
const FunctionType *FT = F->getFunctionType();
|
|
|
|
if (!F->isDeclaration() || !FT->getReturnType()->isInteger() ||
|
|
|
|
FT->getNumParams() != 4 || !FT->getParamType(0)->isInteger() ||
|
|
|
|
!FT->getParamType(1)->isInteger() || !FT->getParamType(2)->isInteger() ||
|
|
|
|
!FT->getParamType(3)->isInteger())
|
|
|
|
return CI;
|
|
|
|
|
|
|
|
// Get the intrinsic implementation function by converting all the . to _
|
|
|
|
// in the intrinsic's function name and then reconstructing the function
|
|
|
|
// declaration.
|
|
|
|
std::string Name(F->getName());
|
|
|
|
for (unsigned i = 4; i < Name.length(); ++i)
|
|
|
|
if (Name[i] == '.')
|
|
|
|
Name[i] = '_';
|
|
|
|
Module* M = F->getParent();
|
|
|
|
F = cast<Function>(M->getOrInsertFunction(Name, FT));
|
Introduce new linkage types linkonce_odr, weak_odr, common_odr
and extern_weak_odr. These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global. In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time. This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function. If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body. The
code generators on the other hand map weak and weak_odr linkage
to the same thing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66339 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-07 15:45:40 +00:00
|
|
|
F->setLinkage(GlobalValue::WeakAnyLinkage);
|
2007-04-12 02:48:46 +00:00
|
|
|
|
|
|
|
// If we haven't defined the impl function yet, do so now
|
|
|
|
if (F->isDeclaration()) {
|
|
|
|
// Get the arguments for the function.
|
|
|
|
Function::arg_iterator args = F->arg_begin();
|
|
|
|
Value* Val = args++; Val->setName("Val");
|
|
|
|
Value* Rep = args++; Rep->setName("Rep");
|
|
|
|
Value* Lo = args++; Lo->setName("Lo");
|
|
|
|
Value* Hi = args++; Hi->setName("Hi");
|
|
|
|
|
|
|
|
// Get some types we need
|
|
|
|
const IntegerType* ValTy = cast<IntegerType>(Val->getType());
|
|
|
|
const IntegerType* RepTy = cast<IntegerType>(Rep->getType());
|
|
|
|
uint32_t RepBits = RepTy->getBitWidth();
|
|
|
|
|
|
|
|
// Constant Definitions
|
|
|
|
ConstantInt* RepBitWidth = ConstantInt::get(Type::Int32Ty, RepBits);
|
|
|
|
ConstantInt* RepMask = ConstantInt::getAllOnesValue(RepTy);
|
|
|
|
ConstantInt* ValMask = ConstantInt::getAllOnesValue(ValTy);
|
2007-05-15 02:26:52 +00:00
|
|
|
ConstantInt* One = ConstantInt::get(Type::Int32Ty, 1);
|
|
|
|
ConstantInt* ValOne = ConstantInt::get(ValTy, 1);
|
|
|
|
ConstantInt* Zero = ConstantInt::get(Type::Int32Ty, 0);
|
|
|
|
ConstantInt* ValZero = ConstantInt::get(ValTy, 0);
|
|
|
|
|
|
|
|
// Basic blocks we fill in below.
|
2008-04-06 20:25:17 +00:00
|
|
|
BasicBlock* entry = BasicBlock::Create("entry", F, 0);
|
|
|
|
BasicBlock* large = BasicBlock::Create("large", F, 0);
|
|
|
|
BasicBlock* small = BasicBlock::Create("small", F, 0);
|
|
|
|
BasicBlock* reverse = BasicBlock::Create("reverse", F, 0);
|
|
|
|
BasicBlock* result = BasicBlock::Create("result", F, 0);
|
2007-05-15 02:26:52 +00:00
|
|
|
|
|
|
|
// BASIC BLOCK: entry
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(entry);
|
2007-04-12 13:30:14 +00:00
|
|
|
// First, get the number of bits that we're placing as an i32
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* is_forward = Builder.CreateICmpULT(Lo, Hi);
|
|
|
|
Value* Hi_pn = Builder.CreateSelect(is_forward, Hi, Lo);
|
|
|
|
Value* Lo_pn = Builder.CreateSelect(is_forward, Lo, Hi);
|
|
|
|
Value* NumBits = Builder.CreateSub(Hi_pn, Lo_pn);
|
|
|
|
NumBits = Builder.CreateAdd(NumBits, One);
|
2007-04-12 13:30:14 +00:00
|
|
|
// Now, convert Lo and Hi to ValTy bit width
|
2009-05-12 20:27:44 +00:00
|
|
|
Lo = Builder.CreateIntCast(Lo_pn, ValTy, /* isSigned */ false);
|
2007-04-12 13:30:14 +00:00
|
|
|
// Determine if the replacement bits are larger than the number of bits we
|
|
|
|
// are replacing and deal with it.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* is_large = Builder.CreateICmpULT(NumBits, RepBitWidth);
|
|
|
|
Builder.CreateCondBr(is_large, large, small);
|
2007-04-12 02:48:46 +00:00
|
|
|
|
2007-05-15 02:26:52 +00:00
|
|
|
// BASIC BLOCK: large
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(large);
|
|
|
|
Value* MaskBits = Builder.CreateSub(RepBitWidth, NumBits);
|
|
|
|
MaskBits = Builder.CreateIntCast(MaskBits, RepMask->getType(),
|
|
|
|
/* isSigned */ false);
|
|
|
|
Value* Mask1 = Builder.CreateLShr(RepMask, MaskBits);
|
|
|
|
Value* Rep2 = Builder.CreateAnd(Mask1, Rep);
|
|
|
|
Builder.CreateBr(small);
|
2007-04-12 02:48:46 +00:00
|
|
|
|
2007-05-15 02:26:52 +00:00
|
|
|
// BASIC BLOCK: small
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(small);
|
|
|
|
PHINode* Rep3 = Builder.CreatePHI(RepTy);
|
2007-04-12 02:48:46 +00:00
|
|
|
Rep3->reserveOperandSpace(2);
|
2007-04-12 13:30:14 +00:00
|
|
|
Rep3->addIncoming(Rep2, large);
|
2007-04-12 02:48:46 +00:00
|
|
|
Rep3->addIncoming(Rep, entry);
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* Rep4 = Builder.CreateIntCast(Rep3, ValTy, /* isSigned */ false);
|
|
|
|
Builder.CreateCondBr(is_forward, result, reverse);
|
2007-05-15 02:26:52 +00:00
|
|
|
|
|
|
|
// BASIC BLOCK: reverse (reverses the bits of the replacement)
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(reverse);
|
2007-05-15 02:26:52 +00:00
|
|
|
// Set up our loop counter as a PHI so we can decrement on each iteration.
|
|
|
|
// We will loop for the number of bits in the replacement value.
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *Count = Builder.CreatePHI(Type::Int32Ty, "count");
|
2007-05-15 02:26:52 +00:00
|
|
|
Count->reserveOperandSpace(2);
|
|
|
|
Count->addIncoming(NumBits, small);
|
|
|
|
|
|
|
|
// Get the value that we are shifting bits out of as a PHI because
|
|
|
|
// we'll change this with each iteration.
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *BitsToShift = Builder.CreatePHI(Val->getType(), "val");
|
2007-05-15 02:26:52 +00:00
|
|
|
BitsToShift->reserveOperandSpace(2);
|
|
|
|
BitsToShift->addIncoming(Rep4, small);
|
|
|
|
|
|
|
|
// Get the result of the last computation or zero on first iteration
|
2009-05-12 20:27:44 +00:00
|
|
|
PHINode *RRes = Builder.CreatePHI(Val->getType(), "rres");
|
2007-05-15 02:26:52 +00:00
|
|
|
RRes->reserveOperandSpace(2);
|
|
|
|
RRes->addIncoming(ValZero, small);
|
|
|
|
|
|
|
|
// Decrement the loop counter by one
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Decr = Builder.CreateSub(Count, One);
|
2007-05-15 02:26:52 +00:00
|
|
|
Count->addIncoming(Decr, reverse);
|
|
|
|
|
|
|
|
// Get the bit that we want to move into the result
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Bit = Builder.CreateAnd(BitsToShift, ValOne);
|
2007-05-15 02:26:52 +00:00
|
|
|
|
|
|
|
// Compute the new value of the bits to shift for the next iteration.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *NewVal = Builder.CreateLShr(BitsToShift, ValOne);
|
2007-05-15 02:26:52 +00:00
|
|
|
BitsToShift->addIncoming(NewVal, reverse);
|
|
|
|
|
|
|
|
// Shift the bit we extracted into the low bit of the result.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *NewRes = Builder.CreateShl(RRes, ValOne);
|
|
|
|
NewRes = Builder.CreateOr(NewRes, Bit);
|
2007-05-15 02:26:52 +00:00
|
|
|
RRes->addIncoming(NewRes, reverse);
|
|
|
|
|
|
|
|
// Terminate loop if we've moved all the bits.
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Cond = Builder.CreateICmpEQ(Decr, Zero);
|
|
|
|
Builder.CreateCondBr(Cond, result, reverse);
|
2007-05-15 02:26:52 +00:00
|
|
|
|
|
|
|
// BASIC BLOCK: result
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(result);
|
|
|
|
PHINode *Rplcmnt = Builder.CreatePHI(Val->getType());
|
2007-05-15 02:26:52 +00:00
|
|
|
Rplcmnt->reserveOperandSpace(2);
|
|
|
|
Rplcmnt->addIncoming(NewRes, reverse);
|
|
|
|
Rplcmnt->addIncoming(Rep4, small);
|
2009-05-12 20:27:44 +00:00
|
|
|
Value* t0 = Builder.CreateIntCast(NumBits, ValTy, /* isSigned */ false);
|
|
|
|
Value* t1 = Builder.CreateShl(ValMask, Lo);
|
|
|
|
Value* t2 = Builder.CreateNot(t1);
|
|
|
|
Value* t3 = Builder.CreateShl(t1, t0);
|
|
|
|
Value* t4 = Builder.CreateOr(t2, t3);
|
|
|
|
Value* t5 = Builder.CreateAnd(t4, Val);
|
|
|
|
Value* t6 = Builder.CreateShl(Rplcmnt, Lo);
|
|
|
|
Value* Rslt = Builder.CreateOr(t5, t6, "part_set");
|
|
|
|
Builder.CreateRet(Rslt);
|
2007-04-12 02:48:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Return a call to the implementation function
|
2009-05-12 20:27:44 +00:00
|
|
|
Builder.SetInsertPoint(CI->getParent(), CI);
|
|
|
|
CallInst *NewCI = Builder.CreateCall4(F, CI->getOperand(1),
|
|
|
|
CI->getOperand(2), CI->getOperand(3),
|
|
|
|
CI->getOperand(4));
|
|
|
|
NewCI->setName(CI->getName());
|
|
|
|
return NewCI;
|
2007-04-12 02:48:46 +00:00
|
|
|
}
|
|
|
|
|
2009-06-26 20:33:47 +00:00
|
|
|
static void ReplaceFPIntrinsicWithCall(CallInst *CI, const char *Fname,
|
|
|
|
const char *Dname,
|
2008-09-22 20:51:30 +00:00
|
|
|
const char *LDname) {
|
|
|
|
switch (CI->getOperand(1)->getType()->getTypeID()) {
|
|
|
|
default: assert(0 && "Invalid type in intrinsic"); abort();
|
|
|
|
case Type::FloatTyID:
|
2009-05-12 20:27:44 +00:00
|
|
|
ReplaceCallWith(Fname, CI, CI->op_begin() + 1, CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
Type::FloatTy);
|
2008-09-22 20:51:30 +00:00
|
|
|
break;
|
|
|
|
case Type::DoubleTyID:
|
2009-05-12 20:27:44 +00:00
|
|
|
ReplaceCallWith(Dname, CI, CI->op_begin() + 1, CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
Type::DoubleTy);
|
2008-09-22 20:51:30 +00:00
|
|
|
break;
|
|
|
|
case Type::X86_FP80TyID:
|
|
|
|
case Type::FP128TyID:
|
|
|
|
case Type::PPC_FP128TyID:
|
2009-05-12 20:27:44 +00:00
|
|
|
ReplaceCallWith(LDname, CI, CI->op_begin() + 1, CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
CI->getOperand(1)->getType());
|
2008-09-22 20:51:30 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2007-04-04 23:48:25 +00:00
|
|
|
|
2006-11-15 18:00:10 +00:00
|
|
|
void IntrinsicLowering::LowerIntrinsicCall(CallInst *CI) {
|
2009-05-12 20:27:44 +00:00
|
|
|
IRBuilder<> Builder(CI->getParent(), CI);
|
|
|
|
|
2003-12-28 08:19:41 +00:00
|
|
|
Function *Callee = CI->getCalledFunction();
|
|
|
|
assert(Callee && "Cannot lower an indirect call!");
|
2005-04-21 22:36:52 +00:00
|
|
|
|
2003-12-28 08:19:41 +00:00
|
|
|
switch (Callee->getIntrinsicID()) {
|
|
|
|
case Intrinsic::not_intrinsic:
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "Cannot lower a call to a non-intrinsic function '"
|
|
|
|
<< Callee->getName() << "'!\n";
|
2003-12-28 08:19:41 +00:00
|
|
|
abort();
|
|
|
|
default:
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "Error: Code generator does not support intrinsic function '"
|
|
|
|
<< Callee->getName() << "'!\n";
|
2003-12-28 08:19:41 +00:00
|
|
|
abort();
|
|
|
|
|
2004-02-15 22:16:39 +00:00
|
|
|
// The setjmp/longjmp intrinsics should only exist in the code if it was
|
|
|
|
// never optimized (ie, right out of the CFE), or if it has been hacked on
|
|
|
|
// by the lowerinvoke pass. In both cases, the right thing to do is to
|
|
|
|
// convert the call to an explicit setjmp or longjmp call.
|
2004-02-15 22:24:51 +00:00
|
|
|
case Intrinsic::setjmp: {
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *V = ReplaceCallWith("setjmp", CI, CI->op_begin() + 1, CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
Type::Int32Ty);
|
2003-12-28 08:19:41 +00:00
|
|
|
if (CI->getType() != Type::VoidTy)
|
2004-02-15 22:24:51 +00:00
|
|
|
CI->replaceAllUsesWith(V);
|
2003-12-28 08:19:41 +00:00
|
|
|
break;
|
2004-02-15 22:24:51 +00:00
|
|
|
}
|
2005-04-21 22:36:52 +00:00
|
|
|
case Intrinsic::sigsetjmp:
|
2004-02-15 22:24:51 +00:00
|
|
|
if (CI->getType() != Type::VoidTy)
|
|
|
|
CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
|
|
|
|
break;
|
2003-12-28 08:19:41 +00:00
|
|
|
|
2004-06-05 01:05:19 +00:00
|
|
|
case Intrinsic::longjmp: {
|
2009-05-12 20:27:44 +00:00
|
|
|
ReplaceCallWith("longjmp", CI, CI->op_begin() + 1, CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
Type::VoidTy);
|
2004-02-15 22:24:51 +00:00
|
|
|
break;
|
2004-06-05 01:05:19 +00:00
|
|
|
}
|
2004-02-15 22:24:51 +00:00
|
|
|
|
2004-06-05 01:05:19 +00:00
|
|
|
case Intrinsic::siglongjmp: {
|
2003-12-28 08:19:41 +00:00
|
|
|
// Insert the call to abort
|
2006-11-27 01:05:10 +00:00
|
|
|
ReplaceCallWith("abort", CI, CI->op_end(), CI->op_end(),
|
2009-06-26 20:33:47 +00:00
|
|
|
Type::VoidTy);
|
2003-12-28 08:19:41 +00:00
|
|
|
break;
|
2004-06-05 01:05:19 +00:00
|
|
|
}
|
2007-04-01 07:35:23 +00:00
|
|
|
case Intrinsic::ctpop:
|
For PR411:
This patch is an incremental step towards supporting a flat symbol table.
It de-overloads the intrinsic functions by providing type-specific intrinsics
and arranging for automatically upgrading from the old overloaded name to
the new non-overloaded name. Specifically:
llvm.isunordered -> llvm.isunordered.f32, llvm.isunordered.f64
llvm.sqrt -> llvm.sqrt.f32, llvm.sqrt.f64
llvm.ctpop -> llvm.ctpop.i8, llvm.ctpop.i16, llvm.ctpop.i32, llvm.ctpop.i64
llvm.ctlz -> llvm.ctlz.i8, llvm.ctlz.i16, llvm.ctlz.i32, llvm.ctlz.i64
llvm.cttz -> llvm.cttz.i8, llvm.cttz.i16, llvm.cttz.i32, llvm.cttz.i64
New code should not use the overloaded intrinsic names. Warnings will be
emitted if they are used.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@25366 91177308-0d34-0410-b5e6-96231b3b80d8
2006-01-16 21:12:35 +00:00
|
|
|
CI->replaceAllUsesWith(LowerCTPOP(CI->getOperand(1), CI));
|
|
|
|
break;
|
|
|
|
|
2007-04-01 07:35:23 +00:00
|
|
|
case Intrinsic::bswap:
|
2006-01-16 07:57:00 +00:00
|
|
|
CI->replaceAllUsesWith(LowerBSWAP(CI->getOperand(1), CI));
|
|
|
|
break;
|
|
|
|
|
2007-04-01 07:35:23 +00:00
|
|
|
case Intrinsic::ctlz:
|
2005-05-11 20:24:12 +00:00
|
|
|
CI->replaceAllUsesWith(LowerCTLZ(CI->getOperand(1), CI));
|
2005-05-03 17:19:30 +00:00
|
|
|
break;
|
2006-01-16 07:57:00 +00:00
|
|
|
|
2007-04-01 07:35:23 +00:00
|
|
|
case Intrinsic::cttz: {
|
2005-05-11 20:02:14 +00:00
|
|
|
// cttz(x) -> ctpop(~X & (X-1))
|
2005-05-03 17:19:30 +00:00
|
|
|
Value *Src = CI->getOperand(1);
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *NotSrc = Builder.CreateNot(Src);
|
|
|
|
NotSrc->setName(Src->getName() + ".not");
|
2008-04-06 20:25:17 +00:00
|
|
|
Value *SrcM1 = ConstantInt::get(Src->getType(), 1);
|
2009-05-12 20:27:44 +00:00
|
|
|
SrcM1 = Builder.CreateSub(Src, SrcM1);
|
|
|
|
Src = LowerCTPOP(Builder.CreateAnd(NotSrc, SrcM1), CI);
|
2005-05-03 17:19:30 +00:00
|
|
|
CI->replaceAllUsesWith(Src);
|
|
|
|
break;
|
|
|
|
}
|
2004-01-05 05:36:30 +00:00
|
|
|
|
2007-04-10 03:20:39 +00:00
|
|
|
case Intrinsic::part_select:
|
2007-04-12 02:48:46 +00:00
|
|
|
CI->replaceAllUsesWith(LowerPartSelect(CI));
|
|
|
|
break;
|
|
|
|
|
|
|
|
case Intrinsic::part_set:
|
|
|
|
CI->replaceAllUsesWith(LowerPartSet(CI));
|
2007-04-04 23:48:25 +00:00
|
|
|
break;
|
|
|
|
|
2006-01-13 02:22:08 +00:00
|
|
|
case Intrinsic::stacksave:
|
|
|
|
case Intrinsic::stackrestore: {
|
|
|
|
if (!Warned)
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "WARNING: this target does not support the llvm.stack"
|
|
|
|
<< (Callee->getIntrinsicID() == Intrinsic::stacksave ?
|
|
|
|
"save" : "restore") << " intrinsic.\n";
|
2006-01-13 02:22:08 +00:00
|
|
|
Warned = true;
|
|
|
|
if (Callee->getIntrinsicID() == Intrinsic::stacksave)
|
|
|
|
CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2004-02-14 02:47:17 +00:00
|
|
|
case Intrinsic::returnaddress:
|
|
|
|
case Intrinsic::frameaddress:
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "WARNING: this target does not support the llvm."
|
|
|
|
<< (Callee->getIntrinsicID() == Intrinsic::returnaddress ?
|
|
|
|
"return" : "frame") << "address intrinsic.\n";
|
2004-02-14 02:47:17 +00:00
|
|
|
CI->replaceAllUsesWith(ConstantPointerNull::get(
|
|
|
|
cast<PointerType>(CI->getType())));
|
|
|
|
break;
|
|
|
|
|
2005-02-28 19:27:23 +00:00
|
|
|
case Intrinsic::prefetch:
|
|
|
|
break; // Simply strip out prefetches on unsupported architectures
|
|
|
|
|
2005-03-28 20:05:49 +00:00
|
|
|
case Intrinsic::pcmarker:
|
|
|
|
break; // Simply strip out pcmarker on unsupported architectures
|
2005-11-11 16:47:30 +00:00
|
|
|
case Intrinsic::readcyclecounter: {
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "WARNING: this target does not support the llvm.readcyclecoun"
|
|
|
|
<< "ter intrinsic. It is being lowered to a constant 0\n";
|
2006-12-31 05:55:36 +00:00
|
|
|
CI->replaceAllUsesWith(ConstantInt::get(Type::Int64Ty, 0));
|
2005-11-11 16:47:30 +00:00
|
|
|
break;
|
|
|
|
}
|
2005-03-28 20:05:49 +00:00
|
|
|
|
2004-01-05 05:36:30 +00:00
|
|
|
case Intrinsic::dbg_stoppoint:
|
|
|
|
case Intrinsic::dbg_region_start:
|
|
|
|
case Intrinsic::dbg_region_end:
|
|
|
|
case Intrinsic::dbg_func_start:
|
2006-03-23 18:06:46 +00:00
|
|
|
case Intrinsic::dbg_declare:
|
2007-07-06 14:46:23 +00:00
|
|
|
break; // Simply strip out debugging intrinsics
|
|
|
|
|
2007-02-21 22:53:45 +00:00
|
|
|
case Intrinsic::eh_exception:
|
2007-09-07 11:39:35 +00:00
|
|
|
case Intrinsic::eh_selector_i32:
|
|
|
|
case Intrinsic::eh_selector_i64:
|
2007-07-06 14:46:23 +00:00
|
|
|
CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
|
|
|
|
break;
|
|
|
|
|
2007-09-07 11:39:35 +00:00
|
|
|
case Intrinsic::eh_typeid_for_i32:
|
|
|
|
case Intrinsic::eh_typeid_for_i64:
|
2007-07-06 14:46:23 +00:00
|
|
|
// Return something different to eh_selector.
|
|
|
|
CI->replaceAllUsesWith(ConstantInt::get(CI->getType(), 1));
|
|
|
|
break;
|
2004-02-12 17:01:09 +00:00
|
|
|
|
2007-06-15 22:26:58 +00:00
|
|
|
case Intrinsic::var_annotation:
|
|
|
|
break; // Strip out annotate intrinsic
|
|
|
|
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memcpy: {
|
2009-05-11 11:32:25 +00:00
|
|
|
const IntegerType *IntPtr = TD.getIntPtrType();
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Size = Builder.CreateIntCast(CI->getOperand(3), IntPtr,
|
|
|
|
/* isSigned */ false);
|
2007-02-06 19:06:38 +00:00
|
|
|
Value *Ops[3];
|
|
|
|
Ops[0] = CI->getOperand(1);
|
|
|
|
Ops[1] = CI->getOperand(2);
|
|
|
|
Ops[2] = Size;
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceCallWith("memcpy", CI, Ops, Ops+3, CI->getOperand(1)->getType());
|
2004-02-12 17:01:09 +00:00
|
|
|
break;
|
2004-06-05 01:05:19 +00:00
|
|
|
}
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memmove: {
|
2009-05-11 11:32:25 +00:00
|
|
|
const IntegerType *IntPtr = TD.getIntPtrType();
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Size = Builder.CreateIntCast(CI->getOperand(3), IntPtr,
|
|
|
|
/* isSigned */ false);
|
2007-02-06 19:06:38 +00:00
|
|
|
Value *Ops[3];
|
|
|
|
Ops[0] = CI->getOperand(1);
|
|
|
|
Ops[1] = CI->getOperand(2);
|
|
|
|
Ops[2] = Size;
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceCallWith("memmove", CI, Ops, Ops+3, CI->getOperand(1)->getType());
|
2007-02-06 19:06:38 +00:00
|
|
|
break;
|
2006-11-27 01:05:10 +00:00
|
|
|
}
|
2008-11-21 16:42:48 +00:00
|
|
|
case Intrinsic::memset: {
|
2009-05-11 11:32:25 +00:00
|
|
|
const IntegerType *IntPtr = TD.getIntPtrType();
|
2009-05-12 20:27:44 +00:00
|
|
|
Value *Size = Builder.CreateIntCast(CI->getOperand(3), IntPtr,
|
|
|
|
/* isSigned */ false);
|
2007-02-06 19:06:38 +00:00
|
|
|
Value *Ops[3];
|
|
|
|
Ops[0] = CI->getOperand(1);
|
|
|
|
// Extend the amount to i32.
|
2009-05-12 20:27:44 +00:00
|
|
|
Ops[1] = Builder.CreateIntCast(CI->getOperand(2), Type::Int32Ty,
|
|
|
|
/* isSigned */ false);
|
2007-02-06 19:06:38 +00:00
|
|
|
Ops[2] = Size;
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceCallWith("memset", CI, Ops, Ops+3, CI->getOperand(1)->getType());
|
2004-02-14 02:47:17 +00:00
|
|
|
break;
|
|
|
|
}
|
2007-10-02 17:43:59 +00:00
|
|
|
case Intrinsic::sqrt: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "sqrtf", "sqrt", "sqrtl");
|
2007-09-28 18:06:58 +00:00
|
|
|
break;
|
|
|
|
}
|
2008-09-04 00:47:13 +00:00
|
|
|
case Intrinsic::log: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "logf", "log", "logl");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Intrinsic::log2: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "log2f", "log2", "log2l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Intrinsic::log10: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "log10f", "log10", "log10l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Intrinsic::exp: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "expf", "exp", "expl");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Intrinsic::exp2: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "exp2f", "exp2", "exp2l");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case Intrinsic::pow: {
|
2009-06-26 20:33:47 +00:00
|
|
|
ReplaceFPIntrinsicWithCall(CI, "powf", "pow", "powl");
|
2008-09-04 00:47:13 +00:00
|
|
|
break;
|
|
|
|
}
|
2007-11-15 23:25:33 +00:00
|
|
|
case Intrinsic::flt_rounds:
|
|
|
|
// Lower to "round to the nearest"
|
|
|
|
if (CI->getType() != Type::VoidTy)
|
|
|
|
CI->replaceAllUsesWith(ConstantInt::get(CI->getType(), 1));
|
|
|
|
break;
|
2004-06-05 01:05:19 +00:00
|
|
|
}
|
2005-04-21 22:36:52 +00:00
|
|
|
|
2003-12-28 08:19:41 +00:00
|
|
|
assert(CI->use_empty() &&
|
|
|
|
"Lowering should have eliminated any uses of the intrinsic call!");
|
2005-05-11 19:42:05 +00:00
|
|
|
CI->eraseFromParent();
|
2003-12-28 08:19:41 +00:00
|
|
|
}
|