Marco
/
UE2-Verfahren
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Korrektur Herausziehbarkeit

This commit is contained in:
Marco Ammon 2020-08-14 15:02:26 +02:00
parent a0347487b1
commit 94ef4dd194
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
verfahren.pdf
View File

Binary file not shown.

2
verfahren.tex
View File

@ -559,7 +559,7 @@
\item Bestimmung der Schleifenausgänge, also Knoten, die KFG-Nachfolger außerhalb der natürlichen Schleife besitzen
\item Alle Anforderungen an Zuweisungen müssen für Herausziehbarkeit gelten:\begin{itemize}
\item schleifeninvariant
\item in Grundblock, der alle Schleifenausgänge dominiert und alle die Variable nutzenden Blöcke strikt dominiert
\item in Grundblock, der alle Schleifenausgänge, nach denen die Variable lebendig ist, dominiert und alle die Variable nutzenden Blöcke strikt dominiert (oder in definierendem Block nach Definition auftritt)
\item einzige Zuweisung zu Variable in der ganzen Schleife
\end{itemize}
\item Herausziehen vor den Schleifenkopf in Breitensuchreihenfolge zur Bewahrung der Datenabhängigkeiten zwischen herausgezogenen Zuweisungen