added results of dominator analysis.
authorNorman Ramsey <nr@cs.tufts.edu>
Wed, 28 Apr 2010 22:32:06 +0000 (18:32 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Wed, 28 Apr 2010 22:32:06 +0000 (18:32 -0400)
paper/dom.eps [new symlink]
paper/onepage.tex

diff --git a/paper/dom.eps b/paper/dom.eps
new file mode 120000 (symlink)
index 0000000..dc1ca61
--- /dev/null
@@ -0,0 +1 @@
+dom.epsi
\ No newline at end of file
index aacdbd8..01c9d7a 100644 (file)
@@ -1,8 +1,9 @@
 \documentclass[twocolumn]{article}
-\usepackage{vmargin,mathpartir,times,mathptm}
+\usepackage{vmargin,mathpartir,times,mathptm,graphicx}
 % l2h substitution PAL <tt>C--</tt>
 \renewcommand{\ttdefault}{aett}
 
+
 \setcounter{secnumdepth}{0}
 
 \usepackage{verbatim} % allows to define \begin{smallcode}
@@ -554,10 +555,34 @@ The \texttt{WithBot} type comes with a lifting function that returns
 \texttt{JoinFun~Doms}.
 \end{enumerate}
 
-[Example output]
-
+\subsection{Example results from dominator analysis}
 
+The program is insertation sort, with two nested loops:
+\begin{smallcode}
+  a := 0
+  goto L1
+L1:
+  if (a != d) then goto L2 else goto L3
+L6:
+  c[b] := e
+  goto L1
+L2:
+  a := (a + 1)
+  b := (a - 1)
+  e := c[b]
+  goto L4
+L4:
+  if ((b != 0) && (c[(b - 1)] > e)) then goto L5 else goto L6
+L5:
+  c[b] := c[(b - 1)]
+  b := (b - 1)
+  goto L4
+L3:
+\end{smallcode}
 
+\centerline{%
+\includegraphics[scale=0.4]{dom.eps}%
+}
 
 
 \end{document}