Check tagged basic blocks.