lkml.org 
[lkml]   [2019]   [Aug]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH RFC memory-model 16/31] tools/memory-model: Keep assembly-language litmus tests
    Date
    This commit retains the assembly-language litmus tests generated from
    the C-language litmus tests, appending the hardware tag to the original
    C-language litmus test's filename. Thus, S+poonceonces.litmus.AArch64
    contains the Armv8 assembly language corresponding to the C-language
    S+poonceonces.litmus test.

    This commit also updates the .gitignore to avoid commiting these
    automatically generated assembly-language litmus tests.

    Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
    ---
    tools/memory-model/litmus-tests/.gitignore | 2 +-
    tools/memory-model/scripts/runlitmus.sh | 4 ++--
    2 files changed, 3 insertions(+), 3 deletions(-)

    diff --git a/tools/memory-model/litmus-tests/.gitignore b/tools/memory-model/litmus-tests/.gitignore
    index f47cb2045f13..848e62d2a9b3 100644
    --- a/tools/memory-model/litmus-tests/.gitignore
    +++ b/tools/memory-model/litmus-tests/.gitignore
    @@ -1 +1 @@
    -*.out
    +*.litmus.*
    diff --git a/tools/memory-model/scripts/runlitmus.sh b/tools/memory-model/scripts/runlitmus.sh
    index c84124b32bee..62b47c7e1ba9 100755
    --- a/tools/memory-model/scripts/runlitmus.sh
    +++ b/tools/memory-model/scripts/runlitmus.sh
    @@ -69,7 +69,7 @@ fi

    # Generate the assembly code and run herd7 on it.
    gen_theme7 -n 10 -map $mapfile -call Linux.call > $themefile
    -jingle7 -theme $themefile $litmus > $T/$hwlitmusfile 2> $T/$hwlitmusfile.jingle7.out
    -/usr/bin/time $LKMM_TIMEOUT_CMD herd7 -model $catfile $T/$hwlitmusfile > $LKMM_DESTDIR/$hwlitmus.out 2>&1
    +jingle7 -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out
    +/usr/bin/time $LKMM_TIMEOUT_CMD herd7 -model $catfile $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.out 2>&1

    exit $?
    --
    2.17.1
    \
     
     \ /
      Last update: 2019-08-02 00:22    [W:3.881 / U:0.016 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site