linux-kernel - Re: [PATCH] coccinelle: orplus: reodganize to improve performance

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <CAK7LNAS06r9B-ZTA0K0LrH8g64ibft-Kzt3A6y0tJqW7_HHh2w@mail.gmail.com>
Date:   Mon, 13 Nov 2017 13:32:31 +0900
From:   Masahiro Yamada <yamada.masahiro@...ionext.com>
To:     Julia Lawall <julia.lawall@...6.fr>
Cc:     Michal Marek <michal.lkml@...kovi.net>,
        Gilles Muller <Gilles.Muller@...6.fr>,
        Nicolas Palix <nicolas.palix@...g.fr>,
        Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
        cocci@...teme.lip6.fr
Subject: Re: [PATCH] coccinelle: orplus: reodganize to improve performance

Hi Julia,


2017-11-13 3:41 GMT+09:00 Julia Lawall <julia.lawall@...6.fr>:
> Adding two #define constants is less common than performing & and |
> operations on them, so put the addition first to reduce the set of cases
> that have to be considered in detail.  At the same time, add & and |
> patterns for both arguments of +, to account for commutativity and obtain
> more results.
>
> Running time is divided by 3 when applying this to the while kernel on my
> laptop with an Intel i5-6200U CPU.
>

Nit:

Missing Signed-off-by.


>
> diff --git a/scripts/coccinelle/misc/orplus.cocci b/scripts/coccinelle/misc/orplus.cocci
> index 81fabf3..08de5be 100644
> --- a/scripts/coccinelle/misc/orplus.cocci
> +++ b/scripts/coccinelle/misc/orplus.cocci
> @@ -14,7 +14,19 @@ virtual report
>  virtual context
>
>  @r@
> -constant c;
> +constant c,c1;
> +identifier i,i1;
> +position p;
> +@@
> +
> +(
> + c1 + c - 1
> +|
> + c1@i1 +@p c@i
> +)
> +
> +@s@
> +constant r.c, r.c1;
>  identifier i;
>  expression e;
>  @@
> @@ -27,28 +39,31 @@ e & c@i
>  e |= c@i
>  |
>  e &= c@i
> +|
> +e | c1@i
> +|
> +e & c1@i
> +|
> +e |= c1@i
> +|
> +e &= c1@i
>  )
>
> -@s@
> -constant r.c,c1;
> -identifier i1;
> -position p;
> +@...ends on s@
> +position r.p;
> +constant c1,c2;
>  @@
>
> -(
> - c1 + c - 1
> -|
> -*c1@i1 +@p c
> -)
> +* c1 +@p c2
>
> -@...ipt:python depends on org@
> -p << s.p;
> +@...ipt:python depends on s && org@
> +p << r.p;
>  @@
>
>  cocci.print_main("sum of probable bitmasks, consider |",p)
>
> -@...ipt:python depends on report@
> -p << s.p;
> +@...ipt:python depends on s && report@
> +p << r.p;
>  @@
>
>  msg = "WARNING: sum of probable bitmasks, consider |"



-- 
Best Regards
Masahiro Yamada