diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2020-12-02 09:07:12 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 09:07:12 -0800 |
commit | 16c1e3caff045666c5807b90998857da6ed8da74 (patch) | |
tree | dbede26f800b402a5c5bd7e033b536076f5fab47 /src/shell-interface.h | |
parent | 3b1d58aadd37ce8758447c9685d5c3a7bec9c418 (diff) | |
download | binaryen-16c1e3caff045666c5807b90998857da6ed8da74.tar.gz binaryen-16c1e3caff045666c5807b90998857da6ed8da74.tar.bz2 binaryen-16c1e3caff045666c5807b90998857da6ed8da74.zip |
[wasm-split] Record checksums in profiles (#3412)
Calculate a checksum of the original uninstrumented module and emit it as part
of the profile data. When reading the profile, compare the checksum it contains
to the checksum of the module that is being split. Error out if the module being
split is not the same as the module that was originally instrumented.
Also fixes a bug in how the profile data was being read. When `char` is signed,
bytes read from the profile were being incorrectly sign extended. We had not
noticed this before because the profiles we have tested have contained only
small-valued counts.
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions