Repository navigation
[dart2js] Identify required powerset bits #49312
Description
The current scaffolding for the powerset domain defines a few bits:
true/false/null/other- interceptor/not interceptor/null interceptor
We may need to confirm that these bits are still useful and in a usable state. We also need to determine what other bits the powerset domain should support and sort them by priority.
Activity
rakudrama commentedon Jun 22, 2022
For each optimization, the value space can be partitioned into values that allow an optimization, and some sister bits that cover the cases where the optimization does not apply.
We have two hierarchies of 'fake' types so that the type-masks can be used to make distinctions within a natural type. These are will be better expressed as powerset subdomains.
JSArrayhas fake subclasses to model the varieties of list - each subclass permits some optimization - e.g. fixed-length lists have a.lengththat can be hoisted.The powerset domain would include other JSIndexables, including some
@Nativeclasses likeNodeList.JSInthas a similar set of partioning subclasses.JSUInt31targets bit-operation optimizations.In addition to small non-negative integers, it would be useful to model
-0.0since the absence of-0.0from otherwise non-negative values allows lowering to%.I would take on the
JSInt-subclass-replacement domain later than some others since the transfer functions are harder to write.