diff options
Diffstat (limited to 'cheri/sail_latex/sailfnexecuteSDL.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnexecuteSDL.tex | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/cheri/sail_latex/sailfnexecuteSDL.tex b/cheri/sail_latex/sailfnexecuteSDL.tex deleted file mode 100644 index 0e8e78b4..00000000 --- a/cheri/sail_latex/sailfnexecuteSDL.tex +++ /dev/null @@ -1,19 +0,0 @@ -function clause #\hyperref[zexecute]{execute}#(#\hyperref[zSDL]{SDL}#(base, rt, offset)) = - { - vAddr = #\hyperref[zaddrWrapperUnaligned]{addrWrapperUnaligned}#(#\hyperref[zsignzyextend]{sign\_extend}#(offset) + #\hyperref[zrGPR]{rGPR}#(base), StoreData, DL); - let pAddr = #\hyperref[zTLBTranslate]{TLBTranslate}#(vAddr, StoreData) in - { - reg_val = #\hyperref[zrGPR]{rGPR}#(rt); - match vAddr[2..0] - { - 0b000 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 8) = reg_val[63..00]), - 0b001 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 7) = reg_val[63..08]), - 0b010 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 6) = reg_val[63..16]), - 0b011 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 5) = reg_val[63..24]), - 0b100 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 4) = reg_val[63..32]), - 0b101 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 3) = reg_val[63..40]), - 0b110 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 2) = reg_val[63..48]), - 0b111 => (#\hyperref[zMEMwzywrapper]{MEMw\_wrapper}#(pAddr, 1) = reg_val[63..56]) - } - } - } |