diff options
author | Alon Zakai <azakai@google.com> | 2021-04-29 11:39:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-29 11:39:28 -0700 |
commit | a4c7866f5e133c58ebbf09715a705d514209dac1 (patch) | |
tree | 7ca2ead470ee9ac15b02ecc7589700052443bb8a /src/wasm-type.h | |
parent | 2785d936639c62d08eb836a775838a37033127b4 (diff) | |
download | binaryen-a4c7866f5e133c58ebbf09715a705d514209dac1.tar.gz binaryen-a4c7866f5e133c58ebbf09715a705d514209dac1.tar.bz2 binaryen-a4c7866f5e133c58ebbf09715a705d514209dac1.zip |
UniqueDeferredQueue improvements (#3847)
Add clear().
Add UniqueNonrepeatingDeferredQueue which also has the property
that it never repeats values in the output.
Also add unit tests.
Diffstat (limited to 'src/wasm-type.h')
0 files changed, 0 insertions, 0 deletions