scripts/coccinelle/tcg_gen_extract.cocci

3 // Copyright: (C) 2017 Philippe Mathieu-Daudé. GPLv2+.
5 // Options: --macro-file scripts/cocci-macro-file.h
8 // http://lists.nongnu.org/archive/html/qemu-devel/2017-02/msg05211.html
10 // http://lists.nongnu.org/archive/html/qemu-devel/2017-05/msg01466.html
15 //     --macro-file scripts/cocci-macro-file.h \
16 //     --sp-file scripts/coccinelle/tcg_gen_extract.cocci \
17 //     --keep-comments --in-place \
18 //     --use-gitgrep --dir target
20 // $ docker run --rm -v $PWD:$PWD -w $PWD philmd/coccinelle \
21 //     --macro-file scripts/cocci-macro-file.h \
22 //     --sp-file scripts/coccinelle/tcg_gen_extract.cocci \
23 //     --keep-comments --in-place \
24 //     --use-gitgrep --dir target
38     return (1 << order) - 1
40 @match@
62 @script:python verify_len depends on match@
63 ret_s << match.ret;
64 msk_s << match.msk;
65 shr_p << match.shr_p;
86 identifier match.ret;
87 metavariable match.arg;
88 constant match.ofs, match.msk;
89 position match.shr_p, match.and_p;
93 -tcg_gen_shri_i32@shr_p(ret, arg, ofs);
96 -tcg_gen_andi_i32@and_p(ret, ret, msk);
98 -tcg_gen_shri_i64@shr_p(ret, arg, ofs);
101 -tcg_gen_andi_i64@and_p(ret, ret, msk);
103 -tcg_gen_shri_tl@shr_p(ret, arg, ofs);
106 -tcg_gen_andi_tl@and_p(ret, ret, msk);