X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=Alu.hs;h=78c5afcfe5504c8747aeb314d45511b4a79a8cc2;hb=89dda45ec76981b8f3b84cac1537b776df479efa;hp=f444abc9fbf950d18d71cbc5aae3afd3e4a1c8ea;hpb=731f4046bba741d654acf0c4d1ab3bbe985ceeb7;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/Alu.hs b/Alu.hs index f444abc..78c5afc 100644 --- a/Alu.hs +++ b/Alu.hs @@ -1,17 +1,19 @@ -module Alu (main) where +module Alu where import Bits import qualified Sim main = Sim.simulate exec program initial_state mainIO = Sim.simulateIO exec initial_state +dontcare = Low + program = [ -- (addr, we, op) (High, Low, High), -- z = r1 and t (0) ; t = r1 (1) (Low, Low, Low), -- z = r0 or t (1); t = r0 (0) - (Low, High, DontCare), -- r0 = z (1) + (Low, High, dontcare), -- r0 = z (1) (High, Low, High), -- z = r1 and t (0); t = r1 (1) - (High, High, DontCare) -- r1 = z (0) + (High, High, dontcare) -- r1 = z (0) ] initial_state = (Regs Low High, Low, Low) @@ -34,7 +36,7 @@ register_bank (High, Low, _) s = -- Read r1 (s, r1 s) register_bank (addr, High, d) s = -- Write - (s', DontCare) + (s', dontcare) where Regs r0 r1 = s r0' = if addr == Low then d else r0 @@ -57,7 +59,7 @@ exec (addr, Low, op) s = (s', ()) where (reg_s, t, z) = s - (reg_s', t') = register_bank (addr, Low, DontCare) reg_s + (reg_s', t') = register_bank (addr, Low, dontcare) reg_s z' = alu op t' t s' = (reg_s', t', z')