Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- llvm/BasicBlock.h - Represent a basic block in the VM ----*- 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 the declaration of the BasicBlock class. |
||
| 10 | // |
||
| 11 | //===----------------------------------------------------------------------===// |
||
| 12 | |||
| 13 | #ifndef LLVM_IR_BASICBLOCK_H |
||
| 14 | #define LLVM_IR_BASICBLOCK_H |
||
| 15 | |||
| 16 | #include "llvm-c/Types.h" |
||
| 17 | #include "llvm/ADT/Twine.h" |
||
| 18 | #include "llvm/ADT/ilist.h" |
||
| 19 | #include "llvm/ADT/ilist_node.h" |
||
| 20 | #include "llvm/ADT/iterator.h" |
||
| 21 | #include "llvm/ADT/iterator_range.h" |
||
| 22 | #include "llvm/IR/Instruction.h" |
||
| 23 | #include "llvm/IR/SymbolTableListTraits.h" |
||
| 24 | #include "llvm/IR/Value.h" |
||
| 25 | #include <cassert> |
||
| 26 | #include <cstddef> |
||
| 27 | #include <iterator> |
||
| 28 | |||
| 29 | namespace llvm { |
||
| 30 | |||
| 31 | class AssemblyAnnotationWriter; |
||
| 32 | class CallInst; |
||
| 33 | class Function; |
||
| 34 | class LandingPadInst; |
||
| 35 | class LLVMContext; |
||
| 36 | class Module; |
||
| 37 | class PHINode; |
||
| 38 | class ValueSymbolTable; |
||
| 39 | |||
| 40 | /// LLVM Basic Block Representation |
||
| 41 | /// |
||
| 42 | /// This represents a single basic block in LLVM. A basic block is simply a |
||
| 43 | /// container of instructions that execute sequentially. Basic blocks are Values |
||
| 44 | /// because they are referenced by instructions such as branches and switch |
||
| 45 | /// tables. The type of a BasicBlock is "Type::LabelTy" because the basic block |
||
| 46 | /// represents a label to which a branch can jump. |
||
| 47 | /// |
||
| 48 | /// A well formed basic block is formed of a list of non-terminating |
||
| 49 | /// instructions followed by a single terminator instruction. Terminator |
||
| 50 | /// instructions may not occur in the middle of basic blocks, and must terminate |
||
| 51 | /// the blocks. The BasicBlock class allows malformed basic blocks to occur |
||
| 52 | /// because it may be useful in the intermediate stage of constructing or |
||
| 53 | /// modifying a program. However, the verifier will ensure that basic blocks are |
||
| 54 | /// "well formed". |
||
| 55 | class BasicBlock final : public Value, // Basic blocks are data objects also |
||
| 56 | public ilist_node_with_parent<BasicBlock, Function> { |
||
| 57 | public: |
||
| 58 | using InstListType = SymbolTableList<Instruction>; |
||
| 59 | |||
| 60 | private: |
||
| 61 | friend class BlockAddress; |
||
| 62 | friend class SymbolTableListTraits<BasicBlock>; |
||
| 63 | |||
| 64 | InstListType InstList; |
||
| 65 | Function *Parent; |
||
| 66 | |||
| 67 | void setParent(Function *parent); |
||
| 68 | |||
| 69 | /// Constructor. |
||
| 70 | /// |
||
| 71 | /// If the function parameter is specified, the basic block is automatically |
||
| 72 | /// inserted at either the end of the function (if InsertBefore is null), or |
||
| 73 | /// before the specified basic block. |
||
| 74 | explicit BasicBlock(LLVMContext &C, const Twine &Name = "", |
||
| 75 | Function *Parent = nullptr, |
||
| 76 | BasicBlock *InsertBefore = nullptr); |
||
| 77 | |||
| 78 | public: |
||
| 79 | BasicBlock(const BasicBlock &) = delete; |
||
| 80 | BasicBlock &operator=(const BasicBlock &) = delete; |
||
| 81 | ~BasicBlock(); |
||
| 82 | |||
| 83 | /// Get the context in which this basic block lives. |
||
| 84 | LLVMContext &getContext() const; |
||
| 85 | |||
| 86 | /// Instruction iterators... |
||
| 87 | using iterator = InstListType::iterator; |
||
| 88 | using const_iterator = InstListType::const_iterator; |
||
| 89 | using reverse_iterator = InstListType::reverse_iterator; |
||
| 90 | using const_reverse_iterator = InstListType::const_reverse_iterator; |
||
| 91 | |||
| 92 | // These functions and classes need access to the instruction list. |
||
| 93 | friend void Instruction::removeFromParent(); |
||
| 94 | friend iplist<Instruction>::iterator Instruction::eraseFromParent(); |
||
| 95 | friend BasicBlock::iterator Instruction::insertInto(BasicBlock *BB, |
||
| 96 | BasicBlock::iterator It); |
||
| 97 | friend class llvm::SymbolTableListTraits<llvm::Instruction>; |
||
| 98 | friend class llvm::ilist_node_with_parent<llvm::Instruction, llvm::BasicBlock>; |
||
| 99 | |||
| 100 | /// Creates a new BasicBlock. |
||
| 101 | /// |
||
| 102 | /// If the Parent parameter is specified, the basic block is automatically |
||
| 103 | /// inserted at either the end of the function (if InsertBefore is 0), or |
||
| 104 | /// before the specified basic block. |
||
| 105 | static BasicBlock *Create(LLVMContext &Context, const Twine &Name = "", |
||
| 106 | Function *Parent = nullptr, |
||
| 107 | BasicBlock *InsertBefore = nullptr) { |
||
| 108 | return new BasicBlock(Context, Name, Parent, InsertBefore); |
||
| 109 | } |
||
| 110 | |||
| 111 | /// Return the enclosing method, or null if none. |
||
| 112 | const Function *getParent() const { return Parent; } |
||
| 113 | Function *getParent() { return Parent; } |
||
| 114 | |||
| 115 | /// Return the module owning the function this basic block belongs to, or |
||
| 116 | /// nullptr if the function does not have a module. |
||
| 117 | /// |
||
| 118 | /// Note: this is undefined behavior if the block does not have a parent. |
||
| 119 | const Module *getModule() const; |
||
| 120 | Module *getModule() { |
||
| 121 | return const_cast<Module *>( |
||
| 122 | static_cast<const BasicBlock *>(this)->getModule()); |
||
| 123 | } |
||
| 124 | |||
| 125 | /// Returns the terminator instruction if the block is well formed or null |
||
| 126 | /// if the block is not well formed. |
||
| 127 | const Instruction *getTerminator() const LLVM_READONLY { |
||
| 128 | if (InstList.empty() || !InstList.back().isTerminator()) |
||
| 129 | return nullptr; |
||
| 130 | return &InstList.back(); |
||
| 131 | } |
||
| 132 | Instruction *getTerminator() { |
||
| 133 | return const_cast<Instruction *>( |
||
| 134 | static_cast<const BasicBlock *>(this)->getTerminator()); |
||
| 135 | } |
||
| 136 | |||
| 137 | /// Returns the call instruction calling \@llvm.experimental.deoptimize |
||
| 138 | /// prior to the terminating return instruction of this basic block, if such |
||
| 139 | /// a call is present. Otherwise, returns null. |
||
| 140 | const CallInst *getTerminatingDeoptimizeCall() const; |
||
| 141 | CallInst *getTerminatingDeoptimizeCall() { |
||
| 142 | return const_cast<CallInst *>( |
||
| 143 | static_cast<const BasicBlock *>(this)->getTerminatingDeoptimizeCall()); |
||
| 144 | } |
||
| 145 | |||
| 146 | /// Returns the call instruction calling \@llvm.experimental.deoptimize |
||
| 147 | /// that is present either in current basic block or in block that is a unique |
||
| 148 | /// successor to current block, if such call is present. Otherwise, returns null. |
||
| 149 | const CallInst *getPostdominatingDeoptimizeCall() const; |
||
| 150 | CallInst *getPostdominatingDeoptimizeCall() { |
||
| 151 | return const_cast<CallInst *>( |
||
| 152 | static_cast<const BasicBlock *>(this)->getPostdominatingDeoptimizeCall()); |
||
| 153 | } |
||
| 154 | |||
| 155 | /// Returns the call instruction marked 'musttail' prior to the terminating |
||
| 156 | /// return instruction of this basic block, if such a call is present. |
||
| 157 | /// Otherwise, returns null. |
||
| 158 | const CallInst *getTerminatingMustTailCall() const; |
||
| 159 | CallInst *getTerminatingMustTailCall() { |
||
| 160 | return const_cast<CallInst *>( |
||
| 161 | static_cast<const BasicBlock *>(this)->getTerminatingMustTailCall()); |
||
| 162 | } |
||
| 163 | |||
| 164 | /// Returns a pointer to the first instruction in this block that is not a |
||
| 165 | /// PHINode instruction. |
||
| 166 | /// |
||
| 167 | /// When adding instructions to the beginning of the basic block, they should |
||
| 168 | /// be added before the returned value, not before the first instruction, |
||
| 169 | /// which might be PHI. Returns 0 is there's no non-PHI instruction. |
||
| 170 | const Instruction* getFirstNonPHI() const; |
||
| 171 | Instruction* getFirstNonPHI() { |
||
| 172 | return const_cast<Instruction *>( |
||
| 173 | static_cast<const BasicBlock *>(this)->getFirstNonPHI()); |
||
| 174 | } |
||
| 175 | |||
| 176 | /// Returns a pointer to the first instruction in this block that is not a |
||
| 177 | /// PHINode or a debug intrinsic, or any pseudo operation if \c SkipPseudoOp |
||
| 178 | /// is true. |
||
| 179 | const Instruction *getFirstNonPHIOrDbg(bool SkipPseudoOp = true) const; |
||
| 180 | Instruction *getFirstNonPHIOrDbg(bool SkipPseudoOp = true) { |
||
| 181 | return const_cast<Instruction *>( |
||
| 182 | static_cast<const BasicBlock *>(this)->getFirstNonPHIOrDbg( |
||
| 183 | SkipPseudoOp)); |
||
| 184 | } |
||
| 185 | |||
| 186 | /// Returns a pointer to the first instruction in this block that is not a |
||
| 187 | /// PHINode, a debug intrinsic, or a lifetime intrinsic, or any pseudo |
||
| 188 | /// operation if \c SkipPseudoOp is true. |
||
| 189 | const Instruction * |
||
| 190 | getFirstNonPHIOrDbgOrLifetime(bool SkipPseudoOp = true) const; |
||
| 191 | Instruction *getFirstNonPHIOrDbgOrLifetime(bool SkipPseudoOp = true) { |
||
| 192 | return const_cast<Instruction *>( |
||
| 193 | static_cast<const BasicBlock *>(this)->getFirstNonPHIOrDbgOrLifetime( |
||
| 194 | SkipPseudoOp)); |
||
| 195 | } |
||
| 196 | |||
| 197 | /// Returns an iterator to the first instruction in this block that is |
||
| 198 | /// suitable for inserting a non-PHI instruction. |
||
| 199 | /// |
||
| 200 | /// In particular, it skips all PHIs and LandingPad instructions. |
||
| 201 | const_iterator getFirstInsertionPt() const; |
||
| 202 | iterator getFirstInsertionPt() { |
||
| 203 | return static_cast<const BasicBlock *>(this) |
||
| 204 | ->getFirstInsertionPt().getNonConst(); |
||
| 205 | } |
||
| 206 | |||
| 207 | /// Returns an iterator to the first instruction in this block that is |
||
| 208 | /// not a PHINode, a debug intrinsic, a static alloca or any pseudo operation. |
||
| 209 | const_iterator getFirstNonPHIOrDbgOrAlloca() const; |
||
| 210 | iterator getFirstNonPHIOrDbgOrAlloca() { |
||
| 211 | return static_cast<const BasicBlock *>(this) |
||
| 212 | ->getFirstNonPHIOrDbgOrAlloca() |
||
| 213 | .getNonConst(); |
||
| 214 | } |
||
| 215 | |||
| 216 | /// Return a const iterator range over the instructions in the block, skipping |
||
| 217 | /// any debug instructions. Skip any pseudo operations as well if \c |
||
| 218 | /// SkipPseudoOp is true. |
||
| 219 | iterator_range<filter_iterator<BasicBlock::const_iterator, |
||
| 220 | std::function<bool(const Instruction &)>>> |
||
| 221 | instructionsWithoutDebug(bool SkipPseudoOp = true) const; |
||
| 222 | |||
| 223 | /// Return an iterator range over the instructions in the block, skipping any |
||
| 224 | /// debug instructions. Skip and any pseudo operations as well if \c |
||
| 225 | /// SkipPseudoOp is true. |
||
| 226 | iterator_range< |
||
| 227 | filter_iterator<BasicBlock::iterator, std::function<bool(Instruction &)>>> |
||
| 228 | instructionsWithoutDebug(bool SkipPseudoOp = true); |
||
| 229 | |||
| 230 | /// Return the size of the basic block ignoring debug instructions |
||
| 231 | filter_iterator<BasicBlock::const_iterator, |
||
| 232 | std::function<bool(const Instruction &)>>::difference_type |
||
| 233 | sizeWithoutDebug() const; |
||
| 234 | |||
| 235 | /// Unlink 'this' from the containing function, but do not delete it. |
||
| 236 | void removeFromParent(); |
||
| 237 | |||
| 238 | /// Unlink 'this' from the containing function and delete it. |
||
| 239 | /// |
||
| 240 | // \returns an iterator pointing to the element after the erased one. |
||
| 241 | SymbolTableList<BasicBlock>::iterator eraseFromParent(); |
||
| 242 | |||
| 243 | /// Unlink this basic block from its current function and insert it into |
||
| 244 | /// the function that \p MovePos lives in, right before \p MovePos. |
||
| 245 | void moveBefore(BasicBlock *MovePos); |
||
| 246 | |||
| 247 | /// Unlink this basic block from its current function and insert it |
||
| 248 | /// right after \p MovePos in the function \p MovePos lives in. |
||
| 249 | void moveAfter(BasicBlock *MovePos); |
||
| 250 | |||
| 251 | /// Insert unlinked basic block into a function. |
||
| 252 | /// |
||
| 253 | /// Inserts an unlinked basic block into \c Parent. If \c InsertBefore is |
||
| 254 | /// provided, inserts before that basic block, otherwise inserts at the end. |
||
| 255 | /// |
||
| 256 | /// \pre \a getParent() is \c nullptr. |
||
| 257 | void insertInto(Function *Parent, BasicBlock *InsertBefore = nullptr); |
||
| 258 | |||
| 259 | /// Return the predecessor of this block if it has a single predecessor |
||
| 260 | /// block. Otherwise return a null pointer. |
||
| 261 | const BasicBlock *getSinglePredecessor() const; |
||
| 262 | BasicBlock *getSinglePredecessor() { |
||
| 263 | return const_cast<BasicBlock *>( |
||
| 264 | static_cast<const BasicBlock *>(this)->getSinglePredecessor()); |
||
| 265 | } |
||
| 266 | |||
| 267 | /// Return the predecessor of this block if it has a unique predecessor |
||
| 268 | /// block. Otherwise return a null pointer. |
||
| 269 | /// |
||
| 270 | /// Note that unique predecessor doesn't mean single edge, there can be |
||
| 271 | /// multiple edges from the unique predecessor to this block (for example a |
||
| 272 | /// switch statement with multiple cases having the same destination). |
||
| 273 | const BasicBlock *getUniquePredecessor() const; |
||
| 274 | BasicBlock *getUniquePredecessor() { |
||
| 275 | return const_cast<BasicBlock *>( |
||
| 276 | static_cast<const BasicBlock *>(this)->getUniquePredecessor()); |
||
| 277 | } |
||
| 278 | |||
| 279 | /// Return true if this block has exactly N predecessors. |
||
| 280 | bool hasNPredecessors(unsigned N) const; |
||
| 281 | |||
| 282 | /// Return true if this block has N predecessors or more. |
||
| 283 | bool hasNPredecessorsOrMore(unsigned N) const; |
||
| 284 | |||
| 285 | /// Return the successor of this block if it has a single successor. |
||
| 286 | /// Otherwise return a null pointer. |
||
| 287 | /// |
||
| 288 | /// This method is analogous to getSinglePredecessor above. |
||
| 289 | const BasicBlock *getSingleSuccessor() const; |
||
| 290 | BasicBlock *getSingleSuccessor() { |
||
| 291 | return const_cast<BasicBlock *>( |
||
| 292 | static_cast<const BasicBlock *>(this)->getSingleSuccessor()); |
||
| 293 | } |
||
| 294 | |||
| 295 | /// Return the successor of this block if it has a unique successor. |
||
| 296 | /// Otherwise return a null pointer. |
||
| 297 | /// |
||
| 298 | /// This method is analogous to getUniquePredecessor above. |
||
| 299 | const BasicBlock *getUniqueSuccessor() const; |
||
| 300 | BasicBlock *getUniqueSuccessor() { |
||
| 301 | return const_cast<BasicBlock *>( |
||
| 302 | static_cast<const BasicBlock *>(this)->getUniqueSuccessor()); |
||
| 303 | } |
||
| 304 | |||
| 305 | /// Print the basic block to an output stream with an optional |
||
| 306 | /// AssemblyAnnotationWriter. |
||
| 307 | void print(raw_ostream &OS, AssemblyAnnotationWriter *AAW = nullptr, |
||
| 308 | bool ShouldPreserveUseListOrder = false, |
||
| 309 | bool IsForDebug = false) const; |
||
| 310 | |||
| 311 | //===--------------------------------------------------------------------===// |
||
| 312 | /// Instruction iterator methods |
||
| 313 | /// |
||
| 314 | inline iterator begin() { return InstList.begin(); } |
||
| 315 | inline const_iterator begin() const { return InstList.begin(); } |
||
| 316 | inline iterator end () { return InstList.end(); } |
||
| 317 | inline const_iterator end () const { return InstList.end(); } |
||
| 318 | |||
| 319 | inline reverse_iterator rbegin() { return InstList.rbegin(); } |
||
| 320 | inline const_reverse_iterator rbegin() const { return InstList.rbegin(); } |
||
| 321 | inline reverse_iterator rend () { return InstList.rend(); } |
||
| 322 | inline const_reverse_iterator rend () const { return InstList.rend(); } |
||
| 323 | |||
| 324 | inline size_t size() const { return InstList.size(); } |
||
| 325 | inline bool empty() const { return InstList.empty(); } |
||
| 326 | inline const Instruction &front() const { return InstList.front(); } |
||
| 327 | inline Instruction &front() { return InstList.front(); } |
||
| 328 | inline const Instruction &back() const { return InstList.back(); } |
||
| 329 | inline Instruction &back() { return InstList.back(); } |
||
| 330 | |||
| 331 | /// Iterator to walk just the phi nodes in the basic block. |
||
| 332 | template <typename PHINodeT = PHINode, typename BBIteratorT = iterator> |
||
| 333 | class phi_iterator_impl |
||
| 334 | : public iterator_facade_base<phi_iterator_impl<PHINodeT, BBIteratorT>, |
||
| 335 | std::forward_iterator_tag, PHINodeT> { |
||
| 336 | friend BasicBlock; |
||
| 337 | |||
| 338 | PHINodeT *PN; |
||
| 339 | |||
| 340 | phi_iterator_impl(PHINodeT *PN) : PN(PN) {} |
||
| 341 | |||
| 342 | public: |
||
| 343 | // Allow default construction to build variables, but this doesn't build |
||
| 344 | // a useful iterator. |
||
| 345 | phi_iterator_impl() = default; |
||
| 346 | |||
| 347 | // Allow conversion between instantiations where valid. |
||
| 348 | template <typename PHINodeU, typename BBIteratorU, |
||
| 349 | typename = std::enable_if_t< |
||
| 350 | std::is_convertible<PHINodeU *, PHINodeT *>::value>> |
||
| 351 | phi_iterator_impl(const phi_iterator_impl<PHINodeU, BBIteratorU> &Arg) |
||
| 352 | : PN(Arg.PN) {} |
||
| 353 | |||
| 354 | bool operator==(const phi_iterator_impl &Arg) const { return PN == Arg.PN; } |
||
| 355 | |||
| 356 | PHINodeT &operator*() const { return *PN; } |
||
| 357 | |||
| 358 | using phi_iterator_impl::iterator_facade_base::operator++; |
||
| 359 | phi_iterator_impl &operator++() { |
||
| 360 | assert(PN && "Cannot increment the end iterator!"); |
||
| 361 | PN = dyn_cast<PHINodeT>(std::next(BBIteratorT(PN))); |
||
| 362 | return *this; |
||
| 363 | } |
||
| 364 | }; |
||
| 365 | using phi_iterator = phi_iterator_impl<>; |
||
| 366 | using const_phi_iterator = |
||
| 367 | phi_iterator_impl<const PHINode, BasicBlock::const_iterator>; |
||
| 368 | |||
| 369 | /// Returns a range that iterates over the phis in the basic block. |
||
| 370 | /// |
||
| 371 | /// Note that this cannot be used with basic blocks that have no terminator. |
||
| 372 | iterator_range<const_phi_iterator> phis() const { |
||
| 373 | return const_cast<BasicBlock *>(this)->phis(); |
||
| 374 | } |
||
| 375 | iterator_range<phi_iterator> phis(); |
||
| 376 | |||
| 377 | private: |
||
| 378 | /// Return the underlying instruction list container. |
||
| 379 | /// This is deliberately private because we have implemented an adequate set |
||
| 380 | /// of functions to modify the list, including BasicBlock::splice(), |
||
| 381 | /// BasicBlock::erase(), Instruction::insertInto() etc. |
||
| 382 | const InstListType &getInstList() const { return InstList; } |
||
| 383 | InstListType &getInstList() { return InstList; } |
||
| 384 | |||
| 385 | /// Returns a pointer to a member of the instruction list. |
||
| 386 | /// This is private on purpose, just like `getInstList()`. |
||
| 387 | static InstListType BasicBlock::*getSublistAccess(Instruction *) { |
||
| 388 | return &BasicBlock::InstList; |
||
| 389 | } |
||
| 390 | |||
| 391 | public: |
||
| 392 | /// Returns a pointer to the symbol table if one exists. |
||
| 393 | ValueSymbolTable *getValueSymbolTable(); |
||
| 394 | |||
| 395 | /// Methods for support type inquiry through isa, cast, and dyn_cast. |
||
| 396 | static bool classof(const Value *V) { |
||
| 397 | return V->getValueID() == Value::BasicBlockVal; |
||
| 398 | } |
||
| 399 | |||
| 400 | /// Cause all subinstructions to "let go" of all the references that said |
||
| 401 | /// subinstructions are maintaining. |
||
| 402 | /// |
||
| 403 | /// This allows one to 'delete' a whole class at a time, even though there may |
||
| 404 | /// be circular references... first all references are dropped, and all use |
||
| 405 | /// counts go to zero. Then everything is delete'd for real. Note that no |
||
| 406 | /// operations are valid on an object that has "dropped all references", |
||
| 407 | /// except operator delete. |
||
| 408 | void dropAllReferences(); |
||
| 409 | |||
| 410 | /// Update PHI nodes in this BasicBlock before removal of predecessor \p Pred. |
||
| 411 | /// Note that this function does not actually remove the predecessor. |
||
| 412 | /// |
||
| 413 | /// If \p KeepOneInputPHIs is true then don't remove PHIs that are left with |
||
| 414 | /// zero or one incoming values, and don't simplify PHIs with all incoming |
||
| 415 | /// values the same. |
||
| 416 | void removePredecessor(BasicBlock *Pred, bool KeepOneInputPHIs = false); |
||
| 417 | |||
| 418 | bool canSplitPredecessors() const; |
||
| 419 | |||
| 420 | /// Split the basic block into two basic blocks at the specified instruction. |
||
| 421 | /// |
||
| 422 | /// If \p Before is true, splitBasicBlockBefore handles the |
||
| 423 | /// block splitting. Otherwise, execution proceeds as described below. |
||
| 424 | /// |
||
| 425 | /// Note that all instructions BEFORE the specified iterator |
||
| 426 | /// stay as part of the original basic block, an unconditional branch is added |
||
| 427 | /// to the original BB, and the rest of the instructions in the BB are moved |
||
| 428 | /// to the new BB, including the old terminator. The newly formed basic block |
||
| 429 | /// is returned. This function invalidates the specified iterator. |
||
| 430 | /// |
||
| 431 | /// Note that this only works on well formed basic blocks (must have a |
||
| 432 | /// terminator), and \p 'I' must not be the end of instruction list (which |
||
| 433 | /// would cause a degenerate basic block to be formed, having a terminator |
||
| 434 | /// inside of the basic block). |
||
| 435 | /// |
||
| 436 | /// Also note that this doesn't preserve any passes. To split blocks while |
||
| 437 | /// keeping loop information consistent, use the SplitBlock utility function. |
||
| 438 | BasicBlock *splitBasicBlock(iterator I, const Twine &BBName = "", |
||
| 439 | bool Before = false); |
||
| 440 | BasicBlock *splitBasicBlock(Instruction *I, const Twine &BBName = "", |
||
| 441 | bool Before = false) { |
||
| 442 | return splitBasicBlock(I->getIterator(), BBName, Before); |
||
| 443 | } |
||
| 444 | |||
| 445 | /// Split the basic block into two basic blocks at the specified instruction |
||
| 446 | /// and insert the new basic blocks as the predecessor of the current block. |
||
| 447 | /// |
||
| 448 | /// This function ensures all instructions AFTER and including the specified |
||
| 449 | /// iterator \p I are part of the original basic block. All Instructions |
||
| 450 | /// BEFORE the iterator \p I are moved to the new BB and an unconditional |
||
| 451 | /// branch is added to the new BB. The new basic block is returned. |
||
| 452 | /// |
||
| 453 | /// Note that this only works on well formed basic blocks (must have a |
||
| 454 | /// terminator), and \p 'I' must not be the end of instruction list (which |
||
| 455 | /// would cause a degenerate basic block to be formed, having a terminator |
||
| 456 | /// inside of the basic block). \p 'I' cannot be a iterator for a PHINode |
||
| 457 | /// with multiple incoming blocks. |
||
| 458 | /// |
||
| 459 | /// Also note that this doesn't preserve any passes. To split blocks while |
||
| 460 | /// keeping loop information consistent, use the SplitBlockBefore utility |
||
| 461 | /// function. |
||
| 462 | BasicBlock *splitBasicBlockBefore(iterator I, const Twine &BBName = ""); |
||
| 463 | BasicBlock *splitBasicBlockBefore(Instruction *I, const Twine &BBName = "") { |
||
| 464 | return splitBasicBlockBefore(I->getIterator(), BBName); |
||
| 465 | } |
||
| 466 | |||
| 467 | /// Transfer all instructions from \p FromBB to this basic block at \p ToIt. |
||
| 468 | void splice(BasicBlock::iterator ToIt, BasicBlock *FromBB) { |
||
| 469 | splice(ToIt, FromBB, FromBB->begin(), FromBB->end()); |
||
| 470 | } |
||
| 471 | |||
| 472 | /// Transfer one instruction from \p FromBB at \p FromIt to this basic block |
||
| 473 | /// at \p ToIt. |
||
| 474 | void splice(BasicBlock::iterator ToIt, BasicBlock *FromBB, |
||
| 475 | BasicBlock::iterator FromIt) { |
||
| 476 | auto FromItNext = std::next(FromIt); |
||
| 477 | // Single-element splice is a noop if destination == source. |
||
| 478 | if (ToIt == FromIt || ToIt == FromItNext) |
||
| 479 | return; |
||
| 480 | splice(ToIt, FromBB, FromIt, FromItNext); |
||
| 481 | } |
||
| 482 | |||
| 483 | /// Transfer a range of instructions that belong to \p FromBB from \p |
||
| 484 | /// FromBeginIt to \p FromEndIt, to this basic block at \p ToIt. |
||
| 485 | void splice(BasicBlock::iterator ToIt, BasicBlock *FromBB, |
||
| 486 | BasicBlock::iterator FromBeginIt, |
||
| 487 | BasicBlock::iterator FromEndIt); |
||
| 488 | |||
| 489 | /// Erases a range of instructions from \p FromIt to (not including) \p ToIt. |
||
| 490 | /// \Returns \p ToIt. |
||
| 491 | BasicBlock::iterator erase(BasicBlock::iterator FromIt, BasicBlock::iterator ToIt); |
||
| 492 | |||
| 493 | /// Returns true if there are any uses of this basic block other than |
||
| 494 | /// direct branches, switches, etc. to it. |
||
| 495 | bool hasAddressTaken() const { |
||
| 496 | return getBasicBlockBits().BlockAddressRefCount != 0; |
||
| 497 | } |
||
| 498 | |||
| 499 | /// Update all phi nodes in this basic block to refer to basic block \p New |
||
| 500 | /// instead of basic block \p Old. |
||
| 501 | void replacePhiUsesWith(BasicBlock *Old, BasicBlock *New); |
||
| 502 | |||
| 503 | /// Update all phi nodes in this basic block's successors to refer to basic |
||
| 504 | /// block \p New instead of basic block \p Old. |
||
| 505 | void replaceSuccessorsPhiUsesWith(BasicBlock *Old, BasicBlock *New); |
||
| 506 | |||
| 507 | /// Update all phi nodes in this basic block's successors to refer to basic |
||
| 508 | /// block \p New instead of to it. |
||
| 509 | void replaceSuccessorsPhiUsesWith(BasicBlock *New); |
||
| 510 | |||
| 511 | /// Return true if this basic block is an exception handling block. |
||
| 512 | bool isEHPad() const { return getFirstNonPHI()->isEHPad(); } |
||
| 513 | |||
| 514 | /// Return true if this basic block is a landing pad. |
||
| 515 | /// |
||
| 516 | /// Being a ``landing pad'' means that the basic block is the destination of |
||
| 517 | /// the 'unwind' edge of an invoke instruction. |
||
| 518 | bool isLandingPad() const; |
||
| 519 | |||
| 520 | /// Return the landingpad instruction associated with the landing pad. |
||
| 521 | const LandingPadInst *getLandingPadInst() const; |
||
| 522 | LandingPadInst *getLandingPadInst() { |
||
| 523 | return const_cast<LandingPadInst *>( |
||
| 524 | static_cast<const BasicBlock *>(this)->getLandingPadInst()); |
||
| 525 | } |
||
| 526 | |||
| 527 | /// Return true if it is legal to hoist instructions into this block. |
||
| 528 | bool isLegalToHoistInto() const; |
||
| 529 | |||
| 530 | /// Return true if this is the entry block of the containing function. |
||
| 531 | /// This method can only be used on blocks that have a parent function. |
||
| 532 | bool isEntryBlock() const; |
||
| 533 | |||
| 534 | std::optional<uint64_t> getIrrLoopHeaderWeight() const; |
||
| 535 | |||
| 536 | /// Returns true if the Order field of child Instructions is valid. |
||
| 537 | bool isInstrOrderValid() const { |
||
| 538 | return getBasicBlockBits().InstrOrderValid; |
||
| 539 | } |
||
| 540 | |||
| 541 | /// Mark instruction ordering invalid. Done on every instruction insert. |
||
| 542 | void invalidateOrders() { |
||
| 543 | validateInstrOrdering(); |
||
| 544 | BasicBlockBits Bits = getBasicBlockBits(); |
||
| 545 | Bits.InstrOrderValid = false; |
||
| 546 | setBasicBlockBits(Bits); |
||
| 547 | } |
||
| 548 | |||
| 549 | /// Renumber instructions and mark the ordering as valid. |
||
| 550 | void renumberInstructions(); |
||
| 551 | |||
| 552 | /// Asserts that instruction order numbers are marked invalid, or that they |
||
| 553 | /// are in ascending order. This is constant time if the ordering is invalid, |
||
| 554 | /// and linear in the number of instructions if the ordering is valid. Callers |
||
| 555 | /// should be careful not to call this in ways that make common operations |
||
| 556 | /// O(n^2). For example, it takes O(n) time to assign order numbers to |
||
| 557 | /// instructions, so the order should be validated no more than once after |
||
| 558 | /// each ordering to ensure that transforms have the same algorithmic |
||
| 559 | /// complexity when asserts are enabled as when they are disabled. |
||
| 560 | void validateInstrOrdering() const; |
||
| 561 | |||
| 562 | private: |
||
| 563 | #if defined(_AIX) && (!defined(__GNUC__) || defined(__clang__)) |
||
| 564 | // Except for GCC; by default, AIX compilers store bit-fields in 4-byte words |
||
| 565 | // and give the `pack` pragma push semantics. |
||
| 566 | #define BEGIN_TWO_BYTE_PACK() _Pragma("pack(2)") |
||
| 567 | #define END_TWO_BYTE_PACK() _Pragma("pack(pop)") |
||
| 568 | #else |
||
| 569 | #define BEGIN_TWO_BYTE_PACK() |
||
| 570 | #define END_TWO_BYTE_PACK() |
||
| 571 | #endif |
||
| 572 | |||
| 573 | BEGIN_TWO_BYTE_PACK() |
||
| 574 | /// Bitfield to help interpret the bits in Value::SubclassData. |
||
| 575 | struct BasicBlockBits { |
||
| 576 | unsigned short BlockAddressRefCount : 15; |
||
| 577 | unsigned short InstrOrderValid : 1; |
||
| 578 | }; |
||
| 579 | END_TWO_BYTE_PACK() |
||
| 580 | |||
| 581 | #undef BEGIN_TWO_BYTE_PACK |
||
| 582 | #undef END_TWO_BYTE_PACK |
||
| 583 | |||
| 584 | /// Safely reinterpret the subclass data bits to a more useful form. |
||
| 585 | BasicBlockBits getBasicBlockBits() const { |
||
| 586 | static_assert(sizeof(BasicBlockBits) == sizeof(unsigned short), |
||
| 587 | "too many bits for Value::SubclassData"); |
||
| 588 | unsigned short ValueData = getSubclassDataFromValue(); |
||
| 589 | BasicBlockBits AsBits; |
||
| 590 | memcpy(&AsBits, &ValueData, sizeof(AsBits)); |
||
| 591 | return AsBits; |
||
| 592 | } |
||
| 593 | |||
| 594 | /// Reinterpret our subclass bits and store them back into Value. |
||
| 595 | void setBasicBlockBits(BasicBlockBits AsBits) { |
||
| 596 | unsigned short D; |
||
| 597 | memcpy(&D, &AsBits, sizeof(D)); |
||
| 598 | Value::setValueSubclassData(D); |
||
| 599 | } |
||
| 600 | |||
| 601 | /// Increment the internal refcount of the number of BlockAddresses |
||
| 602 | /// referencing this BasicBlock by \p Amt. |
||
| 603 | /// |
||
| 604 | /// This is almost always 0, sometimes one possibly, but almost never 2, and |
||
| 605 | /// inconceivably 3 or more. |
||
| 606 | void AdjustBlockAddressRefCount(int Amt) { |
||
| 607 | BasicBlockBits Bits = getBasicBlockBits(); |
||
| 608 | Bits.BlockAddressRefCount += Amt; |
||
| 609 | setBasicBlockBits(Bits); |
||
| 610 | assert(Bits.BlockAddressRefCount < 255 && "Refcount wrap-around"); |
||
| 611 | } |
||
| 612 | |||
| 613 | /// Shadow Value::setValueSubclassData with a private forwarding method so |
||
| 614 | /// that any future subclasses cannot accidentally use it. |
||
| 615 | void setValueSubclassData(unsigned short D) { |
||
| 616 | Value::setValueSubclassData(D); |
||
| 617 | } |
||
| 618 | }; |
||
| 619 | |||
| 620 | // Create wrappers for C Binding types (see CBindingWrapping.h). |
||
| 621 | DEFINE_SIMPLE_CONVERSION_FUNCTIONS(BasicBlock, LLVMBasicBlockRef) |
||
| 622 | |||
| 623 | /// Advance \p It while it points to a debug instruction and return the result. |
||
| 624 | /// This assumes that \p It is not at the end of a block. |
||
| 625 | BasicBlock::iterator skipDebugIntrinsics(BasicBlock::iterator It); |
||
| 626 | |||
| 627 | #ifdef NDEBUG |
||
| 628 | /// In release builds, this is a no-op. For !NDEBUG builds, the checks are |
||
| 629 | /// implemented in the .cpp file to avoid circular header deps. |
||
| 630 | inline void BasicBlock::validateInstrOrdering() const {} |
||
| 631 | #endif |
||
| 632 | |||
| 633 | } // end namespace llvm |
||
| 634 | |||
| 635 | #endif // LLVM_IR_BASICBLOCK_H |