From e715e592237b979f3cfffdd9f4d167222454b88f Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 30 Jun 2016 20:20:26 +0200
Subject: A,B,C-stacks

---
 AStack.dcl | 37 ++++++++++++++++++++++++++
 AStack.icl | 15 +++++++++++
 BStack.dcl | 30 +++++++++++++++++++++
 BStack.icl | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 CStack.dcl | 12 +++++++++
 CStack.icl | 21 +++++++++++++++
 Def.dcl    |  5 ++++
 Def.icl    |  1 +
 Misc.dcl   |  3 +++
 Misc.icl   |  6 +++++
 10 files changed, 218 insertions(+)
 create mode 100644 AStack.dcl
 create mode 100644 AStack.icl
 create mode 100644 BStack.dcl
 create mode 100644 BStack.icl
 create mode 100644 CStack.dcl
 create mode 100644 CStack.icl
 create mode 100644 Def.dcl
 create mode 100644 Def.icl
 create mode 100644 Misc.dcl
 create mode 100644 Misc.icl

diff --git a/AStack.dcl b/AStack.dcl
new file mode 100644
index 0000000..2812842
--- /dev/null
+++ b/AStack.dcl
@@ -0,0 +1,37 @@
+implementation module ABC.AStack
+
+import StdEnv
+
+import ABC.Def
+
+as_get    :: ASrc AStack -> NodeId
+as_get _ []    = abortn "as_get: index too large"
+as_get 0 [n:_] = n
+as_get i [_:s] = as_get (i-1) s
+
+as_init   :: AStack
+as_init = []
+
+as_popn   :: NrArgs AStack -> AStack
+as_popn 0 s     = s
+as_popn _ []    = abortn "as_popn: popping too many elements"
+as_popn i [_:s] = as_popn (i-1) s
+
+as_push   :: NodeId AStack -> AStack
+as_push n s = [n:s]
+
+as_pushn  :: [NodeId] AStack -> AStack
+as_pushn is s = is ++ ns
+
+as_topn   :: NrArgs AStack -> [NodeId]
+as_topn i s = topn [] i s
+where
+	topn :: [NodeId] NrArgs AStack -> [NodeId]
+	topn ns 0 _     = ns
+	topn _ i []     = abortn "as_topn: taking too many elements"
+	topn ns i [n:s] = topn (ns ++ [n]) (i-1) s
+
+as_update :: ADst NodeId AStack -> AStack
+as_update 0 n [_:s] = [n:s]
+as_update _ _ []    = abortn "as_update: index too large"
+as_update i n [m:s] = [m:as_update (i-1) n s]
diff --git a/AStack.icl b/AStack.icl
new file mode 100644
index 0000000..799892f
--- /dev/null
+++ b/AStack.icl
@@ -0,0 +1,15 @@
+definition module ABC.AStack
+
+from ABC.Def import ::NodeId, ::NrArgs
+
+:: ASrc    :== Int
+:: ADst    :== Int
+:: AStack (:== [NodeId])
+
+as_get    :: ASrc AStack -> NodeId
+as_init   :: AStack
+as_popn   :: NrArgs AStack -> AStack
+as_push   :: NodeId AStack -> AStack
+as_pushn  :: [NodeId] AStack -> AStack
+as_topn   :: NrArgs AStack -> [NodeId]
+as_update :: ADst NodeId AStack -> AStack
diff --git a/BStack.dcl b/BStack.dcl
new file mode 100644
index 0000000..4f5bbfa
--- /dev/null
+++ b/BStack.dcl
@@ -0,0 +1,30 @@
+definition module ABC.BStack
+
+:: Basic   = Int  Int
+           | Bool Bool
+
+:: BSrc    :== Int
+:: BDst    :== Int
+:: BStack (:== [Basic])
+
+bs_copy   :: BSrc BStack -> BStack
+bs_get    :: BSrc BStack -> Basic
+bs_getB   :: BSrc BStack -> Bool
+bs_getI   :: BSrc BStack -> Int
+bs_init   :: BStack
+bs_popn   :: NrArgs BStack -> BStack
+bs_push   :: Dynamic BStack -> BStack
+bs_pushB  :: Bool BStack -> BStack
+bs_pushI  :: Int BStack -> BStack
+bs_update :: BDst Dynamic BStack -> BStack
+bs_addI   :: BStack -> BStack
+bs_decI   :: BStack -> BStack
+bs_incI   :: BStack -> BStack
+bs_eqB    :: BStack -> BStack
+bs_eqI    :: BStack -> BStack
+bs_eqBi   :: Bool BSrc BStack -> BStack
+bs_eqIi   :: Int BSrc BStack -> BStack
+bs_gtI    :: BStack -> BStack
+bs_ltI    :: BStack -> BStack
+bs_mulI   :: BStack -> BStack
+bs_subI   :: BStack -> BStack
diff --git a/BStack.icl b/BStack.icl
new file mode 100644
index 0000000..aa96551
--- /dev/null
+++ b/BStack.icl
@@ -0,0 +1,88 @@
+implementation module ABC.BStack
+
+import StdEnv
+
+import ABC.Def
+import ABC.Misc
+
+bs_copy   :: BSrc BStack -> BStack
+bs_copy i s = [bs_get i s:s]
+
+bs_get    :: BSrc BStack -> Basic
+bs_get _ []    = abortn "bs_get: index too large"
+bs_get 0 [b:s] = b
+bs_get i [_:s] = bs_get (i-1) s
+
+bs_getB   :: BSrc BStack -> Bool
+bs_getB i s = case bs_get i s of
+	(Bool b) = b
+	_        = abortn "bs_getB on non-Bool value\n"
+
+bs_getI   :: BSrc BStack -> Int
+bs_getI i s = case bs_get i s of
+	(Int i) = i
+	_       = abortn "bs_getI on non-Int value\n"
+
+bs_init   :: BStack
+bs_init = []
+
+bs_popn   :: NrArgs BStack -> BStack
+bs_popn 0 s     = s
+bs_popn _ []    = abortn "bs_popn: popping too many elements"
+bs_popn i [_:s] = bs_popn (i-1) s
+
+bs_push   :: Dynamic BStack -> BStack
+bs_push d s = [d:s]
+
+bs_pushB  :: Bool BStack -> BStack
+bs_pushB b s = [dynamic b:s]
+
+bs_pushI  :: Int BStack -> BStack
+bs_pushI i s = [dynamic i:s]
+
+bs_update :: BDst Dynamic BStack -> BStack
+bs_update 0 d [_:s] = [d:s]
+bs_update _ _ []    = abortn "bs_update: index too large"
+bs_update i d [e:s] = [e:bs_update (i-1) d s]
+
+bs_addI   :: BStack -> BStack
+bs_addI [Int m:Int n:s] = bs_pushI (m+n) s
+bs_addI _               = abortn "bs_addI: no integers"
+
+bs_decI   :: BStack -> BStack
+bs_decI [Int n:s] = bs_pushI (n-1) s
+bs_decI _         = abortn "bs_decI: no integer"
+
+bs_incI   :: BStack -> BStack
+bs_incI [Int n:s] = bs_pushI (n+1) s
+bs_incI _         = abortn "bs_incI: no integer"
+
+bs_eqB    :: BStack -> BStack
+bs_eqB [Bool b:Bool c:s] = bs_pushB (b == c) s
+bs_eqB _                 = abortn "bs_eqB: no booleans"
+
+bs_eqI    :: BStack -> BStack
+bs_eqI [Int m:Int n:s] = bs_pushB (m == n) s
+bs_eqI _               = abortn "bs_eqI: no integers"
+
+bs_eqBi   :: Bool BSrc BStack -> BStack
+bs_eqBi b i s = bs_pushB (bs_getB i s == b) s
+
+bs_eqIi   :: Int BSrc BStack -> BStack
+bs_eqIi n i s = bs_pushB (bs_getI i s == n) s
+
+bs_gtI    :: BStack -> BStack
+bs_gtI [Int m:Int n:s] = bs_pushB (m > n) s
+bs_gtI _               = abortn "bs_gtI: no integers"
+
+bs_ltI    :: BStack -> BStack
+bs_ltI [Int m:Int n:s] = bs_pushB (m < n) s
+bs_ltI _               = abortn "bs_ltI: no integers"
+
+bs_mulI   :: BStack -> BStack
+bs_mulI [Int m:Int n:s] = bs_pushB (m * n) s
+bs_mulI _               = abortn "bs_mulI: no integers"
+
+bs_subI   :: BStack -> BStack
+bs_subI [Int m:Int n:s] = bs_pushB (m - n) s
+bs_subI _               = abortn "bs_subI: no integers"
diff --git a/CStack.dcl b/CStack.dcl
new file mode 100644
index 0000000..8aa6824
--- /dev/null
+++ b/CStack.dcl
@@ -0,0 +1,12 @@
+definition module ABC.CStack
+
+from ABC.Def import ::InstrId
+
+:: CSrc    :== Int
+:: CDst    :== Int
+:: CStack (:== [InstrId])
+
+cs_init :: CStack
+cs_get  :: CSrc CStack -> InstrId
+cs_popn :: CSrc CStack -> CStack
+cs_push :: InstrId CStack -> CStack
diff --git a/CStack.icl b/CStack.icl
new file mode 100644
index 0000000..f549c4f
--- /dev/null
+++ b/CStack.icl
@@ -0,0 +1,21 @@
+implementation module ABC.CStack
+
+import StdEnv
+
+import ABC.Def
+
+cs_init :: CStack
+cs_init = []
+
+cs_get  :: CSrc CStack -> InstrId
+cs_get _ []    = abortn "cs_get: index too large"
+cs_get 0 [i:_] = i
+cs_get i [_:s] = cs_get (i-1) s
+
+cs_popn :: CSrc CStack -> CStack
+cs_popn 0 s     = s
+cs_popn _ []    = abortn "cs_popn: popping too many elements"
+cs_popn i [_:s] = cs_popn (i-1) s
+
+cs_push :: InstrId CStack -> CStack
+cs_push i s = [i:s]
diff --git a/Def.dcl b/Def.dcl
new file mode 100644
index 0000000..3f1e203
--- /dev/null
+++ b/Def.dcl
@@ -0,0 +1,5 @@
+definition module ABC.Def
+
+:: NodeId  :== Int
+:: NrArgs  :== Int
+:: InstrId :== Int
diff --git a/Def.icl b/Def.icl
new file mode 100644
index 0000000..81bfeee
--- /dev/null
+++ b/Def.icl
@@ -0,0 +1 @@
+implementation module ABC.Def
diff --git a/Misc.dcl b/Misc.dcl
new file mode 100644
index 0000000..acd5117
--- /dev/null
+++ b/Misc.dcl
@@ -0,0 +1,3 @@
+definition module ABC.Misc
+
+abortn :: String -> a
diff --git a/Misc.icl b/Misc.icl
new file mode 100644
index 0000000..034ce9d
--- /dev/null
+++ b/Misc.icl
@@ -0,0 +1,6 @@
+implementation module ABC.Misc
+
+import StdEnv
+
+abortn :: String -> a
+abortn s = abort (s +++ "\n")
-- 
cgit v1.2.3