Backend: tag operations with the defined-ness of their arguments
The partial evaluation makes a defined-ness analyis. This analysis would also be helpful for the backend. If we know the precise type of an operation (such as an inline-conditional, an addition), we could generate more simple code.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information