summaryrefslogtreecommitdiff
path: root/src/ir/possible-contents.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix GUFA on calls to function refs in open world (#7135)Alon Zakai2024-12-041-13/+30
* [NFC + bugfix] Remove BreakTargetLocation from GUFA (#6956)Alon Zakai2024-09-181-29/+34
* [NFC] Refactor LocalGraph's core getSets API (#6877)Alon Zakai2024-08-281-2/+7
* [Exceptions] Finish interpreter + optimizer support for try_table. (#6814)Sébastien Doeraene2024-08-201-2/+32
* Implement table.init (#6827)Alon Zakai2024-08-161-0/+1
* Rename external conversion instructions (#6716)Jérôme Vouillon2024-07-081-1/+1
* [Strings] Remove stringview types and instructions (#6579)Thomas Lively2024-05-151-20/+0
* GUFA: Handle bottom types in filterDataContents() (#6545)Alon Zakai2024-04-251-1/+7
* GUFA: Fix signed reads of packed GC data (#6494)Alon Zakai2024-04-111-1/+68
* GUFA: Fix nondeterminism in roots (#6456)Alon Zakai2024-03-291-1/+4
* Typed continuations: suspend instructions (#6393)Frank Emrich2024-03-191-0/+4
* Typed continuations: cont.bind instructions (#6365)Frank Emrich2024-03-041-0/+4
* Typed continuations: cont.new instructions (#6308)Frank Emrich2024-02-221-0/+4
* GUFA: Propagate string literals (#6262)Alon Zakai2024-02-011-1/+2
* Typed continuations: resume instructions (#6083)Frank Emrich2024-01-111-0/+5
* [EH] Add instructions for new proposal (#6181)Heejin Ahn2023-12-191-0/+5
* [NFC] Add LocalLocation for future use (#6105)Alon Zakai2023-11-131-0/+10
* Implement table.copy (#6078)Alon Zakai2023-11-061-0/+1
* [NFC] Rename getSuperType to getDeclaredSuperType (#6015)Alon Zakai2023-10-171-1/+1
* Implement table.fill (#5949)Thomas Lively2023-09-181-0/+1
* Replace I31New with RefI31 everywhere (#5930)Thomas Lively2023-09-131-1/+1
* [NFC] Remove some unneeded cruft from PossibleContents::intersect() (#5854)Alon Zakai2023-08-021-25/+4
* GUFA: Infer using TrapsNeverHappen (#5850)Alon Zakai2023-08-021-11/+550
* PossibleContents: Support more intersection types (#5847)Alon Zakai2023-07-311-26/+66
* End the current basic block on a Call (#5823)Alon Zakai2023-07-261-1/+1
* [NFC] Refactor each of ArrayNewSeg and ArrayInit into subclasses for Data/Ele...Alon Zakai2023-05-041-15/+15
* [Wasm GC] Fix GUFA on array.init of a bottom type (#5675)Alon Zakai2023-04-191-2/+6
* [GUFA] Fix packed field filtering (#5652)Alon Zakai2023-04-101-6/+41
* [Wasm GC] Handle packed fields in GUFA and CFP (#5640)Alon Zakai2023-04-071-0/+31
* [GUFA] Refine global types during flow (#5639)Alon Zakai2023-04-071-7/+19
* [Wasm GC] Fix GUFA on ArrayInit (#5638)Alon Zakai2023-04-071-3/+14
* Implement array.fill, array.init_data, and array.init_elem (#5637)Thomas Lively2023-04-061-1/+16
* Use Names instead of indices to identify segments (#5618)Thomas Lively2023-04-041-1/+1
* [NFC] Internally rename `ArrayInit` to `ArrayNewFixed` (#5526)Thomas Lively2023-02-281-1/+1
* Replace `RefIs` with `RefIsNull` (#5401)Thomas Lively2023-01-091-1/+1
* Use C++17's [[maybe_unused]]. NFC (#5309)Sam Clegg2022-12-021-6/+3
* Remove equirecursive typing (#5240)Thomas Lively2022-11-231-11/+2
* [Wasm GC] Fix a GUFA bug on null call_ref targets (#5262)Alon Zakai2022-11-161-0/+6
* [GUFA] [NFC] Remove RefCast special-casing (#5244)Alon Zakai2022-11-141-33/+4
* [Wasm GC] Fix nondeterminism in GUFA due to ordering (#5243)Alon Zakai2022-11-111-10/+13
* Fix possible-contents.h for `array.new_{data,elem}` (#5232)Thomas Lively2022-11-081-0/+1
* Implement `array.new_data` and `array.new_elem` (#5214)Thomas Lively2022-11-071-0/+20
* [Wasm GC] Fix GUFA on externalize/internalize (#5220)Alon Zakai2022-11-041-3/+22
* [NFC] Rewrite PossibleContents::combine to be static (#5192)Alon Zakai2022-10-281-50/+43
* [Wasm GC] Use Cones in GUFA data reads and writes (#5157)Alon Zakai2022-10-191-73/+76
* [Wasm GC] [NFC] Remove .type checks from GUFA that are not needed with modern...Alon Zakai2022-10-181-10/+4
* [Wasm GC] Filter GUFA expression locations by their type (#5149)Alon Zakai2022-10-181-17/+132
* [Wasm GC][GUFA] Avoid Many in roots (#5142)Alon Zakai2022-10-131-8/+16
* [Wasm GC] Fix the intersection of a bottom type null (#5128)Alon Zakai2022-10-121-2/+8
* [Wasm GC] [GUFA] Add initial ConeType support (#5116)Alon Zakai2022-10-111-69/+234