sdtwigg / gama Goto Github PK

Wire connect smashing can currently emit mux trees of signed and unsigned things together. Should ensure all sources are padded (using zero or sign extension depending on the source) or extracted to the wire length, THEN casted to the wire type, and then that is used to make the mux.

Alternatively, may be better to have a pass that 'tightens up' all connects. Could also tighten up expressions too in a different pass.

Not quite sure the best solution. Perhaps a new command entry?

Krste suggested a generalized solution for the rest issue is to allow connect statements to have attached priorities.

Could be somewhat easily implemented by having the connect journal sort based on priority.

For extraction operations, instead of merely taking an integer, be able to take the flag MSB or expression MSB - [integer]. After width inference, replace these with the appropriate numbers.

Note that before width inference, the width will likely be unknown (optionally, if the source width is known, could determine the output width or simply remove the MSB reference)

TODO: CONSIDER: Ensure that future passes don't add to the width of a RefExtract that has had MSB removed... or at least do it very carefully.

Rename to asUnsigned/assigned

This avoids confusion since operation applies to UInt in frontend and UBits in the backend.