On 3/13/21 6:39 PM, Taylor Simpson wrote:
BTW, how can I generate an assert via TCG?
You can't, as such. You can call a helper function, which can do whatever.
Except for HEX_DEBUG, why would we not know whether or not a predicate
has been
written twice? It seems like we shouldn't need hex_pred_written for the
non-debug case.
It's legal to write to a predicate more than once in the same packet.
I repeat -- why would you not know that? You should be able to examine the
packet and see whether it does or does not write to a predicate register more
than once.
Simply always generating code that assumes it has is lazy.
r~
