https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62173
Jiong Wang <jiwang at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
Depends on| |52563
--- Comment #12 from Jiong Wang <jiwang at gcc dot gnu.org> ---
the root cause why it's not ivopted on AArch64 is because
must_check_src_overflow = TYPE_PRECISION (ct) < TYPE_PRECISION (type);
code above in convert_affine_scev, the input type is sizetype, so DI for 64bit
arch, SI for 32bit arch, ct is SI, thus, must_check_src_overflow set to true
for 64bit arch, then failed later scev_probably_wraps_p check.
And I found similar issue reported back in 2012, at bug 52563.
I verified this bug exist on other 64 archs, like mips64, ppc64, x86-64
Richard, on 52563, I see you was working on this, do you have any thoughts on
this?
