From 62f2097917c977335d025e230146c6eb56a9bb5d Mon Sep 17 00:00:00 2001 From: Matt Horsnell Date: Tue, 18 Jan 2011 16:30:05 -0600 Subject: O3: Fix mispredicts from non control instructions. The squash inside the fetch unit should not attempt to remove them from the branch predictor as non-control instructions are not pushed into the predictor. --- src/cpu/o3/comm.hh | 5 ++++- src/cpu/o3/commit_impl.hh | 4 +++- src/cpu/o3/fetch_impl.hh | 10 ++++++++-- src/cpu/o3/iew_impl.hh | 1 + 4 files changed, 16 insertions(+), 4 deletions(-) (limited to 'src/cpu/o3') diff --git a/src/cpu/o3/comm.hh b/src/cpu/o3/comm.hh index c9fb3319b..897807fdb 100644 --- a/src/cpu/o3/comm.hh +++ b/src/cpu/o3/comm.hh @@ -87,6 +87,7 @@ struct DefaultIEWDefaultCommit { bool squash[Impl::MaxThreads]; bool branchMispredict[Impl::MaxThreads]; + DynInstPtr mispredictInst[Impl::MaxThreads]; bool branchTaken[Impl::MaxThreads]; Addr mispredPC[Impl::MaxThreads]; TheISA::PCState pc[Impl::MaxThreads]; @@ -107,6 +108,7 @@ struct IssueStruct { /** Struct that defines all backwards communication. */ template struct TimeBufStruct { + typedef typename Impl::DynInstPtr DynInstPtr; struct decodeComm { bool squash; bool predIncorrect; @@ -117,6 +119,7 @@ struct TimeBufStruct { // @todo: Might want to package this kind of branch stuff into a single // struct as it is used pretty frequently. bool branchMispredict; + DynInstPtr mispredictInst; bool branchTaken; Addr mispredPC; TheISA::PCState nextPC; @@ -156,6 +159,7 @@ struct TimeBufStruct { bool robSquashing; bool branchMispredict; + DynInstPtr mispredictInst; bool branchTaken; Addr mispredPC; TheISA::PCState pc; @@ -175,7 +179,6 @@ struct TimeBufStruct { InstSeqNum nonSpecSeqNum; // Hack for now to send back an uncached access to the IEW stage. - typedef typename Impl::DynInstPtr DynInstPtr; bool uncached; DynInstPtr uncachedLoad; diff --git a/src/cpu/o3/commit_impl.hh b/src/cpu/o3/commit_impl.hh index 7f37b5f09..78e9a8848 100644 --- a/src/cpu/o3/commit_impl.hh +++ b/src/cpu/o3/commit_impl.hh @@ -520,6 +520,7 @@ DefaultCommit::squashAll(ThreadID tid) toIEW->commitInfo[tid].robSquashing = true; toIEW->commitInfo[tid].branchMispredict = false; + toIEW->commitInfo[tid].mispredictInst = NULL; toIEW->commitInfo[tid].pc = pc[tid]; } @@ -814,7 +815,8 @@ DefaultCommit::commit() toIEW->commitInfo[tid].branchMispredict = fromIEW->branchMispredict[tid]; - + toIEW->commitInfo[tid].mispredictInst = + fromIEW->mispredictInst[tid]; toIEW->commitInfo[tid].branchTaken = fromIEW->branchTaken[tid]; diff --git a/src/cpu/o3/fetch_impl.hh b/src/cpu/o3/fetch_impl.hh index 880158dfc..736a66c64 100644 --- a/src/cpu/o3/fetch_impl.hh +++ b/src/cpu/o3/fetch_impl.hh @@ -902,8 +902,14 @@ DefaultFetch::checkSignalsAndUpdate(ThreadID tid) fromCommit->commitInfo[tid].doneSeqNum, tid); - // Also check if there's a mispredict that happened. - if (fromCommit->commitInfo[tid].branchMispredict) { + // If it was a branch mispredict on a control instruction, update the + // branch predictor with that instruction, otherwise just kill the + // invalid state we generated in after sequence number + assert(!fromCommit->commitInfo[tid].branchMispredict || + fromCommit->commitInfo[tid].mispredictInst); + + if (fromCommit->commitInfo[tid].branchMispredict && + fromCommit->commitInfo[tid].mispredictInst->isControl()) { branchPred.squash(fromCommit->commitInfo[tid].doneSeqNum, fromCommit->commitInfo[tid].pc, fromCommit->commitInfo[tid].branchTaken, diff --git a/src/cpu/o3/iew_impl.hh b/src/cpu/o3/iew_impl.hh index 3f53b4197..0d58357fd 100644 --- a/src/cpu/o3/iew_impl.hh +++ b/src/cpu/o3/iew_impl.hh @@ -456,6 +456,7 @@ DefaultIEW::squashDueToBranch(DynInstPtr &inst, ThreadID tid) toCommit->squashedSeqNum[tid] = inst->seqNum; toCommit->mispredPC[tid] = inst->instAddr(); toCommit->branchMispredict[tid] = true; + toCommit->mispredictInst[tid] = inst; toCommit->branchTaken[tid] = inst->pcState().branching(); TheISA::PCState pc = inst->pcState(); -- cgit v1.2.3