Compare the running speed of the two binaries built with different options:
% V3C_OPTS=-redef-field=FastIntTuning.threadedDispatch=true ./build.sh wizeng x86-64-linux % bin/wizeng.x86-64-linux --mode=int test/microbench/100ms/fib.wasm % V3C_OPTS=-redef-field=FastIntTuning.threadedDispatch=false ./build.sh wizeng x86-64-linux % bin/wizeng.x86-64-linux --mode=int test/microbench/100ms/fib.wasm
Compare the running speed of the two binaries built with different options: