summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Make the Transfer Function a Generic, Interchangeable Type for the Monotone A...Bruce He2023-07-065-155/+237
* Initial support for `final` types (#5803)Thomas Lively2023-07-0617-172/+356
* [NFC] Fix the use of "strict" in subtypes.h (#5804)Thomas Lively2023-07-0610-27/+27
* [DeadArgumentElimination] Optimize function body after parameter refinement (...Jérôme Vouillon2023-07-062-7/+53
* [NFC] Fix check lines in nominal-good.wast (#5802)Thomas Lively2023-07-061-31/+29
* Print supertype declarations using the standard format (#5801)Thomas Lively2023-07-0643-309/+293
* Heap2Local: Add a test for params (#5798)Alon Zakai2023-07-051-0/+87
* OptimizeInstructions: Loop on fallthrough values in RefTest (#5797)Alon Zakai2023-07-052-31/+98
* [Outlining] StringifyWalker (#5772)Ashley Nelson2023-06-304-0/+335
* [NFC] Add a helper to get function DCE names in wasm-metadce (#5793)Alon Zakai2023-06-301-30/+15
* [wasm-metadce] Note ref.func connections + fix rooting of segment offsets (#5...Jérôme Vouillon2023-06-299-13/+126
* Dynamic Sized Bitvector Powerset Lattice for Static Analysis (#5784)Bruce He2023-06-296-194/+269
* Limit printing of Literal[s] in a general way (#5792)Alon Zakai2023-06-282-16/+92
* version_114 (#5789)Alon Zakai2023-06-282-1/+6
* Fix opt/shrink levels when running the optimizer multiple times, Part 2 (#5787)Alon Zakai2023-06-276-49/+92
* Liveness Analysis Proof of Concept (#5771)Bruce He2023-06-238-0/+568
* PostEmscripten: Preserve __em_js__ exports in side modules (#5780)Sam Clegg2023-06-233-5/+59
* Add a gtest fixture for tests checking printed output (#5781)Thomas Lively2023-06-232-8/+33
* CtorEval Fuzzer: Generalize export regex (#5778)Alon Zakai2023-06-221-1/+1
* Fuzzing for Try and Throw (#5776)Alon Zakai2023-06-214-37/+119
* Limit literal printing to a reasonable limit (#5779)Alon Zakai2023-06-211-0/+8
* Fix pop assertion (#5777)Alon Zakai2023-06-202-1/+29
* [NFC] Simplify `Tuple` by making it an alias of `TypeList` (#5775)Thomas Lively2023-06-207-66/+42
* [EH] Add pass to remove EH instructions (#5770)Heejin Ahn2023-06-157-0/+202
* [NFC] Rewrite isorecursive canonicalization (#5774)Thomas Lively2023-06-152-341/+159
* EffectAnalyzer: Assume we execute the two things whose effects we compare (#5...Alon Zakai2023-06-133-6/+190
* [NFC] Simplify the HeapTypeStore (#5765)Thomas Lively2023-06-131-107/+38
* Remove BinaryenIRToBinaryWriter::visit (#5766)Heejin Ahn2023-06-131-4/+0
* Rename WasmBinaryBuilder to WasmBinaryReader (NFC) (#5767)Heejin Ahn2023-06-137-212/+204
* DeadArgumentElimination: Do not error on bottom types in result refining (#5763)Alon Zakai2023-06-122-1/+42
* ConstantFieldPropagation: Track copied values properly (#5761)Alon Zakai2023-06-122-24/+126
* Update br_on_cast binary and text format (#5762)Thomas Lively2023-06-1224-179/+129
* Remove handleBranchForVisitBlock (#5760)Heejin Ahn2023-06-091-15/+0
* Validate tag param types (#5759)Alon Zakai2023-06-081-0/+5
* Strings: Add initial validation checks (#5758)Alon Zakai2023-06-081-0/+91
* TypeRefining: Fix a bug with chains of StructGets (#5757)Alon Zakai2023-06-082-1/+78
* [Strings] Fix non-nullable string emitting in the binary format (#5756)Alon Zakai2023-06-072-3/+23
* [NFC] Remove redundant code from EffectAnalyzer (#5754)Alon Zakai2023-06-061-5/+0
* Move casts which are immediate children of local.gets to earlier local.gets (...Bruce He2023-06-062-23/+1166
* Fix emitting of function reference types without GC (#5737)Thomas Lively2023-06-052-14/+78
* Mention determinism in README.md (#5747)Alon Zakai2023-06-011-0/+2
* StackIR: Remove nops (#5746)Alon Zakai2023-05-306-16/+27
* wasm-merge: Preserve imports when copying module items (#5743)Jérôme Vouillon2023-05-267-8/+76
* Revert "Update br_on_cast binary and text format (#5734)" (#5740)Alon Zakai2023-05-2324-108/+179
* Fuzzer: Limit ArrayNew sizes most of the time (#5738)Alon Zakai2023-05-222-44/+42
* TypeSSA: Handle collisions by adding a hash to ensure a fresh rec group (#5724)Alon Zakai2023-05-193-22/+133
* Update br_on_cast binary and text format (#5734)Thomas Lively2023-05-1924-179/+108
* Improve TODO docs in OptimizeCasts (#5732)Alon Zakai2023-05-181-7/+17
* Fuzzer: Ignore testcases that V8 OOMs on (#5733)Alon Zakai2023-05-181-0/+3
* Vacuum code leading up to a trap in TrapsNeverHappen mode (#5228)Alon Zakai2023-05-173-3/+515