qemu-devel
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]