#include "system/task_add.h"
#include "system/data_channel.h"
#include "system/float_word.h"

int task_add_run( void * task ) {

    // TODO
	add_config * config = (add_config *) task;
	for( uint32_t i=0; i< DATA_CHANNEL_DEPTH; ++i)
	{
		float a,b;
		float_word c;
		data_channel_read(config->sources [0],(uint32_t * ) & a);
		data_channel_read(config->sources [1],(uint32_t * ) & b);
		c.value = a+b;
		data_channel_write( config->sink, c.word);
	}
    return 0;
}