From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35317) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bVYEe-0000Mi-Uz for qemu-devel@nongnu.org; Fri, 05 Aug 2016 02:03:58 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bVYEa-0000Dy-Mz for qemu-devel@nongnu.org; Fri, 05 Aug 2016 02:03:55 -0400 Received: from mail-yw0-x244.google.com ([2607:f8b0:4002:c05::244]:36417) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bVYEa-0000Di-Gr for qemu-devel@nongnu.org; Fri, 05 Aug 2016 02:03:52 -0400 Received: by mail-yw0-x244.google.com with SMTP id u134so21239811ywg.3 for ; Thu, 04 Aug 2016 23:03:52 -0700 (PDT) From: Pranith Kumar Date: Fri, 5 Aug 2016 02:03:23 -0400 Message-Id: <20160805060327.1464-1-bobby.prani@gmail.com> Subject: [Qemu-devel] [RFC PATCH 0/4] Add MTTCG litmus tests List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: qemu-devel@nongnu.org, alex.bennee@linaro.org This patch series adds litmus tests to test that MTTCG is properly following the consistency semantics. This series has the one possible re-ordering test on x86 and some subset of tests for ARM64. We run these tests using the qemu-user binary of the corresponding architecture(set the QEMU env variable in run.sh). These tests were generated using the litmus tool available here: http://diy.inria.fr/sources/index.html The tests can be run locally by running 'make tests' in the test directory. This has been added to travis-ci so that the test is run automatically. The tests have been verified to pass with the fence generation patch series. The tests will fail otherwise. Pranith Kumar (4): tests/tcg: Add x86 mttcg litmus test Enable x86 mttcg litmus tests in travis CI tests/tcg: Add mttcg ARM64 litmus tests Enable aarch64 mttcg litmus tests in travis CI .travis.yml | 6 + tests/tcg/mttcg/aarch64/ARMARM00.c | 501 +++++++++++++ tests/tcg/mttcg/aarch64/ARMARM01.c | 504 +++++++++++++ tests/tcg/mttcg/aarch64/ARMARM02.c | 571 +++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM03.c | 498 +++++++++++++ tests/tcg/mttcg/aarch64/ARMARM04+BIS.c | 556 +++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM04+TER.c | 538 ++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM04.c | 556 +++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM05.c | 553 ++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM06+AP+AA.c | 581 +++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM06+AP+AP.c | 581 +++++++++++++++ tests/tcg/mttcg/aarch64/ARMARM06.c | 581 +++++++++++++++ tests/tcg/mttcg/aarch64/Makefile | 52 ++ tests/tcg/mttcg/aarch64/README.txt | 22 + tests/tcg/mttcg/aarch64/affinity.c | 159 +++++ tests/tcg/mttcg/aarch64/affinity.h | 34 + tests/tcg/mttcg/aarch64/comp.sh | 30 + tests/tcg/mttcg/aarch64/litmus_rand.c | 64 ++ tests/tcg/mttcg/aarch64/litmus_rand.h | 29 + tests/tcg/mttcg/aarch64/outs.c | 148 ++++ tests/tcg/mttcg/aarch64/outs.h | 49 ++ tests/tcg/mttcg/aarch64/run.sh | 351 +++++++++ tests/tcg/mttcg/aarch64/show.awk | 2 + tests/tcg/mttcg/aarch64/utils.c | 1148 ++++++++++++++++++++++++++++++ tests/tcg/mttcg/aarch64/utils.h | 275 +++++++ tests/tcg/mttcg/x86/Makefile | 42 ++ tests/tcg/mttcg/x86/README.txt | 22 + tests/tcg/mttcg/x86/SAL.c | 491 +++++++++++++ tests/tcg/mttcg/x86/affinity.c | 159 +++++ tests/tcg/mttcg/x86/affinity.h | 34 + tests/tcg/mttcg/x86/comp.sh | 10 + tests/tcg/mttcg/x86/litmus_rand.c | 64 ++ tests/tcg/mttcg/x86/litmus_rand.h | 29 + tests/tcg/mttcg/x86/outs.c | 148 ++++ tests/tcg/mttcg/x86/outs.h | 49 ++ tests/tcg/mttcg/x86/run.sh | 56 ++ tests/tcg/mttcg/x86/show.awk | 2 + tests/tcg/mttcg/x86/utils.c | 1148 ++++++++++++++++++++++++++++++ tests/tcg/mttcg/x86/utils.h | 275 +++++++ 39 files changed, 10918 insertions(+) create mode 100644 tests/tcg/mttcg/aarch64/ARMARM00.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM01.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM02.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM03.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM04+BIS.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM04+TER.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM04.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM05.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM06+AP+AA.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM06+AP+AP.c create mode 100644 tests/tcg/mttcg/aarch64/ARMARM06.c create mode 100644 tests/tcg/mttcg/aarch64/Makefile create mode 100644 tests/tcg/mttcg/aarch64/README.txt create mode 100644 tests/tcg/mttcg/aarch64/affinity.c create mode 100644 tests/tcg/mttcg/aarch64/affinity.h create mode 100644 tests/tcg/mttcg/aarch64/comp.sh create mode 100644 tests/tcg/mttcg/aarch64/litmus_rand.c create mode 100644 tests/tcg/mttcg/aarch64/litmus_rand.h create mode 100644 tests/tcg/mttcg/aarch64/outs.c create mode 100644 tests/tcg/mttcg/aarch64/outs.h create mode 100755 tests/tcg/mttcg/aarch64/run.sh create mode 100644 tests/tcg/mttcg/aarch64/show.awk create mode 100644 tests/tcg/mttcg/aarch64/utils.c create mode 100644 tests/tcg/mttcg/aarch64/utils.h create mode 100644 tests/tcg/mttcg/x86/Makefile create mode 100644 tests/tcg/mttcg/x86/README.txt create mode 100644 tests/tcg/mttcg/x86/SAL.c create mode 100644 tests/tcg/mttcg/x86/affinity.c create mode 100644 tests/tcg/mttcg/x86/affinity.h create mode 100644 tests/tcg/mttcg/x86/comp.sh create mode 100644 tests/tcg/mttcg/x86/litmus_rand.c create mode 100644 tests/tcg/mttcg/x86/litmus_rand.h create mode 100644 tests/tcg/mttcg/x86/outs.c create mode 100644 tests/tcg/mttcg/x86/outs.h create mode 100755 tests/tcg/mttcg/x86/run.sh create mode 100644 tests/tcg/mttcg/x86/show.awk create mode 100644 tests/tcg/mttcg/x86/utils.c create mode 100644 tests/tcg/mttcg/x86/utils.h -- 2.9.2