Re: [Valgrind-users] Test suite for instruction semantics

[John R. <jr...@bi...>]

> I was looking for some test suite for testing the instruction semantics of x86-64.

Also known as 'amd64' in honor of the original designers of the 64-bit flavor of x86.

> As Valgrind host the semantics of the ISA and was expecting Valgrind to have a test-suite for the purpose of testing that. But I could not find any.

You did not look effectively:

    VEX/test/*
    none/tests/amd64/*
    */tests/*
    tests/*

Altogether over 1500 files related to testing,
with 233 of them in none/tests/amd64
and several more x86* tests in VEX/test.