projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove support for DontCare.
[matthijs/master-project/cλash.git]
/
Alu.hs
diff --git
a/Alu.hs
b/Alu.hs
index ea9bae8cd551db729f16850f0146b7a756c64197..0fba3406d9bf55dfb532f93d46144adf58c988cc 100644
(file)
--- a/
Alu.hs
+++ b/
Alu.hs
@@
-5,7
+5,7
@@
import qualified Sim
main = Sim.simulate exec program initial_state
mainIO = Sim.simulateIO exec initial_state
main = Sim.simulate exec program initial_state
mainIO = Sim.simulateIO exec initial_state
-dontcare =
DontCare
+dontcare =
Low
program = [
-- (addr, we, op)
program = [
-- (addr, we, op)
@@
-43,8
+43,8
@@
register_bank (addr, High, d) s = -- Write
where
--Regs r0 r1 = s
(r0, r1) = s
where
--Regs r0 r1 = s
(r0, r1) = s
- r0' = case addr of Low -> d; High -> r0
; otherwise -> dontcare
- r1' = case addr of High -> d; Low -> r1
; otherwise -> dontcare
+ r0' = case addr of Low -> d; High -> r0
+ r1' = case addr of High -> d; Low -> r1
--s' = Regs r0' r1'
s' = (r0', r1')
--s' = Regs r0' r1'
s' = (r0', r1')