Received: by 2002:a25:ad19:0:0:0:0:0 with SMTP id y25csp432522ybi; Thu, 1 Aug 2019 22:03:13 -0700 (PDT) X-Google-Smtp-Source: APXvYqw4oPVdnjVEnrz8Em+j5PjwFRl+D23MrYbiCWE+2oZ8vlp/yAeHdf9MRLiiq68hmeMpqyh2 X-Received: by 2002:a62:874d:: with SMTP id i74mr56427217pfe.94.1564722193666; Thu, 01 Aug 2019 22:03:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1564722193; cv=none; d=google.com; s=arc-20160816; b=AeEJYOSvOP6b1gJqnOpzyEEhJDMMvjHLSG2n2+L4UKXQNmn+pB/4zCWVkNEq1pNoKF nGUzOeHMdQ8fRjga5ExPEBastROcmNyMI800WI/GrCrL6rKBVQYp62cwaRqlnuEjvPq3 PkYo5OxqDBE4V3BPMM48Q/1OimAwmjJs8UBFbY+sviEAyoc916lEbSDp/LANtTq9yr9B sPoRzqae30QCQydn8UTOjJr64z/9yDltVed7vSO5VL2uPLGXLNYiY7vvIxXDAfqA1O1E ZHCRr/Xrpw3YE00Xtf3Hz9qitz+2SHfFZUgCTWrP1PIeb0OXWc9OW/IB6UE0ZOwWzoAV UjEQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from; bh=kasJAths403Xaz+W2VfLSrA1mK5ArCVxuypuy2H4Ri4=; b=WrGxzr6QJk+UrrP1evMySC8o6wCQhAUhbtwqbsQ8oZXvPheJPZ7UMvj0x7mVV08wxo ELYvlQKrEJgQtxI/eFsy68rcCOU2OLPHGtbqvGI7VO/YKOwVS1xtBPyqaUN0L1Z51DO/ Dw8wjf6T0Ujq8IDrk8VJKyekCWSQ56vAM8svEVaQA3tubJIl/z4Zk5+GrPX2UyppMRZ7 2UMvqGUZ2aO63CGH7UmzlCQtyqsKQt4vXQ4XyRVgvrjX7q7qQ4WWulL0A49uCZgEaN6m P3JqbRMSfN79l0dfsriWgX/9KSLkxS3JE/3QRfvRumz8eoyhqNuw2a9DHktbQxYb86qD jfHw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id r3si33263812plb.14.2019.08.01.22.02.57; Thu, 01 Aug 2019 22:03:13 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=ibm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2389574AbfHAWVT (ORCPT + 99 others); Thu, 1 Aug 2019 18:21:19 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:49180 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S2389531AbfHAWVQ (ORCPT ); Thu, 1 Aug 2019 18:21:16 -0400 Received: from pps.filterd (m0098419.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x71MGv5f041283; Thu, 1 Aug 2019 18:21:00 -0400 Received: from pps.reinject (localhost [127.0.0.1]) by mx0b-001b2d01.pphosted.com with ESMTP id 2u47v11w3s-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Aug 2019 18:20:59 -0400 Received: from m0098419.ppops.net (m0098419.ppops.net [127.0.0.1]) by pps.reinject (8.16.0.27/8.16.0.27) with SMTP id x71MIe2c046054; Thu, 1 Aug 2019 18:20:59 -0400 Received: from ppma02wdc.us.ibm.com (aa.5b.37a9.ip4.static.sl-reverse.com [169.55.91.170]) by mx0b-001b2d01.pphosted.com with ESMTP id 2u47v11w35-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Aug 2019 18:20:59 -0400 Received: from pps.filterd (ppma02wdc.us.ibm.com [127.0.0.1]) by ppma02wdc.us.ibm.com (8.16.0.27/8.16.0.27) with SMTP id x71MJlrF017592; Thu, 1 Aug 2019 22:20:58 GMT Received: from b01cxnp22034.gho.pok.ibm.com (b01cxnp22034.gho.pok.ibm.com [9.57.198.24]) by ppma02wdc.us.ibm.com with ESMTP id 2u0e85w6bh-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Aug 2019 22:20:58 +0000 Received: from b01ledav003.gho.pok.ibm.com (b01ledav003.gho.pok.ibm.com [9.57.199.108]) by b01cxnp22034.gho.pok.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id x71MKwTu36634964 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Thu, 1 Aug 2019 22:20:58 GMT Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 24E39B2075; Thu, 1 Aug 2019 22:20:58 +0000 (GMT) Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 034EEB2066; Thu, 1 Aug 2019 22:20:58 +0000 (GMT) Received: from paulmck-ThinkPad-W541 (unknown [9.70.82.154]) by b01ledav003.gho.pok.ibm.com (Postfix) with ESMTP; Thu, 1 Aug 2019 22:20:57 +0000 (GMT) Received: by paulmck-ThinkPad-W541 (Postfix, from userid 1000) id DF56816C9A56; Thu, 1 Aug 2019 15:20:58 -0700 (PDT) From: "Paul E. McKenney" To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, mingo@kernel.org Cc: stern@rowland.harvard.edu, andrea.parri@amarulasolutions.com, will@kernel.org, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, "Paul E. McKenney" Subject: [PATCH RFC memory-model 19/31] tools/memory-model: Add -v flag to jingle7 runs Date: Thu, 1 Aug 2019 15:20:44 -0700 Message-Id: <20190801222056.12144-19-paulmck@linux.ibm.com> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20190801222026.GA11315@linux.ibm.com> References: <20190801222026.GA11315@linux.ibm.com> X-TM-AS-GCONF: 00 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:,, definitions=2019-08-01_09:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=866 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1906280000 definitions=main-1908010234 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Adding the -v flag to jingle7 invocations gives much useful information on why jingle7 didn't like a given litmus test. This commit therefore adds this flag and saves off any such information into a .err file. Suggested-by: Luc Maranget Signed-off-by: Paul E. McKenney --- tools/memory-model/scripts/runlitmus.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tools/memory-model/scripts/runlitmus.sh b/tools/memory-model/scripts/runlitmus.sh index 5f2d29b460ff..dfdb1f00fcc0 100755 --- a/tools/memory-model/scripts/runlitmus.sh +++ b/tools/memory-model/scripts/runlitmus.sh @@ -68,10 +68,11 @@ fi # Generate the assembly code and run herd7 on it. gen_theme7 -n 10 -map $mapfile -call Linux.call > $themefile -jingle7 -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out +jingle7 -v -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out if grep -q "Generated 0 tests" $T/$hwlitmusfile.jingle7.out then - echo ' !!! ' jingle7 failed, no $hwlitmus generated + echo ' !!! ' jingle7 failed, errors in $hwlitmus.err + cp $T/$hwlitmusfile.jingle7.out $LKMM_DESTDIR/$hwlitmus.err exit 253 fi /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.out 2>&1 -- 2.17.1