diff options
author | Thomas Lively <tlively@google.com> | 2023-10-17 00:42:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-16 15:42:15 -0700 |
commit | f686b6887439f81a99599b0667e02c8d1f698935 (patch) | |
tree | 82a60490c7259ee78aa3696e93f4038cca162eef /src/passes/Unsubtyping.cpp | |
parent | 46df199c9041a6e9031617021714328352d0979b (diff) | |
download | binaryen-f686b6887439f81a99599b0667e02c8d1f698935.tar.gz binaryen-f686b6887439f81a99599b0667e02c8d1f698935.tar.bz2 binaryen-f686b6887439f81a99599b0667e02c8d1f698935.zip |
[wasm-split] Fix instrumentation to work with memory 64 (#6013)
Correctly use the output memory's index type when generating the __write_profile
function. Requires moving some code around, but is a very small fix.
Diffstat (limited to 'src/passes/Unsubtyping.cpp')
0 files changed, 0 insertions, 0 deletions