https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127510
--- Comment #8 from Raghesh Aloor <raghesh.aloor at amd dot com> --- https://gcc.gnu.org/pipermail/gcc-patches/2026-October/734469.html I have submitted a patch to teach niter analysis to enable computing the trip count in presence of multiple compares in the exit. Please note currently we are handling only the case & of == to keep the patch minimal and readable. Further extensions can be made. Please review it. I could not find a simpler set of existing APIs to recursively evaluate the trip count. Please suggest if you have something in mind.
