That is pretty awesome. Couldnât be an constraint umbrella for VMMaker. This way it would be possible to write tests that check for resulting code. Or writing tests for the JIT (does sista has something like this). Could be one step closer to a deterministic code generation, no? Norbert
Am 02.08.2019 um 18:09 schrieb Guillermo Polito <guillermopolito@gmail.com>:
Hi everybody,
Iâve been playing around with machine code simulation this last week and Iâve made bindings for the unicorn library and the llvm disassembler:
https://github.com/guillep/pharo-unicorn https://github.com/guillep/pharo-llvmDisassembler
Funny thing: both support lots of platforms (x86 and arm both 32 and 64 bits and moreâ¦). So out of the box we can simulate and disassemble lots of platforms.
And in one afternoon Iâve played with them to do a native debugger with Spec2 just for fun. Hope this evolves a bit more soon, and that it helps somebody.
Guille
<PastedGraphic-5.png>