On Fri Nov 24 15:05:40 2023 +0000, Conor McCarthy wrote:
The incoming block doesn't need to define the register's value; the value just needs to be definitely available there, i.e. the block of origin must dominate the incoming block. The structuriser will have helpers which can validate preds, but I think it's too much for this MR.
Ah, interesting, this was not clear to me. Of course that dominating block could have been executed more than once by the time we get to the current block. I suppose the value that is taken is the one resulting from the latest execution, right?