[llvm] r314003 - [TargetTransformInfo] Handle intrinsic call in getInstructionLatency()
Guozhi Wei via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 22 11:25:53 PDT 2017
Author: carrot
Date: Fri Sep 22 11:25:53 2017
New Revision: 314003
URL: http://llvm.org/viewvc/llvm-project?rev=314003&view=rev
Log:
[TargetTransformInfo] Handle intrinsic call in getInstructionLatency()
Usually an intrinsic is a simple target instruction, it should have a small latency. A real function call has much larger latency. So handle the intrinsic call in function getInstructionLatency().
Differential Revision: https://reviews.llvm.org/D38104
Modified:
llvm/trunk/include/llvm/Analysis/TargetTransformInfoImpl.h
llvm/trunk/test/Analysis/CostModel/X86/costmodel.ll
Modified: llvm/trunk/include/llvm/Analysis/TargetTransformInfoImpl.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/TargetTransformInfoImpl.h?rev=314003&r1=314002&r2=314003&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/TargetTransformInfoImpl.h (original)
+++ llvm/trunk/include/llvm/Analysis/TargetTransformInfoImpl.h Fri Sep 22 11:25:53 2017
@@ -785,16 +785,27 @@ public:
if (getUserCost(I, Operands) == TTI::TCC_Free)
return 0;
- if (isa<CallInst>(I))
- return 40;
-
if (isa<LoadInst>(I))
return 4;
- Type *dstTy = I->getType();
- if (VectorType *VectorTy = dyn_cast<VectorType>(dstTy))
- dstTy = VectorTy->getElementType();
- if (dstTy->isFloatingPointTy())
+ Type *DstTy = I->getType();
+
+ // Usually an intrinsic is a simple instruction.
+ // A real function call is much slower.
+ if (auto *CI = dyn_cast<CallInst>(I)) {
+ const Function *F = CI->getCalledFunction();
+ if (static_cast<T *>(this)->isLoweredToCall(F))
+ return 40;
+ // Some intrinsics return a value and a flag, we use the value type
+ // to decide its latency.
+ if (StructType* StructTy = dyn_cast<StructType>(DstTy))
+ DstTy = StructTy->getElementType(0);
+ // Fall through to simple instructions.
+ }
+
+ if (VectorType *VectorTy = dyn_cast<VectorType>(DstTy))
+ DstTy = VectorTy->getElementType();
+ if (DstTy->isFloatingPointTy())
return 3;
return 1;
Modified: llvm/trunk/test/Analysis/CostModel/X86/costmodel.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/CostModel/X86/costmodel.ll?rev=314003&r1=314002&r2=314003&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/CostModel/X86/costmodel.ll (original)
+++ llvm/trunk/test/Analysis/CostModel/X86/costmodel.ll Fri Sep 22 11:25:53 2017
@@ -5,6 +5,8 @@
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
+declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32)
+
define i64 @foo(i64 %arg) {
; LATENCY: cost of 0 {{.*}} alloca i32
@@ -39,6 +41,10 @@ define i64 @foo(i64 %arg) {
; CODESIZE: cost of 0 {{.*}} trunc
%TC = trunc i64 undef to i32
+ ; LATENCY: cost of 1 {{.*}} call
+ ; CODESIZE: cost of 1 {{.*}} call
+ %uadd = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 undef, i32 undef)
+
; LATENCY: cost of 1 {{.*}} ret
; CODESIZE: cost of 1 {{.*}} ret
ret i64 undef
More information about the llvm-commits
mailing list