Hi all, I'm taking a stab at fixing PR 22141 by merging adjacent stores into wider stores in a late gimple pass.
My current plan is to go through all the assignments in a basic block and keep track of LHS expressions that are COMPONENT_REF, BIT_FIELD_REF, ARRAY_REF or ARRAY_RANGE_REF until we encounter an expression that affects the recorded stores or a mergeable store that aliases with any of the preceeding loads. My question is how to express that question in gimple/tree-ssa? Is taking get_alias_set of the two expressions that I want to compare and checking alias_sets_conflict_p enough? Thanks, Kyrill
