blob: 4d336363c5f503090e18a633f3ec99080aee9144 [file] [log] [blame]
Chandler Carruthd3e73552013-01-07 03:08:10 +00001//===- llvm/Analysis/TargetTransformInfo.cpp ------------------------------===//
Nadav Rotem5dc203e2012-10-18 23:22:48 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chandler Carruthd3e73552013-01-07 03:08:10 +000010#include "llvm/Analysis/TargetTransformInfo.h"
Chandler Carruth705b1852015-01-31 03:43:40 +000011#include "llvm/Analysis/TargetTransformInfoImpl.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000012#include "llvm/IR/CallSite.h"
Chandler Carruth511aa762013-01-21 01:27:39 +000013#include "llvm/IR/DataLayout.h"
Chandler Carruth511aa762013-01-21 01:27:39 +000014#include "llvm/IR/Instruction.h"
Chandler Carruth511aa762013-01-21 01:27:39 +000015#include "llvm/IR/Instructions.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "llvm/IR/IntrinsicInst.h"
Chandler Carruthe0385522015-02-01 10:11:22 +000017#include "llvm/IR/Module.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000018#include "llvm/IR/Operator.h"
Nadav Rotem5dc203e2012-10-18 23:22:48 +000019#include "llvm/Support/ErrorHandling.h"
20
21using namespace llvm;
22
Chandler Carruthf1221bd2014-04-22 02:48:03 +000023#define DEBUG_TYPE "tti"
24
Chandler Carruth93dcdc42015-01-31 11:17:59 +000025namespace {
26/// \brief No-op implementation of the TTI interface using the utility base
27/// classes.
28///
29/// This is used when no target specific information is available.
30struct NoTTIImpl : TargetTransformInfoImplCRTPBase<NoTTIImpl> {
31 explicit NoTTIImpl(const DataLayout *DL)
32 : TargetTransformInfoImplCRTPBase<NoTTIImpl>(DL) {}
33};
34}
35
36TargetTransformInfo::TargetTransformInfo(const DataLayout *DL)
37 : TTIImpl(new Model<NoTTIImpl>(NoTTIImpl(DL))) {}
38
Chandler Carruth705b1852015-01-31 03:43:40 +000039TargetTransformInfo::~TargetTransformInfo() {}
Nadav Rotem5dc203e2012-10-18 23:22:48 +000040
Chandler Carruth705b1852015-01-31 03:43:40 +000041TargetTransformInfo::TargetTransformInfo(TargetTransformInfo &&Arg)
42 : TTIImpl(std::move(Arg.TTIImpl)) {}
Chandler Carruth539edf42013-01-05 11:43:11 +000043
Chandler Carruth705b1852015-01-31 03:43:40 +000044TargetTransformInfo &TargetTransformInfo::operator=(TargetTransformInfo &&RHS) {
45 TTIImpl = std::move(RHS.TTIImpl);
46 return *this;
Chandler Carruth539edf42013-01-05 11:43:11 +000047}
48
Chandler Carruth511aa762013-01-21 01:27:39 +000049unsigned TargetTransformInfo::getOperationCost(unsigned Opcode, Type *Ty,
50 Type *OpTy) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000051 return TTIImpl->getOperationCost(Opcode, Ty, OpTy);
Chandler Carruth511aa762013-01-21 01:27:39 +000052}
53
Chandler Carruth0ba8db42013-01-22 11:26:02 +000054unsigned TargetTransformInfo::getCallCost(FunctionType *FTy,
55 int NumArgs) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000056 return TTIImpl->getCallCost(FTy, NumArgs);
Chandler Carruth0ba8db42013-01-22 11:26:02 +000057}
58
Chandler Carruth705b1852015-01-31 03:43:40 +000059unsigned
60TargetTransformInfo::getCallCost(const Function *F,
61 ArrayRef<const Value *> Arguments) const {
62 return TTIImpl->getCallCost(F, Arguments);
Chandler Carruth0ba8db42013-01-22 11:26:02 +000063}
64
Chandler Carruth705b1852015-01-31 03:43:40 +000065unsigned
66TargetTransformInfo::getIntrinsicCost(Intrinsic::ID IID, Type *RetTy,
67 ArrayRef<const Value *> Arguments) const {
68 return TTIImpl->getIntrinsicCost(IID, RetTy, Arguments);
Chandler Carruth0ba8db42013-01-22 11:26:02 +000069}
70
Chandler Carruth511aa762013-01-21 01:27:39 +000071unsigned TargetTransformInfo::getUserCost(const User *U) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000072 return TTIImpl->getUserCost(U);
Chandler Carruth511aa762013-01-21 01:27:39 +000073}
74
Tom Stellard8b1e0212013-07-27 00:01:07 +000075bool TargetTransformInfo::hasBranchDivergence() const {
Chandler Carruth705b1852015-01-31 03:43:40 +000076 return TTIImpl->hasBranchDivergence();
Tom Stellard8b1e0212013-07-27 00:01:07 +000077}
78
Chandler Carruth0ba8db42013-01-22 11:26:02 +000079bool TargetTransformInfo::isLoweredToCall(const Function *F) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000080 return TTIImpl->isLoweredToCall(F);
Chandler Carruth0ba8db42013-01-22 11:26:02 +000081}
82
Chandler Carruth705b1852015-01-31 03:43:40 +000083void TargetTransformInfo::getUnrollingPreferences(
Chandler Carruthab5cb362015-02-01 14:31:23 +000084 Loop *L, UnrollingPreferences &UP) const {
85 return TTIImpl->getUnrollingPreferences(L, UP);
Hal Finkel8f2e7002013-09-11 19:25:43 +000086}
87
Chandler Carruth539edf42013-01-05 11:43:11 +000088bool TargetTransformInfo::isLegalAddImmediate(int64_t Imm) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000089 return TTIImpl->isLegalAddImmediate(Imm);
Chandler Carruth539edf42013-01-05 11:43:11 +000090}
91
92bool TargetTransformInfo::isLegalICmpImmediate(int64_t Imm) const {
Chandler Carruth705b1852015-01-31 03:43:40 +000093 return TTIImpl->isLegalICmpImmediate(Imm);
Chandler Carruth539edf42013-01-05 11:43:11 +000094}
95
96bool TargetTransformInfo::isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV,
97 int64_t BaseOffset,
98 bool HasBaseReg,
99 int64_t Scale) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000100 return TTIImpl->isLegalAddressingMode(Ty, BaseGV, BaseOffset, HasBaseReg,
Chandler Carruth539edf42013-01-05 11:43:11 +0000101 Scale);
102}
103
Chandler Carruth705b1852015-01-31 03:43:40 +0000104bool TargetTransformInfo::isLegalMaskedStore(Type *DataType,
105 int Consecutive) const {
106 return TTIImpl->isLegalMaskedStore(DataType, Consecutive);
107}
108
109bool TargetTransformInfo::isLegalMaskedLoad(Type *DataType,
110 int Consecutive) const {
111 return TTIImpl->isLegalMaskedLoad(DataType, Consecutive);
112}
113
Quentin Colombetbf490d42013-05-31 21:29:03 +0000114int TargetTransformInfo::getScalingFactorCost(Type *Ty, GlobalValue *BaseGV,
115 int64_t BaseOffset,
116 bool HasBaseReg,
117 int64_t Scale) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000118 return TTIImpl->getScalingFactorCost(Ty, BaseGV, BaseOffset, HasBaseReg,
Quentin Colombetbf490d42013-05-31 21:29:03 +0000119 Scale);
120}
121
Chandler Carruth539edf42013-01-05 11:43:11 +0000122bool TargetTransformInfo::isTruncateFree(Type *Ty1, Type *Ty2) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000123 return TTIImpl->isTruncateFree(Ty1, Ty2);
Chandler Carruth539edf42013-01-05 11:43:11 +0000124}
125
Chad Rosier54390052015-02-23 19:15:16 +0000126bool TargetTransformInfo::isProfitableToHoist(Instruction *I) const {
127 return TTIImpl->isProfitableToHoist(I);
128}
129
Chandler Carruth539edf42013-01-05 11:43:11 +0000130bool TargetTransformInfo::isTypeLegal(Type *Ty) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000131 return TTIImpl->isTypeLegal(Ty);
Chandler Carruth539edf42013-01-05 11:43:11 +0000132}
133
134unsigned TargetTransformInfo::getJumpBufAlignment() const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000135 return TTIImpl->getJumpBufAlignment();
Chandler Carruth539edf42013-01-05 11:43:11 +0000136}
137
138unsigned TargetTransformInfo::getJumpBufSize() const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000139 return TTIImpl->getJumpBufSize();
Chandler Carruth539edf42013-01-05 11:43:11 +0000140}
141
142bool TargetTransformInfo::shouldBuildLookupTables() const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000143 return TTIImpl->shouldBuildLookupTables();
Chandler Carruth539edf42013-01-05 11:43:11 +0000144}
145
Chandler Carruth50a36cd2013-01-07 03:16:03 +0000146TargetTransformInfo::PopcntSupportKind
147TargetTransformInfo::getPopcntSupport(unsigned IntTyWidthInBit) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000148 return TTIImpl->getPopcntSupport(IntTyWidthInBit);
Chandler Carruth539edf42013-01-05 11:43:11 +0000149}
150
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000151bool TargetTransformInfo::haveFastSqrt(Type *Ty) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000152 return TTIImpl->haveFastSqrt(Ty);
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000153}
154
Cameron Esfahani17177d12015-02-05 02:09:33 +0000155unsigned TargetTransformInfo::getFPOpCost(Type *Ty) const {
156 return TTIImpl->getFPOpCost(Ty);
157}
158
Chandler Carruth539edf42013-01-05 11:43:11 +0000159unsigned TargetTransformInfo::getIntImmCost(const APInt &Imm, Type *Ty) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000160 return TTIImpl->getIntImmCost(Imm, Ty);
Chandler Carruth539edf42013-01-05 11:43:11 +0000161}
162
Chandler Carruth705b1852015-01-31 03:43:40 +0000163unsigned TargetTransformInfo::getIntImmCost(unsigned Opcode, unsigned Idx,
Juergen Ributzkaf0dff492014-03-21 06:04:45 +0000164 const APInt &Imm, Type *Ty) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000165 return TTIImpl->getIntImmCost(Opcode, Idx, Imm, Ty);
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000166}
167
Juergen Ributzkaf0dff492014-03-21 06:04:45 +0000168unsigned TargetTransformInfo::getIntImmCost(Intrinsic::ID IID, unsigned Idx,
169 const APInt &Imm, Type *Ty) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000170 return TTIImpl->getIntImmCost(IID, Idx, Imm, Ty);
Juergen Ributzkaf26beda2014-01-25 02:02:55 +0000171}
172
Chandler Carruth539edf42013-01-05 11:43:11 +0000173unsigned TargetTransformInfo::getNumberOfRegisters(bool Vector) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000174 return TTIImpl->getNumberOfRegisters(Vector);
Chandler Carruth539edf42013-01-05 11:43:11 +0000175}
176
Nadav Rotemb1791a72013-01-09 22:29:00 +0000177unsigned TargetTransformInfo::getRegisterBitWidth(bool Vector) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000178 return TTIImpl->getRegisterBitWidth(Vector);
Nadav Rotemb1791a72013-01-09 22:29:00 +0000179}
180
Sanjay Patelb653de12014-09-10 17:58:16 +0000181unsigned TargetTransformInfo::getMaxInterleaveFactor() const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000182 return TTIImpl->getMaxInterleaveFactor();
Nadav Rotemb696c362013-01-09 01:15:42 +0000183}
184
Karthik Bhat7f33ff72014-08-25 04:56:54 +0000185unsigned TargetTransformInfo::getArithmeticInstrCost(
Chandler Carruth705b1852015-01-31 03:43:40 +0000186 unsigned Opcode, Type *Ty, OperandValueKind Opd1Info,
187 OperandValueKind Opd2Info, OperandValueProperties Opd1PropInfo,
Karthik Bhat7f33ff72014-08-25 04:56:54 +0000188 OperandValueProperties Opd2PropInfo) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000189 return TTIImpl->getArithmeticInstrCost(Opcode, Ty, Opd1Info, Opd2Info,
Karthik Bhat7f33ff72014-08-25 04:56:54 +0000190 Opd1PropInfo, Opd2PropInfo);
Chandler Carruth539edf42013-01-05 11:43:11 +0000191}
192
Chandler Carruth705b1852015-01-31 03:43:40 +0000193unsigned TargetTransformInfo::getShuffleCost(ShuffleKind Kind, Type *Ty,
Chandler Carruth539edf42013-01-05 11:43:11 +0000194 int Index, Type *SubTp) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000195 return TTIImpl->getShuffleCost(Kind, Ty, Index, SubTp);
Chandler Carruth539edf42013-01-05 11:43:11 +0000196}
197
198unsigned TargetTransformInfo::getCastInstrCost(unsigned Opcode, Type *Dst,
199 Type *Src) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000200 return TTIImpl->getCastInstrCost(Opcode, Dst, Src);
Chandler Carruth539edf42013-01-05 11:43:11 +0000201}
202
203unsigned TargetTransformInfo::getCFInstrCost(unsigned Opcode) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000204 return TTIImpl->getCFInstrCost(Opcode);
Chandler Carruth539edf42013-01-05 11:43:11 +0000205}
206
207unsigned TargetTransformInfo::getCmpSelInstrCost(unsigned Opcode, Type *ValTy,
208 Type *CondTy) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000209 return TTIImpl->getCmpSelInstrCost(Opcode, ValTy, CondTy);
Chandler Carruth539edf42013-01-05 11:43:11 +0000210}
211
212unsigned TargetTransformInfo::getVectorInstrCost(unsigned Opcode, Type *Val,
213 unsigned Index) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000214 return TTIImpl->getVectorInstrCost(Opcode, Val, Index);
Chandler Carruth539edf42013-01-05 11:43:11 +0000215}
216
217unsigned TargetTransformInfo::getMemoryOpCost(unsigned Opcode, Type *Src,
218 unsigned Alignment,
219 unsigned AddressSpace) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000220 return TTIImpl->getMemoryOpCost(Opcode, Src, Alignment, AddressSpace);
Elena Demikhovskya3232f72015-01-25 08:44:46 +0000221}
222
Chandler Carruth539edf42013-01-05 11:43:11 +0000223unsigned
Chandler Carruth705b1852015-01-31 03:43:40 +0000224TargetTransformInfo::getMaskedMemoryOpCost(unsigned Opcode, Type *Src,
225 unsigned Alignment,
226 unsigned AddressSpace) const {
227 return TTIImpl->getMaskedMemoryOpCost(Opcode, Src, Alignment, AddressSpace);
228}
229
230unsigned
231TargetTransformInfo::getIntrinsicInstrCost(Intrinsic::ID ID, Type *RetTy,
Chandler Carruth539edf42013-01-05 11:43:11 +0000232 ArrayRef<Type *> Tys) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000233 return TTIImpl->getIntrinsicInstrCost(ID, RetTy, Tys);
Chandler Carruth539edf42013-01-05 11:43:11 +0000234}
235
236unsigned TargetTransformInfo::getNumberOfParts(Type *Tp) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000237 return TTIImpl->getNumberOfParts(Tp);
Chandler Carruth539edf42013-01-05 11:43:11 +0000238}
239
Arnold Schwaighofer9da9a432013-07-12 19:16:02 +0000240unsigned TargetTransformInfo::getAddressComputationCost(Type *Tp,
241 bool IsComplex) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000242 return TTIImpl->getAddressComputationCost(Tp, IsComplex);
Arnold Schwaighofer594fa2d2013-02-08 14:50:48 +0000243}
Chandler Carruth539edf42013-01-05 11:43:11 +0000244
Arnold Schwaighofercae87352013-09-17 18:06:50 +0000245unsigned TargetTransformInfo::getReductionCost(unsigned Opcode, Type *Ty,
Chandler Carruth705b1852015-01-31 03:43:40 +0000246 bool IsPairwiseForm) const {
247 return TTIImpl->getReductionCost(Opcode, Ty, IsPairwiseForm);
Arnold Schwaighofercae87352013-09-17 18:06:50 +0000248}
249
Chandler Carruth705b1852015-01-31 03:43:40 +0000250unsigned
251TargetTransformInfo::getCostOfKeepingLiveOverCall(ArrayRef<Type *> Tys) const {
252 return TTIImpl->getCostOfKeepingLiveOverCall(Tys);
Chad Rosierf9327d62015-01-26 22:51:15 +0000253}
254
255bool TargetTransformInfo::getTgtMemIntrinsic(IntrinsicInst *Inst,
256 MemIntrinsicInfo &Info) const {
Chandler Carruth705b1852015-01-31 03:43:40 +0000257 return TTIImpl->getTgtMemIntrinsic(Inst, Info);
Chad Rosierf9327d62015-01-26 22:51:15 +0000258}
259
Chandler Carruth705b1852015-01-31 03:43:40 +0000260Value *TargetTransformInfo::getOrCreateResultFromMemIntrinsic(
261 IntrinsicInst *Inst, Type *ExpectedType) const {
262 return TTIImpl->getOrCreateResultFromMemIntrinsic(Inst, ExpectedType);
263}
264
265TargetTransformInfo::Concept::~Concept() {}
266
Chandler Carruthe0385522015-02-01 10:11:22 +0000267TargetIRAnalysis::TargetIRAnalysis() : TTICallback(&getDefaultTTI) {}
268
269TargetIRAnalysis::TargetIRAnalysis(
270 std::function<Result(Function &)> TTICallback)
271 : TTICallback(TTICallback) {}
272
273TargetIRAnalysis::Result TargetIRAnalysis::run(Function &F) {
274 return TTICallback(F);
275}
276
277char TargetIRAnalysis::PassID;
278
279TargetIRAnalysis::Result TargetIRAnalysis::getDefaultTTI(Function &F) {
Mehdi Amini46a43552015-03-04 18:43:29 +0000280 return Result(&F.getParent()->getDataLayout());
Chandler Carruthe0385522015-02-01 10:11:22 +0000281}
282
Chandler Carruth705b1852015-01-31 03:43:40 +0000283// Register the basic pass.
284INITIALIZE_PASS(TargetTransformInfoWrapperPass, "tti",
285 "Target Transform Information", false, true)
286char TargetTransformInfoWrapperPass::ID = 0;
Chandler Carruth539edf42013-01-05 11:43:11 +0000287
Chandler Carruth705b1852015-01-31 03:43:40 +0000288void TargetTransformInfoWrapperPass::anchor() {}
Chandler Carruth539edf42013-01-05 11:43:11 +0000289
Chandler Carruth705b1852015-01-31 03:43:40 +0000290TargetTransformInfoWrapperPass::TargetTransformInfoWrapperPass()
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000291 : ImmutablePass(ID) {
Chandler Carruth705b1852015-01-31 03:43:40 +0000292 initializeTargetTransformInfoWrapperPassPass(
293 *PassRegistry::getPassRegistry());
294}
295
296TargetTransformInfoWrapperPass::TargetTransformInfoWrapperPass(
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000297 TargetIRAnalysis TIRA)
298 : ImmutablePass(ID), TIRA(std::move(TIRA)) {
Chandler Carruth705b1852015-01-31 03:43:40 +0000299 initializeTargetTransformInfoWrapperPassPass(
300 *PassRegistry::getPassRegistry());
301}
302
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000303TargetTransformInfo &TargetTransformInfoWrapperPass::getTTI(Function &F) {
304 TTI = TIRA.run(F);
305 return *TTI;
306}
307
Chandler Carruth93dcdc42015-01-31 11:17:59 +0000308ImmutablePass *
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000309llvm::createTargetTransformInfoWrapperPass(TargetIRAnalysis TIRA) {
310 return new TargetTransformInfoWrapperPass(std::move(TIRA));
Chandler Carruth539edf42013-01-05 11:43:11 +0000311}