blob: 01b8ff10d35594028432a438360f11997b74a83b [file] [log] [blame]
Eugene Zelenko38c02bc2017-07-21 21:37:46 +00001//===- DemandedBits.cpp - Determine demanded bits -------------------------===//
James Molloy87405c72015-08-14 11:09:09 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
James Molloy87405c72015-08-14 11:09:09 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This pass implements a demanded bits analysis. A demanded bit is one that
10// contributes to a result; bits that are not demanded can be either zero or
11// one without affecting control or data flow. For example in this sequence:
12//
13// %1 = add i32 %x, %y
14// %2 = trunc i32 %1 to i16
15//
16// Only the lowest 16 bits of %1 are demanded; the rest are removed by the
17// trunc.
18//
19//===----------------------------------------------------------------------===//
20
21#include "llvm/Analysis/DemandedBits.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000022#include "llvm/ADT/APInt.h"
Nikita Popov5f393eb2019-01-12 09:09:15 +000023#include "llvm/ADT/SetVector.h"
James Molloybcd7f0a2015-10-08 12:39:59 +000024#include "llvm/ADT/StringExtras.h"
Daniel Jasperaec2fa32016-12-19 08:22:17 +000025#include "llvm/Analysis/AssumptionCache.h"
James Molloy87405c72015-08-14 11:09:09 +000026#include "llvm/Analysis/ValueTracking.h"
27#include "llvm/IR/BasicBlock.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000028#include "llvm/IR/Constants.h"
James Molloy87405c72015-08-14 11:09:09 +000029#include "llvm/IR/DataLayout.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000030#include "llvm/IR/DerivedTypes.h"
James Molloy87405c72015-08-14 11:09:09 +000031#include "llvm/IR/Dominators.h"
32#include "llvm/IR/InstIterator.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000033#include "llvm/IR/InstrTypes.h"
34#include "llvm/IR/Instruction.h"
James Molloy87405c72015-08-14 11:09:09 +000035#include "llvm/IR/IntrinsicInst.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000036#include "llvm/IR/Intrinsics.h"
James Molloy87405c72015-08-14 11:09:09 +000037#include "llvm/IR/Module.h"
38#include "llvm/IR/Operator.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000039#include "llvm/IR/PassManager.h"
Nikita Popov110cf052018-12-07 15:38:13 +000040#include "llvm/IR/PatternMatch.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000041#include "llvm/IR/Type.h"
42#include "llvm/IR/Use.h"
James Molloy87405c72015-08-14 11:09:09 +000043#include "llvm/Pass.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000044#include "llvm/Support/Casting.h"
James Molloy87405c72015-08-14 11:09:09 +000045#include "llvm/Support/Debug.h"
Craig Topperb45eabc2017-04-26 16:39:58 +000046#include "llvm/Support/KnownBits.h"
James Molloy87405c72015-08-14 11:09:09 +000047#include "llvm/Support/raw_ostream.h"
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000048#include <algorithm>
49#include <cstdint>
50
James Molloy87405c72015-08-14 11:09:09 +000051using namespace llvm;
Nikita Popov110cf052018-12-07 15:38:13 +000052using namespace llvm::PatternMatch;
James Molloy87405c72015-08-14 11:09:09 +000053
54#define DEBUG_TYPE "demanded-bits"
55
Michael Kupersteinde16b442016-04-18 23:55:01 +000056char DemandedBitsWrapperPass::ID = 0;
Eugene Zelenko38c02bc2017-07-21 21:37:46 +000057
Michael Kupersteinde16b442016-04-18 23:55:01 +000058INITIALIZE_PASS_BEGIN(DemandedBitsWrapperPass, "demanded-bits",
59 "Demanded bits analysis", false, false)
Daniel Jasperaec2fa32016-12-19 08:22:17 +000060INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
James Molloy87405c72015-08-14 11:09:09 +000061INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
Michael Kupersteinde16b442016-04-18 23:55:01 +000062INITIALIZE_PASS_END(DemandedBitsWrapperPass, "demanded-bits",
63 "Demanded bits analysis", false, false)
James Molloy87405c72015-08-14 11:09:09 +000064
Michael Kupersteinde16b442016-04-18 23:55:01 +000065DemandedBitsWrapperPass::DemandedBitsWrapperPass() : FunctionPass(ID) {
66 initializeDemandedBitsWrapperPassPass(*PassRegistry::getPassRegistry());
James Molloy87405c72015-08-14 11:09:09 +000067}
68
Michael Kupersteinde16b442016-04-18 23:55:01 +000069void DemandedBitsWrapperPass::getAnalysisUsage(AnalysisUsage &AU) const {
James Molloy87405c72015-08-14 11:09:09 +000070 AU.setPreservesCFG();
Daniel Jasperaec2fa32016-12-19 08:22:17 +000071 AU.addRequired<AssumptionCacheTracker>();
James Molloy87405c72015-08-14 11:09:09 +000072 AU.addRequired<DominatorTreeWrapperPass>();
73 AU.setPreservesAll();
74}
75
Michael Kupersteinde16b442016-04-18 23:55:01 +000076void DemandedBitsWrapperPass::print(raw_ostream &OS, const Module *M) const {
77 DB->print(OS);
78}
79
James Molloy87405c72015-08-14 11:09:09 +000080static bool isAlwaysLive(Instruction *I) {
Chandler Carruth9ae926b2018-08-26 09:51:22 +000081 return I->isTerminator() || isa<DbgInfoIntrinsic>(I) || I->isEHPad() ||
82 I->mayHaveSideEffects();
James Molloy87405c72015-08-14 11:09:09 +000083}
84
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +000085void DemandedBits::determineLiveOperandBits(
Nikita Popov6658fce2019-01-04 21:21:43 +000086 const Instruction *UserI, const Value *Val, unsigned OperandNo,
87 const APInt &AOut, APInt &AB, KnownBits &Known, KnownBits &Known2,
88 bool &KnownBitsComputed) {
James Molloy87405c72015-08-14 11:09:09 +000089 unsigned BitWidth = AB.getBitWidth();
90
91 // We're called once per operand, but for some instructions, we need to
92 // compute known bits of both operands in order to determine the live bits of
93 // either (when both operands are instructions themselves). We don't,
94 // however, want to do this twice, so we cache the result in APInts that live
95 // in the caller. For the two-relevant-operands case, both operand values are
96 // provided here.
97 auto ComputeKnownBits =
98 [&](unsigned BitWidth, const Value *V1, const Value *V2) {
Nikita Popov6658fce2019-01-04 21:21:43 +000099 if (KnownBitsComputed)
100 return;
101 KnownBitsComputed = true;
102
103 const DataLayout &DL = UserI->getModule()->getDataLayout();
Craig Topperb45eabc2017-04-26 16:39:58 +0000104 Known = KnownBits(BitWidth);
Craig Topper9fe35792017-05-13 17:22:16 +0000105 computeKnownBits(V1, Known, DL, 0, &AC, UserI, &DT);
James Molloy87405c72015-08-14 11:09:09 +0000106
107 if (V2) {
Craig Topperb45eabc2017-04-26 16:39:58 +0000108 Known2 = KnownBits(BitWidth);
Craig Topper9fe35792017-05-13 17:22:16 +0000109 computeKnownBits(V2, Known2, DL, 0, &AC, UserI, &DT);
James Molloy87405c72015-08-14 11:09:09 +0000110 }
111 };
112
113 switch (UserI->getOpcode()) {
114 default: break;
115 case Instruction::Call:
116 case Instruction::Invoke:
117 if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(UserI))
118 switch (II->getIntrinsicID()) {
119 default: break;
120 case Intrinsic::bswap:
121 // The alive bits of the input are the swapped alive bits of
122 // the output.
123 AB = AOut.byteSwap();
124 break;
Brian Gesiak0a7894d2017-04-13 16:44:25 +0000125 case Intrinsic::bitreverse:
Xin Tongbb8dbcf2017-06-19 20:10:41 +0000126 // The alive bits of the input are the reversed alive bits of
127 // the output.
Brian Gesiak0a7894d2017-04-13 16:44:25 +0000128 AB = AOut.reverseBits();
129 break;
James Molloy87405c72015-08-14 11:09:09 +0000130 case Intrinsic::ctlz:
131 if (OperandNo == 0) {
132 // We need some output bits, so we need all bits of the
133 // input to the left of, and including, the leftmost bit
134 // known to be one.
Nikita Popov6658fce2019-01-04 21:21:43 +0000135 ComputeKnownBits(BitWidth, Val, nullptr);
James Molloy87405c72015-08-14 11:09:09 +0000136 AB = APInt::getHighBitsSet(BitWidth,
Craig Topper8df66c62017-05-12 17:20:30 +0000137 std::min(BitWidth, Known.countMaxLeadingZeros()+1));
James Molloy87405c72015-08-14 11:09:09 +0000138 }
139 break;
140 case Intrinsic::cttz:
141 if (OperandNo == 0) {
142 // We need some output bits, so we need all bits of the
143 // input to the right of, and including, the rightmost bit
144 // known to be one.
Nikita Popov6658fce2019-01-04 21:21:43 +0000145 ComputeKnownBits(BitWidth, Val, nullptr);
James Molloy87405c72015-08-14 11:09:09 +0000146 AB = APInt::getLowBitsSet(BitWidth,
Craig Topper8df66c62017-05-12 17:20:30 +0000147 std::min(BitWidth, Known.countMaxTrailingZeros()+1));
James Molloy87405c72015-08-14 11:09:09 +0000148 }
149 break;
Nikita Popovf94c8f02018-11-26 15:36:57 +0000150 case Intrinsic::fshl:
Nikita Popov110cf052018-12-07 15:38:13 +0000151 case Intrinsic::fshr: {
152 const APInt *SA;
Nikita Popovf94c8f02018-11-26 15:36:57 +0000153 if (OperandNo == 2) {
154 // Shift amount is modulo the bitwidth. For powers of two we have
155 // SA % BW == SA & (BW - 1).
156 if (isPowerOf2_32(BitWidth))
157 AB = BitWidth - 1;
Nikita Popov110cf052018-12-07 15:38:13 +0000158 } else if (match(II->getOperand(2), m_APInt(SA))) {
Nikita Popovf94c8f02018-11-26 15:36:57 +0000159 // Normalize to funnel shift left. APInt shifts of BitWidth are well-
160 // defined, so no need to special-case zero shifts here.
Nikita Popov110cf052018-12-07 15:38:13 +0000161 uint64_t ShiftAmt = SA->urem(BitWidth);
Nikita Popovf94c8f02018-11-26 15:36:57 +0000162 if (II->getIntrinsicID() == Intrinsic::fshr)
163 ShiftAmt = BitWidth - ShiftAmt;
164
165 if (OperandNo == 0)
166 AB = AOut.lshr(ShiftAmt);
167 else if (OperandNo == 1)
168 AB = AOut.shl(BitWidth - ShiftAmt);
169 }
170 break;
James Molloy87405c72015-08-14 11:09:09 +0000171 }
Nikita Popov110cf052018-12-07 15:38:13 +0000172 }
James Molloy87405c72015-08-14 11:09:09 +0000173 break;
174 case Instruction::Add:
175 case Instruction::Sub:
James Molloybcd7f0a2015-10-08 12:39:59 +0000176 case Instruction::Mul:
James Molloy87405c72015-08-14 11:09:09 +0000177 // Find the highest live output bit. We don't need any more input
178 // bits than that (adds, and thus subtracts, ripple only to the
179 // left).
180 AB = APInt::getLowBitsSet(BitWidth, AOut.getActiveBits());
181 break;
182 case Instruction::Shl:
Nikita Popov110cf052018-12-07 15:38:13 +0000183 if (OperandNo == 0) {
184 const APInt *ShiftAmtC;
185 if (match(UserI->getOperand(1), m_APInt(ShiftAmtC))) {
Sanjay Patel1bbdf4e2017-07-07 14:39:26 +0000186 uint64_t ShiftAmt = ShiftAmtC->getLimitedValue(BitWidth - 1);
James Molloy87405c72015-08-14 11:09:09 +0000187 AB = AOut.lshr(ShiftAmt);
188
189 // If the shift is nuw/nsw, then the high bits are not dead
190 // (because we've promised that they *must* be zero).
191 const ShlOperator *S = cast<ShlOperator>(UserI);
192 if (S->hasNoSignedWrap())
193 AB |= APInt::getHighBitsSet(BitWidth, ShiftAmt+1);
194 else if (S->hasNoUnsignedWrap())
195 AB |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
196 }
Nikita Popov110cf052018-12-07 15:38:13 +0000197 }
James Molloy87405c72015-08-14 11:09:09 +0000198 break;
199 case Instruction::LShr:
Nikita Popov110cf052018-12-07 15:38:13 +0000200 if (OperandNo == 0) {
201 const APInt *ShiftAmtC;
202 if (match(UserI->getOperand(1), m_APInt(ShiftAmtC))) {
Sanjay Patel1bbdf4e2017-07-07 14:39:26 +0000203 uint64_t ShiftAmt = ShiftAmtC->getLimitedValue(BitWidth - 1);
James Molloy87405c72015-08-14 11:09:09 +0000204 AB = AOut.shl(ShiftAmt);
205
206 // If the shift is exact, then the low bits are not dead
207 // (they must be zero).
208 if (cast<LShrOperator>(UserI)->isExact())
209 AB |= APInt::getLowBitsSet(BitWidth, ShiftAmt);
210 }
Nikita Popov110cf052018-12-07 15:38:13 +0000211 }
James Molloy87405c72015-08-14 11:09:09 +0000212 break;
213 case Instruction::AShr:
Nikita Popov110cf052018-12-07 15:38:13 +0000214 if (OperandNo == 0) {
215 const APInt *ShiftAmtC;
216 if (match(UserI->getOperand(1), m_APInt(ShiftAmtC))) {
Sanjay Patel1bbdf4e2017-07-07 14:39:26 +0000217 uint64_t ShiftAmt = ShiftAmtC->getLimitedValue(BitWidth - 1);
James Molloy87405c72015-08-14 11:09:09 +0000218 AB = AOut.shl(ShiftAmt);
219 // Because the high input bit is replicated into the
220 // high-order bits of the result, if we need any of those
221 // bits, then we must keep the highest input bit.
222 if ((AOut & APInt::getHighBitsSet(BitWidth, ShiftAmt))
223 .getBoolValue())
Craig Topper24db6b82017-04-28 16:58:05 +0000224 AB.setSignBit();
James Molloy87405c72015-08-14 11:09:09 +0000225
226 // If the shift is exact, then the low bits are not dead
227 // (they must be zero).
228 if (cast<AShrOperator>(UserI)->isExact())
229 AB |= APInt::getLowBitsSet(BitWidth, ShiftAmt);
230 }
Nikita Popov110cf052018-12-07 15:38:13 +0000231 }
James Molloy87405c72015-08-14 11:09:09 +0000232 break;
233 case Instruction::And:
234 AB = AOut;
235
236 // For bits that are known zero, the corresponding bits in the
237 // other operand are dead (unless they're both zero, in which
238 // case they can't both be dead, so just mark the LHS bits as
239 // dead).
Nikita Popov6658fce2019-01-04 21:21:43 +0000240 ComputeKnownBits(BitWidth, UserI->getOperand(0), UserI->getOperand(1));
241 if (OperandNo == 0)
Craig Topperb45eabc2017-04-26 16:39:58 +0000242 AB &= ~Known2.Zero;
Nikita Popov6658fce2019-01-04 21:21:43 +0000243 else
Craig Topperb45eabc2017-04-26 16:39:58 +0000244 AB &= ~(Known.Zero & ~Known2.Zero);
James Molloy87405c72015-08-14 11:09:09 +0000245 break;
246 case Instruction::Or:
247 AB = AOut;
248
249 // For bits that are known one, the corresponding bits in the
250 // other operand are dead (unless they're both one, in which
251 // case they can't both be dead, so just mark the LHS bits as
252 // dead).
Nikita Popov6658fce2019-01-04 21:21:43 +0000253 ComputeKnownBits(BitWidth, UserI->getOperand(0), UserI->getOperand(1));
254 if (OperandNo == 0)
Craig Topperb45eabc2017-04-26 16:39:58 +0000255 AB &= ~Known2.One;
Nikita Popov6658fce2019-01-04 21:21:43 +0000256 else
Craig Topperb45eabc2017-04-26 16:39:58 +0000257 AB &= ~(Known.One & ~Known2.One);
James Molloy87405c72015-08-14 11:09:09 +0000258 break;
259 case Instruction::Xor:
260 case Instruction::PHI:
261 AB = AOut;
262 break;
263 case Instruction::Trunc:
264 AB = AOut.zext(BitWidth);
265 break;
266 case Instruction::ZExt:
267 AB = AOut.trunc(BitWidth);
268 break;
269 case Instruction::SExt:
270 AB = AOut.trunc(BitWidth);
271 // Because the high input bit is replicated into the
272 // high-order bits of the result, if we need any of those
273 // bits, then we must keep the highest input bit.
274 if ((AOut & APInt::getHighBitsSet(AOut.getBitWidth(),
275 AOut.getBitWidth() - BitWidth))
276 .getBoolValue())
Craig Topper24db6b82017-04-28 16:58:05 +0000277 AB.setSignBit();
James Molloy87405c72015-08-14 11:09:09 +0000278 break;
279 case Instruction::Select:
280 if (OperandNo != 0)
281 AB = AOut;
282 break;
Nikita Popov110cf052018-12-07 15:38:13 +0000283 case Instruction::ExtractElement:
284 if (OperandNo == 0)
285 AB = AOut;
286 break;
287 case Instruction::InsertElement:
288 case Instruction::ShuffleVector:
289 if (OperandNo == 0 || OperandNo == 1)
290 AB = AOut;
291 break;
James Molloy87405c72015-08-14 11:09:09 +0000292 }
293}
294
Michael Kupersteinde16b442016-04-18 23:55:01 +0000295bool DemandedBitsWrapperPass::runOnFunction(Function &F) {
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000296 auto &AC = getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F);
Michael Kupersteinde16b442016-04-18 23:55:01 +0000297 auto &DT = getAnalysis<DominatorTreeWrapperPass>().getDomTree();
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000298 DB.emplace(F, AC, DT);
James Molloyab9fdb92015-10-08 12:39:50 +0000299 return false;
300}
James Molloy87405c72015-08-14 11:09:09 +0000301
Michael Kupersteinde16b442016-04-18 23:55:01 +0000302void DemandedBitsWrapperPass::releaseMemory() {
303 DB.reset();
304}
305
James Molloyab9fdb92015-10-08 12:39:50 +0000306void DemandedBits::performAnalysis() {
307 if (Analyzed)
308 // Analysis already completed for this function.
309 return;
310 Analyzed = true;
Fangrui Songf78650a2018-07-30 19:41:25 +0000311
James Molloy87405c72015-08-14 11:09:09 +0000312 Visited.clear();
313 AliveBits.clear();
Nikita Popovbc9986e2019-01-01 10:05:26 +0000314 DeadUses.clear();
James Molloy87405c72015-08-14 11:09:09 +0000315
Nikita Popov5f393eb2019-01-12 09:09:15 +0000316 SmallSetVector<Instruction*, 16> Worklist;
James Molloy87405c72015-08-14 11:09:09 +0000317
318 // Collect the set of "root" instructions that are known live.
Michael Kupersteinde16b442016-04-18 23:55:01 +0000319 for (Instruction &I : instructions(F)) {
James Molloy87405c72015-08-14 11:09:09 +0000320 if (!isAlwaysLive(&I))
321 continue;
322
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000323 LLVM_DEBUG(dbgs() << "DemandedBits: Root: " << I << "\n");
James Molloy87405c72015-08-14 11:09:09 +0000324 // For integer-valued instructions, set up an initial empty set of alive
325 // bits and add the instruction to the work list. For other instructions
326 // add their operands to the work list (for integer values operands, mark
327 // all bits as live).
Nikita Popov110cf052018-12-07 15:38:13 +0000328 Type *T = I.getType();
329 if (T->isIntOrIntVectorTy()) {
330 if (AliveBits.try_emplace(&I, T->getScalarSizeInBits(), 0).second)
Nikita Popov5f393eb2019-01-12 09:09:15 +0000331 Worklist.insert(&I);
James Molloy87405c72015-08-14 11:09:09 +0000332
333 continue;
334 }
335
336 // Non-integer-typed instructions...
337 for (Use &OI : I.operands()) {
338 if (Instruction *J = dyn_cast<Instruction>(OI)) {
Nikita Popov110cf052018-12-07 15:38:13 +0000339 Type *T = J->getType();
340 if (T->isIntOrIntVectorTy())
341 AliveBits[J] = APInt::getAllOnesValue(T->getScalarSizeInBits());
Fangrui Song5fa53d152019-03-03 14:50:01 +0000342 else
343 Visited.insert(J);
Nikita Popov5f393eb2019-01-12 09:09:15 +0000344 Worklist.insert(J);
James Molloy87405c72015-08-14 11:09:09 +0000345 }
346 }
347 // To save memory, we don't add I to the Visited set here. Instead, we
348 // check isAlwaysLive on every instruction when searching for dead
349 // instructions later (we need to check isAlwaysLive for the
350 // integer-typed instructions anyway).
351 }
352
353 // Propagate liveness backwards to operands.
354 while (!Worklist.empty()) {
355 Instruction *UserI = Worklist.pop_back_val();
356
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000357 LLVM_DEBUG(dbgs() << "DemandedBits: Visiting: " << *UserI);
James Molloy87405c72015-08-14 11:09:09 +0000358 APInt AOut;
Fangrui Song5fa53d152019-03-03 14:50:01 +0000359 bool InputIsKnownDead = false;
Nikita Popov110cf052018-12-07 15:38:13 +0000360 if (UserI->getType()->isIntOrIntVectorTy()) {
James Molloy87405c72015-08-14 11:09:09 +0000361 AOut = AliveBits[UserI];
Nikita Popovbc9986e2019-01-01 10:05:26 +0000362 LLVM_DEBUG(dbgs() << " Alive Out: 0x"
363 << Twine::utohexstr(AOut.getLimitedValue()));
Fangrui Song5fa53d152019-03-03 14:50:01 +0000364
365 // If all bits of the output are dead, then all bits of the input
366 // are also dead.
367 InputIsKnownDead = !AOut && !isAlwaysLive(UserI);
James Molloy87405c72015-08-14 11:09:09 +0000368 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000369 LLVM_DEBUG(dbgs() << "\n");
James Molloy87405c72015-08-14 11:09:09 +0000370
Craig Topperb45eabc2017-04-26 16:39:58 +0000371 KnownBits Known, Known2;
Nikita Popov6658fce2019-01-04 21:21:43 +0000372 bool KnownBitsComputed = false;
James Molloy87405c72015-08-14 11:09:09 +0000373 // Compute the set of alive bits for each operand. These are anded into the
374 // existing set, if any, and if that changes the set of alive bits, the
375 // operand is added to the work-list.
376 for (Use &OI : UserI->operands()) {
Nikita Popov6658fce2019-01-04 21:21:43 +0000377 // We also want to detect dead uses of arguments, but will only store
378 // demanded bits for instructions.
379 Instruction *I = dyn_cast<Instruction>(OI);
380 if (!I && !isa<Argument>(OI))
381 continue;
Nikita Popovbc9986e2019-01-01 10:05:26 +0000382
Nikita Popov6658fce2019-01-04 21:21:43 +0000383 Type *T = OI->getType();
384 if (T->isIntOrIntVectorTy()) {
385 unsigned BitWidth = T->getScalarSizeInBits();
386 APInt AB = APInt::getAllOnesValue(BitWidth);
Fangrui Song5fa53d152019-03-03 14:50:01 +0000387 if (InputIsKnownDead) {
Nikita Popov6658fce2019-01-04 21:21:43 +0000388 AB = APInt(BitWidth, 0);
389 } else {
390 // Bits of each operand that are used to compute alive bits of the
391 // output are alive, all others are dead.
392 determineLiveOperandBits(UserI, OI, OI.getOperandNo(), AOut, AB,
393 Known, Known2, KnownBitsComputed);
Nikita Popov649e1252018-12-19 19:56:21 +0000394
Nikita Popov6658fce2019-01-04 21:21:43 +0000395 // Keep track of uses which have no demanded bits.
396 if (AB.isNullValue())
397 DeadUses.insert(&OI);
398 else
399 DeadUses.erase(&OI);
400 }
401
402 if (I) {
Nikita Popov649e1252018-12-19 19:56:21 +0000403 // If we've added to the set of alive bits (or the operand has not
404 // been previously visited), then re-queue the operand to be visited
405 // again.
Fangrui Song981f2162019-03-03 11:12:57 +0000406 auto Res = AliveBits.try_emplace(I);
407 if (Res.second || (AB |= Res.first->second) != Res.first->second) {
408 Res.first->second = std::move(AB);
Nikita Popov5f393eb2019-01-12 09:09:15 +0000409 Worklist.insert(I);
James Molloy87405c72015-08-14 11:09:09 +0000410 }
James Molloy87405c72015-08-14 11:09:09 +0000411 }
Fangrui Song5fa53d152019-03-03 14:50:01 +0000412 } else if (I && Visited.insert(I).second) {
Nikita Popov5f393eb2019-01-12 09:09:15 +0000413 Worklist.insert(I);
James Molloy87405c72015-08-14 11:09:09 +0000414 }
415 }
416 }
James Molloy87405c72015-08-14 11:09:09 +0000417}
418
419APInt DemandedBits::getDemandedBits(Instruction *I) {
Nikita Popovcf65b922018-12-06 23:50:32 +0000420 performAnalysis();
Nikita Popov14ca9a82018-12-07 00:42:03 +0000421
Benjamin Kramera9e477b2016-07-21 13:37:55 +0000422 auto Found = AliveBits.find(I);
423 if (Found != AliveBits.end())
424 return Found->second;
Nikita Popov110cf052018-12-07 15:38:13 +0000425
426 const DataLayout &DL = I->getModule()->getDataLayout();
427 return APInt::getAllOnesValue(
428 DL.getTypeSizeInBits(I->getType()->getScalarType()));
James Molloy87405c72015-08-14 11:09:09 +0000429}
430
431bool DemandedBits::isInstructionDead(Instruction *I) {
James Molloyab9fdb92015-10-08 12:39:50 +0000432 performAnalysis();
433
James Molloy87405c72015-08-14 11:09:09 +0000434 return !Visited.count(I) && AliveBits.find(I) == AliveBits.end() &&
435 !isAlwaysLive(I);
436}
437
Nikita Popovbc9986e2019-01-01 10:05:26 +0000438bool DemandedBits::isUseDead(Use *U) {
439 // We only track integer uses, everything else is assumed live.
440 if (!(*U)->getType()->isIntOrIntVectorTy())
441 return false;
442
443 // Uses by always-live instructions are never dead.
444 Instruction *UserI = cast<Instruction>(U->getUser());
445 if (isAlwaysLive(UserI))
446 return false;
447
448 performAnalysis();
449 if (DeadUses.count(U))
450 return true;
451
452 // If no output bits are demanded, no input bits are demanded and the use
453 // is dead. These uses might not be explicitly present in the DeadUses map.
454 if (UserI->getType()->isIntOrIntVectorTy()) {
455 auto Found = AliveBits.find(UserI);
456 if (Found != AliveBits.end() && Found->second.isNullValue())
457 return true;
458 }
459
460 return false;
461}
462
Michael Kupersteinde16b442016-04-18 23:55:01 +0000463void DemandedBits::print(raw_ostream &OS) {
464 performAnalysis();
James Molloybcd7f0a2015-10-08 12:39:59 +0000465 for (auto &KV : AliveBits) {
Benjamin Kramer3a13ed62017-12-28 16:58:54 +0000466 OS << "DemandedBits: 0x" << Twine::utohexstr(KV.second.getLimitedValue())
467 << " for " << *KV.first << '\n';
James Molloybcd7f0a2015-10-08 12:39:59 +0000468 }
469}
470
Michael Kupersteinde16b442016-04-18 23:55:01 +0000471FunctionPass *llvm::createDemandedBitsWrapperPass() {
472 return new DemandedBitsWrapperPass();
473}
474
Chandler Carruthdab4eae2016-11-23 17:53:26 +0000475AnalysisKey DemandedBitsAnalysis::Key;
Michael Kupersteinde16b442016-04-18 23:55:01 +0000476
477DemandedBits DemandedBitsAnalysis::run(Function &F,
Sean Silva36e0d012016-08-09 00:28:15 +0000478 FunctionAnalysisManager &AM) {
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000479 auto &AC = AM.getResult<AssumptionAnalysis>(F);
Michael Kupersteinde16b442016-04-18 23:55:01 +0000480 auto &DT = AM.getResult<DominatorTreeAnalysis>(F);
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000481 return DemandedBits(F, AC, DT);
Michael Kupersteinde16b442016-04-18 23:55:01 +0000482}
483
484PreservedAnalyses DemandedBitsPrinterPass::run(Function &F,
485 FunctionAnalysisManager &AM) {
486 AM.getResult<DemandedBitsAnalysis>(F).print(OS);
487 return PreservedAnalyses::all();
James Molloy87405c72015-08-14 11:09:09 +0000488}