RTL-Tests.html 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  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: RTL Tests</title>
  20. <meta name="description" content="GNU Compiler Collection (GCC) Internals: RTL Tests">
  21. <meta name="keywords" content="GNU Compiler Collection (GCC) Internals: RTL Tests">
  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="Testsuites.html#Testsuites" rel="up" title="Testsuites">
  30. <link href="Options.html#Options" rel="next" title="Options">
  31. <link href="GIMPLE-Tests.html#GIMPLE-Tests" rel="prev" title="GIMPLE Tests">
  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="RTL-Tests"></a>
  63. <div class="header">
  64. <p>
  65. Previous: <a href="GIMPLE-Tests.html#GIMPLE-Tests" accesskey="p" rel="prev">GIMPLE Tests</a>, Up: <a href="Testsuites.html#Testsuites" accesskey="u" rel="up">Testsuites</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="Support-for-testing-RTL-passes"></a>
  69. <h3 class="section">7.11 Support for testing RTL passes</h3>
  70. <p>As of gcc 7, C functions can be tagged with <code>__RTL</code> to indicate that the
  71. function body will be RTL, rather than C. For example:
  72. </p>
  73. <div class="smallexample">
  74. <pre class="smallexample">double __RTL (startwith (&quot;ira&quot;)) test (struct foo *f, const struct bar *b)
  75. {
  76. (function &quot;test&quot;
  77. [...snip; various directives go in here...]
  78. ) ;; function &quot;test&quot;
  79. }
  80. </pre></div>
  81. <p>The <code>startwith</code> argument indicates at which pass to begin.
  82. </p>
  83. <p>The parser expects the RTL body to be in the format emitted by this
  84. dumping function:
  85. </p>
  86. <div class="smallexample">
  87. <pre class="smallexample">DEBUG_FUNCTION void
  88. print_rtx_function (FILE *outfile, function *fn, bool compact);
  89. </pre></div>
  90. <p>when &quot;compact&quot; is true. So you can capture RTL in the correct format
  91. from the debugger using:
  92. </p>
  93. <div class="smallexample">
  94. <pre class="smallexample">(gdb) print_rtx_function (stderr, cfun, true);
  95. </pre></div>
  96. <p>and copy and paste the output into the body of the C function.
  97. </p>
  98. <p>Example DejaGnu tests of RTL can be seen in the source tree under
  99. <samp>gcc/testsuite/gcc.dg/rtl</samp>.
  100. </p>
  101. <p>The <code>__RTL</code> parser is not integrated with the C tokenizer or
  102. preprocessor, and works simply by reading the relevant lines within
  103. the braces. In particular, the RTL body must be on separate lines from
  104. the enclosing braces, and the preprocessor is not usable within it.
  105. </p>
  106. </body>
  107. </html>