loop + switch を label + goto (jump) に置き換えるテクニックは HTML レンダリングエンジンを作るときの Tokenizer の実装とかでよく見かけますけど，言語処理型だとダイレクトスレッディングって名前がついているんですね． (edited)