[FTD] Support Multi-Exit Loops

[zeinabPourgheisari]

The previous fast token delivery crashed when running into loops with multiple exits (see example CFG below).
This happened because gates (Mu gates in this case) stored only one block as their condition block, which fails when multiple blocks are needed as conditions.

To fix this, two new attributes were added to Gate:

• a boolean expression for the condition
• a list of cofactors, representing the variables used in the condition expression.

For each Mu gate, the loop exit condition is computed by OR-ing the exit conditions of all exiting blocks. The condition of the Mu is then set as the negation of this exit condition (i.e., the loop iteration condition).
For Gamma gates, the condition remains the same as before, taken from the condition block.

In FtdImplementation.cpp, whenever the condition value of a gate/loop is needed:

• If there is a single cofactor, the same process as before is used,
• If there are multiple cofactors, a Binary Decision Diagram (BDD) is built, translated into a circuit, and used as the condition value.

In addition, in boolVariableToCircuit function, conditions generated for gates with multiple exiting blocks do not require channelification.

[AyaElAkhras]

Can you push the code of this?

[AyaElAkhras]

Could you also push the changes that we discussed to unify the if-else here

dynamatic/experimental/lib/Support/FtdImplementation.cpp

Line 827 in 4cda97c

if (Block *loopExit = loop->getExitingBlock(); loopExit) {

?