arch: integrate code generation with labels
arch: integrate code generation with labels

Let code generator take labels into account, redo code generation
until labels are "stable".

phate/jive,phate/jive,phate/jive