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 L-TAGE branch predictor
39 */
40
41#include "cpu/pred/ltage.hh"
42
43#include "base/intmath.hh"
44#include "base/logging.hh"
45#include "base/trace.hh"
46#include "debug/Fetch.hh"
47#include "debug/LTage.hh"
48
49LTAGE::LTAGE(const LTAGEParams *params)
50 : TAGE(params), loopPredictor(params->loop_predictor)
51{
52}
53
54//prediction
55bool
56LTAGE::predict(ThreadID tid, Addr branch_pc, bool cond_branch, void* &b)
57{
58 LTageBranchInfo *bi = new LTageBranchInfo(*tage, *loopPredictor);
59 b = (void*)(bi);
60
61 bool pred_taken = tage->tagePredict(tid, branch_pc, cond_branch,
62 bi->tageBranchInfo);
63
64 pred_taken = loopPredictor->loopPredict(tid, branch_pc, cond_branch,
65 bi->lpBranchInfo, pred_taken,
66 instShiftAmt);
67 if (cond_branch) {
68 if (bi->lpBranchInfo->loopPredUsed) {
69 bi->tageBranchInfo->provider = LOOP;
70 }
71 DPRINTF(LTage, "Predict for %lx: taken?:%d, loopTaken?:%d, "
72 "loopValid?:%d, loopUseCounter:%d, tagePred:%d, altPred:%d\n",
73 branch_pc, pred_taken, bi->lpBranchInfo->loopPred,
74 bi->lpBranchInfo->loopPredValid,
75 loopPredictor->getLoopUseCounter(),
76 bi->tageBranchInfo->tagePred, bi->tageBranchInfo->altTaken);
77 }
78
79 // record final prediction
80 bi->lpBranchInfo->predTaken = pred_taken;
81
82 return pred_taken;
83}
84
85void
86LTAGE::update(ThreadID tid, Addr branch_pc, bool taken, void* bp_history,
87 bool squashed, const StaticInstPtr & inst, Addr corrTarget)
88{
89 assert(bp_history);
90
91 LTageBranchInfo* bi = static_cast<LTageBranchInfo*>(bp_history);
92
93 assert(corrTarget != MaxAddr);
94
95 if (squashed) {
96 if (tage->isSpeculativeUpdateEnabled()) {
97 // This restores the global history, then update it
98 // and recomputes the folded histories.
99 tage->squash(tid, taken, bi->tageBranchInfo, corrTarget);
100
101 if (bi->tageBranchInfo->condBranch) {
102 loopPredictor->squashLoop(bi->lpBranchInfo);
103 }
104 }
105 return;
106 }
107
108 int nrand = TAGEBase::getRandom() & 3;
109 if (bi->tageBranchInfo->condBranch) {
110 DPRINTF(LTage, "Updating tables for branch:%lx; taken?:%d\n",
111 branch_pc, taken);
112 tage->updateStats(taken, bi->tageBranchInfo);
113
114 loopPredictor->updateStats(taken, bi->lpBranchInfo);
115
116 loopPredictor->condBranchUpdate(tid, branch_pc, taken,
117 bi->tageBranchInfo->tagePred, bi->lpBranchInfo, instShiftAmt,
118 TAGEBase::getRandom(), TAGEBase::getRandom(),
119 TAGEBase::getRandom());
120
121 tage->condBranchUpdate(tid, branch_pc, taken, bi->tageBranchInfo,
122 nrand, corrTarget);
123 }
124
125 tage->updateHistories(tid, branch_pc, taken, bi->tageBranchInfo, false,
126 inst, corrTarget);
127
128 delete bi;
129}
130
131void
132LTAGE::squash(ThreadID tid, void *bp_history)
133{
134 LTageBranchInfo* bi = (LTageBranchInfo*)(bp_history);
135
136 if (bi->tageBranchInfo->condBranch) {
137 loopPredictor->squash(tid, bi->lpBranchInfo);
138 }
139
140 TAGE::squash(tid, bp_history);
141}
142
143void
144LTAGE::regStats()
145{
146 TAGE::regStats();
147}
148
149LTAGE*
150LTAGEParams::create()
151{
152 return new LTAGE(this);
153}