diff options
Diffstat (limited to 'chapters/scheduling.tex')
-rw-r--r-- | chapters/scheduling.tex | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex index 916812c..58528cd 100644 --- a/chapters/scheduling.tex +++ b/chapters/scheduling.tex @@ -291,13 +291,13 @@ next sections. \startfloatcombination[nx=2] \startplacefigure[reference={eq:standard},title={Syntax for instructions within a hyperblock.}] \startframedtext[frame=off,offset=none,width={0.45\textwidth}] - \startformula \startalign + \startformula\startmathalignment \NC i\ \ \eqdef \NC \ \ \text{\tt RBnop} \NR \NC \NC |\ \ \text{\tt RBop}\ p?\ \mathit{op}\ \vec{r}\ d \NR \NC \NC |\ \ \text{\tt RBload}\ p?\ \mathit{chunk}\ \mathit{addr}\ \vec{r}\ d \NR \NC \NC |\ \ \text{\tt RBstore}\ p?\ \mathit{chunk}\ \mathit{addr}\ \vec{r}\ s \NR \NC \NC |\ \ \text{\tt RBsetpred}\ p?\ c\ \vec{r}\ d \NR -\stopalign \stopformula +\stopmathalignment\stopformula \stopframedtext \stopplacefigure @@ -333,11 +333,11 @@ branch on a predicate an nests more control-flow instructions inside of it. This for if-conversion, when converting an already converted conditional statement, as depending on the predicate, a different control-flow instruction may be necessary. -\placeformula[fig:hb_def]\startformula\startalign[align={1:left}] +\placeformula[fig:hb_def]\startformula\startmathalignment[align={1:left}] \NC \blockbb \qquad \eqdef \qquad (\text{\tt slist}\ i) \times i_{\mathit{cf}} \NR \NC \parbb \qquad \eqdef \qquad (\text{\tt slist}\ (\text{\tt plist}\ (\text{\tt slist}\ i))) \times i_{\mathit{cf}}\NR -\stopalign\stopformula +\stopmathalignment\stopformula These instructions are use in \rtlblock\ as well as in \rtlpar. The main difference between these two languages is how these instructions are arranged within the hyperblock and the execution @@ -539,7 +539,7 @@ predicated type and append the first predicated type to the second: \subsection[example-of-translation]{Example of translation} -\placeformula[eq:4]\startformula\startalign[n=1,align={1:left}] +\placeformula[eq:4]\startformula \startmathalignment[n=1,align={1:left}] \NC \text{\tt r1} = \startcases \NC \text{\tt r1}^{0} + \text{\tt r4}^{0} + \text{\tt r4}^{0}, \quad \NC \text{\tt p1} \NR @@ -555,7 +555,7 @@ predicated type and append the first predicated type to the second: \NC \text{\tt !p2 \&\& p1}\NR \NC \text{\tt r3}^{0} \times \text{\tt r3}^{0},\quad \NC\text{\tt p2 \&\& p1}\NR \stopcases\NR -\stopalign \stopformula +\stopmathalignment \stopformula Using the example shown in \in{Figure}[fig:op_chain], the \rtlblock\ hyperblock shown in \in{Figure}{a}[fig:op_chain] is scheduled into the hyperblock \rtlpar\ shown in |