xref: /openbsd-src/gnu/llvm/llvm/lib/Target/ARM/ARMBasicBlockInfo.h (revision 097a140d792de8b2bbe59ad827d39eabf9b4280a)
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