From d72c3803acff210789a1d7dc7ccb710886840451 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 25 Mar 2023 01:24:27 +0000 Subject: Repair scheduling figure --- chapters/scheduling.tex | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex index d3a25f4..de83ed2 100644 --- a/chapters/scheduling.tex +++ b/chapters/scheduling.tex @@ -330,27 +330,27 @@ next sections. There is a predicated exit instruction which serves as an early exit instruction from the hyperblock, thereby making it single entry and multiple exit.}] \startframedtext[frame=off,offset=none,width={0.45\textwidth}] - \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 - \NC \NC |\ \ \text{\tt RBexit}\ p?\ i_{\mathit{cf}} \NR - \stopmathalignment\stopformula + \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 + \NC \NC \|\ \ \text{\tt RBexit}\ p?\ i_{\mathit{cf}} \NR + \stopmathalignment \stopformula \stopframedtext \stopplacefigure \startplacefigure[reference={eq:cf-instr},title={Control-flow instructions ending a hyperblock.}] \startframedtext[frame=off,offset=none,width={0.45\textwidth}] \startformula \startmathalignment - \NC i_{\mathit{cf}}\ \ \eqdef \NC \ \ \text{\tt RBcall}\ \mathit{sig}\ f\ \vec{r}\ d\ n \NR - \NC \NC |\ \ \text{\tt RBtailcall}\ \mathit{sig}\ f\ \vec{r} \NR - \NC \NC |\ \ \text{\tt RBbuiltin}\ f_{\mathit{ext}}\ \vec{r}\ r\ n \NR - \NC \NC |\ \ \text{\tt RBcond}\ c\ \vec{r}\ n_{1}\ n_{2} \NR - \NC \NC |\ \ \text{\tt RBjumptable}\ r\ \vec{n} \NR - \NC \NC |\ \ \text{\tt RBreturn}\ r? \NR - \NC \NC |\ \ \text{\tt RBgoto}\ n \NR + \NC i_{\mathit{cf}}\ \ \eqdef \NC \ \ \text{\tt RBcall}\ \mathit{sig}\ f\ \vec{r}\ d\ n \NR + \NC \NC \|\ \ \text{\tt RBtailcall}\ \mathit{sig}\ f\ \vec{r} \NR + \NC \NC \|\ \ \text{\tt RBbuiltin}\ f_{\mathit{ext}}\ \vec{r}\ r\ n \NR + \NC \NC \|\ \ \text{\tt RBcond}\ c\ \vec{r}\ n_{1}\ n_{2} \NR + \NC \NC \|\ \ \text{\tt RBjumptable}\ r\ \vec{n} \NR + \NC \NC \|\ \ \text{\tt RBreturn}\ r? \NR + \NC \NC \|\ \ \text{\tt RBgoto}\ n \NR \stopmathalignment \stopformula \stopframedtext \stopplacefigure -- cgit