function instead of 'goto' in C backend

There is a paper from Andew Appel:

http://portal.acm.org/citation.cfm?id=278285

it explains the connection between SSA basic blocks and
functions pretty well.

This paper may also help:

http://www.jantar.org/papers/ssa-lambda/

Cheers,

  Gabor