# HG changeset patch # User Thomas Wuerthinger # Date 1304961165 -7200 # Node ID 1586b1b56f0c5e8bef7e169a0502d20b64ec8831 # Parent 15774da896588e8a6c5d635dbf99224464199f5e Fixed typo. diff -r 15774da89658 -r 1586b1b56f0c doc/design/graal_compiler.pdf Binary file doc/design/graal_compiler.pdf has changed diff -r 15774da89658 -r 1586b1b56f0c doc/design/graal_compiler.tex --- a/doc/design/graal_compiler.tex Mon May 09 17:28:10 2011 +0200 +++ b/doc/design/graal_compiler.tex Mon May 09 19:12:45 2011 +0200 @@ -133,7 +133,7 @@ \item Nodes can have a control flow dependency, which means that the execution of one node will be followed by the execution of another node. This includes conditional execution, memory access serialization and other reasons, and again introduces a partial order to the set of nodes. \item Nodes can only have data and control dependencies to nodes which belong to the same graph. \item Control dependencies and data dependencies each represent a \emph{directed acyclic graph} (DAG) on the same set of nodes. This means that data dependencies always point upwards, and control dependencies always point downwards in a drawing of the graph. Situations that normally incur cycles (like loops) are represented by special nodes (see Section~\ref{sec:loops}). - \item Ordering between nodes is specified only to the extent which is required to correctly express the semantics of a given program. This gives the compiler flexibility for the possible scheduling of a node and therefore wriggle room for optimizations. For algorithms that require a fixed ordering of nodes, a temporary schedule can always be generated. + \item Ordering between nodes is specified only to the extent which is required to correctly express the semantics of a given program. This gives the compiler flexibility for the possible scheduling of a node and therefore wiggle room for optimizations. For algorithms that require a fixed ordering of nodes, a temporary schedule can always be generated. \item Both data and control dependencies can be traversed in both directions, so that each node can be traversed in four directions (see Figure~\ref{fig:directions}): \begin{itemize} \item \emph{inputs} are all nodes that this node has data dependencies on.