| //===-- ARMBasicBlockInfo.h - Basic Block Information -----------*- C++ -*-===// | 
 | // | 
 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | 
 | // See https://llvm.org/LICENSE.txt for license information. | 
 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | 
 | // | 
 | //===----------------------------------------------------------------------===// | 
 | // | 
 | // Utility functions and data structure for computing block size. | 
 | // | 
 | //===----------------------------------------------------------------------===// | 
 |  | 
 | #ifndef LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H | 
 | #define LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H | 
 |  | 
 | #include "ARMBaseInstrInfo.h" | 
 | #include "ARMMachineFunctionInfo.h" | 
 | #include "llvm/Support/MathExtras.h" | 
 | #include <algorithm> | 
 | #include <cstdint> | 
 |  | 
 | namespace llvm { | 
 |  | 
 | struct BasicBlockInfo; | 
 | using BBInfoVector = SmallVectorImpl<BasicBlockInfo>; | 
 |  | 
 | /// UnknownPadding - Return the worst case padding that could result from | 
 | /// unknown offset bits.  This does not include alignment padding caused by | 
 | /// known offset bits. | 
 | /// | 
 | /// @param Alignment alignment | 
 | /// @param KnownBits Number of known low offset bits. | 
 | inline unsigned UnknownPadding(Align Alignment, unsigned KnownBits) { | 
 |   if (KnownBits < Log2(Alignment)) | 
 |     return Alignment.value() - (1ull << KnownBits); | 
 |   return 0; | 
 | } | 
 |  | 
 | /// BasicBlockInfo - Information about the offset and size of a single | 
 | /// basic block. | 
 | struct BasicBlockInfo { | 
 |   /// Offset - Distance from the beginning of the function to the beginning | 
 |   /// of this basic block. | 
 |   /// | 
 |   /// Offsets are computed assuming worst case padding before an aligned | 
 |   /// block. This means that subtracting basic block offsets always gives a | 
 |   /// conservative estimate of the real distance which may be smaller. | 
 |   /// | 
 |   /// Because worst case padding is used, the computed offset of an aligned | 
 |   /// block may not actually be aligned. | 
 |   unsigned Offset = 0; | 
 |  | 
 |   /// Size - Size of the basic block in bytes.  If the block contains | 
 |   /// inline assembly, this is a worst case estimate. | 
 |   /// | 
 |   /// The size does not include any alignment padding whether from the | 
 |   /// beginning of the block, or from an aligned jump table at the end. | 
 |   unsigned Size = 0; | 
 |  | 
 |   /// KnownBits - The number of low bits in Offset that are known to be | 
 |   /// exact.  The remaining bits of Offset are an upper bound. | 
 |   uint8_t KnownBits = 0; | 
 |  | 
 |   /// Unalign - When non-zero, the block contains instructions (inline asm) | 
 |   /// of unknown size.  The real size may be smaller than Size bytes by a | 
 |   /// multiple of 1 << Unalign. | 
 |   uint8_t Unalign = 0; | 
 |  | 
 |   /// PostAlign - When > 1, the block terminator contains a .align | 
 |   /// directive, so the end of the block is aligned to PostAlign bytes. | 
 |   Align PostAlign; | 
 |  | 
 |   BasicBlockInfo() = default; | 
 |  | 
 |   /// Compute the number of known offset bits internally to this block. | 
 |   /// This number should be used to predict worst case padding when | 
 |   /// splitting the block. | 
 |   unsigned internalKnownBits() const { | 
 |     unsigned Bits = Unalign ? Unalign : KnownBits; | 
 |     // If the block size isn't a multiple of the known bits, assume the | 
 |     // worst case padding. | 
 |     if (Size & ((1u << Bits) - 1)) | 
 |       Bits = countTrailingZeros(Size); | 
 |     return Bits; | 
 |   } | 
 |  | 
 |   /// Compute the offset immediately following this block.  If Align is | 
 |   /// specified, return the offset the successor block will get if it has | 
 |   /// this alignment. | 
 |   unsigned postOffset(Align Alignment = Align::None()) const { | 
 |     unsigned PO = Offset + Size; | 
 |     const Align PA = std::max(PostAlign, Alignment); | 
 |     if (PA == Align::None()) | 
 |       return PO; | 
 |     // Add alignment padding from the terminator. | 
 |     return PO + UnknownPadding(PA, internalKnownBits()); | 
 |   } | 
 |  | 
 |   /// Compute the number of known low bits of postOffset.  If this block | 
 |   /// contains inline asm, the number of known bits drops to the | 
 |   /// instruction alignment.  An aligned terminator may increase the number | 
 |   /// of know bits. | 
 |   /// If LogAlign is given, also consider the alignment of the next block. | 
 |   unsigned postKnownBits(Align Align = Align::None()) const { | 
 |     return std::max(Log2(std::max(PostAlign, Align)), internalKnownBits()); | 
 |   } | 
 | }; | 
 |  | 
 | class ARMBasicBlockUtils { | 
 |  | 
 | private: | 
 |   MachineFunction &MF; | 
 |   bool isThumb = false; | 
 |   const ARMBaseInstrInfo *TII = nullptr; | 
 |   SmallVector<BasicBlockInfo, 8> BBInfo; | 
 |  | 
 | public: | 
 |   ARMBasicBlockUtils(MachineFunction &MF) : MF(MF) { | 
 |     TII = | 
 |       static_cast<const ARMBaseInstrInfo*>(MF.getSubtarget().getInstrInfo()); | 
 |     isThumb = MF.getInfo<ARMFunctionInfo>()->isThumbFunction(); | 
 |   } | 
 |  | 
 |   void computeAllBlockSizes() { | 
 |     BBInfo.resize(MF.getNumBlockIDs()); | 
 |     for (MachineBasicBlock &MBB : MF) | 
 |       computeBlockSize(&MBB); | 
 |   } | 
 |  | 
 |   void computeBlockSize(MachineBasicBlock *MBB); | 
 |  | 
 |   unsigned getOffsetOf(MachineInstr *MI) const; | 
 |  | 
 |   unsigned getOffsetOf(MachineBasicBlock *MBB) const { | 
 |     return BBInfo[MBB->getNumber()].Offset; | 
 |   } | 
 |  | 
 |   void adjustBBOffsetsAfter(MachineBasicBlock *MBB); | 
 |  | 
 |   void adjustBBSize(MachineBasicBlock *MBB, int Size) { | 
 |     BBInfo[MBB->getNumber()].Size += Size; | 
 |   } | 
 |  | 
 |   bool isBBInRange(MachineInstr *MI, MachineBasicBlock *DestBB, | 
 |                    unsigned MaxDisp) const; | 
 |  | 
 |   void insert(unsigned BBNum, BasicBlockInfo BBI) { | 
 |     BBInfo.insert(BBInfo.begin() + BBNum, BBI); | 
 |   } | 
 |  | 
 |   void clear() { BBInfo.clear(); } | 
 |  | 
 |   BBInfoVector &getBBInfo() { return BBInfo; } | 
 |  | 
 | }; | 
 |  | 
 | } // end namespace llvm | 
 |  | 
 | #endif // LLVM_LIB_TARGET_ARM_ARMBASICBLOCKINFO_H |