The return is somewhere before the end of the function, e.g.

  loop:
    do stuff
    if some condition: return
    do more stuff
    goto loop

Alternatively, the function might end with a tail-call to another function, written as an unconditional branch.