https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114932
--- Comment #13 from Tamar Christina <tnfchris at gcc dot gnu.org> --- (In reply to rguent...@suse.de from comment #12) > > since we don't care about overflow here, it looks like the stripping should > > be recursive as long as it's a NOP expression between two integral types. > > > > That would get them to hash to the same IV expression. Trying now.. > > Note tree-affine is a tool that's used for this kind of "weak" equalities. > Convert both to affine, subtract them and if that's zero they are equal. Hmm that's useful, though in this case this becomes the actual expression that IVOpts uses. For instance this is done in alloc_iv and add_iv_candidate_for_use when determining the uses for the IV. It looks like it's trying to force a canonical representation with as minimum casting as possible. would the "affine"'ed tree be safe to use for this context? What I've done currently is make a STRIP_ALL_NOPS that recursively strips NOPs for PLUS/MULT/MINUS.
