> After reviewing the code involving arithmetic pass-through jump > functions I found out that we actually do check that the type of the > LHS is compatible with the type of the first operand on the RHS. Now > that we stream the types of the LHS of these operations, this is no > longer necessary - and we happen not to do it for unary operations, > something I have missed when reviewing their addition. This patch > therefore removes these checks. > > Bootstrapped and tested and LTO bootstrapped on x86_64-linux but my > plan is to propose this only in the next stage 1. > > Thanks, > > Martin > > gcc/ChangeLog: > > 2025-03-21 Martin Jambor <mjam...@suse.cz> > > * ipa-prop.cc (compute_complex_assign_jump_func): Remove test for > comparison operation or type compatibility of LHS and RHS1. > (analyze_agg_content_value): Likewise.
OK, perhaps also add a testcase that propagation happens in new cases? Honza
