LLVM 23.0.0git
BypassSlowDivision.h
Go to the documentation of this file.
1//===- llvm/Transforms/Utils/BypassSlowDivision.h ---------------*- C++ -*-===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains an optimization for div and rem on architectures that
10// execute short instructions significantly faster than longer instructions.
11// For example, on Intel Atom 32-bit divides are slow enough that during
12// runtime it is profitable to check the value of the operands, and if they are
13// positive and less than 256 use an unsigned 8-bit divide.
14//
15//===----------------------------------------------------------------------===//
16
17#ifndef LLVM_TRANSFORMS_UTILS_BYPASSSLOWDIVISION_H
18#define LLVM_TRANSFORMS_UTILS_BYPASSSLOWDIVISION_H
19
20#include "llvm/ADT/DenseMap.h"
22#include "llvm/IR/ValueHandle.h"
23#include <cstdint>
24
25namespace llvm {
26
27class BasicBlock;
28class DomTreeUpdater;
29class LoopInfo;
30class Value;
31
36
37 DivRemMapKey() = default;
38
39 DivRemMapKey(bool InSignedOp, Value *InDividend, Value *InDivisor)
40 : SignedOp(InSignedOp), Dividend(InDividend), Divisor(InDivisor) {}
41};
42
43template <> struct DenseMapInfo<DivRemMapKey> {
44 static bool isEqual(const DivRemMapKey &Val1, const DivRemMapKey &Val2) {
45 return Val1.SignedOp == Val2.SignedOp && Val1.Dividend == Val2.Dividend &&
46 Val1.Divisor == Val2.Divisor;
47 }
48
50 return DivRemMapKey(false, nullptr, nullptr);
51 }
52
54 return DivRemMapKey(true, nullptr, nullptr);
55 }
56
57 static unsigned getHashValue(const DivRemMapKey &Val) {
58 return (unsigned)(reinterpret_cast<uintptr_t>(
59 static_cast<Value *>(Val.Dividend)) ^
60 reinterpret_cast<uintptr_t>(
61 static_cast<Value *>(Val.Divisor))) ^
62 (unsigned)Val.SignedOp;
63 }
64};
65
66/// This optimization identifies DIV instructions in a BB that can be
67/// profitably bypassed and carried out with a shorter, faster divide.
68///
69/// This optimization may add basic blocks immediately after BB; for obvious
70/// reasons, you shouldn't pass those blocks to bypassSlowDivision.
72 const DenseMap<unsigned int, unsigned int> &BypassWidth,
73 DomTreeUpdater *DTU = nullptr, LoopInfo *LI = nullptr);
74
75} // end namespace llvm
76
77#endif // LLVM_TRANSFORMS_UTILS_BYPASSSLOWDIVISION_H
This file defines DenseMapInfo traits for DenseMap.
This file defines the DenseMap class.
Value handle that asserts if the Value is deleted.
LLVM Basic Block Representation.
Definition BasicBlock.h:62
LLVM Value Representation.
Definition Value.h:75
This is an optimization pass for GlobalISel generic memory operations.
bool bypassSlowDivision(BasicBlock *BB, const DenseMap< unsigned int, unsigned int > &BypassWidth, DomTreeUpdater *DTU=nullptr, LoopInfo *LI=nullptr)
This optimization identifies DIV instructions in a BB that can be profitably bypassed and carried out...
static unsigned getHashValue(const DivRemMapKey &Val)
static bool isEqual(const DivRemMapKey &Val1, const DivRemMapKey &Val2)
An information struct used to provide DenseMap with the various necessary components for a given valu...
AssertingVH< Value > Divisor
DivRemMapKey(bool InSignedOp, Value *InDividend, Value *InDivisor)
DivRemMapKey()=default
AssertingVH< Value > Dividend