[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH v5 0/3] Add litmus tests for MTTCG consistency t
From: |
Alex Bennée |
Subject: |
Re: [Qemu-devel] [PATCH v5 0/3] Add litmus tests for MTTCG consistency tests |
Date: |
Wed, 14 Dec 2016 16:10:59 +0000 |
User-agent: |
mu4e 0.9.19; emacs 25.1.90.4 |
Pranith Kumar <address@hidden> writes:
> Hello,
>
> The following patch series adds litmus tests to test consistency for
> MTTCG enabled qemu. These patches apply on top of the clean up
> tests/tcg folder made by my previous patch series.
>
> The tests were generated using the litmus tool. The sources and
> instructions on how to generate these sources can be found in this
> repository: https://github.com/pranith/qemu-litmus
>
> I tested these on both an x86 and an Aarch64 machine. These tests are
> currently enabled for the trusty configuration on travis.
But how do I build them? The Makefile seems to be directly what the
litmus tool output. We either need the makefile in ../ to call the
litmus Makefile appropriately or massage the litmus Makefile to work
with out build system.
>
> Thanks,
> --
> Pranith
>
> *** BLURB HERE ***
>
> Pranith Kumar (3):
> tests/tcg: Add i386 litmus test
> tests/tcg: Add aarch64 litmus tests
> travis: Enable litmus tests
>
> .travis.yml | 8 +
> tests/tcg/aarch64/litmus/ARMARM00.c | 501 +++++++++++++
> tests/tcg/aarch64/litmus/ARMARM01.c | 504 +++++++++++++
> tests/tcg/aarch64/litmus/ARMARM02.c | 571 ++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM03.c | 498 +++++++++++++
> tests/tcg/aarch64/litmus/ARMARM04+BIS.c | 556 ++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM04+TER.c | 538 ++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM04.c | 556 ++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM05.c | 553 ++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM06+AP+AA.c | 581 +++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM06+AP+AP.c | 581 +++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM06.c | 581 +++++++++++++++
> tests/tcg/aarch64/litmus/ARMARM07+SAL.c | 497 +++++++++++++
> tests/tcg/aarch64/litmus/Makefile | 53 ++
> tests/tcg/aarch64/litmus/README.txt | 22 +
> tests/tcg/aarch64/litmus/affinity.c | 159 ++++
> tests/tcg/aarch64/litmus/affinity.h | 34 +
> tests/tcg/aarch64/litmus/comp.sh | 30 +
> tests/tcg/aarch64/litmus/litmus_rand.c | 64 ++
> tests/tcg/aarch64/litmus/litmus_rand.h | 29 +
> tests/tcg/aarch64/litmus/outs.c | 148 ++++
> tests/tcg/aarch64/litmus/outs.h | 49 ++
> tests/tcg/aarch64/litmus/run.sh | 378 ++++++++++
> tests/tcg/aarch64/litmus/show.awk | 2 +
> tests/tcg/aarch64/litmus/utils.c | 1148
> +++++++++++++++++++++++++++++
> tests/tcg/aarch64/litmus/utils.h | 275 +++++++
> tests/tcg/i386/litmus/Makefile | 42 ++
> tests/tcg/i386/litmus/README.txt | 22 +
> tests/tcg/i386/litmus/SAL.c | 491 ++++++++++++
> tests/tcg/i386/litmus/affinity.c | 159 ++++
> tests/tcg/i386/litmus/affinity.h | 34 +
> tests/tcg/i386/litmus/comp.sh | 10 +
> tests/tcg/i386/litmus/litmus_rand.c | 64 ++
> tests/tcg/i386/litmus/litmus_rand.h | 29 +
> tests/tcg/i386/litmus/outs.c | 148 ++++
> tests/tcg/i386/litmus/outs.h | 49 ++
> tests/tcg/i386/litmus/run.sh | 55 ++
> tests/tcg/i386/litmus/show.awk | 2 +
> tests/tcg/i386/litmus/utils.c | 1148
> +++++++++++++++++++++++++++++
> tests/tcg/i386/litmus/utils.h | 275 +++++++
> 40 files changed, 11444 insertions(+)
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM00.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM01.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM02.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM03.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM04+BIS.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM04+TER.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM04.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM05.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM06+AP+AA.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM06+AP+AP.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM06.c
> create mode 100644 tests/tcg/aarch64/litmus/ARMARM07+SAL.c
> create mode 100644 tests/tcg/aarch64/litmus/Makefile
> create mode 100644 tests/tcg/aarch64/litmus/README.txt
> create mode 100644 tests/tcg/aarch64/litmus/affinity.c
> create mode 100644 tests/tcg/aarch64/litmus/affinity.h
> create mode 100644 tests/tcg/aarch64/litmus/comp.sh
> create mode 100644 tests/tcg/aarch64/litmus/litmus_rand.c
> create mode 100644 tests/tcg/aarch64/litmus/litmus_rand.h
> create mode 100644 tests/tcg/aarch64/litmus/outs.c
> create mode 100644 tests/tcg/aarch64/litmus/outs.h
> create mode 100755 tests/tcg/aarch64/litmus/run.sh
> create mode 100644 tests/tcg/aarch64/litmus/show.awk
> create mode 100644 tests/tcg/aarch64/litmus/utils.c
> create mode 100644 tests/tcg/aarch64/litmus/utils.h
> create mode 100644 tests/tcg/i386/litmus/Makefile
> create mode 100644 tests/tcg/i386/litmus/README.txt
> create mode 100644 tests/tcg/i386/litmus/SAL.c
> create mode 100644 tests/tcg/i386/litmus/affinity.c
> create mode 100644 tests/tcg/i386/litmus/affinity.h
> create mode 100644 tests/tcg/i386/litmus/comp.sh
> create mode 100644 tests/tcg/i386/litmus/litmus_rand.c
> create mode 100644 tests/tcg/i386/litmus/litmus_rand.h
> create mode 100644 tests/tcg/i386/litmus/outs.c
> create mode 100644 tests/tcg/i386/litmus/outs.h
> create mode 100755 tests/tcg/i386/litmus/run.sh
> create mode 100644 tests/tcg/i386/litmus/show.awk
> create mode 100644 tests/tcg/i386/litmus/utils.c
> create mode 100644 tests/tcg/i386/litmus/utils.h
--
Alex Bennée