// ************************************************************************** // // // // 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 // // // // ************************************************************************** // [16]nat x; nat z; thread BinaryTree_16 { nat y0,y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13,y14,y15; y0 = x[0]; y1 = x[1]; y2 = x[2]; y3 = x[3]; y4 = x[4]; y5 = x[5]; y6 = x[6]; y7 = x[7]; y8 = x[8]; y9 = x[9]; y10 = x[10]; y11 = x[11]; y12 = x[12]; y13 = x[13]; y14 = x[14]; y15 = x[15]; // level 0 y0 = y0 + y1; y1 = y2 + y3; y2 = y4 + y5; y3 = y6 + y7; y4 = y8 + y9; y5 = y10 + y11; y6 = y12 + y13; y7 = y14 + y15; // 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; }