// ************************************************************************** //
//                                                                            //
//    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;

thread ParallelPrefixTree_4 {
    // up-level 0
    x1 = x0 + x1;
    x3 = x2 + x3;
    // up-level 1
    x3 = x1 + x3;
    // up-level 2
    // down-level 3
    // down-level 4
    x2 = x1 + x2;
}