<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
To be clear, this is a debuging aid only? It's not something
required for correctness? I'm somewhat bothered by that because it
seems like it would be a useful implementation tool for higher level
languages. <br>
<br>
A couple of thoughts in no particular order:<br>
1) Can we always annotate the call site rather than the function?
That removes the unpredictability due to optimization.<br>
2) Calling it something like "no-direct-tail-call" or
"prefer-no-tail" would remove some of the confusion value. When I
see "notail", I expect that to always be respected; the best effort
semantics come as a bit of a surprise. <br>
3) This seems analogous to the "tail" marker in that it indicates a
preference/option. Whatever we end up with, it needs to be a
verifier option to have a "tail" or "musttail" call site which is
also "notail". It also needs to be an error to have a mustail
callsite to a notail function (if such ends up existing.)<br>
4) It somewhat feels like there are two concepts being intermixed
here. 1) A call site which will never be a tail call. 2) A
function which we prefer not to tail call to. Does it make sense to
separate them?<br>
<br>
Philip<br>
<br>
<div class="moz-cite-prefix">On 09/21/2015 06:22 PM, Akira Hatanaka
wrote:<br>
</div>
<blockquote
cite="mid:CAB297QxS8M7qbRTTeib9mNqWH9+EcxpTP13hCBRWSfNG73vdcA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Several users have been asking for this function attribute
to prevent losing the calling functions's information in the
backtrace. If we attach the attribute to a function, ideally
we would want to prevent tail call optimization on all call
sites that call the function. However, the compiler cannot
always tell which function is called from a call site if it's
an indirect call, so it's fine if an indirect call to the
marked function ends up being tail-call optimized. For direct
calls, we want the function attribute to prevent tail call
100% of the time.</div>
<div><br>
</div>
<div>We can also use a "notail" marker on the call instruction
instead of using a function attribute. The only downside of
using a marker is that we probably will never be able to
prevent tail call optimization on indirect calls even when the
compiler can turn it into a direct call (for example, via
inlining). I'm not sure at the moment how important this is.</div>
<div><br>
</div>
<div>
<div>
<div>
<div class="gmail_extra">
<div class="gmail_quote">On Thu, Sep 17, 2015 at 9:47
AM, Philip Reames via llvm-commits <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:llvm-commits@lists.llvm.org"
target="_blank"><a class="moz-txt-link-abbreviated" href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a></a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
<div>+llvm-dev<br>
<br>
Can you give a bit of background on what you're
trying to address here? After reading through
the discussion and seeing that this is a best
effort flag, I'm not sure that a function
attribute is the best way to describe this. I'm
open to being convinced it is, but I'd like to
hear a bit more about the use case and get
broader visibility on the proposal first.<br>
<br>
Philip
<div>
<div><br>
<br>
On 09/16/2015 07:27 PM, Akira Hatanaka via
llvm-commits wrote:<br>
</div>
</div>
</div>
<blockquote type="cite">
<div>
<div>
<pre>ahatanak created this revision.
ahatanak added a subscriber: llvm-commits.
This patch adds support for a new IR function attribute "notail". The attribute is used to disable tail call optimization on calls to functions marked with the attribute.
This attribute is different from the existing attribute "disable-tail-calls", which disables tail call optimizations on all call sites within the marked function.
The patch to add support for the corresponding source-level function attribute is here:
<a moz-do-not-send="true" href="http://reviews.llvm.org/D12922" target="_blank">http://reviews.llvm.org/D12922</a>
<a moz-do-not-send="true" href="http://reviews.llvm.org/D12923" target="_blank">http://reviews.llvm.org/D12923</a>
Files:
docs/LangRef.rst
include/llvm/Bitcode/LLVMBitCodes.h
include/llvm/IR/Attributes.h
include/llvm/IR/Instructions.h
lib/AsmParser/LLLexer.cpp
lib/AsmParser/LLParser.cpp
lib/AsmParser/LLToken.h
lib/Bitcode/Reader/BitcodeReader.cpp
lib/Bitcode/Writer/BitcodeWriter.cpp
lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
lib/IR/Attributes.cpp
lib/IR/Verifier.cpp
lib/Transforms/Scalar/TailRecursionElimination.cpp
test/Bindings/llvm-c/Inputs/invalid.ll.bc
test/Bindings/llvm-c/invalid-bitcode.test
test/Bitcode/attributes.ll
test/Bitcode/invalid.ll
test/Bitcode/invalid.ll.bc
test/CodeGen/X86/attr-notail.ll
test/Transforms/TailCallElim/notail.ll
</pre>
<br>
<fieldset></fieldset>
<br>
</div>
</div>
<pre>_______________________________________________
llvm-commits mailing list
<a moz-do-not-send="true" href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>
<a moz-do-not-send="true" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a>
</pre>
</blockquote>
<br>
</div>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a moz-do-not-send="true"
href="mailto:llvm-commits@lists.llvm.org"
target="_blank">llvm-commits@lists.llvm.org</a><br>
<a moz-do-not-send="true"
href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits"
rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
<br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<br>
</body>
</html>