24 Nov
2023
24 Nov
'23
3:05 p.m.
On Fri Nov 24 12:41:28 2023 +0000, Giovanni Mascellani wrote:
How hard would it be to validate that the incoming register belongs indeed to the stated block, and that that block is indeed a predecessor of the current one? 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.
-- https://gitlab.winehq.org/wine/vkd3d/-/merge_requests/491#note_53693