From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-10.3 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH,MAILING_LIST_MULTI,NICE_REPLY_A, SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id C0E2EC433DB for ; Thu, 18 Feb 2021 11:04:16 +0000 (UTC) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id DD4A960C3D for ; Thu, 18 Feb 2021 11:04:15 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org DD4A960C3D Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=linux.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=cocci-bounces@systeme.lip6.fr Received: from systeme.lip6.fr (systeme.lip6.fr [132.227.104.7]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 11IB3qE8014768; Thu, 18 Feb 2021 12:03:52 +0100 (CET) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id 5B95739D7; Thu, 18 Feb 2021 12:03:52 +0100 (CET) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by systeme.lip6.fr (Postfix) with ESMTPS id 96760376A for ; Thu, 18 Feb 2021 12:03:50 +0100 (CET) Received: from mail-lj1-f170.google.com (mail-lj1-f170.google.com [209.85.208.170]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 11IB3nRQ023090 for ; Thu, 18 Feb 2021 12:03:50 +0100 (CET) Received: by mail-lj1-f170.google.com with SMTP id c8so3603360ljd.12 for ; Thu, 18 Feb 2021 03:03:50 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:cc:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=uSgPXcrr0bv/k9+aoMiPbU1h1HohLPWEr1ZB1KM7VSU=; b=G5N1w+8mfrAi5pnbSD8pjSEUoHs41li0p6GuUGTJoyvT1KaVMKeJlLQy01iEj5VviV WP14gDFjdD2i2gJ+YAlPAfHI7iLZM1npzcNrNPmJaRUB5TTpDKapGQfqUr9toKOJWTHc gX2AiA8gxqWMO50CjHFBB2k/xp1RGVXGjMG0er23u5EB9RIuY6dziDkc2U/pYkB/RZaa 3g6BfR7ogPdU5xs+v82k7LKXgzDeV22dZlZn94i6rjZ6GkbdKnK4zG4DP7XcKHw2t41K QC9n2kE2/XUxBantdGj5dBCPTsjDII4wCSxV9I6jcvtTZDwrsWXIO4JaNilS5n94T0jG jtBA== X-Gm-Message-State: AOAM532yrCbnOmfhRQKS1pRIu2yc+G2JFMzqiSSG4Pyzo505tgEsom97 OM5faROwv+zNBMst0ihIpWA= X-Google-Smtp-Source: ABdhPJxPhsDjtWVUj4ksRrkssUUyVY+3QXund3Ixsh1OozHxG9dNcMFEhmo0IHDUDkxTNtoR9DPcZQ== X-Received: by 2002:a2e:5753:: with SMTP id r19mr2248004ljd.374.1613646229702; Thu, 18 Feb 2021 03:03:49 -0800 (PST) Received: from [10.68.32.147] (broadband-188-32-236-56.ip.moscow.rt.ru. [188.32.236.56]) by smtp.gmail.com with ESMTPSA id a30sm563533ljq.96.2021.02.18.03.03.48 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 18 Feb 2021 03:03:49 -0800 (PST) To: Julia Lawall References: <20210216080133.455456-1-efremov@linux.com> From: Denis Efremov Message-ID: <4e913cc4-cb86-4552-bced-a89cbecca3b2@linux.com> Date: Thu, 18 Feb 2021 14:03:56 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Thu, 18 Feb 2021 12:03:52 +0100 (CET) X-Greylist: Sender DNS name whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Thu, 18 Feb 2021 12:03:50 +0100 (CET) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 Cc: cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org Subject: Re: [Cocci] [PATCH] coccinelle: misc: add swap script X-BeenThere: cocci@systeme.lip6.fr X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr On 2/18/21 1:17 PM, Julia Lawall wrote: > > > On Thu, 18 Feb 2021, Denis Efremov wrote: > >> >> >> On 2/18/21 12:31 AM, Julia Lawall wrote: >>>> +@depends on patch@ >>>> +identifier tmp; >>>> +expression a, b; >>>> +type T; >>>> +@@ >>>> + >>>> +( >>>> +- T tmp; >>>> +| >>>> +- T tmp = 0; >>>> +| >>>> +- T *tmp = NULL; >>>> +) >>>> +... when != tmp >>>> +- tmp = a; >>>> +- a = b; >>>> +- b = tmp; >>>> ++ swap(a, b); >>>> +... when != tmp >>> >>> In this rule and the next one, if you remove the final ; from the b = tmp >>> line and from the swap line, and put it into context code afterwards, them >>> the generated code looks better on cases like fs/xfs/xfs_inode.c in the >>> function xfs_lock_two_inodes where two successive swap calls are >>> generated. >>> >>> There are also some cases such as drivers/net/wireless/ath/ath5k/phy.c in >>> the function ath5k_hw_get_median_noise_floor where the swap code makes up >>> a whole if branch. >> >>> In this cases it would be good to remove the {}. >> >> How this can be handled? >> >> If I use this pattern: >> @depends on patch@ >> identifier tmp; >> expression a, b; >> @@ >> >> ( >> if (...) >> - { >> - tmp = a; >> - a = b; >> - b = tmp >> + swap(a, b) >> ; >> - } >> | >> - tmp = a; >> - a = b; >> - b = tmp >> + swap(a, b) >> ; >> ) >> >> The tool fails with error: >> >> EXN: Failure("rule starting on line 58: already tagged token:\nC code >> context\nFile \"drivers/net/wireless/ath/ath5k/phy.c\", line 1574, >> column 4, charpos = 41650\n around = 'sort',\n whole content = >> \t\t\t\tsort[j - 1] = tmp;") in drivers/net/wireless/ath/ath5k/phy.c > > A disjunction basically says "at this node in the cfg, can I match the > first patter, or can I match the second pattern, etc." Unfortunately in > this case the two branches start matching at different nodes, so the short > circuit aspect of a disjunction isn't used, and it matches both patterns. > > The solution is to just make two rules. The first for the if case and the > second for everything else. > if (...) - { - tmp = a; - a = b; - b = tmp + swap(a, b) ; - } This produces "single-line ifs". Maybe generated patches can be improved somehow? Moving -+; doesn't help in this case. diff -u -p a/drivers/net/wireless/ath/ath9k/calib.c b/drivers/net/wireless/ath/ath9k/calib.c --- a/drivers/net/wireless/ath/ath9k/calib.c +++ b/drivers/net/wireless/ath/ath9k/calib.c @@ -32,11 +32,7 @@ static int16_t ath9k_hw_get_nf_hist_mid( for (i = 0; i < ATH9K_NF_CAL_HIST_MAX - 1; i++) { for (j = 1; j < ATH9K_NF_CAL_HIST_MAX - i; j++) { - if (sort[j] > sort[j - 1]) { - nfval = sort[j]; - sort[j] = sort[j - 1]; - sort[j - 1] = nfval; - } + if (sort[j] > sort[j - 1]) swap(sort[j], sort[j - 1]); } } nfval = sort[(ATH9K_NF_CAL_HIST_MAX - 1) >> 1]; diff -u -p a/drivers/net/wireless/ath/ath9k/ar9003_calib.c b/drivers/net/wireless/ath/ath9k/ar9003_calib.c --- a/drivers/net/wireless/ath/ath9k/ar9003_calib.c +++ b/drivers/net/wireless/ath/ath9k/ar9003_calib.c @@ -1011,19 +1011,11 @@ static void __ar955x_tx_iq_cal_sort(stru for (ix = 0; ix < MAXIQCAL - 1; ix++) { for (iy = ix + 1; iy <= MAXIQCAL - 1; iy++) { if (coeff->mag_coeff[i][im][iy] < - coeff->mag_coeff[i][im][ix]) { - temp = coeff->mag_coeff[i][im][ix]; - coeff->mag_coeff[i][im][ix] = - coeff->mag_coeff[i][im][iy]; - coeff->mag_coeff[i][im][iy] = temp; - } + coeff->mag_coeff[i][im][ix]) swap(coeff->mag_coeff[i][im][ix], + coeff->mag_coeff[i][im][iy]); if (coeff->phs_coeff[i][im][iy] < - coeff->phs_coeff[i][im][ix]) { - temp = coeff->phs_coeff[i][im][ix]; - coeff->phs_coeff[i][im][ix] = - coeff->phs_coeff[i][im][iy]; - coeff->phs_coeff[i][im][iy] = temp; - } + coeff->phs_coeff[i][im][ix]) swap(coeff->phs_coeff[i][im][ix], + coeff->phs_coeff[i][im][iy]); Thanks, Denis _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci