module CodeGen.X86.Examples where
import Foreign
import CodeGen.X86
idCode
= Mov result arg1
<> Ret
idFun :: Word64 -> Word64
idFun = compile idCode
fibCode = saveNonVolatile
$ Mov rdi arg1
<> Inc rdi
<> Xor rdx rdx
<> Mov rax (imm 1)
<> (Mov rcx rax <> Mov rax rdx <> Add rdx rcx <> Dec rdi) `j_back` NZ
fibFun :: Word64 -> Word64
fibFun = compile fibCode
tracedFibCode = saveNonVolatile
$ Mov rdi arg1
<> Inc rdi
<> Xor rdx rdx
<> Mov rax (imm 1)
<> (Mov rcx rax <> Mov rax rdx <> Add rdx rcx <> traceReg "d" rax <> Dec rdi) `j_back` NZ
tracedFibFun :: Word64 -> Word64
tracedFibFun = compile tracedFibCode
callHsCode
= callFun r11 (hsPtr fib)
<> Ret
fib :: Word64 -> Word64
fib n = go n 0 1
where
go 0 a b = b `seq` a
go n a b = go (n1) b (a+b)
callHsFun :: Word64 -> Word64
callHsFun = compile callHsCode
callCCode name = saveNonVolatile
$ leaData arg1 (CString "Hello %s!\n")
<> leaData arg2 (CString name)
<> Xor rax rax
<> callFun r11 printf
callCFun :: String -> IO ()
callCFun name = compile $ callCCode name
memTestFun :: Word64 -> IO Bool
memTestFun v = do
r <- mallocBytes 8
pokeByteOff r 0 (v :: Word64)
let code = saveNonVolatile
$ Mov rdi arg1 <> Mov rax (addr $ base rdi)
return $ compile code r == v