bartek/mvm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add more unit tests for Virtual Machine

Browse Source
This commit is contained in:
Bartłomiej Przemysław Pluta
2021-11-10 20:19:15 +01:00
parent 107e3fa865
commit bae874a97d
1 changed files with 350 additions and 307 deletions
Download Patch File Download Diff File Expand all files Collapse all files

657
test/VirtualMachineSpec.hs
View File

@@ -14,8 +14,8 @@ spec :: Spec
spec = do spec = do
describe "nop" $ do describe "nop" $ do
it "does do nothing" $ do it "does do nothing" $ do
let input = "nop\n\ let input = " nop \n\
\halt" \ halt "
let expected = done [] 1 (-1) let expected = done [] 1 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
@@ -27,588 +27,631 @@ spec = do
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "throws an error if halt instruction is not encountered and program exits" $ do it "throws an error if halt instruction is not encountered and program exits" $ do
let input = "nop\n\ let input = " nop \n\
\nop" \ nop "
let expected = Left "PC (=2) exceeds program size (=2)" let expected = Left "PC (=2) exceeds program size (=2)"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "push" $ do describe "push" $ do
it "supports push" $ do it "supports push" $ do
let input = "push 1\n\ let input = " push 1 \n\
\halt" \ halt "
let expected = done [1] 2 (-1) let expected = done [1] 2 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "supports pushing in the correct order" $ do it "supports pushing in the correct order" $ do
let input = "push 1\n\ let input = " push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\push 4\n\ \ push 4 \n\
\halt" \ halt "
let expected = done [4, 3, 2, 1] 8 (-1) let expected = done [4, 3, 2, 1] 8 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "pop" $ do describe "pop" $ do
it "supports pop" $ do it "supports pop" $ do
let input = "push 1\n\ let input = " push 1 \n\
\pop\n\ \ pop \n\
\halt" \ halt "
let expected = done [] 3 (-1) let expected = done [] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "supports poping in correct order" $ do it "supports poping in correct order" $ do
let input = "push 1\n\ let input = " push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\push 4\n\ \ push 4 \n\
\pop\n\ \ pop \n\
\pop\n\ \ pop \n\
\halt" \ halt "
let expected = done [2, 1] 10 (-1) let expected = done [2, 1] 10 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "pop\n\ let input = " pop \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "dup" $ do describe "dup" $ do
it "duplicates the top stack value" $ do it "duplicates the top stack value" $ do
let input = "push 1\n\ let input = " push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\dup\n\ \ dup \n\
\halt" \ halt "
let expected = done [3, 3, 2, 1] 7 (-1) let expected = done [3, 3, 2, 1] 7 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "dup\n\ let input = " dup \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "swap" $ do describe "swap" $ do
it "swaps the top 2 stack values" $ do it "swaps the top 2 stack values" $ do
let input = "push 1\n\ let input = " push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\push 4\n\ \ push 4 \n\
\push 5\n\ \ push 5 \n\
\swap\n\ \ swap \n\
\halt" \ halt "
let expected = done [4, 5, 3, 2, 1] 11 (-1) let expected = done [4, 5, 3, 2, 1] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "swap\n\ let input = " swap \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if stack is not big enough" $ do it "raises error if stack is not big enough" $ do
let input = "push 5\n\ let input = " push 5 \n\
\swap\n\ \ swap \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "add" $ do describe "add" $ do
it "sums the top 2 stack values" $ do it "sums the top 2 stack values" $ do
let input = "push 7\n\ let input = " push 7 \n\
\push 4\n\ \ push 4 \n\
\add\n\ \ add \n\
\halt" \ halt "
let expected = done [7+4] 5 (-1) let expected = done [7+4] 5 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "can be composed" $ do it "can be composed" $ do
let input = "push 4\n\ let input = " push 4 \n\
\push 7\n\ \ push 7 \n\
\push 10\n\ \ push 10 \n\
\push 3\n\ \ push 3 \n\
\add\n\ \ add \n\
\add\n\ \ add \n\
\add\n\ \ add \n\
\halt" \ halt "
let expected = done [4+(7+(10+3))] 11 (-1) let expected = done [4+(7+(10+3))] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "add\n\ let input = " add \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if stack is not big enough" $ do it "raises error if stack is not big enough" $ do
let input = "push 5\n\ let input = " push 5\n\
\add\n\ \ add \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "sub" $ do describe "sub" $ do
it "substracts the top 2 stack values" $ do it "substracts the top 2 stack values" $ do
let input = "push 7\n\ let input = " push 7 \n\
\push 4\n\ \ push 4 \n\
\sub\n\ \ sub \n\
\halt" \ halt "
let expected = done [7-4] 5 (-1) let expected = done [7-4] 5 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "can be composed" $ do it "can be composed" $ do
let input = "push 4\n\ let input = " push 4 \n\
\push 7\n\ \ push 7 \n\
\push 10\n\ \ push 10 \n\
\push 3\n\ \ push 3 \n\
\sub\n\ \ sub \n\
\sub\n\ \ sub \n\
\sub\n\ \ sub \n\
\halt" \ halt "
let expected = done [4-(7-(10-3))] 11 (-1) let expected = done [4-(7-(10-3))] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "sub\n\ let input = " sub \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if stack is not big enough" $ do it "raises error if stack is not big enough" $ do
let input = "push 5\n\ let input = " push 5 \n\
\sub\n\ \ sub \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "mul" $ do describe "mul" $ do
it "multiplies the top 2 stack values" $ do it "multiplies the top 2 stack values" $ do
let input = "push 7\n\ let input = " push 7 \n\
\push 4\n\ \ push 4 \n\
\mul\n\ \ mul \n\
\halt" \ halt "
let expected = done [7*4] 5 (-1) let expected = done [7*4] 5 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "can be composed" $ do it "can be composed" $ do
let input = "push 4\n\ let input = " push 4 \n\
\push 7\n\ \ push 7 \n\
\push 10\n\ \ push 10 \n\
\push 3\n\ \ push 3 \n\
\mul\n\ \ mul \n\
\mul\n\ \ mul \n\
\mul\n\ \ mul \n\
\halt" \ halt "
let expected = done [4*(7*(10*3))] 11 (-1) let expected = done [4*(7*(10*3))] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "mul\n\ let input = " mul \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if stack is not big enough" $ do it "raises error if stack is not big enough" $ do
let input = "push 5\n\ let input = " push 5 \n\
\mul\n\ \ mul \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "div" $ do describe "div" $ do
it "divides the top 2 stack values" $ do it "divides the top 2 stack values" $ do
let input = "push 7\n\ let input = " push 7 \n\
\push 4\n\ \ push 4 \n\
\div\n\ \ div \n\
\halt" \ halt "
let expected = done [7 `div` 4] 5 (-1) let expected = done [7 `div` 4] 5 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "can be composed" $ do it "can be composed" $ do
let input = "push 4\n\ let input = " push 4 \n\
\push 7\n\ \ push 7 \n\
\push 10\n\ \ push 10 \n\
\push 3\n\ \ push 3 \n\
\div\n\ \ div \n\
\div\n\ \ div \n\
\div\n\ \ div \n\
\halt" \ halt "
let expected = done [4 `div` (7 `div` (10 `div` 3))] 11 (-1) let expected = done [4 `div` (7 `div` (10 `div` 3))] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "div\n\ let input = " div \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if stack is not big enough" $ do it "raises error if stack is not big enough" $ do
let input = "push 5\n\ let input = " push 5 \n\
\div\n\ \ div \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1" let expected = Left "Attempt to pop from empty stack: tried to pop 2 elements, got 1"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "neg" $ do describe "neg" $ do
it "negates the top stack value" $ do it "negates the top stack value" $ do
let input = "push 4\n\ let input = " push 4 \n\
\neg\n\ \ neg \n\
\halt" \ halt "
let expected = done [-4] 3 (-1) let expected = done [-4] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "the od number of 'neg' instructions should negate the value" $ do it "the od number of 'neg' instructions should negate the value" $ do
let input = "push 4\n\ let input = " push 4 \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\halt" \ halt "
let expected = done [4] 8 (-1) let expected = done [4] 8 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "the even number of 'neg' instructions should not change the value" $ do it "the even number of 'neg' instructions should not change the value" $ do
let input = "push 4\n\ let input = " push 4 \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\neg\n\ \ neg \n\
\halt" \ halt "
let expected = done [-4] 7 (-1) let expected = done [-4] 7 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "neg\n\ let input = " neg \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "not" $ do describe "not" $ do
it "negates the 'true' value" $ do it "negates the 'true' value" $ do
let input = "push 1\n\ let input = " push 1 \n\
\not\n\ \ not \n\
\halt" \ halt "
let expected = done [0] 3 (-1) let expected = done [0] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "negates the 'false' value" $ do it "negates the 'false' value" $ do
let input = "push 0\n\ let input = " push 0 \n\
\not\n\ \ not \n\
\halt" \ halt "
let expected = done [1] 3 (-1) let expected = done [1] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "negates any non-zero value to false" $ do it "negates any non-zero value to false" $ do
let input = "push 129\n\ let input = " push 129 \n\
\not\n\ \ not \n\
\halt" \ halt "
let expected = done [0] 3 (-1) let expected = done [0] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "the od number of 'neg' instructions should negate the logic value" $ do it "the od number of 'neg' instructions should negate the logic value" $ do
let input = "push 1\n\ let input = " push 1 \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\halt" \ halt "
let expected = done [1] 8 (-1) let expected = done [1] 8 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "the even number of 'neg' instructions should not change the value" $ do it "the even number of 'neg' instructions should not change the value" $ do
let input = "push 1\n\ let input = " push 1 \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\not\n\ \ not \n\
\halt" \ halt "
let expected = done [0] 7 (-1) let expected = done [0] 7 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "not\n\ let input = " not \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jmp" $ do describe "jmp" $ do
it "changes the program counter register" $ do it "changes the program counter register" $ do
let input = "nop\n\ let input = " nop \n\
\jmp 4\n\ \ jmp 4 \n\
\halt\n\ \ halt \n\
\nop\n\ \ nop \n\
\nop\n\ \ nop \n\
\jmp 3" \ jmp 3 "
let expected = done [] 3 (-1) let expected = done [] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "skips instructions after jump" $ do it "skips instructions after jump" $ do
let input = "nop\n\ let input = " nop \n\
\jmp 11\n\ \ jmp 11 \n\
\push 1\n\ \ push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\push 4\n\ \ push 4 \n\
\halt" \ halt "
let expected = done [] 11 (-1) let expected = done [] 11 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "supports jumping by labels" $ do it "supports jumping by labels" $ do
let input = "nop\n\ let input = " nop \n\
\jmp &end\n\ \ jmp &end \n\
\stop:\n\ \ stop: \n\
\halt\n\ \ halt \n\
\push 1\n\ \ push 1 \n\
\push 2\n\ \ push 2 \n\
\push 3\n\ \ push 3 \n\
\push 4\n\ \ push 4 \n\
\end: jmp &stop" \ end: jmp &stop "
let expected = done [] 3 (-1) let expected = done [] 3 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "je" $ do describe "je" $ do
it "jumps if top stack value == 0" $ do it "jumps if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\je &jumped\n\ \ je &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value != 0" $ do it "proceeds if top stack value != 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\je &jumped\n\ \ je &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "je 0\n\ let input = " je 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jne" $ do describe "jne" $ do
it "jumps if top stack value != 0" $ do it "jumps if top stack value != 0" $ do
let input = "push 4\n\ let input = " push 4 \n\
\jne &jumped\n\ \ jne &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value == 0" $ do it "proceeds if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\jne &jumped\n\ \ jne &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "jne 0\n\ let input = " jne 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jg" $ do describe "jg" $ do
it "jumps if top stack value > 0" $ do it "jumps if top stack value > 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\jg &jumped\n\ \ jg &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value == 0" $ do it "proceeds if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\jg &jumped\n\ \ jg &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value < 0" $ do it "proceeds if top stack value < 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\neg\n\ \ neg \n\
\jg &jumped\n\ \ jg &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 7 (-1) let expected = done [0] 7 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "jg 0\n\ let input = " jg 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jl" $ do describe "jl" $ do
it "proceeds if top stack value > 0" $ do it "proceeds if top stack value > 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\jl &jumped\n\ \ jl &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value == 0" $ do it "proceeds if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\jl &jumped\n\ \ jl &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "jumps if top stack value < 0" $ do it "jumps if top stack value < 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\neg\n\ \ neg \n\
\jl &jumped\n\ \ jl &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 10 (-1) let expected = done [1] 10 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "jl 0\n\ let input = " jl 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jge" $ do describe "jge" $ do
it "jumps if top stack value > 0" $ do it "jumps if top stack value > 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\jge &jumped\n\ \ jge &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "jumps if top stack value == 0" $ do it "jumps if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\jge &jumped\n\ \ jge &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "proceeds if top stack value < 0" $ do it "proceeds if top stack value < 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\neg\n\ \ neg \n\
\jge &jumped\n\ \ jge &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 7 (-1) let expected = done [0] 7 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "jge 0\n\ let input = " jge 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "jle" $ do describe "jle" $ do
it "proceeds if top stack value > 0" $ do it "proceeds if top stack value > 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\jle &jumped\n\ \ jle &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [0] 6 (-1) let expected = done [0] 6 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "jumps if top stack value == 0" $ do it "jumps if top stack value == 0" $ do
let input = "push 0\n\ let input = " push 0 \n\
\jle &jumped\n\ \ jle &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 9 (-1) let expected = done [1] 9 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "jumps if top stack value < 0" $ do it "jumps if top stack value < 0" $ do
let input = "push 1\n\ let input = " push 1 \n\
\neg\n\ \ neg \n\
\jle &jumped\n\ \ jle &jumped \n\
\push 0\n\ \ push 0 \n\
\halt\n\ \ halt \n\
\jumped:\n\ \ jumped: \n\
\push 1\n\ \ push 1 \n\
\halt" \ halt "
let expected = done [1] 10 (-1) let expected = done [1] 10 (-1)
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
it "raises error if empty stack" $ do it "raises error if empty stack" $ do
let input = "jle 0\n\ let input = " jle 0 \n\
\halt" \ halt "
let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0" let expected = Left "Attempt to pop from empty stack: tried to pop 1 elements, got 0"
actual <- run input actual <- run input
actual `shouldBe` expected actual `shouldBe` expected
describe "call" $ do
it "pushes return address and previous frame pointer to the stack" $ do
let input = " nop \n\
\ nop \n\
\ call &fun \n\
\ nop \n\
\ halt \n\
\ fun: halt "
-- ┌────┬─ fp points to the beginning of active stack frame
-- 1 0 │
-- │ │
let expected = done [4, -1] 6 0
-- ├───┤
-- │ │
-- │ └─ previous fp
-- └───── return address (points to the next instruction after call)
actual <- run input
actual `shouldBe` expected
it "pushes stack frames in correct order for multiple calls" $ do
let input = " nop \n\
\ call &f \n\
\ halt \n\
\ f: nop \n\
\ push 1 \n\
\ nop \n\
\ call &g \n\
\ halt \n\
\ g: nop \n\
\ call &h \n\
\ h: halt "
-- ┌──────────────────────┬─ fp points to the beginning of active stack frame
-- 6 5 4 3 2 1 0 │
-- │ │
let expected = done [14, 3, 10, 0, 1, 3, -1] 14 5
-- ├──┤ ├──┤ │ ├───┤
-- │ │ │ │ │ │ │
-- │ │ │ │ │ └───┴─ call &f
-- │ │ │ │ └──────── push 1
-- │ │ └──┴─────────── call &g
-- └──┴────────────────── call &h
actual <- run input
actual `shouldBe` expected