Hi Stew,
Hi YHC!
Greetings, and for those I haven't already pestered, my interest in
YHC pertains to my third year project, creating a JIT compiler for YHC's
bytecode.
Ah excellent :-)
Does anyone know if the FInfo->codesize value is reliable? I am
presently compiling the _driver function which states a codesize of
0x24, yet my JIT compiler shows the IP (when I reach an END_CODE op)
falls about 6 bytes short of this.
The codesize is indeed reliable, though interestingly enough I get the
codesize for _driver being 25 bytes rather than (0x24 = 36 bytes). I've
just checked and 25 bytes is indeed correct (including 1 byte for the
END_CODE itself). Here is a printout of the function, as loaded by the
interpreter.
FInfo _driver [ arity: 2, consts: 7 ]{
0. [0x1b] ZAP_ARG 0
2. [0x01] NEED_HEAP_32
3. [0x25] PUSH_CONST_0
4. [0x30] MK_AP_1
5. [0x27] PUSH_CONST_2
6. [0x18] PUSH_ZAP_ARG_1
7. [0x28] PUSH_CONST_3
8. [0x41] APPLY 2
10. [0x01] NEED_HEAP_32
11. [0x33] MK_AP_4
12. [0x34] MK_AP_5
13. [0x0b] PUSH_ZAP_0
14. [0x5a] EVAL
15. [0x5c] TABLE_SWITCH [1] {0 -> 20}
20. [0x01] NEED_HEAP_32
21. [0x4a] UNPACK
22. [0x2b] PUSH_CONST_6
23. [0x5b] RETURN_EVAL
24. [0x00] END_CODE
consts {
0. NODE 0xb6ca222c [(CExitSuccess)]
1. INFO FInfo 'reallyExit'[1]
2. NODE 0xb6ca223c [(FLAMBDA294/1)]
3. NODE 0xb6ca2748 [(Fcatch/0)]
4. INFO FInfo 'YHC.Internal.IO;Prelude.Monad;>>'[2]
5. INFO FInfo 'unsafePerformIO'[1]
6. NODE 0xb6ca2754 [(Fundefined/0)]
}
}
Also is every function guaranteed to
have an END_CODE op at the end? My current code works for a selection of
functions I have played with but I haven't had time to examine any more
than a modest selection.
Yes the compiler always places END_CODE at the end of every function.
END_CODE crashes the interpreter if it's ever executed, it's designed to
catch any problems with miscalculated jumps.
Hope that helps :-)
Tom
_______________________________________________
Yhc mailing list
Yhc@haskell.org
http://www.haskell.org/mailman/listinfo/yhc
