visus
/
toolchain-gcc-arm-embedded
關註 1
收藏 0
複製 0
程式碼 問題管理 0 合併請求 0 版本發佈 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 Commit
1 分支
分支: main
分支列表 標籤列表
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
toolchain-gcc-arm-embedded/share/doc/gcc-arm-none-eabi/html/gccint/Manipulating-GIMPLE-stateme...

300 line
14KB
原始文件 永久連結 Blame 文件歷史 

  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>Manipulating GIMPLE statements (GNU Compiler Collection (GCC) Internals)</title>

  26. 

  27. <meta name="description" content="Manipulating GIMPLE statements (GNU Compiler Collection (GCC) Internals)">

  28. <meta name="keywords" content="Manipulating GIMPLE statements (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="GIMPLE.html#GIMPLE" rel="up" title="GIMPLE">

  36. <link href="Tuple-specific-accessors.html#Tuple-specific-accessors" rel="next" title="Tuple specific accessors">

  37. <link href="Logical-Operators.html#Logical-Operators" rel="prev" title="Logical Operators">

  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="Manipulating-GIMPLE-statements"></a>

  71. <div class="header">

  72. <p>

  73. Next: <a href="Tuple-specific-accessors.html#Tuple-specific-accessors" accesskey="n" rel="next">Tuple specific accessors</a>, Previous: <a href="Operands.html#Operands" accesskey="p" rel="prev">Operands</a>, Up: <a href="GIMPLE.html#GIMPLE" accesskey="u" rel="up">GIMPLE</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="Manipulating-GIMPLE-statements-1"></a>

  77. <h3 class="section">12.7 Manipulating GIMPLE statements</h3>

  78. <a name="index-Manipulating-GIMPLE-statements"></a>

  79. 

  80. <p>This section documents all the functions available to handle each

  81. of the GIMPLE instructions.

  82. </p>

  83. <a name="Common-accessors"></a>

  84. <h4 class="subsection">12.7.1 Common accessors</h4>

  85. <p>The following are common accessors for gimple statements.

  86. </p>

  87. <dl>

  88. <dt><a name="index-gimple_005fcode"></a>GIMPLE function: <em>enum gimple_code</em> <strong>gimple_code</strong> <em>(gimple g)</em></dt>

  89. <dd><p>Return the code for statement <code>G</code>.

  90. </p></dd></dl>

  91. 

  92. <dl>

  93. <dt><a name="index-gimple_005fbb"></a>GIMPLE function: <em>basic_block</em> <strong>gimple_bb</strong> <em>(gimple g)</em></dt>

  94. <dd><p>Return the basic block to which statement <code>G</code> belongs to.

  95. </p></dd></dl>

  96. 

  97. <dl>

  98. <dt><a name="index-gimple_005fblock"></a>GIMPLE function: <em>tree</em> <strong>gimple_block</strong> <em>(gimple g)</em></dt>

  99. <dd><p>Return the lexical scope block holding statement <code>G</code>.

  100. </p></dd></dl>

  101. 

  102. <dl>

  103. <dt><a name="index-gimple_005fexpr_005ftype"></a>GIMPLE function: <em>tree</em> <strong>gimple_expr_type</strong> <em>(gimple stmt)</em></dt>

  104. <dd><p>Return the type of the main expression computed by <code>STMT</code>. Return

  105. <code>void_type_node</code> if <code>STMT</code> computes nothing. This will only return

  106. something meaningful for <code>GIMPLE_ASSIGN</code>, <code>GIMPLE_COND</code> and

  107. <code>GIMPLE_CALL</code>.  For all other tuple codes, it will return

  108. <code>void_type_node</code>.

  109. </p></dd></dl>

  110. 

  111. <dl>

  112. <dt><a name="index-gimple_005fexpr_005fcode"></a>GIMPLE function: <em>enum tree_code</em> <strong>gimple_expr_code</strong> <em>(gimple stmt)</em></dt>

  113. <dd><p>Return the tree code for the expression computed by <code>STMT</code>.  This

  114. is only meaningful for <code>GIMPLE_CALL</code>, <code>GIMPLE_ASSIGN</code> and

  115. <code>GIMPLE_COND</code>.  If <code>STMT</code> is <code>GIMPLE_CALL</code>, it will return <code>CALL_EXPR</code>.

  116. For <code>GIMPLE_COND</code>, it returns the code of the comparison predicate.

  117. For <code>GIMPLE_ASSIGN</code> it returns the code of the operation performed

  118. by the <code>RHS</code> of the assignment.

  119. </p></dd></dl>

  120. 

  121. <dl>

  122. <dt><a name="index-gimple_005fset_005fblock"></a>GIMPLE function: <em>void</em> <strong>gimple_set_block</strong> <em>(gimple g, tree block)</em></dt>

  123. <dd><p>Set the lexical scope block of <code>G</code> to <code>BLOCK</code>.

  124. </p></dd></dl>

  125. 

  126. <dl>

  127. <dt><a name="index-gimple_005flocus"></a>GIMPLE function: <em>location_t</em> <strong>gimple_locus</strong> <em>(gimple g)</em></dt>

  128. <dd><p>Return locus information for statement <code>G</code>.

  129. </p></dd></dl>

  130. 

  131. <dl>

  132. <dt><a name="index-gimple_005fset_005flocus"></a>GIMPLE function: <em>void</em> <strong>gimple_set_locus</strong> <em>(gimple g, location_t locus)</em></dt>

  133. <dd><p>Set locus information for statement <code>G</code>.

  134. </p></dd></dl>

  135. 

  136. <dl>

  137. <dt><a name="index-gimple_005flocus_005fempty_005fp"></a>GIMPLE function: <em>bool</em> <strong>gimple_locus_empty_p</strong> <em>(gimple g)</em></dt>

  138. <dd><p>Return true if <code>G</code> does not have locus information.

  139. </p></dd></dl>

  140. 

  141. <dl>

  142. <dt><a name="index-gimple_005fno_005fwarning_005fp"></a>GIMPLE function: <em>bool</em> <strong>gimple_no_warning_p</strong> <em>(gimple stmt)</em></dt>

  143. <dd><p>Return true if no warnings should be emitted for statement <code>STMT</code>.

  144. </p></dd></dl>

  145. 

  146. <dl>

  147. <dt><a name="index-gimple_005fset_005fvisited"></a>GIMPLE function: <em>void</em> <strong>gimple_set_visited</strong> <em>(gimple stmt, bool visited_p)</em></dt>

  148. <dd><p>Set the visited status on statement <code>STMT</code> to <code>VISITED_P</code>.

  149. </p></dd></dl>

  150. 

  151. <dl>

  152. <dt><a name="index-gimple_005fvisited_005fp"></a>GIMPLE function: <em>bool</em> <strong>gimple_visited_p</strong> <em>(gimple stmt)</em></dt>

  153. <dd><p>Return the visited status on statement <code>STMT</code>.

  154. </p></dd></dl>

  155. 

  156. <dl>

  157. <dt><a name="index-gimple_005fset_005fplf"></a>GIMPLE function: <em>void</em> <strong>gimple_set_plf</strong> <em>(gimple stmt, enum plf_mask plf, bool val_p)</em></dt>

  158. <dd><p>Set pass local flag <code>PLF</code> on statement <code>STMT</code> to <code>VAL_P</code>.

  159. </p></dd></dl>

  160. 

  161. <dl>

  162. <dt><a name="index-gimple_005fplf"></a>GIMPLE function: <em>unsigned int</em> <strong>gimple_plf</strong> <em>(gimple stmt, enum plf_mask plf)</em></dt>

  163. <dd><p>Return the value of pass local flag <code>PLF</code> on statement <code>STMT</code>.

  164. </p></dd></dl>

  165. 

  166. <dl>

  167. <dt><a name="index-gimple_005fhas_005fops"></a>GIMPLE function: <em>bool</em> <strong>gimple_has_ops</strong> <em>(gimple g)</em></dt>

  168. <dd><p>Return true if statement <code>G</code> has register or memory operands.

  169. </p></dd></dl>

  170. 

  171. <dl>

  172. <dt><a name="index-gimple_005fhas_005fmem_005fops"></a>GIMPLE function: <em>bool</em> <strong>gimple_has_mem_ops</strong> <em>(gimple g)</em></dt>

  173. <dd><p>Return true if statement <code>G</code> has memory operands.

  174. </p></dd></dl>

  175. 

  176. <dl>

  177. <dt><a name="index-gimple_005fnum_005fops-1"></a>GIMPLE function: <em>unsigned</em> <strong>gimple_num_ops</strong> <em>(gimple g)</em></dt>

  178. <dd><p>Return the number of operands for statement <code>G</code>.

  179. </p></dd></dl>

  180. 

  181. <dl>

  182. <dt><a name="index-gimple_005fops-1"></a>GIMPLE function: <em>tree *</em> <strong>gimple_ops</strong> <em>(gimple g)</em></dt>

  183. <dd><p>Return the array of operands for statement <code>G</code>.

  184. </p></dd></dl>

  185. 

  186. <dl>

  187. <dt><a name="index-gimple_005fop-1"></a>GIMPLE function: <em>tree</em> <strong>gimple_op</strong> <em>(gimple g, unsigned i)</em></dt>

  188. <dd><p>Return operand <code>I</code> for statement <code>G</code>.

  189. </p></dd></dl>

  190. 

  191. <dl>

  192. <dt><a name="index-gimple_005fop_005fptr"></a>GIMPLE function: <em>tree *</em> <strong>gimple_op_ptr</strong> <em>(gimple g, unsigned i)</em></dt>

  193. <dd><p>Return a pointer to operand <code>I</code> for statement <code>G</code>.

  194. </p></dd></dl>

  195. 

  196. <dl>

  197. <dt><a name="index-gimple_005fset_005fop"></a>GIMPLE function: <em>void</em> <strong>gimple_set_op</strong> <em>(gimple g, unsigned i, tree op)</em></dt>

  198. <dd><p>Set operand <code>I</code> of statement <code>G</code> to <code>OP</code>.

  199. </p></dd></dl>

  200. 

  201. <dl>

  202. <dt><a name="index-gimple_005faddresses_005ftaken"></a>GIMPLE function: <em>bitmap</em> <strong>gimple_addresses_taken</strong> <em>(gimple stmt)</em></dt>

  203. <dd><p>Return the set of symbols that have had their address taken by

  204. <code>STMT</code>.

  205. </p></dd></dl>

  206. 

  207. <dl>

  208. <dt><a name="index-gimple_005fdef_005fops"></a>GIMPLE function: <em>struct def_optype_d *</em> <strong>gimple_def_ops</strong> <em>(gimple g)</em></dt>

  209. <dd><p>Return the set of <code>DEF</code> operands for statement <code>G</code>.

  210. </p></dd></dl>

  211. 

  212. <dl>

  213. <dt><a name="index-gimple_005fset_005fdef_005fops"></a>GIMPLE function: <em>void</em> <strong>gimple_set_def_ops</strong> <em>(gimple g, struct def_optype_d *def)</em></dt>

  214. <dd><p>Set <code>DEF</code> to be the set of <code>DEF</code> operands for statement <code>G</code>.

  215. </p></dd></dl>

  216. 

  217. <dl>

  218. <dt><a name="index-gimple_005fuse_005fops"></a>GIMPLE function: <em>struct use_optype_d *</em> <strong>gimple_use_ops</strong> <em>(gimple g)</em></dt>

  219. <dd><p>Return the set of <code>USE</code> operands for statement <code>G</code>.

  220. </p></dd></dl>

  221. 

  222. <dl>

  223. <dt><a name="index-gimple_005fset_005fuse_005fops"></a>GIMPLE function: <em>void</em> <strong>gimple_set_use_ops</strong> <em>(gimple g, struct use_optype_d *use)</em></dt>

  224. <dd><p>Set <code>USE</code> to be the set of <code>USE</code> operands for statement <code>G</code>.

  225. </p></dd></dl>

  226. 

  227. <dl>

  228. <dt><a name="index-gimple_005fvuse_005fops"></a>GIMPLE function: <em>struct voptype_d *</em> <strong>gimple_vuse_ops</strong> <em>(gimple g)</em></dt>

  229. <dd><p>Return the set of <code>VUSE</code> operands for statement <code>G</code>.

  230. </p></dd></dl>

  231. 

  232. <dl>

  233. <dt><a name="index-gimple_005fset_005fvuse_005fops"></a>GIMPLE function: <em>void</em> <strong>gimple_set_vuse_ops</strong> <em>(gimple g, struct voptype_d *ops)</em></dt>

  234. <dd><p>Set <code>OPS</code> to be the set of <code>VUSE</code> operands for statement <code>G</code>.

  235. </p></dd></dl>

  236. 

  237. <dl>

  238. <dt><a name="index-gimple_005fvdef_005fops"></a>GIMPLE function: <em>struct voptype_d *</em> <strong>gimple_vdef_ops</strong> <em>(gimple g)</em></dt>

  239. <dd><p>Return the set of <code>VDEF</code> operands for statement <code>G</code>.

  240. </p></dd></dl>

  241. 

  242. <dl>

  243. <dt><a name="index-gimple_005fset_005fvdef_005fops"></a>GIMPLE function: <em>void</em> <strong>gimple_set_vdef_ops</strong> <em>(gimple g, struct voptype_d *ops)</em></dt>

  244. <dd><p>Set <code>OPS</code> to be the set of <code>VDEF</code> operands for statement <code>G</code>.

  245. </p></dd></dl>

  246. 

  247. <dl>

  248. <dt><a name="index-gimple_005floaded_005fsyms"></a>GIMPLE function: <em>bitmap</em> <strong>gimple_loaded_syms</strong> <em>(gimple g)</em></dt>

  249. <dd><p>Return the set of symbols loaded by statement <code>G</code>.  Each element of

  250. the set is the <code>DECL_UID</code> of the corresponding symbol.

  251. </p></dd></dl>

  252. 

  253. <dl>

  254. <dt><a name="index-gimple_005fstored_005fsyms"></a>GIMPLE function: <em>bitmap</em> <strong>gimple_stored_syms</strong> <em>(gimple g)</em></dt>

  255. <dd><p>Return the set of symbols stored by statement <code>G</code>.  Each element of

  256. the set is the <code>DECL_UID</code> of the corresponding symbol.

  257. </p></dd></dl>

  258. 

  259. <dl>

  260. <dt><a name="index-gimple_005fmodified_005fp"></a>GIMPLE function: <em>bool</em> <strong>gimple_modified_p</strong> <em>(gimple g)</em></dt>

  261. <dd><p>Return true if statement <code>G</code> has operands and the modified field

  262. has been set.

  263. </p></dd></dl>

  264. 

  265. <dl>

  266. <dt><a name="index-gimple_005fhas_005fvolatile_005fops"></a>GIMPLE function: <em>bool</em> <strong>gimple_has_volatile_ops</strong> <em>(gimple stmt)</em></dt>

  267. <dd><p>Return true if statement <code>STMT</code> contains volatile operands.

  268. </p></dd></dl>

  269. 

  270. <dl>

  271. <dt><a name="index-gimple_005fset_005fhas_005fvolatile_005fops"></a>GIMPLE function: <em>void</em> <strong>gimple_set_has_volatile_ops</strong> <em>(gimple stmt, bool volatilep)</em></dt>

  272. <dd><p>Return true if statement <code>STMT</code> contains volatile operands.

  273. </p></dd></dl>

  274. 

  275. <dl>

  276. <dt><a name="index-update_005fstmt"></a>GIMPLE function: <em>void</em> <strong>update_stmt</strong> <em>(gimple s)</em></dt>

  277. <dd><p>Mark statement <code>S</code> as modified, and update it.

  278. </p></dd></dl>

  279. 

  280. <dl>

  281. <dt><a name="index-update_005fstmt_005fif_005fmodified"></a>GIMPLE function: <em>void</em> <strong>update_stmt_if_modified</strong> <em>(gimple s)</em></dt>

  282. <dd><p>Update statement <code>S</code> if it has been marked modified.

  283. </p></dd></dl>

  284. 

  285. <dl>

  286. <dt><a name="index-gimple_005fcopy"></a>GIMPLE function: <em>gimple</em> <strong>gimple_copy</strong> <em>(gimple stmt)</em></dt>

  287. <dd><p>Return a deep copy of statement <code>STMT</code>.

  288. </p></dd></dl>

  289. 

  290. <hr>

  291. <div class="header">

  292. <p>

  293. Next: <a href="Tuple-specific-accessors.html#Tuple-specific-accessors" accesskey="n" rel="next">Tuple specific accessors</a>, Previous: <a href="Operands.html#Operands" accesskey="p" rel="prev">Operands</a>, Up: <a href="GIMPLE.html#GIMPLE" accesskey="u" rel="up">GIMPLE</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>

  294. </div>

  295. 

  296. 

  297. 

  298. </body>

  299. </html>