diff options
Diffstat (limited to 'cheri/sail_latex/sailfncptwonextpc.tex')
| -rw-r--r-- | cheri/sail_latex/sailfncptwonextpc.tex | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/cheri/sail_latex/sailfncptwonextpc.tex b/cheri/sail_latex/sailfncptwonextpc.tex deleted file mode 100644 index c2a9c944..00000000 --- a/cheri/sail_latex/sailfncptwonextpc.tex +++ /dev/null @@ -1,8 +0,0 @@ -function #\hyperref[zcptwozynextzypc]{cp2\_next\_pc}# () = { - PCC = nextPCC; - if inBranchDelay then { - nextPCC = delayedPCC; - } else { - inCCallDelay = 0b0; - }; -} |