#
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.
|