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 <guillermopol...@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> >
