1 files changed, 0 insertions, 17 deletions
diff --git a/cheri/sail_latex/sailfnexecuteBCMPZ.tex b/cheri/sail_latex/sailfnexecuteBCMPZ.tex
deleted file mode 100644
index ffaa5df3..00000000
--- a/cheri/sail_latex/sailfnexecuteBCMPZ.tex
+++ /dev/null
@@ -1,17 +0,0 @@
-function clause #\hyperref[zexecute]{execute}# (#\hyperref[zBCMPZ]{BCMPZ}#(rs, imm, cmp, link, likely)) =
-  {
-    linkVal = PC + 8;
-    regVal = #\hyperref[zrGPR]{rGPR}#(rs);
-    condition = #\hyperref[zcompare]{compare}#(cmp, regVal, #\hyperref[zzzerozyextend]{zero\_extend}#(0b0));
-    if (condition) then
-      {
-        let offset : #\hyperref[zbits]{bits}#(64) = (#\hyperref[zsignzyextend]{sign\_extend}#(imm @ 0b00) + 4) in
-        #\hyperref[zexecutezybranch]{execute\_branch}#(PC + offset);
-      }
-    else if (likely) then
-      {
-        nextPC = PC + 8  /* skip branch delay */
-      };
-    if (link) then
-      #\hyperref[zwGPR]{wGPR}#(0b11111) = linkVal
-  }