For code such as:
jmp L1 ... L1: jmp L2
we should capture this (probably in peephole optimization), and replace it as:
jmp L2 ...