Exemple #1
0
 public void thread780702821(int[] tdone, int[] ends) {
   if (tdone[2] != 1) {
     S24 = 1;
     S7 = 0;
     if (reset1_o.get_preempted()) {
       tutu__1455891304 = 0;
       tutu__1455891304 = reset1_o.get_preempted() ? reset1_o.refresh() : 0;
       S7 = 1;
       active[2] = 1;
       ends[2] = 1;
       tdone[2] = 1;
     } else {
       S2 = 0;
       if (reset1_o.get_w_s() == reset1_o.get_w_r()) {
         tutu__1575963473 = 0;
         tutu__1575963473 = reset1_o.get_w_s();
         tutu__1575963473++;
         reset1_o.set_w_s(tutu__1575963473);
         reset1_o.set_value(new Integer(1));
         S2 = 1;
         if (reset1_o.get_w_s() == reset1_o.get_w_r()) {
           ends[2] = 2;
           ;
           breakme_1.setPresent();
           currsigs.addElement(breakme_1);
           // .println("Emitted breakme_1");
           S24 = 0;
           active[2] = 0;
           ends[2] = 0;
           tdone[2] = 1;
         } else {
           active[2] = 1;
           ends[2] = 1;
           tdone[2] = 1;
         }
       } else {
         active[2] = 1;
         ends[2] = 1;
         tdone[2] = 1;
       }
     }
   }
 }
