cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

simplify_muldiv64.cocci (220B)


      1// replace muldiv64(i32, i32, x) by (uint64_t)i32 * i32 / x
      2@@
      3typedef uint32_t;
      4typedef int32_t;
      5{ uint32_t, int32_t, int, unsigned int } a, b;
      6typedef uint64_t;
      7expression c;
      8@@
      9
     10-muldiv64(a,b,c)
     11+(uint64_t) a * b / c