diff options
-rw-r--r-- | doc/index.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/index.html b/doc/index.html index 72875e1a..78d43504 100644 --- a/doc/index.html +++ b/doc/index.html @@ -183,7 +183,7 @@ code. <TD>Recognition of operators<br>and addressing modes</TD> <TD>Cminor to CminorSel</TD> <TD><A HREF="html/compcert.backend.Selection.html">Selection</A><br> - <A HREF="html/Selectcompcert.powerpc.Op.html"><I>SelectOp</I></A><br> + <A HREF="html/compcert.powerpc.SelectOp.html"><I>SelectOp</I></A><br> <A HREF="html/compcert.powerpc.SelectLong.html"><I>SelectLong</I></A><br> <A HREF="html/compcert.backend.SelectDiv.html">SelectDiv</A><br> <A HREF="html/compcert.backend.SplitLong.html">SplitLong</A></TD> @@ -228,7 +228,7 @@ code. <TD>Constant propagation</TD> <TD>RTL to RTL</TD> <TD><A HREF="html/compcert.backend.Constprop.html">Constprop</A><br> - <A HREF="html/compcert.powerpc.Constpropcompcert.powerpc.Op.html"><I>ConstpropOp</I></A></TD> + <A HREF="html/compcert.powerpc.ConstpropOp.html"><I>ConstpropOp</I></A></TD> <TD><A HREF="html/compcert.backend.Constpropproof.html">Constpropproof</A><br> <A HREF="html/compcert.powerpc.ConstpropOpproof.html"><I>ConstproppOproof</I></A></TD> </TR> @@ -237,7 +237,7 @@ code. <TD>Common subexpression elimination</TD> <TD>RTL to RTL</TD> <TD><A HREF="html/compcert.backend.CSE.html">CSE</A><BR> - <A HREF="html/compcert.powerpc.Combinecompcert.powerpc.Op.html"><I>CombineOp</I></A></TD> + <A HREF="html/compcert.powerpc.CombineOp.html"><I>CombineOp</I></A></TD> <TD><A HREF="html/compcert.backend.CSEproof.html">CSEproof</A><BR> <A HREF="html/compcert.powerpc.CombineOpproof.html"><I>CombineOpproof</I></A></TD> </TR> @@ -328,10 +328,10 @@ CSE, and dead code elimination. <LI> <A HREF="html/compcert.backend.Liveness.html">Liveness</A>: liveness analysis</A>. <LI> <A HREF="html/compcert.backend.ValueAnalysis.html">ValueAnalysis</A>: value and alias analysis</A> <BR> See also: <A HREF="html/compcert.backend.ValueDomain.html">ValueDomain</A>: the abstract domain for value analysis.<BR> -See also: <A HREF="html/ValueAcompcert.powerpc.Op.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis. +See also: <A HREF="html/compcert.powerpc.ValueAOp.html"><I>ValueAOp</I></A>: processor-dependent parts of value analysis. <LI> <A HREF="html/compcert.backend.Deadcode.html">Deadcode</A>: neededness analysis</A> <BR> See also: <A HREF="html/compcert.backend.NeedDomain.html">NeedDomain</A>: the abstract domain for neededness analysis.<BR> -See also: <A HREF="html/compcert.powerpc.Needcompcert.powerpc.Op.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis. +See also: <A HREF="html/compcert.powerpc.NeedOp.html"><I>NeedOp</I></A>: processor-dependent parts of neededness analysis. </UL> <H3>Type systems</H3> |