On Fri, 2024-05-03 at 17:42 +0100, Cupertino Miranda wrote: > Is it Ok to reduce all this to 2 patches. > One with the verifier changes and another with selftests. Hi Miranda, I think Alexei meant that patch #7 could be moved to the beginning of the patch-set. Which would simplify patch #2. The main logical structure of the series makes sense to me, I think we should keep it: - replace calls to mark_reg_unknown >> do equivalent of patch #7 here, remove unnecessary checks << - refactor checks for range computation (factor out is_safe_to_compute_dst_reg_range) - improve XOR and OR range computation - XOR and OR range computation tests - relax MUL range computation check - MUL range computation tests
