diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-02-10 17:31:14 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-11 01:31:14 +0000 |
| commit | e283300dbb8bf573584a811bdc973b3731b67486 (patch) | |
| tree | bf13a625ab28030bcc1b1afccac8f850df58e2e0 /src/wasm/wasm-stack.cpp | |
| parent | 18e080756de0702e1816c406a4edc556dc544fdc (diff) | |
| download | binaryen-e283300dbb8bf573584a811bdc973b3731b67486.tar.gz binaryen-e283300dbb8bf573584a811bdc973b3731b67486.tar.bz2 binaryen-e283300dbb8bf573584a811bdc973b3731b67486.zip | |
StackSignature subtypes and LUBs (#3543)
Add a utility for calculating the least upper bounds of two StackSignatures,
taking into account polymorphic unreachable behavior. This will important in the
finalization and validation of Poppy IR blocks, where a block is allowed to
directly produce fewer values than the branches that target it carry if the
difference can be made up for by polymorphism due to an unreachable instruction
in the block.
Diffstat (limited to 'src/wasm/wasm-stack.cpp')
0 files changed, 0 insertions, 0 deletions