| #
dcd67e90 |
|
08-Oct-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A model of 64-bit x86 which supports data operations on 8-bit, 16-bit,
32-bit and 64-bit data. This is a only a first draft: there are
undoubtedly bugs lurking in how 16-bit operations perform
sign extension and how eflags are updated.
|