// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // [8]nat x; nat z; thread BinaryTree_8 { nat y0,y1,y2,y3,y4,y5,y6,y7; y0 = x[0]; y1 = x[1]; y2 = x[2]; y3 = x[3]; y4 = x[4]; y5 = x[5]; y6 = x[6]; y7 = x[7]; // level 0 y0 = y0 + y1; y1 = y2 + y3; y2 = y4 + y5; y3 = y6 + y7; // level 0 y0 = y0 + y1; y1 = y2 + y3; // level 0 y0 = y0 + y1; z = y0; }