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/Jump-Patterns.html

131 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>Jump Patterns (GNU Compiler Collection (GCC) Internals)</title>

  26. 

  27. <meta name="description" content="Jump Patterns (GNU Compiler Collection (GCC) Internals)">

  28. <meta name="keywords" content="Jump Patterns (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="Machine-Desc.html#Machine-Desc" rel="up" title="Machine Desc">

  36. <link href="Looping-Patterns.html#Looping-Patterns" rel="next" title="Looping Patterns">

  37. <link href="Dependent-Patterns.html#Dependent-Patterns" rel="prev" title="Dependent Patterns">

  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="Jump-Patterns"></a>

  71. <div class="header">

  72. <p>

  73. Next: <a href="Looping-Patterns.html#Looping-Patterns" accesskey="n" rel="next">Looping Patterns</a>, Previous: <a href="Dependent-Patterns.html#Dependent-Patterns" accesskey="p" rel="prev">Dependent Patterns</a>, Up: <a href="Machine-Desc.html#Machine-Desc" accesskey="u" rel="up">Machine Desc</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="Defining-Jump-Instruction-Patterns"></a>

  77. <h3 class="section">17.12 Defining Jump Instruction Patterns</h3>

  78. <a name="index-jump-instruction-patterns"></a>

  79. <a name="index-defining-jump-instruction-patterns"></a>

  80. 

  81. <p>GCC does not assume anything about how the machine realizes jumps.

  82. The machine description should define a single pattern, usually

  83. a <code>define_expand</code>, which expands to all the required insns.

  84. </p>

  85. <p>Usually, this would be a comparison insn to set the condition code

  86. and a separate branch insn testing the condition code and branching

  87. or not according to its value.  For many machines, however,

  88. separating compares and branches is limiting, which is why the

  89. more flexible approach with one <code>define_expand</code> is used in GCC.

  90. The machine description becomes clearer for architectures that

  91. have compare-and-branch instructions but no condition code.  It also

  92. works better when different sets of comparison operators are supported

  93. by different kinds of conditional branches (e.g. integer vs.

  94. floating-point), or by conditional branches with respect to conditional stores.

  95. </p>

  96. <p>Two separate insns are always used if the machine description represents

  97. a condition code register using the legacy RTL expression <code>(cc0)</code>,

  98. and on most machines that use a separate condition code register

  99. (see <a href="Condition-Code.html#Condition-Code">Condition Code</a>).  For machines that use <code>(cc0)</code>, in

  100. fact, the set and use of the condition code must be separate and

  101. adjacent<a name="DOCF4" href="#FOOT4"><sup>4</sup></a>, thus

  102. allowing flags in <code>cc_status</code> to be used (see <a href="Condition-Code.html#Condition-Code">Condition Code</a>) and

  103. so that the comparison and branch insns could be located from each other

  104. by using the functions <code>prev_cc0_setter</code> and <code>next_cc0_user</code>.

  105. </p>

  106. <p>Even in this case having a single entry point for conditional branches

  107. is advantageous, because it handles equally well the case where a single

  108. comparison instruction records the results of both signed and unsigned

  109. comparison of the given operands (with the branch insns coming in distinct

  110. signed and unsigned flavors) as in the x86 or SPARC, and the case where

  111. there are distinct signed and unsigned compare instructions and only

  112. one set of conditional branch instructions as in the PowerPC.

  113. </p>

  114. <div class="footnote">

  115. <hr>

  116. <h4 class="footnotes-heading">Footnotes</h4>

  117. 

  118. <h3><a name="FOOT4" href="#DOCF4">(4)</a></h3>

  119. <p><code>note</code> insns can separate them, though.</p>

  120. </div>

  121. <hr>

  122. <div class="header">

  123. <p>

  124. Next: <a href="Looping-Patterns.html#Looping-Patterns" accesskey="n" rel="next">Looping Patterns</a>, Previous: <a href="Dependent-Patterns.html#Dependent-Patterns" accesskey="p" rel="prev">Dependent Patterns</a>, Up: <a href="Machine-Desc.html#Machine-Desc" accesskey="u" rel="up">Machine Desc</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>

  125. </div>

  126. 

  127. 

  128. 

  129. </body>

  130. </html>