basicblock: build up CFG differently