On 30/05/2021 06:59, Andrii Nakryiko wrote: > I think your algorithm makes sense, but I've also CC'ed original > author of tnum logic. Edward, please take a look as well.Yep, I've been in discussions with them about the paper and their algorithm appears fine to me. As for the patch, nothing to add beyond your observations. -ed