On Sat, Nov 11, 2023 at 05:05:58PM -0800, Andrii Nakryiko wrote: > Generalize is_branch_taken logic for SCALAR_VALUE register to handle > cases when both registers are not constants. Previously supported > <range> vs <scalar> cases are a natural subset of more generic <range> > vs <range> set of cases. > > Generalized logic relies on straightforward segment intersection checks. > > Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> Acked-by: Shung-Hsi Yu <shung-hsi.yu@xxxxxxxx>
