Constraints on Existential Parameters #450
Labels
C: language
Component: the Filament language
S: needs triage
Status: Needs some more thinking before being actionable
One of the current limitations of existential parameters is the inability to describe relationships between two components' existential parameters. Currently in the type system (smt solver) we already represent (non-opaque) existential parameters as a result of a function on input parameters. Therefore, we could theoretically provide this information in existential parameter constraints.
For example, one of the cases where this issue pops up is when using floating point addition or negation.
We have something like the following:
where subtraction has the same latency of an addition, only adding an inverter on
Y
s sign bit.I propose being able to rewrite
FSub
's constraints onL
as follows:Which will then allow us to place additions and subtractions in parallel without having to add assumptions or unused registers.
The text was updated successfully, but these errors were encountered: