Error in Simplify pass (ConstantPropagation)

[edopao]

The Simplify pass introduces an error in the attached SDFG: sdfg1_before_simplify.json

The error is introduces by ConstantPropagagation subpass. See the SDFG before (sdfg2_before_constant_propagation.json) and after (sdfg3_after_constant_propagation.json) applying ConstantPropagagation.

[edopao]

I should probably add that the attached SDFG is quite simple, don't be worry of opening it. The error is introduced in the tasklet that writes to the output array. What happens is that ConstantPropagation propagates the symbol assignment on the false-branch edge to the output write. The problem is that it ignores the symbol assignment on the true-branch.

Before ConstantPropagation:

After ConstantPropagation: