The Semantics of x86 Multiprocessor Machine Code

Testing the sequential semantics

The instruction semantics (decoding, arithmetic details, etc.) has
been tested against a Pentium 4 processor using the x86sem
tool. The table below reports for each instruction the number of
tests that succeded and failed. All the tests, sorted by instruction,
are available here.