next up previous contents
Next: In case we already Up: In case we have Previous: Sequence non-empty   Contents

Sequence $[\mathsf{I};\mathsf{C}[$ empty

There is no code between the instruction that touches the data we depend upon, and the current instruction. We move the current opcode C into the main sequence, and thus we do not go parallel.

Since $\mathsf{I}=\mathsf{C}$, and we know that $\mathsf{I}$ is at most one instruction later than $\mathsf{T}$, we know that there can't be any instructions between our toucher $\mathsf{T}$ and the current instruction $\mathsf{C}$. The only thing we can do is to serially execute these two instructions, which means just putting them in main and hoping that they will be moved into a separate task later on.