[TTI] getUserCost to return getCastInstrCost

[samparker]

Summary

If the generic cost model, based on DataLayout, says that a cast is free then return zero. Otherwise we now return the cost provided by getCastInstrCost.

[spatel]

llvm/test/Analysis/CostModel/X86/size-cost.ll

33

Let me know if I'm missing larger context, but this is not correct. A cast from xmm <-> gpr ("movq %xmm0, %rax") is not free in any sense on any x86 target AFAIK.

Do we need to fix the x86 override as a preliminary step?

[samparker]

llvm/test/Analysis/CostModel/X86/size-cost.ll

33

I didn't expect it to be correct.. I'm happy to look into the fix.

[spatel]

llvm/test/Analysis/CostModel/X86/size-cost.ll

33

Sounds good - thanks!

[spatel]

Actually, let me take a step back: we're saying that getCastInstrCost() is a code-size query? Is that what the current callers are assuming? Do we need to invent a new API that makes it explicit that we are modeling size cost?

[lebedev.ri]

llvm/test/Analysis/CostModel/X86/size-cost.ll

33

Is it thought? Note that we test *size* cost here.
Does bitcast instruction itself actually has size cost?
(does it get lowered to any assembly instructions?)

[spatel]

llvm/test/Analysis/CostModel/X86/size-cost.ll

33

I was assuming this and the other test requires one of:

movq %xmm0, %rax
movq %rax, %xmm0

[samparker]

Actually, let me take a step back: we're saying that getCastInstrCost() is a code-size query? Is that what the current callers are assuming? Do we need to invent a new API that makes it explicit that we are modeling size cost?

getUserCost is called for code size, but it's not explicitly code-size only, I believe it was designed around the vague notion of hybrid of size and performance which the 'TargetCostConstants' describe and this is the same for getCastInstrCost. I'd like to change these methods to take a TargetCostKind argument so that we can end this ambiguity. It would also allow removal of the 'getInstructionLatency' stuff as it only used in one place and has no backend implementation.

[samparker]

This now looks like an NFC with the bitcasts fixed, but I strongly suspect that some backends will need tweaking when D78922 is in too.

[samparker]

Now handled in D79848.

llvm/include/llvm/Analysis/TargetTransformInfoImpl.h

     case Instruction::SDiv:
     case Instruction::SRem:
     case Instruction::UDiv:
     case Instruction::URem:
       return TTI::TCC_Expensive;
     case Instruction::IntToPtr:
     case Instruction::PtrToInt:
     case Instruction::Trunc:
-      if (getCastInstrCost(Opcode, Ty, OpTy, I) == TTI::TCC_Free ||
-          TargetTTI->getCastInstrCost(Opcode, Ty, OpTy, I) == TTI::TCC_Free)
-        return TTI::TCC_Free;
-      break;
     case Instruction::BitCast:
-      if (getCastInstrCost(Opcode, Ty, OpTy, I) == TTI::TCC_Free)
-        return TTI::TCC_Free;
-      break;
+      // Check if the operation is free according to the datalayout.
+      if (getCastInstrCost(Opcode, Ty, OpTy, I) == 0)
+        return 0;
+      return TargetTTI->getCastInstrCost(Opcode, Ty, OpTy, I);
     case Instruction::FPExt:
     case Instruction::SExt:
     case Instruction::ZExt:
       if (TargetTTI->getExtCost(I, Operands.back()) == TTI::TCC_Free)
         return TTI::TCC_Free;
       break;
     }
     // By default, just classify everything as 'basic'.

llvm/test/Analysis/CostModel/X86/size-cost.ll

 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret i64 %r
 ;
   %r = zext i8 %x to i64
   ret i64 %r
 }
 
 define i64 @bitcast_f64_i64(double %x) {
 ; CHECK-LABEL: 'bitcast_f64_i64'
-; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %r = bitcast double %x to i64
+; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %r = bitcast double %x to i64
 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret i64 %r
 ;
   %r = bitcast double %x to i64
   ret i64 %r
 }
 
 define double @bitcast_i64_f64(i64 %x) {
 ; CHECK-LABEL: 'bitcast_i64_f64'
-; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: %r = bitcast i64 %x to double
+; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: %r = bitcast i64 %x to double
 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 1 for instruction: ret double %r
 ;
   %r = bitcast i64 %x to double
   ret double %r
 }
 
 define i64* @inttoptr_i64_p64(i64 %x) {
 ; CHECK-LABEL: 'inttoptr_i64_p64'