https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102087
--- Comment #7 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> --- If step is +-1, or if the 'iv base' is constant, the 'bound' would be calculated as const. Otherwise, the 'bound' maybe something like: "(max - base) / step * step + base". For this case, then runtime cost may need to calculate 'bound'. I'm wondering if it is beneficial to support this kind of case.