<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Copyright (C) 1988-2015 Free Software Foundation, Inc.

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with the
Invariant Sections being "Funding Free Software", the Front-Cover
Texts being (a) (see below), and with the Back-Cover Texts being (b)
(see below).  A copy of the license is included in the section entitled
"GNU Free Documentation License".

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

A GNU Manual

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

You have freedom to copy and modify this GNU Manual, like GNU
     software.  Copies published by the Free Software Foundation raise
     funds for GNU development. -->
<!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
<head>
<title>GNU Compiler Collection (GCC) Internals: Loop manipulation</title>

<meta name="description" content="GNU Compiler Collection (GCC) Internals: Loop manipulation">
<meta name="keywords" content="GNU Compiler Collection (GCC) Internals: Loop manipulation">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="index.html#Top" rel="start" title="Top">
<link href="Option-Index.html#Option-Index" rel="index" title="Option Index">
<link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">
<link href="Loop-Analysis-and-Representation.html#Loop-Analysis-and-Representation" rel="up" title="Loop Analysis and Representation">
<link href="LCSSA.html#LCSSA" rel="next" title="LCSSA">
<link href="Loop-querying.html#Loop-querying" rel="prev" title="Loop querying">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
-->
</style>


</head>

<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Loop-manipulation"></a>
<div class="header">
<p>
Next: <a href="LCSSA.html#LCSSA" accesskey="n" rel="next">LCSSA</a>, Previous: <a href="Loop-querying.html#Loop-querying" accesskey="p" rel="prev">Loop querying</a>, Up: <a href="Loop-Analysis-and-Representation.html#Loop-Analysis-and-Representation" accesskey="u" rel="up">Loop Analysis and Representation</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>
</div>
<hr>
<a name="Loop-manipulation-1"></a>
<h3 class="section">15.3 Loop manipulation</h3>
<a name="index-Loop-manipulation"></a>

<p>The loops tree can be manipulated using the following functions:
</p>
<ul>
<li> <code>flow_loop_tree_node_add</code>: Adds a node to the tree.
</li><li> <code>flow_loop_tree_node_remove</code>: Removes a node from the tree.
</li><li> <code>add_bb_to_loop</code>: Adds a basic block to a loop.
</li><li> <code>remove_bb_from_loops</code>: Removes a basic block from loops.
</li></ul>

<p>Most low-level CFG functions update loops automatically.  The following
functions handle some more complicated cases of CFG manipulations:
</p>
<ul>
<li> <code>remove_path</code>: Removes an edge and all blocks it dominates.
</li><li> <code>split_loop_exit_edge</code>: Splits exit edge of the loop,
ensuring that PHI node arguments remain in the loop (this ensures that
loop-closed SSA form is preserved).  Only useful on GIMPLE.
</li></ul>

<p>Finally, there are some higher-level loop transformations implemented.
While some of them are written so that they should work on non-innermost
loops, they are mostly untested in that case, and at the moment, they
are only reliable for the innermost loops:
</p>
<ul>
<li> <code>create_iv</code>: Creates a new induction variable.  Only works on
GIMPLE.  <code>standard_iv_increment_position</code> can be used to find a
suitable place for the iv increment.
</li><li> <code>duplicate_loop_to_header_edge</code>,
<code>tree_duplicate_loop_to_header_edge</code>: These functions (on RTL and
on GIMPLE) duplicate the body of the loop prescribed number of times on
one of the edges entering loop header, thus performing either loop
unrolling or loop peeling.  <code>can_duplicate_loop_p</code>
(<code>can_unroll_loop_p</code> on GIMPLE) must be true for the duplicated
loop.
</li><li> <code>loop_version</code>, <code>tree_ssa_loop_version</code>: These function
create a copy of a loop, and a branch before them that selects one of
them depending on the prescribed condition.  This is useful for
optimizations that need to verify some assumptions in runtime (one of
the copies of the loop is usually left unchanged, while the other one is
transformed in some way).
</li><li> <code>tree_unroll_loop</code>: Unrolls the loop, including peeling the
extra iterations to make the number of iterations divisible by unroll
factor, updating the exit condition, and removing the exits that now
cannot be taken.  Works only on GIMPLE.
</li></ul>

<hr>
<div class="header">
<p>
Next: <a href="LCSSA.html#LCSSA" accesskey="n" rel="next">LCSSA</a>, Previous: <a href="Loop-querying.html#Loop-querying" accesskey="p" rel="prev">Loop querying</a>, Up: <a href="Loop-Analysis-and-Representation.html#Loop-Analysis-and-Representation" accesskey="u" rel="up">Loop Analysis and Representation</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>
</div>


</body>
</html>