I can't tell if it's correct or not without seeing all the relevant code that it is being converted from. You're not sure and you're asking us to guess based on portions of your pseudocode (which hopefully is even accurate). That're far too many places where a bug could creep in.
The best option would be to work out the purpose of the piece of code and write it in C from scratch.
My homepage
Advice: Take only as directed - If symptoms persist, please see your debugger
Linus Torvalds: "But it clearly is the only right way. The fact that everybody else does it some other way only means that they are wrong"
I used to work on a million-line project which was translated, by hand, from Fortran 77 to C.
Even if you manage to untangle all the loops and eliminate the gotos, you are still going to be left with Fortran oddities that you will never fully expunge. The better solution is a complete rewrite.
That sounds like hard work, but you're already translating by hand anyway.
Code://try //{ if (a) do { f( b); } while(1); else do { f(!b); } while(1); //}
