From: Pranith Kumar <bobby.prani@gmail.com>
Cc: qemu-devel@nongnu.org, alex.bennee@linaro.org
Subject: [Qemu-devel] [RFC PATCH 0/4] Add MTTCG litmus tests
Date: Fri, 5 Aug 2016 02:03:23 -0400 [thread overview]
Message-ID: <20160805060327.1464-1-bobby.prani@gmail.com> (raw)
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
next reply other threads:[~2016-08-05 6:03 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-05 6:03 Pranith Kumar [this message]
2016-08-05 6:03 ` [Qemu-devel] [RFC PATCH 1/4] tests/tcg: Add x86 mttcg litmus test Pranith Kumar
2016-08-10 17:13 ` Alex Bennée
2016-08-10 19:30 ` Pranith Kumar
2016-08-05 6:03 ` [Qemu-devel] [RFC PATCH 2/4] Enable x86 mttcg litmus tests in travis CI Pranith Kumar
2016-08-05 6:03 ` [Qemu-devel] [RFC PATCH 3/4] tests/tcg: Add mttcg ARM64 litmus tests Pranith Kumar
2016-08-05 6:03 ` [Qemu-devel] [RFC PATCH 4/4] Enable aarch64 mttcg litmus tests in travis CI Pranith Kumar
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160805060327.1464-1-bobby.prani@gmail.com \
--to=bobby.prani@gmail.com \
--cc=alex.bennee@linaro.org \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.