public void runClockDomain() { for (int i = 0; i < ends.length; i++) { ends[i] = 0; tdone[i] = 0; } RUN: while (true) { switch (S590) { case 0: S590 = 0; break RUN; case 1: S590 = 2; breakme_1.setClear(); thread780702821(tdone, ends); thread778394328(tdone, ends); int biggest778009579 = 0; if (ends[2] >= biggest778009579) { biggest778009579 = ends[2]; } if (ends[3] >= biggest778009579) { biggest778009579 = ends[3]; } if (biggest778009579 == 1) { active[1] = 1; ends[1] = 1; break RUN; } case 2: breakme_1.setClear(); thread779163825(tdone, ends); thread789167297(tdone, ends); int biggest787243552 = 0; if (ends[2] >= biggest787243552) { biggest787243552 = ends[2]; } if (ends[3] >= biggest787243552) { biggest787243552 = ends[3]; } if (biggest787243552 == 1) { active[1] = 1; ends[1] = 1; break RUN; } // FINXME code if (biggest787243552 == 0) { System.err.println("Packet sent."); S590 = 0; active[1] = 0; ends[1] = 0; S590 = 0; break RUN; } } } }
public void run() { while (active[1] != 0) { int index = 1; if (paused[index] == 1 || suspended[index] == 1 || active[index] == 0) { for (int h = 1; h < paused.length; ++h) { paused[h] = 0; } } if (paused[1] != 0 || suspended[1] != 0 || active[1] != 1) ; else { reset1_o.update_w_r(); data1_o.update_w_r(); if (!df) { reset1_o.gethook(); data1_o.gethook(); df = true; } Native.count(((0x1 << 25) | 0x7)); runClockDomain(); Native.count(0x7); Native.count(((0x1 << 25) | (0x1 << 26) | 0x7)); int eot = Native.hc(0x0); int fmc = Native.hc(0x1); int mmc = Native.hc(0x2); int foc = Native.hc(0x3); int moc = Native.hc(0x4); // System.err.println("VAL apsCD1,"+(++tick)+","+(eot)+","+fmc+","+mmc+","+foc+","+moc); Native.count((0x7 | (0x1 << 26))); } breakme_1.setpreclear(); int dummyint = 0; for (int qw = 0; qw < currsigs.size(); ++qw) { dummyint = ((Signal) currsigs.elementAt(qw)).getStatus() ? ((Signal) currsigs.elementAt(qw)).setprepresent() : ((Signal) currsigs.elementAt(qw)).setpreclear(); ((Signal) currsigs.elementAt(qw)).setpreval(((Signal) currsigs.elementAt(qw)).getValue()); } currsigs.removeAllElements(); breakme_1.setClear(); reset1_o.sethook(); data1_o.sethook(); if (paused[1] != 0 || suspended[1] != 0 || active[1] != 1) ; else { reset1_o.gethook(); data1_o.gethook(); } if (active[1] == 0) { System.out.println("Finished CD"); } if (!threaded) break; } }
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; } } } }
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; } } }