dace icon indicating copy to clipboard operation
dace copied to clipboard
verified publisher icon spcl

Error in Simplify pass (ConstantPropagation)

Open edopao opened this issue 1 year ago • 1 comments

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 avatar Feb 28 '24 13:02 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: image

After ConstantPropagation: image

edopao avatar Feb 29 '24 07:02 edopao