gem5  v19.0.0.0
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
tage.cc
Go to the documentation of this file.
1 /*
2  * Copyright (c) 2014 The University of Wisconsin
3  *
4  * Copyright (c) 2006 INRIA (Institut National de Recherche en
5  * Informatique et en Automatique / French National Research Institute
6  * for Computer Science and Applied Mathematics)
7  *
8  * All rights reserved.
9  *
10  * Redistribution and use in source and binary forms, with or without
11  * modification, are permitted provided that the following conditions are
12  * met: redistributions of source code must retain the above copyright
13  * notice, this list of conditions and the following disclaimer;
14  * redistributions in binary form must reproduce the above copyright
15  * notice, this list of conditions and the following disclaimer in the
16  * documentation and/or other materials provided with the distribution;
17  * neither the name of the copyright holders nor the names of its
18  * contributors may be used to endorse or promote products derived from
19  * this software without specific prior written permission.
20  *
21  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
24  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
25  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
26  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
27  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
31  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32  *
33  * Authors: Vignyan Reddy, Dibakar Gope and Arthur Perais,
34  * from André Seznec's code.
35  */
36 
37 /* @file
38  * Implementation of a TAGE branch predictor
39  */
40 
41 #include "cpu/pred/tage.hh"
42 
43 #include "base/intmath.hh"
44 #include "base/logging.hh"
45 #include "base/random.hh"
46 #include "base/trace.hh"
47 #include "debug/Fetch.hh"
48 #include "debug/Tage.hh"
49 
50 TAGE::TAGE(const TAGEParams *params) : BPredUnit(params), tage(params->tage)
51 {
52 }
53 
54 // PREDICTOR UPDATE
55 void
56 TAGE::update(ThreadID tid, Addr branch_pc, bool taken, void* bp_history,
57  bool squashed, const StaticInstPtr & inst, Addr corrTarget)
58 {
59  assert(bp_history);
60 
61  TageBranchInfo *bi = static_cast<TageBranchInfo*>(bp_history);
62  TAGEBase::BranchInfo *tage_bi = bi->tageBranchInfo;
63 
64  assert(corrTarget != MaxAddr);
65 
66  if (squashed) {
67  // This restores the global history, then update it
68  // and recomputes the folded histories.
69  tage->squash(tid, taken, tage_bi, corrTarget);
70  return;
71  }
72 
73  int nrand = random_mt.random<int>() & 3;
74  if (bi->tageBranchInfo->condBranch) {
75  DPRINTF(Tage, "Updating tables for branch:%lx; taken?:%d\n",
76  branch_pc, taken);
77  tage->updateStats(taken, bi->tageBranchInfo);
78  tage->condBranchUpdate(tid, branch_pc, taken, tage_bi, nrand,
79  corrTarget, bi->tageBranchInfo->tagePred);
80  }
81 
82  // optional non speculative update of the histories
83  tage->updateHistories(tid, branch_pc, taken, tage_bi, false, inst,
84  corrTarget);
85  delete bi;
86 }
87 
88 void
89 TAGE::squash(ThreadID tid, void *bp_history)
90 {
91  TageBranchInfo *bi = static_cast<TageBranchInfo*>(bp_history);
92  DPRINTF(Tage, "Deleting branch info: %lx\n", bi->tageBranchInfo->branchPC);
93  delete bi;
94 }
95 
96 bool
97 TAGE::predict(ThreadID tid, Addr branch_pc, bool cond_branch, void* &b)
98 {
99  TageBranchInfo *bi = new TageBranchInfo(*tage);//nHistoryTables+1);
100  b = (void*)(bi);
101  return tage->tagePredict(tid, branch_pc, cond_branch, bi->tageBranchInfo);
102 }
103 
104 bool
105 TAGE::lookup(ThreadID tid, Addr branch_pc, void* &bp_history)
106 {
107  bool retval = predict(tid, branch_pc, true, bp_history);
108 
109  TageBranchInfo *bi = static_cast<TageBranchInfo*>(bp_history);
110 
111  DPRINTF(Tage, "Lookup branch: %lx; predict:%d\n", branch_pc, retval);
112 
113  tage->updateHistories(tid, branch_pc, retval, bi->tageBranchInfo, true);
114 
115  return retval;
116 }
117 
118 void
119 TAGE::btbUpdate(ThreadID tid, Addr branch_pc, void* &bp_history)
120 {
121  TageBranchInfo *bi = static_cast<TageBranchInfo*>(bp_history);
122  tage->btbUpdate(tid, branch_pc, bi->tageBranchInfo);
123 }
124 
125 void
126 TAGE::uncondBranch(ThreadID tid, Addr br_pc, void* &bp_history)
127 {
128  DPRINTF(Tage, "UnConditionalBranch: %lx\n", br_pc);
129  predict(tid, br_pc, false, bp_history);
130  TageBranchInfo *bi = static_cast<TageBranchInfo*>(bp_history);
131  tage->updateHistories(tid, br_pc, true, bi->tageBranchInfo, true);
132 }
133 
134 TAGE*
135 TAGEParams::create()
136 {
137  return new TAGE(this);
138 }
#define DPRINTF(x,...)
Definition: trace.hh:229
void uncondBranch(ThreadID tid, Addr br_pc, void *&bp_history) override
Definition: tage.cc:126
const Addr MaxAddr
Definition: types.hh:166
virtual void updateStats(bool taken, BranchInfo *bi)
Update the stats.
Definition: tage_base.cc:657
virtual void condBranchUpdate(ThreadID tid, Addr branch_pc, bool taken, BranchInfo *bi, int nrand, Addr corrTarget, bool pred, bool preAdjustAlloc=false)
Update TAGE for conditional branches.
Definition: tage_base.cc:509
Bitfield< 20, 16 > bi
Definition: types.hh:65
TAGEBase::BranchInfo * tageBranchInfo
Definition: tage.hh:67
std::enable_if< std::is_integral< T >::value, T >::type random()
Use the SFINAE idiom to choose an implementation based on whether the type is integral or floating po...
Definition: random.hh:83
Bitfield< 7 > b
virtual void squash(ThreadID tid, bool taken, BranchInfo *bi, Addr target)
Restores speculatively updated path and direction histories.
Definition: tage_base.cc:624
virtual bool predict(ThreadID tid, Addr branch_pc, bool cond_branch, void *&b)
Definition: tage.cc:97
Definition: tage.hh:61
uint64_t Addr
Address type This will probably be moved somewhere else in the near future.
Definition: types.hh:142
bool tagePredict(ThreadID tid, Addr branch_pc, bool cond_branch, BranchInfo *bi)
TAGE prediction called from TAGE::predict.
Definition: tage_base.cc:355
void btbUpdate(ThreadID tid, Addr branch_addr, BranchInfo *&bi)
Definition: tage_base.cc:183
Basically a wrapper class to hold both the branch predictor and the BTB.
Definition: bpred_unit.hh:67
int16_t ThreadID
Thread index/ID type.
Definition: types.hh:227
void btbUpdate(ThreadID tid, Addr branch_addr, void *&bp_history) override
If a branch is not taken, because the BTB address is invalid or missing, this function sets the appro...
Definition: tage.cc:119
virtual void squash(ThreadID tid, void *bp_history) override
Definition: tage.cc:89
TAGE(const TAGEParams *params)
Definition: tage.cc:50
Random random_mt
Definition: random.cc:100
void update(ThreadID tid, Addr branch_addr, bool taken, void *bp_history, bool squashed, const StaticInstPtr &inst, Addr corrTarget=MaxAddr) override
Updates the BP with taken/not taken information.
Definition: tage.cc:56
bool lookup(ThreadID tid, Addr branch_addr, void *&bp_history) override
Looks up a given PC in the BP to see if it is taken or not taken.
Definition: tage.cc:105
virtual void updateHistories(ThreadID tid, Addr branch_pc, bool taken, BranchInfo *b, bool speculative, const StaticInstPtr &inst=StaticInst::nullStaticInstPtr, Addr target=MaxAddr)
(Speculatively) updates global histories (path and direction).
Definition: tage_base.cc:583
TAGEBase * tage
Definition: tage.hh:64

Generated on Fri Feb 28 2020 16:26:59 for gem5 by doxygen 1.8.13