109467b48Spatrick //===-- ARMBasicBlockInfo.h - Basic Block Information -----------*- C++ -*-===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick //
909467b48Spatrick // Utility functions and data structure for computing block size.
1009467b48Spatrick //
1109467b48Spatrick //===----------------------------------------------------------------------===//
1209467b48Spatrick
1309467b48Spatrick #ifndef LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H
1409467b48Spatrick #define LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H
1509467b48Spatrick
1609467b48Spatrick #include "ARMBaseInstrInfo.h"
1709467b48Spatrick #include "ARMMachineFunctionInfo.h"
1809467b48Spatrick #include "llvm/Support/MathExtras.h"
1909467b48Spatrick #include <algorithm>
2009467b48Spatrick #include <cstdint>
2109467b48Spatrick
2209467b48Spatrick namespace llvm {
2309467b48Spatrick
2409467b48Spatrick struct BasicBlockInfo;
2509467b48Spatrick using BBInfoVector = SmallVectorImpl<BasicBlockInfo>;
2609467b48Spatrick
2709467b48Spatrick /// UnknownPadding - Return the worst case padding that could result from
2809467b48Spatrick /// unknown offset bits. This does not include alignment padding caused by
2909467b48Spatrick /// known offset bits.
3009467b48Spatrick ///
3109467b48Spatrick /// @param Alignment alignment
3209467b48Spatrick /// @param KnownBits Number of known low offset bits.
UnknownPadding(Align Alignment,unsigned KnownBits)3309467b48Spatrick inline unsigned UnknownPadding(Align Alignment, unsigned KnownBits) {
3409467b48Spatrick if (KnownBits < Log2(Alignment))
3509467b48Spatrick return Alignment.value() - (1ull << KnownBits);
3609467b48Spatrick return 0;
3709467b48Spatrick }
3809467b48Spatrick
3909467b48Spatrick /// BasicBlockInfo - Information about the offset and size of a single
4009467b48Spatrick /// basic block.
4109467b48Spatrick struct BasicBlockInfo {
4209467b48Spatrick /// Offset - Distance from the beginning of the function to the beginning
4309467b48Spatrick /// of this basic block.
4409467b48Spatrick ///
4509467b48Spatrick /// Offsets are computed assuming worst case padding before an aligned
4609467b48Spatrick /// block. This means that subtracting basic block offsets always gives a
4709467b48Spatrick /// conservative estimate of the real distance which may be smaller.
4809467b48Spatrick ///
4909467b48Spatrick /// Because worst case padding is used, the computed offset of an aligned
5009467b48Spatrick /// block may not actually be aligned.
5109467b48Spatrick unsigned Offset = 0;
5209467b48Spatrick
5309467b48Spatrick /// Size - Size of the basic block in bytes. If the block contains
5409467b48Spatrick /// inline assembly, this is a worst case estimate.
5509467b48Spatrick ///
5609467b48Spatrick /// The size does not include any alignment padding whether from the
5709467b48Spatrick /// beginning of the block, or from an aligned jump table at the end.
5809467b48Spatrick unsigned Size = 0;
5909467b48Spatrick
6009467b48Spatrick /// KnownBits - The number of low bits in Offset that are known to be
6109467b48Spatrick /// exact. The remaining bits of Offset are an upper bound.
6209467b48Spatrick uint8_t KnownBits = 0;
6309467b48Spatrick
6409467b48Spatrick /// Unalign - When non-zero, the block contains instructions (inline asm)
6509467b48Spatrick /// of unknown size. The real size may be smaller than Size bytes by a
6609467b48Spatrick /// multiple of 1 << Unalign.
6709467b48Spatrick uint8_t Unalign = 0;
6809467b48Spatrick
6909467b48Spatrick /// PostAlign - When > 1, the block terminator contains a .align
7009467b48Spatrick /// directive, so the end of the block is aligned to PostAlign bytes.
7109467b48Spatrick Align PostAlign;
7209467b48Spatrick
7309467b48Spatrick BasicBlockInfo() = default;
7409467b48Spatrick
7509467b48Spatrick /// Compute the number of known offset bits internally to this block.
7609467b48Spatrick /// This number should be used to predict worst case padding when
7709467b48Spatrick /// splitting the block.
internalKnownBitsBasicBlockInfo7809467b48Spatrick unsigned internalKnownBits() const {
7909467b48Spatrick unsigned Bits = Unalign ? Unalign : KnownBits;
8009467b48Spatrick // If the block size isn't a multiple of the known bits, assume the
8109467b48Spatrick // worst case padding.
8209467b48Spatrick if (Size & ((1u << Bits) - 1))
8309467b48Spatrick Bits = countTrailingZeros(Size);
8409467b48Spatrick return Bits;
8509467b48Spatrick }
8609467b48Spatrick
8709467b48Spatrick /// Compute the offset immediately following this block. If Align is
8809467b48Spatrick /// specified, return the offset the successor block will get if it has
8909467b48Spatrick /// this alignment.
90*097a140dSpatrick unsigned postOffset(Align Alignment = Align(1)) const {
9109467b48Spatrick unsigned PO = Offset + Size;
9209467b48Spatrick const Align PA = std::max(PostAlign, Alignment);
93*097a140dSpatrick if (PA == Align(1))
9409467b48Spatrick return PO;
9509467b48Spatrick // Add alignment padding from the terminator.
9609467b48Spatrick return PO + UnknownPadding(PA, internalKnownBits());
9709467b48Spatrick }
9809467b48Spatrick
9909467b48Spatrick /// Compute the number of known low bits of postOffset. If this block
10009467b48Spatrick /// contains inline asm, the number of known bits drops to the
10109467b48Spatrick /// instruction alignment. An aligned terminator may increase the number
10209467b48Spatrick /// of know bits.
10309467b48Spatrick /// If LogAlign is given, also consider the alignment of the next block.
104*097a140dSpatrick unsigned postKnownBits(Align Align = llvm::Align(1)) const {
10509467b48Spatrick return std::max(Log2(std::max(PostAlign, Align)), internalKnownBits());
10609467b48Spatrick }
10709467b48Spatrick };
10809467b48Spatrick
10909467b48Spatrick class ARMBasicBlockUtils {
11009467b48Spatrick
11109467b48Spatrick private:
11209467b48Spatrick MachineFunction &MF;
11309467b48Spatrick bool isThumb = false;
11409467b48Spatrick const ARMBaseInstrInfo *TII = nullptr;
11509467b48Spatrick SmallVector<BasicBlockInfo, 8> BBInfo;
11609467b48Spatrick
11709467b48Spatrick public:
ARMBasicBlockUtils(MachineFunction & MF)11809467b48Spatrick ARMBasicBlockUtils(MachineFunction &MF) : MF(MF) {
11909467b48Spatrick TII =
12009467b48Spatrick static_cast<const ARMBaseInstrInfo*>(MF.getSubtarget().getInstrInfo());
12109467b48Spatrick isThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction();
12209467b48Spatrick }
12309467b48Spatrick
computeAllBlockSizes()12409467b48Spatrick void computeAllBlockSizes() {
12509467b48Spatrick BBInfo.resize(MF.getNumBlockIDs());
12609467b48Spatrick for (MachineBasicBlock &MBB : MF)
12709467b48Spatrick computeBlockSize(&MBB);
12809467b48Spatrick }
12909467b48Spatrick
13009467b48Spatrick void computeBlockSize(MachineBasicBlock *MBB);
13109467b48Spatrick
13209467b48Spatrick unsigned getOffsetOf(MachineInstr *MI) const;
13309467b48Spatrick
getOffsetOf(MachineBasicBlock * MBB)13409467b48Spatrick unsigned getOffsetOf(MachineBasicBlock *MBB) const {
13509467b48Spatrick return BBInfo[MBB->getNumber()].Offset;
13609467b48Spatrick }
13709467b48Spatrick
13809467b48Spatrick void adjustBBOffsetsAfter(MachineBasicBlock *MBB);
13909467b48Spatrick
adjustBBSize(MachineBasicBlock * MBB,int Size)14009467b48Spatrick void adjustBBSize(MachineBasicBlock *MBB, int Size) {
14109467b48Spatrick BBInfo[MBB->getNumber()].Size += Size;
14209467b48Spatrick }
14309467b48Spatrick
14409467b48Spatrick bool isBBInRange(MachineInstr *MI, MachineBasicBlock *DestBB,
14509467b48Spatrick unsigned MaxDisp) const;
14609467b48Spatrick
insert(unsigned BBNum,BasicBlockInfo BBI)14709467b48Spatrick void insert(unsigned BBNum, BasicBlockInfo BBI) {
14809467b48Spatrick BBInfo.insert(BBInfo.begin() + BBNum, BBI);
14909467b48Spatrick }
15009467b48Spatrick
clear()15109467b48Spatrick void clear() { BBInfo.clear(); }
15209467b48Spatrick
getBBInfo()15309467b48Spatrick BBInfoVector &getBBInfo() { return BBInfo; }
15409467b48Spatrick
15509467b48Spatrick };
15609467b48Spatrick
15709467b48Spatrick } // end namespace llvm
15809467b48Spatrick
15909467b48Spatrick #endif // LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H
160