1 //===---- BDCE.cpp - Bit-tracking dead code elimination -------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file implements the Bit-Tracking Dead Code Elimination pass. Some
11 // instructions (shifts, some ands, ors, etc.) kill some of their input bits.
12 // We track these dead bits and remove instructions that compute only these
13 // dead bits.
14 //
15 //===----------------------------------------------------------------------===//
16
17 #include "llvm/Transforms/Scalar.h"
18 #include "llvm/ADT/DenseMap.h"
19 #include "llvm/ADT/DepthFirstIterator.h"
20 #include "llvm/ADT/SmallPtrSet.h"
21 #include "llvm/ADT/SmallVector.h"
22 #include "llvm/ADT/Statistic.h"
23 #include "llvm/Analysis/AssumptionCache.h"
24 #include "llvm/Analysis/ValueTracking.h"
25 #include "llvm/IR/BasicBlock.h"
26 #include "llvm/IR/CFG.h"
27 #include "llvm/IR/DataLayout.h"
28 #include "llvm/IR/Dominators.h"
29 #include "llvm/IR/InstIterator.h"
30 #include "llvm/IR/Instructions.h"
31 #include "llvm/IR/IntrinsicInst.h"
32 #include "llvm/IR/Module.h"
33 #include "llvm/IR/Operator.h"
34 #include "llvm/Pass.h"
35 #include "llvm/Support/Debug.h"
36 #include "llvm/Support/raw_ostream.h"
37
38 using namespace llvm;
39
40 #define DEBUG_TYPE "bdce"
41
42 STATISTIC(NumRemoved, "Number of instructions removed (unused)");
43 STATISTIC(NumSimplified, "Number of instructions trivialized (dead bits)");
44
45 namespace {
46 struct BDCE : public FunctionPass {
47 static char ID; // Pass identification, replacement for typeid
BDCE__anonac0a17e30111::BDCE48 BDCE() : FunctionPass(ID) {
49 initializeBDCEPass(*PassRegistry::getPassRegistry());
50 }
51
52 bool runOnFunction(Function& F) override;
53
getAnalysisUsage__anonac0a17e30111::BDCE54 void getAnalysisUsage(AnalysisUsage& AU) const override {
55 AU.setPreservesCFG();
56 AU.addRequired<AssumptionCacheTracker>();
57 AU.addRequired<DominatorTreeWrapperPass>();
58 }
59
60 void determineLiveOperandBits(const Instruction *UserI,
61 const Instruction *I, unsigned OperandNo,
62 const APInt &AOut, APInt &AB,
63 APInt &KnownZero, APInt &KnownOne,
64 APInt &KnownZero2, APInt &KnownOne2);
65
66 AssumptionCache *AC;
67 DominatorTree *DT;
68 };
69 }
70
71 char BDCE::ID = 0;
72 INITIALIZE_PASS_BEGIN(BDCE, "bdce", "Bit-Tracking Dead Code Elimination",
73 false, false)
INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)74 INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
75 INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
76 INITIALIZE_PASS_END(BDCE, "bdce", "Bit-Tracking Dead Code Elimination",
77 false, false)
78
79 static bool isAlwaysLive(Instruction *I) {
80 return isa<TerminatorInst>(I) || isa<DbgInfoIntrinsic>(I) ||
81 isa<LandingPadInst>(I) || I->mayHaveSideEffects();
82 }
83
determineLiveOperandBits(const Instruction * UserI,const Instruction * I,unsigned OperandNo,const APInt & AOut,APInt & AB,APInt & KnownZero,APInt & KnownOne,APInt & KnownZero2,APInt & KnownOne2)84 void BDCE::determineLiveOperandBits(const Instruction *UserI,
85 const Instruction *I, unsigned OperandNo,
86 const APInt &AOut, APInt &AB,
87 APInt &KnownZero, APInt &KnownOne,
88 APInt &KnownZero2, APInt &KnownOne2) {
89 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) {
99 const DataLayout &DL = I->getModule()->getDataLayout();
100 KnownZero = APInt(BitWidth, 0);
101 KnownOne = APInt(BitWidth, 0);
102 computeKnownBits(const_cast<Value *>(V1), KnownZero, KnownOne, DL, 0,
103 AC, UserI, DT);
104
105 if (V2) {
106 KnownZero2 = APInt(BitWidth, 0);
107 KnownOne2 = APInt(BitWidth, 0);
108 computeKnownBits(const_cast<Value *>(V2), KnownZero2, KnownOne2, DL,
109 0, AC, UserI, DT);
110 }
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;
125 case Intrinsic::ctlz:
126 if (OperandNo == 0) {
127 // We need some output bits, so we need all bits of the
128 // input to the left of, and including, the leftmost bit
129 // known to be one.
130 ComputeKnownBits(BitWidth, I, nullptr);
131 AB = APInt::getHighBitsSet(BitWidth,
132 std::min(BitWidth, KnownOne.countLeadingZeros()+1));
133 }
134 break;
135 case Intrinsic::cttz:
136 if (OperandNo == 0) {
137 // We need some output bits, so we need all bits of the
138 // input to the right of, and including, the rightmost bit
139 // known to be one.
140 ComputeKnownBits(BitWidth, I, nullptr);
141 AB = APInt::getLowBitsSet(BitWidth,
142 std::min(BitWidth, KnownOne.countTrailingZeros()+1));
143 }
144 break;
145 }
146 break;
147 case Instruction::Add:
148 case Instruction::Sub:
149 // Find the highest live output bit. We don't need any more input
150 // bits than that (adds, and thus subtracts, ripple only to the
151 // left).
152 AB = APInt::getLowBitsSet(BitWidth, AOut.getActiveBits());
153 break;
154 case Instruction::Shl:
155 if (OperandNo == 0)
156 if (ConstantInt *CI =
157 dyn_cast<ConstantInt>(UserI->getOperand(1))) {
158 uint64_t ShiftAmt = CI->getLimitedValue(BitWidth-1);
159 AB = AOut.lshr(ShiftAmt);
160
161 // If the shift is nuw/nsw, then the high bits are not dead
162 // (because we've promised that they *must* be zero).
163 const ShlOperator *S = cast<ShlOperator>(UserI);
164 if (S->hasNoSignedWrap())
165 AB |= APInt::getHighBitsSet(BitWidth, ShiftAmt+1);
166 else if (S->hasNoUnsignedWrap())
167 AB |= APInt::getHighBitsSet(BitWidth, ShiftAmt);
168 }
169 break;
170 case Instruction::LShr:
171 if (OperandNo == 0)
172 if (ConstantInt *CI =
173 dyn_cast<ConstantInt>(UserI->getOperand(1))) {
174 uint64_t ShiftAmt = CI->getLimitedValue(BitWidth-1);
175 AB = AOut.shl(ShiftAmt);
176
177 // If the shift is exact, then the low bits are not dead
178 // (they must be zero).
179 if (cast<LShrOperator>(UserI)->isExact())
180 AB |= APInt::getLowBitsSet(BitWidth, ShiftAmt);
181 }
182 break;
183 case Instruction::AShr:
184 if (OperandNo == 0)
185 if (ConstantInt *CI =
186 dyn_cast<ConstantInt>(UserI->getOperand(1))) {
187 uint64_t ShiftAmt = CI->getLimitedValue(BitWidth-1);
188 AB = AOut.shl(ShiftAmt);
189 // Because the high input bit is replicated into the
190 // high-order bits of the result, if we need any of those
191 // bits, then we must keep the highest input bit.
192 if ((AOut & APInt::getHighBitsSet(BitWidth, ShiftAmt))
193 .getBoolValue())
194 AB.setBit(BitWidth-1);
195
196 // If the shift is exact, then the low bits are not dead
197 // (they must be zero).
198 if (cast<AShrOperator>(UserI)->isExact())
199 AB |= APInt::getLowBitsSet(BitWidth, ShiftAmt);
200 }
201 break;
202 case Instruction::And:
203 AB = AOut;
204
205 // For bits that are known zero, the corresponding bits in the
206 // other operand are dead (unless they're both zero, in which
207 // case they can't both be dead, so just mark the LHS bits as
208 // dead).
209 if (OperandNo == 0) {
210 ComputeKnownBits(BitWidth, I, UserI->getOperand(1));
211 AB &= ~KnownZero2;
212 } else {
213 if (!isa<Instruction>(UserI->getOperand(0)))
214 ComputeKnownBits(BitWidth, UserI->getOperand(0), I);
215 AB &= ~(KnownZero & ~KnownZero2);
216 }
217 break;
218 case Instruction::Or:
219 AB = AOut;
220
221 // For bits that are known one, the corresponding bits in the
222 // other operand are dead (unless they're both one, in which
223 // case they can't both be dead, so just mark the LHS bits as
224 // dead).
225 if (OperandNo == 0) {
226 ComputeKnownBits(BitWidth, I, UserI->getOperand(1));
227 AB &= ~KnownOne2;
228 } else {
229 if (!isa<Instruction>(UserI->getOperand(0)))
230 ComputeKnownBits(BitWidth, UserI->getOperand(0), I);
231 AB &= ~(KnownOne & ~KnownOne2);
232 }
233 break;
234 case Instruction::Xor:
235 case Instruction::PHI:
236 AB = AOut;
237 break;
238 case Instruction::Trunc:
239 AB = AOut.zext(BitWidth);
240 break;
241 case Instruction::ZExt:
242 AB = AOut.trunc(BitWidth);
243 break;
244 case Instruction::SExt:
245 AB = AOut.trunc(BitWidth);
246 // Because the high input bit is replicated into the
247 // high-order bits of the result, if we need any of those
248 // bits, then we must keep the highest input bit.
249 if ((AOut & APInt::getHighBitsSet(AOut.getBitWidth(),
250 AOut.getBitWidth() - BitWidth))
251 .getBoolValue())
252 AB.setBit(BitWidth-1);
253 break;
254 case Instruction::Select:
255 if (OperandNo != 0)
256 AB = AOut;
257 break;
258 }
259 }
260
runOnFunction(Function & F)261 bool BDCE::runOnFunction(Function& F) {
262 if (skipOptnoneFunction(F))
263 return false;
264
265 AC = &getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F);
266 DT = &getAnalysis<DominatorTreeWrapperPass>().getDomTree();
267
268 DenseMap<Instruction *, APInt> AliveBits;
269 SmallVector<Instruction*, 128> Worklist;
270
271 // The set of visited instructions (non-integer-typed only).
272 SmallPtrSet<Instruction*, 128> Visited;
273
274 // Collect the set of "root" instructions that are known live.
275 for (Instruction &I : inst_range(F)) {
276 if (!isAlwaysLive(&I))
277 continue;
278
279 DEBUG(dbgs() << "BDCE: Root: " << I << "\n");
280 // For integer-valued instructions, set up an initial empty set of alive
281 // bits and add the instruction to the work list. For other instructions
282 // add their operands to the work list (for integer values operands, mark
283 // all bits as live).
284 if (IntegerType *IT = dyn_cast<IntegerType>(I.getType())) {
285 if (!AliveBits.count(&I)) {
286 AliveBits[&I] = APInt(IT->getBitWidth(), 0);
287 Worklist.push_back(&I);
288 }
289
290 continue;
291 }
292
293 // Non-integer-typed instructions...
294 for (Use &OI : I.operands()) {
295 if (Instruction *J = dyn_cast<Instruction>(OI)) {
296 if (IntegerType *IT = dyn_cast<IntegerType>(J->getType()))
297 AliveBits[J] = APInt::getAllOnesValue(IT->getBitWidth());
298 Worklist.push_back(J);
299 }
300 }
301 // To save memory, we don't add I to the Visited set here. Instead, we
302 // check isAlwaysLive on every instruction when searching for dead
303 // instructions later (we need to check isAlwaysLive for the
304 // integer-typed instructions anyway).
305 }
306
307 // Propagate liveness backwards to operands.
308 while (!Worklist.empty()) {
309 Instruction *UserI = Worklist.pop_back_val();
310
311 DEBUG(dbgs() << "BDCE: Visiting: " << *UserI);
312 APInt AOut;
313 if (UserI->getType()->isIntegerTy()) {
314 AOut = AliveBits[UserI];
315 DEBUG(dbgs() << " Alive Out: " << AOut);
316 }
317 DEBUG(dbgs() << "\n");
318
319 if (!UserI->getType()->isIntegerTy())
320 Visited.insert(UserI);
321
322 APInt KnownZero, KnownOne, KnownZero2, KnownOne2;
323 // Compute the set of alive bits for each operand. These are anded into the
324 // existing set, if any, and if that changes the set of alive bits, the
325 // operand is added to the work-list.
326 for (Use &OI : UserI->operands()) {
327 if (Instruction *I = dyn_cast<Instruction>(OI)) {
328 if (IntegerType *IT = dyn_cast<IntegerType>(I->getType())) {
329 unsigned BitWidth = IT->getBitWidth();
330 APInt AB = APInt::getAllOnesValue(BitWidth);
331 if (UserI->getType()->isIntegerTy() && !AOut &&
332 !isAlwaysLive(UserI)) {
333 AB = APInt(BitWidth, 0);
334 } else {
335 // If all bits of the output are dead, then all bits of the input
336 // Bits of each operand that are used to compute alive bits of the
337 // output are alive, all others are dead.
338 determineLiveOperandBits(UserI, I, OI.getOperandNo(), AOut, AB,
339 KnownZero, KnownOne,
340 KnownZero2, KnownOne2);
341 }
342
343 // If we've added to the set of alive bits (or the operand has not
344 // been previously visited), then re-queue the operand to be visited
345 // again.
346 APInt ABPrev(BitWidth, 0);
347 auto ABI = AliveBits.find(I);
348 if (ABI != AliveBits.end())
349 ABPrev = ABI->second;
350
351 APInt ABNew = AB | ABPrev;
352 if (ABNew != ABPrev || ABI == AliveBits.end()) {
353 AliveBits[I] = std::move(ABNew);
354 Worklist.push_back(I);
355 }
356 } else if (!Visited.count(I)) {
357 Worklist.push_back(I);
358 }
359 }
360 }
361 }
362
363 bool Changed = false;
364 // The inverse of the live set is the dead set. These are those instructions
365 // which have no side effects and do not influence the control flow or return
366 // value of the function, and may therefore be deleted safely.
367 // NOTE: We reuse the Worklist vector here for memory efficiency.
368 for (Instruction &I : inst_range(F)) {
369 // For live instructions that have all dead bits, first make them dead by
370 // replacing all uses with something else. Then, if they don't need to
371 // remain live (because they have side effects, etc.) we can remove them.
372 if (I.getType()->isIntegerTy()) {
373 auto ABI = AliveBits.find(&I);
374 if (ABI != AliveBits.end()) {
375 if (ABI->second.getBoolValue())
376 continue;
377
378 DEBUG(dbgs() << "BDCE: Trivializing: " << I << " (all bits dead)\n");
379 // FIXME: In theory we could substitute undef here instead of zero.
380 // This should be reconsidered once we settle on the semantics of
381 // undef, poison, etc.
382 Value *Zero = ConstantInt::get(I.getType(), 0);
383 ++NumSimplified;
384 I.replaceAllUsesWith(Zero);
385 Changed = true;
386 }
387 } else if (Visited.count(&I)) {
388 continue;
389 }
390
391 if (isAlwaysLive(&I))
392 continue;
393
394 Worklist.push_back(&I);
395 I.dropAllReferences();
396 Changed = true;
397 }
398
399 for (Instruction *&I : Worklist) {
400 ++NumRemoved;
401 I->eraseFromParent();
402 }
403
404 return Changed;
405 }
406
createBitTrackingDCEPass()407 FunctionPass *llvm::createBitTrackingDCEPass() {
408 return new BDCE();
409 }
410
411