Eduard Zingerman writes: > 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 Ok, I will reorganize the code for this. Thanks, Cupertino
