OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder
https://ocamlpro.github.io/owi/
GNU Affero General Public License v3.0
127 stars 17 forks source link

unimplemented symbolic instruction: popcnt #215

Closed epatrizio closed 2 months ago

epatrizio commented 6 months ago

symbolic_value: I32 and I64 modules

let popcnt _ =  assert false
zapashcanon commented 3 months ago

the C compiler is emitting popcnt on the dobble example with -O3 (I added -O1 to avoid a crash, it should be removed once this is fixed) see #350