電気工学でこれを尋ねるつもりでしたが、プログラミングに関連していると判断しました。
デジタル ロジックでは、カルノー図またはブール代数を使用して、真理値表を最小化された関数に減らすことができます。CPU上では、これらの関数はもちろん条件文を使って表現できますが、可能な場合は常に、ビット操作のみを使用して、分岐なしでそれらを実現する標準的なアプローチがあるかどうかに興味があります。
これが今日できることが興味深いことなのか、それとも今日のプロセッサで実際により効率的であるのかはわかりません。それでも、それは過去に関連していた可能性があり、とにかく知ることは興味深いでしょう.
だから、私が持っているとしましょうf = !a*b + !b*!c、または同様の関数:追加のレジスタを使用して、合計ビットを計算し、マスキングすることによって、分岐を回避する「スマートな」方法があるかどうかを見つけるためのシステム(カルノーのような)はありますか? それとも、見える場合は見えるもので、そうでない場合は見えないものですか？