summaryrefslogtreecommitdiff
path: root/test/lit/passes/signature-refining.wast
Commit message (Expand)AuthorAgeFilesLines
* Use empty blocks instead of nops for empty scopes in IRBuilder (#7080)Thomas Lively2024-11-141-18/+0
* [GC] Ignore public types in SignatureRefining (#7022)Alon Zakai2024-10-181-0/+40
* Replace the old topological sort everywhere (#6902)Thomas Lively2024-09-101-4/+4
* Remove extra space printed in empty structs (#6750)Thomas Lively2024-07-161-24/+24
* [NFC] Add the type of the Expression when eliding it (#6362)Alon Zakai2024-02-281-1/+1
* Properly stringify names in tests (#6279)Thomas Lively2024-02-061-14/+14
* Require `then` and `else` with `if` (#6201)Thomas Lively2024-01-041-14/+34
* Add followup test to #6122 (#6123)Alon Zakai2023-11-161-1/+58
* SignatureRefining: Notice LUB requirements of intrinsic calls (#6122)Alon Zakai2023-11-141-0/+57
* Remove legacy type defintion text syntax (#5948)Thomas Lively2023-09-181-25/+25
* Replace i31.new with ref.i31 everywhere (#5931)Thomas Lively2023-09-131-2/+2
* Fix printing of types for imported functions (#5927)Thomas Lively2023-09-111-1/+1
* Make final types the default (#5918)Thomas Lively2023-09-091-28/+28
* Simplify and consolidate type printing (#5816)Thomas Lively2023-08-241-46/+46
* SignatureRefining: Handle updates to call.without.effects (#5884)Alon Zakai2023-08-231-1/+98
* Use the standard syntax for ref.cast, ref.test and array.new_fixed (#5894)Jérôme Vouillon2023-08-231-4/+4
* Further improve ref.cast during finalization (#5882)Thomas Lively2023-08-171-1/+1
* Print supertype declarations using the standard format (#5801)Thomas Lively2023-07-061-5/+5
* Print function types on function imports in the text format (#5727)Alon Zakai2023-05-171-1/+1
* [Wasm GC] Always refinalize in SignatureRefining (#5694)Alon Zakai2023-05-011-0/+38
* [Wasm GC] Fix SignatureRefining on a call_ref to a bottom type (#5670)Alon Zakai2023-04-171-0/+20
* Port the remaining test/lit/passes tests off of --nominal (#5668)Thomas Lively2023-04-141-68/+88
* SignatureRefining: Skip types with supertypes for now (#5548)Alon Zakai2023-03-061-0/+30
* [Wasm GC] Skip types with subtypes in SignatureRefining (#5544)Alon Zakai2023-03-031-0/+22
* [Wasm GC] Replace `HeapType::data` with `HeapType::struct_` (#5416)Thomas Lively2023-01-101-5/+5
* Update tests ahead of transition from `data` to `struct` (#5320)Thomas Lively2022-12-071-36/+34
* Do not special case ref.null in `LUBFinder` (#5307)Thomas Lively2022-12-011-7/+15
* Change the default type system to isorecursive (#5239)Thomas Lively2022-11-231-50/+50
* Revert "Revert "Make `call_ref` type annotations mandatory (#5246)" (#5265)" ...Thomas Lively2022-11-161-6/+6
* Revert "Make `call_ref` type annotations mandatory (#5246)" (#5265)Thomas Lively2022-11-161-6/+6
* Make `call_ref` type annotations mandatory (#5246)Thomas Lively2022-11-151-6/+6
* Implement bottom heap types (#5115)Thomas Lively2022-10-071-7/+8
* Simplify and fix heap type counting (#5110)Thomas Lively2022-10-041-4/+8
* Emit call_ref with a type annotation (#5079)Thomas Lively2022-09-231-6/+6
* Make `i31ref` and `dataref` nullable (#4843)Thomas Lively2022-08-261-8/+8
* Separate `func` into a separate type hierarchy (#4955)Thomas Lively2022-08-221-20/+22
* Avoid adding new unneeded names to blocks in text roundtripping (#4943)Alon Zakai2022-08-221-1/+1
* SignatureRefining: Do not refine types of imported functions (#4727)Alon Zakai2022-06-141-0/+25
* [Nominal Fuzzing] Fix SignatureRefining by updating types fully at once (#4665)Alon Zakai2022-05-231-0/+46
* [NominalFuzzing] Fix SignaturePruning on types with a super (#4657)Alon Zakai2022-05-111-0/+18
* Update nominal type ordering (#4631)Thomas Lively2022-05-031-1/+2
* [NominalFuzzing] SignatureRefining: Ignore exported functions (#4601)Alon Zakai2022-04-221-0/+31
* [Wasm GC] Refine results in SignatureRefining (#4380)Alon Zakai2021-12-141-0/+134
* [Wasm GC] Signature Refining pass (#4326)Alon Zakai2021-11-191-0/+492
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-12 19:45:42 +0000