calebmkim

I'm looking at the TDCC code, and I think it already does something pretty close to this! It has the following `Schedule` struct: ``` /// Represents the dyanmic execution schedule...

I think it's mainly to make it easier to reason about optimizations when we are instantiating the FSM. For example, if there is an assignment: `lhs = 4

Just going to write down the state of the current FSM optimizations that we have been thinking of. Static FSMs (I'm working on these currently) - OHE - Sharing registers...

> I'm not sure what this would look like? Are you saying that instead of having a constant (7528), we'd put the value in the register? I'm not even sure...

> I'm not sure if while-blocks are given their own FSM automatically. If they are, then maybe the pass should consider a while to be just a normal group, so...

tl;dr: I think the `@new_fsm` attribute can be seen as a variant of the FSM splitting optimization I've talked about earlier. Yesterday in AMC-CalyxOpt we discussed the `@new_fsm` attribute for...