On May 21, 2007, at 11:56 AM, Evan Cheng wrote: > - isTerminatorInstr((--I)->getOpcode())) > + !isPredicated(--I) && isTerminatorInstr(I->getOpcode())) Wouldn't it be better to have isTerminatorInst return false on predicated things?