diff options
author | Julia Lawall <Julia.Lawall@lip6.fr> | 2017-11-13 06:53:35 +0100 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-11-16 08:56:42 +0900 |
commit | 937c812dfc0a25343d56b07734438610a1fb7b46 (patch) | |
tree | ad1f1cd178171d99fbd98e7bace9340b8f9bad13 /scripts/Makefile.help | |
parent | 6851ba1a1b22ba2e0800002d531bf04ced22ec18 (diff) |
coccinelle: orplus: reorganize to improve performance
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 whole kernel on my
laptop with an Intel i5-6200U CPU.
Signed-off-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'scripts/Makefile.help')
0 files changed, 0 insertions, 0 deletions