I had a look around, of course. CmmContFlowOpt is not quite a good example, as it does not generate new blocks (quite obvious from the fact that there is no UniqSM around to generate the new labels). It generates new blocks from exisiting ones so I thought that qualifies. But if not then CmmProcPoints gives an example of generating new labels. (You probably noticed that already.)
Looking at CmmUtils, I guess I could just use ofBlockList entry . concatMap myPerBlockOperation . toBlockList Hard to say without actually seeing rest of the code. Use what works and once the patch is on Phab we can work on improving it :-)
Janek --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.