"A computer architect redesigns the pipeline above to enable branch prediction. When PCSrc is asserted (branch taken) IF/ID is flushed, and speculative instructions are flushed by deasserting some of their control signals. No other modifications are made. Which control signals of speculative instructions must be deasserted when PCSrc is asserted, to ensure correct operation