Exemple #2
0
 public void thread789167297(int[] tdone, int[] ends) {
   if (tdone[3] != 1) {
     switch (S588) {
       case 0:
         active[3] = 0;
         ends[3] = 0;
         tdone[3] = 1;
         break;
       case 1:
         switch (S25) {
           case 0:
             if (breakme_1.getprestatus()) {
               S25 = 1;
               len_thread_3 = 0;
               len_thread_3 = tosend_thread_3.length;
               S28 = 0;
               if (y_thread_3 == len_thread_3) {
                 breakme_1.setPresent();
                 currsigs.addElement(breakme_1);
                 // .println("Emitted breakme_1");
                 S28 = 1;
                 active[3] = 1;
                 ends[3] = 1;
                 tdone[3] = 1;
               } else {
                 r_thread_3 = 0;
                 r_thread_3 = tosend_thread_3[y_thread_3];
                 S36 = 0;
                 if (data1_o.get_preempted()) {
                   tutu__1226402325 = 0;
                   tutu__1226402325 = data1_o.get_preempted() ? data1_o.refresh() : 0;
                   S36 = 1;
                   active[3] = 1;
                   ends[3] = 1;
                   tdone[3] = 1;
                 } else {
                   S31 = 0;
                   if (data1_o.get_w_s() == data1_o.get_w_r()) {
                     tutu__848418627 = 0;
                     tutu__848418627 = data1_o.get_w_s();
                     tutu__848418627++;
                     data1_o.set_w_s(tutu__848418627);
                     data1_o.set_value(new Byte(r_thread_3));
                     S31 = 1;
                     if (data1_o.get_w_s() == data1_o.get_w_r()) {
                       ends[3] = 2;
                       ;
                       y_thread_3 = y_thread_3 + 1;
                       S28 = 1;
                       active[3] = 1;
                       ends[3] = 1;
                       tdone[3] = 1;
                     } else {
                       active[3] = 1;
                       ends[3] = 1;
                       tdone[3] = 1;
                     }
                   } else {
                     active[3] = 1;
                     ends[3] = 1;
                     tdone[3] = 1;
                   }
                 }
               }
             } else {
               active[3] = 1;
               ends[3] = 1;
               tdone[3] = 1;
             }
             break;
           case 1:
             if (breakme_1.getprestatus()) {
               data1_o.refresh();
               S588 = 0;
               active[3] = 0;
               ends[3] = 0;
               tdone[3] = 1;
             } else {
               switch (S28) {
                 case 0:
                   switch (S36) {
                     case 0:
                       if (data1_o.get_preempted()) {
                         tutu__1807839633 = 0;
                         tutu__1807839633 = data1_o.get_preempted() ? data1_o.refresh() : 0;
                         S36 = 1;
                         active[3] = 1;
                         ends[3] = 1;
                         tdone[3] = 1;
                       } else {
                         switch (S31) {
                           case 0:
                             if (data1_o.get_w_s() == data1_o.get_w_r()) {
                               tutu__1660223482 = 0;
                               tutu__1660223482 = data1_o.get_w_s();
                               tutu__1660223482++;
                               data1_o.set_w_s(tutu__1660223482);
                               data1_o.set_value(new Byte(r_thread_3));
                               S31 = 1;
                               if (data1_o.get_w_s() == data1_o.get_w_r()) {
                                 ends[3] = 2;
                                 ;
                                 y_thread_3 = y_thread_3 + 1;
                                 S28 = 1;
                                 active[3] = 1;
                                 ends[3] = 1;
                                 tdone[3] = 1;
                               } else {
                                 active[3] = 1;
                                 ends[3] = 1;
                                 tdone[3] = 1;
                               }
                             } else {
                               active[3] = 1;
                               ends[3] = 1;
                               tdone[3] = 1;
                             }
                             break;
                           case 1:
                             if (data1_o.get_w_s() == data1_o.get_w_r()) {
                               ends[3] = 2;
                               ;
                               y_thread_3 = y_thread_3 + 1;
                               S28 = 1;
                               active[3] = 1;
                               ends[3] = 1;
                               tdone[3] = 1;
                             } else {
                               active[3] = 1;
                               ends[3] = 1;
                               tdone[3] = 1;
                             }
                             break;
                         }
                       }
                       break;
                     case 1:
                       S36 = 1;
                       S36 = 0;
                       if (data1_o.get_preempted()) {
                         tutu__1807839633 = 0;
                         tutu__1807839633 = data1_o.get_preempted() ? data1_o.refresh() : 0;
                         S36 = 1;
                         active[3] = 1;
                         ends[3] = 1;
                         tdone[3] = 1;
                       } else {
                         S31 = 0;
                         if (data1_o.get_w_s() == data1_o.get_w_r()) {
                           tutu__1660223482 = 0;
                           tutu__1660223482 = data1_o.get_w_s();
                           tutu__1660223482++;
                           data1_o.set_w_s(tutu__1660223482);
                           data1_o.set_value(new Byte(r_thread_3));
                           S31 = 1;
                           if (data1_o.get_w_s() == data1_o.get_w_r()) {
                             ends[3] = 2;
                             ;
                             y_thread_3 = y_thread_3 + 1;
                             S28 = 1;
                             active[3] = 1;
                             ends[3] = 1;
                             tdone[3] = 1;
                           } else {
                             active[3] = 1;
                             ends[3] = 1;
                             tdone[3] = 1;
                           }
                         } else {
                           active[3] = 1;
                           ends[3] = 1;
                           tdone[3] = 1;
                         }
                       }
                       break;
                   }
                   break;
                 case 1:
                   S28 = 1;
                   len_thread_3 = 0;
                   len_thread_3 = tosend_thread_3.length;
                   S28 = 0;
                   if (y_thread_3 == len_thread_3) {
                     breakme_1.setPresent();
                     currsigs.addElement(breakme_1);
                     // .println("Emitted breakme_1");
                     S28 = 1;
                     active[3] = 1;
                     ends[3] = 1;
                     tdone[3] = 1;
                   } else {
                     r_thread_3 = 0;
                     r_thread_3 = tosend_thread_3[y_thread_3];
                     S36 = 0;
                     if (data1_o.get_preempted()) {
                       tutu__813548153 = 0;
                       tutu__813548153 = data1_o.get_preempted() ? data1_o.refresh() : 0;
                       S36 = 1;
                       active[3] = 1;
                       ends[3] = 1;
                       tdone[3] = 1;
                     } else {
                       S31 = 0;
                       if (data1_o.get_w_s() == data1_o.get_w_r()) {
                         tutu__885739271 = 0;
                         tutu__885739271 = data1_o.get_w_s();
                         tutu__885739271++;
                         data1_o.set_w_s(tutu__885739271);
                         data1_o.set_value(new Byte(r_thread_3));
                         S31 = 1;
                         if (data1_o.get_w_s() == data1_o.get_w_r()) {
                           ends[3] = 2;
                           ;
                           y_thread_3 = y_thread_3 + 1;
                           S28 = 1;
                           active[3] = 1;
                           ends[3] = 1;
                           tdone[3] = 1;
                         } else {
                           active[3] = 1;
                           ends[3] = 1;
                           tdone[3] = 1;
                         }
                       } else {
                         active[3] = 1;
                         ends[3] = 1;
                         tdone[3] = 1;
                       }
                     }
                   }
                   break;
               }
             }
             break;
         }
         break;
     }
   }
 }