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 /test/example/stack-utils.txt | |
| 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 'test/example/stack-utils.txt')
| -rw-r--r-- | test/example/stack-utils.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/example/stack-utils.txt b/test/example/stack-utils.txt index c278ca099..d24119aab 100644 --- a/test/example/stack-utils.txt +++ b/test/example/stack-utils.txt @@ -13,5 +13,6 @@ ) ;; Test stack signatures ;; Test stack signature composition -;; Test stack signature satisfaction +;; Test stack signature subtyping +;; Test stack signature lub ;; Test stack flow |