Received: by 2002:a25:ad19:0:0:0:0:0 with SMTP id y25csp302067ybi; Thu, 1 Aug 2019 19:25:29 -0700 (PDT) X-Google-Smtp-Source: APXvYqy49BZJ9ykAq20gm6AdaHBm3smDOTF3vEbvcM21qpuBNTxSHqYux9Z+aWpoBRnCGovizrjA X-Received: by 2002:aa7:9298:: with SMTP id j24mr55131147pfa.58.1564712729670; Thu, 01 Aug 2019 19:25:29 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1564712729; cv=none; d=google.com; s=arc-20160816; b=BIR4OIQQC60eiTsnUrtmyAYe5ZHLkDcJaZL6SH1vX8CSOEI34iqPdz38gAqORE2Nle 2Dy+HqV0TIytXy+pQvxNKiOYTuJ7JqlRbBXWLk8eLmSSL981ZL8NepcpV2EixO7jxIPZ 5t00RXd4XFuJZZp6bBLIXlhrHCJDRdDR8bO0bnyBBIwMBmoMv0oE9WzlG24BRi8R6aU+ A8sVR+CfQrrj9vlxPmkVi02i7bM2XMlUf+03ty7ijIWckV9mLaBTRvfM82/RbIANkWzd BMi+ulbXX0aNoxNuJiHcVT3pbb04e4fjkP3r9XAI+XGD7AyXdJOGjOtDl22WMHZRcO4P 73Dg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:references:in-reply-to:date :subject:cc:to:from; bh=hTu/PhMwmAxJsM2IPZJQTFW8x7qCaJ5WksTr4e3Rxng=; b=Sm18LXf6DRi5GL7wCnaRDFYJQlTXjN7cNa0OXMlCRlPwTHuAaeTTK0Fzd4z8rtsW/K vWISBkgxwe7GrEFDeGUOCfT+ntWo1ofkrv8KFLnc7q5da5sJNKIE88v2cma0FSY/tJD4 qsNE9OpvX4/DdLBM39A1j7OXr+nT8L5inq2Ut/JGbS1hwPQAoYTWCK1/3aOJd2X3SgKg OwInRc2Eym4Kb7eBNEkhasWHppxWPzl1yto1FGX+YvhwmOpSKIsaOREYTh+QmlJ4Us4C OKNH4qsBumdPKDe6Mzz1l2Cf6NDZcQI2F0jMUNJ7AEngRkw2Qn0NG9Q9OVLnEeBKTfzI 9Pzw== 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 cb11si36688380plb.100.2019.08.01.19.25.14; Thu, 01 Aug 2019 19:25:29 -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 S1733148AbfHAWW4 (ORCPT + 99 others); Thu, 1 Aug 2019 18:22:56 -0400 Received: from mx0a-001b2d01.pphosted.com ([148.163.156.1]:58920 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2389457AbfHAWVG (ORCPT ); Thu, 1 Aug 2019 18:21:06 -0400 Received: from pps.filterd (m0098393.ppops.net [127.0.0.1]) by mx0a-001b2d01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x71MGvbU102360 for ; Thu, 1 Aug 2019 18:21:05 -0400 Received: from e16.ny.us.ibm.com (e16.ny.us.ibm.com [129.33.205.206]) by mx0a-001b2d01.pphosted.com with ESMTP id 2u48hagh0g-1 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 01 Aug 2019 18:21:05 -0400 Received: from localhost by e16.ny.us.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Thu, 1 Aug 2019 23:21:03 +0100 Received: from b01cxnp22034.gho.pok.ibm.com (9.57.198.24) by e16.ny.us.ibm.com (146.89.104.203) with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted; (version=TLSv1/SSLv3 cipher=AES256-GCM-SHA384 bits=256/256) Thu, 1 Aug 2019 23:20:59 +0100 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 x71MKwrF20382076 (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 E71F8B206E; Thu, 1 Aug 2019 22:20:57 +0000 (GMT) Received: from b01ledav003.gho.pok.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id D5086B2072; Thu, 1 Aug 2019 22:20:57 +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 DC18C16C9A5C; 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 18/31] tools/memory-model: Make runlitmus.sh check for jingle errors Date: Thu, 1 Aug 2019 15:20:43 -0700 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-cbid: 19080122-0072-0000-0000-0000044F7130 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00011535; HX=3.00000242; KW=3.00000007; PH=3.00000004; SC=3.00000287; SDB=6.01240728; UDB=6.00654291; IPR=6.01022153; MB=3.00028000; MTD=3.00000008; XFM=3.00000015; UTC=2019-08-01 22:21:02 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 19080122-0073-0000-0000-00004CC07252 Message-Id: <20190801222056.12144-18-paulmck@linux.ibm.com> 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=934 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 It turns out that the jingle7 tool is currently a bit picky about the litmus tests it is willing to process. This commit therefore ensures that jingle7 failures are reported. Signed-off-by: Paul E. McKenney --- tools/memory-model/scripts/runlitmus.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tools/memory-model/scripts/runlitmus.sh b/tools/memory-model/scripts/runlitmus.sh index afb196d7ef10..5f2d29b460ff 100755 --- a/tools/memory-model/scripts/runlitmus.sh +++ b/tools/memory-model/scripts/runlitmus.sh @@ -69,6 +69,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 +if grep -q "Generated 0 tests" $T/$hwlitmusfile.jingle7.out +then + echo ' !!! ' jingle7 failed, no $hwlitmus generated + exit 253 +fi /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.out 2>&1 exit $? -- 2.17.1