Tail-Calls.html 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
  2. <html>
  3. <!-- Copyright (C) 1988-2017 Free Software Foundation, Inc.
  4. Permission is granted to copy, distribute and/or modify this document
  5. under the terms of the GNU Free Documentation License, Version 1.3 or
  6. any later version published by the Free Software Foundation; with the
  7. Invariant Sections being "Funding Free Software", the Front-Cover
  8. Texts being (a) (see below), and with the Back-Cover Texts being (b)
  9. (see below). A copy of the license is included in the section entitled
  10. "GNU Free Documentation License".
  11. (a) The FSF's Front-Cover Text is:
  12. A GNU Manual
  13. (b) The FSF's Back-Cover Text is:
  14. You have freedom to copy and modify this GNU Manual, like GNU
  15. software. Copies published by the Free Software Foundation raise
  16. funds for GNU development. -->
  17. <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
  18. <head>
  19. <title>GNU Compiler Collection (GCC) Internals: Tail Calls</title>
  20. <meta name="description" content="GNU Compiler Collection (GCC) Internals: Tail Calls">
  21. <meta name="keywords" content="GNU Compiler Collection (GCC) Internals: Tail Calls">
  22. <meta name="resource-type" content="document">
  23. <meta name="distribution" content="global">
  24. <meta name="Generator" content="makeinfo">
  25. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  26. <link href="index.html#Top" rel="start" title="Top">
  27. <link href="Option-Index.html#Option-Index" rel="index" title="Option Index">
  28. <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">
  29. <link href="Stack-and-Calling.html#Stack-and-Calling" rel="up" title="Stack and Calling">
  30. <link href="Shrink_002dwrapping-separate-components.html#Shrink_002dwrapping-separate-components" rel="next" title="Shrink-wrapping separate components">
  31. <link href="Profiling.html#Profiling" rel="prev" title="Profiling">
  32. <style type="text/css">
  33. <!--
  34. a.summary-letter {text-decoration: none}
  35. blockquote.smallquotation {font-size: smaller}
  36. div.display {margin-left: 3.2em}
  37. div.example {margin-left: 3.2em}
  38. div.indentedblock {margin-left: 3.2em}
  39. div.lisp {margin-left: 3.2em}
  40. div.smalldisplay {margin-left: 3.2em}
  41. div.smallexample {margin-left: 3.2em}
  42. div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
  43. div.smalllisp {margin-left: 3.2em}
  44. kbd {font-style:oblique}
  45. pre.display {font-family: inherit}
  46. pre.format {font-family: inherit}
  47. pre.menu-comment {font-family: serif}
  48. pre.menu-preformatted {font-family: serif}
  49. pre.smalldisplay {font-family: inherit; font-size: smaller}
  50. pre.smallexample {font-size: smaller}
  51. pre.smallformat {font-family: inherit; font-size: smaller}
  52. pre.smalllisp {font-size: smaller}
  53. span.nocodebreak {white-space:nowrap}
  54. span.nolinebreak {white-space:nowrap}
  55. span.roman {font-family:serif; font-weight:normal}
  56. span.sansserif {font-family:sans-serif; font-weight:normal}
  57. ul.no-bullet {list-style: none}
  58. -->
  59. </style>
  60. </head>
  61. <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
  62. <a name="Tail-Calls"></a>
  63. <div class="header">
  64. <p>
  65. Next: <a href="Shrink_002dwrapping-separate-components.html#Shrink_002dwrapping-separate-components" accesskey="n" rel="next">Shrink-wrapping separate components</a>, Previous: <a href="Profiling.html#Profiling" accesskey="p" rel="prev">Profiling</a>, Up: <a href="Stack-and-Calling.html#Stack-and-Calling" accesskey="u" rel="up">Stack and Calling</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Option-Index.html#Option-Index" title="Index" rel="index">Index</a>]</p>
  66. </div>
  67. <hr>
  68. <a name="Permitting-tail-calls"></a>
  69. <h4 class="subsection">17.9.13 Permitting tail calls</h4>
  70. <a name="index-tail-calls"></a>
  71. <dl>
  72. <dt><a name="index-TARGET_005fFUNCTION_005fOK_005fFOR_005fSIBCALL"></a>Target Hook: <em>bool</em> <strong>TARGET_FUNCTION_OK_FOR_SIBCALL</strong> <em>(tree <var>decl</var>, tree <var>exp</var>)</em></dt>
  73. <dd><p>True if it is OK to do sibling call optimization for the specified
  74. call expression <var>exp</var>. <var>decl</var> will be the called function,
  75. or <code>NULL</code> if this is an indirect call.
  76. </p>
  77. <p>It is not uncommon for limitations of calling conventions to prevent
  78. tail calls to functions outside the current unit of translation, or
  79. during PIC compilation. The hook is used to enforce these restrictions,
  80. as the <code>sibcall</code> md pattern can not fail, or fall over to a
  81. &ldquo;normal&rdquo; call. The criteria for successful sibling call optimization
  82. may vary greatly between different architectures.
  83. </p></dd></dl>
  84. <dl>
  85. <dt><a name="index-TARGET_005fEXTRA_005fLIVE_005fON_005fENTRY"></a>Target Hook: <em>void</em> <strong>TARGET_EXTRA_LIVE_ON_ENTRY</strong> <em>(bitmap <var>regs</var>)</em></dt>
  86. <dd><p>Add any hard registers to <var>regs</var> that are live on entry to the
  87. function. This hook only needs to be defined to provide registers that
  88. cannot be found by examination of FUNCTION_ARG_REGNO_P, the callee saved
  89. registers, STATIC_CHAIN_INCOMING_REGNUM, STATIC_CHAIN_REGNUM,
  90. TARGET_STRUCT_VALUE_RTX, FRAME_POINTER_REGNUM, EH_USES,
  91. FRAME_POINTER_REGNUM, ARG_POINTER_REGNUM, and the PIC_OFFSET_TABLE_REGNUM.
  92. </p></dd></dl>
  93. <dl>
  94. <dt><a name="index-TARGET_005fSET_005fUP_005fBY_005fPROLOGUE"></a>Target Hook: <em>void</em> <strong>TARGET_SET_UP_BY_PROLOGUE</strong> <em>(struct hard_reg_set_container *<var></var>)</em></dt>
  95. <dd><p>This hook should add additional registers that are computed by the prologue to the hard regset for shrink-wrapping optimization purposes.
  96. </p></dd></dl>
  97. <dl>
  98. <dt><a name="index-TARGET_005fWARN_005fFUNC_005fRETURN"></a>Target Hook: <em>bool</em> <strong>TARGET_WARN_FUNC_RETURN</strong> <em>(tree)</em></dt>
  99. <dd><p>True if a function&rsquo;s return statements should be checked for matching the function&rsquo;s return type. This includes checking for falling off the end of a non-void function. Return false if no such check should be made.
  100. </p></dd></dl>
  101. </body>
  102. </html>