// ************************************************************************** // // // // 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 // // // // ************************************************************************** // nat x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127; nat z; thread BinaryTree_128 { nat y0,y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13,y14,y15,y16,y17,y18,y19,y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36,y37,y38,y39,y40,y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51,y52,y53,y54,y55,y56,y57,y58,y59,y60,y61,y62,y63,y64,y65,y66,y67,y68,y69,y70,y71,y72,y73,y74,y75,y76,y77,y78,y79,y80,y81,y82,y83,y84,y85,y86,y87,y88,y89,y90,y91,y92,y93,y94,y95,y96,y97,y98,y99,y100,y101,y102,y103,y104,y105,y106,y107,y108,y109,y110,y111,y112,y113,y114,y115,y116,y117,y118,y119,y120,y121,y122,y123,y124,y125,y126,y127; y0 = x0; y1 = x1; y2 = x2; y3 = x3; y4 = x4; y5 = x5; y6 = x6; y7 = x7; y8 = x8; y9 = x9; y10 = x10; y11 = x11; y12 = x12; y13 = x13; y14 = x14; y15 = x15; y16 = x16; y17 = x17; y18 = x18; y19 = x19; y20 = x20; y21 = x21; y22 = x22; y23 = x23; y24 = x24; y25 = x25; y26 = x26; y27 = x27; y28 = x28; y29 = x29; y30 = x30; y31 = x31; y32 = x32; y33 = x33; y34 = x34; y35 = x35; y36 = x36; y37 = x37; y38 = x38; y39 = x39; y40 = x40; y41 = x41; y42 = x42; y43 = x43; y44 = x44; y45 = x45; y46 = x46; y47 = x47; y48 = x48; y49 = x49; y50 = x50; y51 = x51; y52 = x52; y53 = x53; y54 = x54; y55 = x55; y56 = x56; y57 = x57; y58 = x58; y59 = x59; y60 = x60; y61 = x61; y62 = x62; y63 = x63; y64 = x64; y65 = x65; y66 = x66; y67 = x67; y68 = x68; y69 = x69; y70 = x70; y71 = x71; y72 = x72; y73 = x73; y74 = x74; y75 = x75; y76 = x76; y77 = x77; y78 = x78; y79 = x79; y80 = x80; y81 = x81; y82 = x82; y83 = x83; y84 = x84; y85 = x85; y86 = x86; y87 = x87; y88 = x88; y89 = x89; y90 = x90; y91 = x91; y92 = x92; y93 = x93; y94 = x94; y95 = x95; y96 = x96; y97 = x97; y98 = x98; y99 = x99; y100 = x100; y101 = x101; y102 = x102; y103 = x103; y104 = x104; y105 = x105; y106 = x106; y107 = x107; y108 = x108; y109 = x109; y110 = x110; y111 = x111; y112 = x112; y113 = x113; y114 = x114; y115 = x115; y116 = x116; y117 = x117; y118 = x118; y119 = x119; y120 = x120; y121 = x121; y122 = x122; y123 = x123; y124 = x124; y125 = x125; y126 = x126; y127 = x127; // 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; y8 = y16 + y17; y9 = y18 + y19; y10 = y20 + y21; y11 = y22 + y23; y12 = y24 + y25; y13 = y26 + y27; y14 = y28 + y29; y15 = y30 + y31; y16 = y32 + y33; y17 = y34 + y35; y18 = y36 + y37; y19 = y38 + y39; y20 = y40 + y41; y21 = y42 + y43; y22 = y44 + y45; y23 = y46 + y47; y24 = y48 + y49; y25 = y50 + y51; y26 = y52 + y53; y27 = y54 + y55; y28 = y56 + y57; y29 = y58 + y59; y30 = y60 + y61; y31 = y62 + y63; y32 = y64 + y65; y33 = y66 + y67; y34 = y68 + y69; y35 = y70 + y71; y36 = y72 + y73; y37 = y74 + y75; y38 = y76 + y77; y39 = y78 + y79; y40 = y80 + y81; y41 = y82 + y83; y42 = y84 + y85; y43 = y86 + y87; y44 = y88 + y89; y45 = y90 + y91; y46 = y92 + y93; y47 = y94 + y95; y48 = y96 + y97; y49 = y98 + y99; y50 = y100 + y101; y51 = y102 + y103; y52 = y104 + y105; y53 = y106 + y107; y54 = y108 + y109; y55 = y110 + y111; y56 = y112 + y113; y57 = y114 + y115; y58 = y116 + y117; y59 = y118 + y119; y60 = y120 + y121; y61 = y122 + y123; y62 = y124 + y125; y63 = y126 + y127; // 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; y8 = y16 + y17; y9 = y18 + y19; y10 = y20 + y21; y11 = y22 + y23; y12 = y24 + y25; y13 = y26 + y27; y14 = y28 + y29; y15 = y30 + y31; y16 = y32 + y33; y17 = y34 + y35; y18 = y36 + y37; y19 = y38 + y39; y20 = y40 + y41; y21 = y42 + y43; y22 = y44 + y45; y23 = y46 + y47; y24 = y48 + y49; y25 = y50 + y51; y26 = y52 + y53; y27 = y54 + y55; y28 = y56 + y57; y29 = y58 + y59; y30 = y60 + y61; y31 = y62 + y63; // 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; y8 = y16 + y17; y9 = y18 + y19; y10 = y20 + y21; y11 = y22 + y23; y12 = y24 + y25; y13 = y26 + y27; y14 = y28 + y29; y15 = y30 + y31; // 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; }