This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Check precision rather than machine mode in STRIP_NOPS and STRIP_SIGN_NOPS


> Based on verify_gimple_assign_unary we can only have conversion between
> ENUM_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, OFFSET_TYPE, POINTER_TYPE and
> REFERENCE_TYPE here which I think can be removed as long as they have the
> same precision.

You can have conversions for basically everything, e.g between the const and 
the non-const version of an aggregate type.  They will be stripped off during  
gimplification (see useless_type_conversion_p_1) but I think they still need 
to be handled by STRIP_NOPS and STRIP_SIGN_NOPS.

-- 
Eric Botcazou


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]