Merge remote-tracking branch 'remotes/maxreitz/tags/pull-block-2021-04-13' into staging
[qemu.git] / scripts / coccinelle / simplify_muldiv64.cocci
1 // replace muldiv64(i32, i32, x) by (uint64_t)i32 * i32 / x
2 @@
3 typedef uint32_t;
4 typedef int32_t;
5 { uint32_t, int32_t, int, unsigned int } a, b;
6 typedef uint64_t;
7 expression c;
8 @@
9
10 -muldiv64(a,b,c)
11 +(uint64_t) a * b / c