[FastISel] Respect musttail over "disable-tail-calls"

[aeubanks]

Summary

musttail should be honored even in the presence of attributes like "disable-tail-calls". SelectionDAG properly handles this.

Update LangRef to explicitly mention that this is the semantics of musttail.

[RKSimon]

Is this explicitly documented anywhere? I can't find anything in langref

[aeubanks]

https://llvm.org/docs/LangRef.html#call-instruction
The musttail marker means that the call must be tail call optimized in order for the program to be correct. I read this as regardless of any attributes
And SelectionDAG properly handles this

[RKSimon]

In D132193#3735757, @aeubanks wrote:

https://llvm.org/docs/LangRef.html#call-instruction
The musttail marker means that the call must be tail call optimized in order for the program to be correct. I read this as regardless of any attributes
And SelectionDAG properly handles this

Should the description be updated to make that explicit? Worth adding the doc tweak to this patch?

[aeubanks]

add langref clarification

[rnk]

lgtm

llvm/lib/CodeGen/SelectionDAG/FastISel.cpp

for (auto i = CI->arg_begin(), e = CI->arg_end(); i != e; ++i) {
     Args.push_back(Entry);
   }
 
   // Check if target-independent constraints permit a tail call here.
   // Target-dependent constraints are checked within fastLowerCall.
   bool IsTailCall = CI->isTailCall();
   if (IsTailCall && !isInTailCallPosition(*CI, TM))
     IsTailCall = false;
-  if (IsTailCall && MF->getFunction()
-                            .getFnAttribute("disable-tail-calls")
-                            .getValueAsBool())
+  if (IsTailCall && !CI->isMustTailCall() &&
+      MF->getFunction().getFnAttribute("disable-tail-calls").getValueAsBool())
     IsTailCall = false;
 
   CallLoweringInfo CLI;
   CLI.setCallee(RetTy, FuncTy, CI->getCalledOperand(), std::move(Args), *CI)
       .setTailCall(IsTailCall);
 
   diagnoseDontCall(*CI);
 

llvm/test/CodeGen/X86/fast-isel-disable-tail-calls.ll

+; RUN: llc -O0 -fast-isel -mtriple=x86_64-unknown-unknown < %s | FileCheck %s
+
+; CHECK-NOT: retq
+; CHECK: jmpq
+
+define void @f(ptr %this) "disable-tail-calls"="true" {
+  musttail call void %this(ptr %this)
+  ret void
+}