summaryrefslogtreecommitdiff
path: root/test/unit/test_features.py
diff options
context:
space:
mode:
authorThomas Lively <tlively@google.com>2024-06-12 12:30:28 -0700
committerGitHub <noreply@github.com>2024-06-12 12:30:28 -0700
commit0e1187664ebf93bd268ba7d77813441a4874d998 (patch)
tree5a71076f179d4edfd3cdb811676ccd5c420e582b /test/unit/test_features.py
parentac21c8cc9204e09fab070d2fd915e7ab583a5dac (diff)
downloadbinaryen-0e1187664ebf93bd268ba7d77813441a4874d998.tar.gz
binaryen-0e1187664ebf93bd268ba7d77813441a4874d998.tar.bz2
binaryen-0e1187664ebf93bd268ba7d77813441a4874d998.zip
[threads] Parse, build, and print shared composite types (#6654)
Parse the text format for shared composite types as described in the shared-everything thread proposal. Update the parser to use 'comptype' instead of 'strtype' to match the final GC spec and add the new syntactic class 'sharecomptype'. Update the type canonicalization logic to take sharedness into account to avoid merging shared and unshared types. Make the same change in the TypeMerging pass. Ensure that shared and unshared types cannot be in a subtype relationship with each other. Follow-up PRs will add shared abstract heap types, binary parsing and emitting for shared types, and fuzzer support for shared types.
Diffstat (limited to 'test/unit/test_features.py')
0 files changed, 0 insertions, 0 deletions