<Daniel Berlin writes many things about good register allocators> But I'm afraid that this won't help very much when all pseudo's are (falsely, but semi-usefully) declared dead at the beginning of these blocks that are the targets of abnormal edges. Brad