Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 25 lines (20 sloc) 0.438 kB
89785d1 @intoverflow Introduced TestFailure
authored
1 module Tests.TestFailure where
2
b70f6d3 @intoverflow Refactored. Potential is now Language.Potential. Tests are all in t…
authored
3 import Language.Potential
4 import Language.Potential.Flow (primCondJmp)
5 import Language.Potential.Assembly (body)
89785d1 @intoverflow Introduced TestFailure
authored
6
7 testCmpFails = defun "testCmpFails" $
8 do isCode
9 pop rax
10 pop rbx
11 pop rcx
12 rabxCmp <- cmp rax rbx
13 racxCmp <- cmp rax rcx
14 sje rabxCmp doesNothing (do -- should cause trouble
15 pop rax
16 mov rax rbx
17 ret)
18
19 doesNothing = defun "doesNothing" $
20 do isCode
21 pop rbx
22 mov rbx rax
23 ret
24
Something went wrong with that request. Please try again.