isl_ast_build_set_loop_bounds: compute divs after eliminating strided dimension
isl_ast_build_set_loop_bounds: compute divs after eliminating strided dimension

Although it is unlikely that the elimination would result in any unknown divs,
we had better make sure to preserve the invariant that build->domain does not
have any unknown divs.

Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

VanirLLVM/toolchain_isl,evaautomation/isl,evaautomation/isl,BenzoSM/isl,cfx-next/toolchain_isl-upstream,UBERTC/isl,UBERTC/isl,UBERTC/isl,SaberMod/isl-current,KangDroidSMProject/ISL,PollyLabs/isl,simbuerg/isl,nicolasvasilache/isl,Distrotech/isl,Distrotech/isl,crossbuild/isl,KangDroidSMProject/ISL,nicolasvasilache/isl,Meinersbur/isl,UBERTC/isl,abduld/isl,nicolasvasilache/isl,jleben/isl,nicolasvasilache/isl,jleben/isl,BenzoSM/isl,inducer/isl-mirror,simbuerg/isl,BenzoSM/isl,tobig/isl,Meinersbur/isl,VanirLLVM/toolchain_isl,serge-sans-paille/isl,crossbuild/isl,serge-sans-paille/isl,VanirLLVM/toolchain_isl,KangDroidSMProject/ISL,BobSaget-Mod/libisl,PollyLabs/isl,BobSaget-Mod/libisl,abduld/isl,inducer/isl-mirror,jleben/isl,BenzoSM/isl,PollyLabs/isl,KangDroidSMProject/ISL,BobSaget-Mod/libisl,simbuerg/isl,cfx-next/toolchain_isl-upstream,jleben/isl,BobSaget-Mod/libisl,Meinersbur/isl,cfx-next/toolchain_isl-upstream,tobig/isl,evaautomation/isl,BobSaget-Mod/libisl,crossbuild/isl,SaberMod/isl-current,evaautomation/isl,cfx-next/toolchain_isl-upstream,jleben/isl,VanirLLVM/toolchain_isl,Distrotech/isl,simbuerg/isl,abduld/isl,serge-sans-paille/isl,crossbuild/isl,SaberMod/isl-current,inducer/isl-mirror,inducer/isl-mirror,serge-sans-paille/isl,KangDroidSMProject/ISL,Meinersbur/isl,tobig/isl,tobig/isl,cfx-next/toolchain_isl-upstream,Distrotech/isl,inducer/isl-mirror,VanirLLVM/toolchain_isl,PollyLabs/isl,SaberMod/isl-current,serge-sans-paille/isl,abduld/isl,PollyLabs/isl,nicolasvasilache/isl,Distrotech/isl,BenzoSM/isl,simbuerg/isl