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.