During DAG construction a node can be tagged as being an integer quantity if it is found to be used as an array index. However, we currently make no attempt to ensure that other nodes are updated to be consistent. This can mean that an arithmetic operation can be wrongly identified as a FLOP when in fact its arguments are integer.
In this issue we'll add a further processing step to ensure that information on which nodes are integer is propagated through the DAG.
During DAG construction a node can be tagged as being an integer quantity if it is found to be used as an array index. However, we currently make no attempt to ensure that other nodes are updated to be consistent. This can mean that an arithmetic operation can be wrongly identified as a FLOP when in fact its arguments are integer.
In this issue we'll add a further processing step to ensure that information on which nodes are integer is propagated through the DAG.