visus
/
toolchain-gcc-arm-embedded
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
Branch: main
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
toolchain-gcc-arm-embedded/share/doc/gcc-arm-none-eabi/html/gccint/Define-Subst-Output-Templat...

129 lines
6.4KB
Raw Permalink Blame History 

  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-2020 Free Software Foundation, Inc.

  4. 

  5. Permission is granted to copy, distribute and/or modify this document

  6. under the terms of the GNU Free Documentation License, Version 1.3 or

  7. any later version published by the Free Software Foundation; with the

  8. Invariant Sections being "Funding Free Software", the Front-Cover

  9. Texts being (a) (see below), and with the Back-Cover Texts being (b)

  10. (see below).  A copy of the license is included in the section entitled

  11. "GNU Free Documentation License".

  12. 

  13. (a) The FSF's Front-Cover Text is:

  14. 

  15. A GNU Manual

  16. 

  17. (b) The FSF's Back-Cover Text is:

  18. 

  19. You have freedom to copy and modify this GNU Manual, like GNU

  20.      software.  Copies published by the Free Software Foundation raise

  21.      funds for GNU development. -->

  22. <!-- Created by GNU Texinfo 6.5, http://www.gnu.org/software/texinfo/ -->

  23. <head>

  24. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  25. <title>Define Subst Output Template (GNU Compiler Collection (GCC) Internals)</title>

  26. 

  27. <meta name="description" content="Define Subst Output Template (GNU Compiler Collection (GCC) Internals)">

  28. <meta name="keywords" content="Define Subst Output Template (GNU Compiler Collection (GCC) Internals)">

  29. <meta name="resource-type" content="document">

  30. <meta name="distribution" content="global">

  31. <meta name="Generator" content="makeinfo">

  32. <link href="index.html#Top" rel="start" title="Top">

  33. <link href="Option-Index.html#Option-Index" rel="index" title="Option Index">

  34. <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">

  35. <link href="Define-Subst.html#Define-Subst" rel="up" title="Define Subst">

  36. <link href="Constant-Definitions.html#Constant-Definitions" rel="next" title="Constant Definitions">

  37. <link href="Define-Subst-Pattern-Matching.html#Define-Subst-Pattern-Matching" rel="prev" title="Define Subst Pattern Matching">

  38. <style type="text/css">

  39. <!--

  40. a.summary-letter {text-decoration: none}

  41. blockquote.indentedblock {margin-right: 0em}

  42. blockquote.smallindentedblock {margin-right: 0em; font-size: smaller}

  43. blockquote.smallquotation {font-size: smaller}

  44. div.display {margin-left: 3.2em}

  45. div.example {margin-left: 3.2em}

  46. div.lisp {margin-left: 3.2em}

  47. div.smalldisplay {margin-left: 3.2em}

  48. div.smallexample {margin-left: 3.2em}

  49. div.smalllisp {margin-left: 3.2em}

  50. kbd {font-style: oblique}

  51. pre.display {font-family: inherit}

  52. pre.format {font-family: inherit}

  53. pre.menu-comment {font-family: serif}

  54. pre.menu-preformatted {font-family: serif}

  55. pre.smalldisplay {font-family: inherit; font-size: smaller}

  56. pre.smallexample {font-size: smaller}

  57. pre.smallformat {font-family: inherit; font-size: smaller}

  58. pre.smalllisp {font-size: smaller}

  59. span.nolinebreak {white-space: nowrap}

  60. span.roman {font-family: initial; font-weight: normal}

  61. span.sansserif {font-family: sans-serif; font-weight: normal}

  62. ul.no-bullet {list-style: none}

  63. -->

  64. </style>

  65. 

  66. 

  67. </head>

  68. 

  69. <body lang="en">

  70. <a name="Define-Subst-Output-Template"></a>

  71. <div class="header">

  72. <p>

  73. Previous: <a href="Define-Subst-Pattern-Matching.html#Define-Subst-Pattern-Matching" accesskey="p" rel="prev">Define Subst Pattern Matching</a>, Up: <a href="Define-Subst.html#Define-Subst" accesskey="u" rel="up">Define Subst</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>

  74. </div>

  75. <hr>

  76. <a name="Generation-of-output-template-in-define_005fsubst"></a>

  77. <h4 class="subsection">17.21.3 Generation of output template in <code>define_subst</code></h4>

  78. <a name="index-define_005fsubst-3"></a>

  79. 

  80. <p>If all necessary checks for <code>define_subst</code> application pass, a new

  81. RTL-pattern, based on the output-template, is created to replace the old

  82. template.  Like in input-patterns, meanings of some RTL expressions are

  83. changed when they are used in output-patterns of a <code>define_subst</code>.

  84. Thus, <code>match_dup</code> is used for copying the whole expression from the

  85. original pattern, which matched corresponding <code>match_operand</code> from

  86. the input pattern.

  87. </p>

  88. <p><code>match_dup N</code> is used in the output template to be replaced with

  89. the expression from the original pattern, which matched

  90. <code>match_operand N</code> from the input pattern.  As a consequence,

  91. <code>match_dup</code> cannot be used to point to <code>match_operand</code>s from

  92. the output pattern, it should always refer to a <code>match_operand</code>

  93. from the input pattern.  If a <code>match_dup N</code> occurs more than once

  94. in the output template, its first occurrence is replaced with the

  95. expression from the original pattern, and the subsequent expressions

  96. are replaced with <code>match_dup N</code>, i.e., a reference to the first

  97. expression.

  98. </p>

  99. <p>In the output template one can refer to the expressions from the

  100. original pattern and create new ones.  For instance, some operands could

  101. be added by means of standard <code>match_operand</code>.

  102. </p>

  103. <p>After replacing <code>match_dup</code> with some RTL-subtree from the original

  104. pattern, it could happen that several <code>match_operand</code>s in the

  105. output pattern have the same indexes.  It is unknown, how many and what

  106. indexes would be used in the expression which would replace

  107. <code>match_dup</code>, so such conflicts in indexes are inevitable.  To

  108. overcome this issue, <code>match_operands</code> and <code>match_operators</code>,

  109. which were introduced into the output pattern, are renumerated when all

  110. <code>match_dup</code>s are replaced.

  111. </p>

  112. <p>Number of alternatives in <code>match_operand</code>s introduced into the

  113. output template <code>M</code> could differ from the number of alternatives in

  114. the original pattern <code>N</code>, so in the resultant pattern there would

  115. be <code>N*M</code> alternatives.  Thus, constraints from the original pattern

  116. would be duplicated <code>N</code> times, constraints from the output pattern

  117. would be duplicated <code>M</code> times, producing all possible combinations.

  118. </p>

  119. <hr>

  120. <div class="header">

  121. <p>

  122. Previous: <a href="Define-Subst-Pattern-Matching.html#Define-Subst-Pattern-Matching" accesskey="p" rel="prev">Define Subst Pattern Matching</a>, Up: <a href="Define-Subst.html#Define-Subst" accesskey="u" rel="up">Define Subst</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>

  123. </div>

  124. 

  125. 

  126. 

  127. </body>

  128. </html>