summaryrefslogtreecommitdiff
path: root/cheri/sail_latexcc/sailccfnnumofClearRegSet.tex
diff options
context:
space:
mode:
Diffstat (limited to 'cheri/sail_latexcc/sailccfnnumofClearRegSet.tex')
-rw-r--r--cheri/sail_latexcc/sailccfnnumofClearRegSet.tex6
1 files changed, 6 insertions, 0 deletions
diff --git a/cheri/sail_latexcc/sailccfnnumofClearRegSet.tex b/cheri/sail_latexcc/sailccfnnumofClearRegSet.tex
new file mode 100644
index 00000000..3dd58b89
--- /dev/null
+++ b/cheri/sail_latexcc/sailccfnnumofClearRegSet.tex
@@ -0,0 +1,6 @@
+function num_of_ClearRegSet arg# = match arg# {
+ GPLo => 0,
+ GPHi => 1,
+ CLo => 2,
+ CHi => 3
+}