[Haskell-cafe] ANN: powerpc-0.0.1

Warren Henning warren.henning at gmail.com
Wed Mar 10 02:07:12 EST 2010

Wow. Quite ambitious.

Was this inspired by work at your current employer like with Atom and
some of the other stuff you've released?


On Tue, Mar 9, 2010 at 10:35 PM, Tom Hawkins <tomahawkins at gmail.com> wrote:
> Here is a new library for analyzing PowerPC programs [1].  At this
> point it does instruction set simulation on machine code -- and not
> all instructions are implemented yet, BTW.
> To run a simulation, the user defines an instance of the Memory class
> [2] to represent both instruction and data memory.  The Memory class
> declares functions for memory loads and stores, instruction fetches,
> and reading and writing special purpose registers.  In our test bench,
> we set up the 'fetch' method to dump out register values so we can see
> the state of the processor at every step.
> A neat feature of the library is the instruction behavior is captured
> by a little DSL [3].  This makes it easy to add new instructions
> because the translation from the instruction RTL spec [4] to the DSL
> is nearly one-to-one.  And with instruction behavior captured
> symbolically, this opens the door to other types of analysis besides
> just simulation.
> I hope a few folks find it useful.
> -Tom

More information about the Haskell-Cafe mailing list