A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://clang.llvm.org/doxygen/classclang_1_1threadSafety_1_1til_1_1BasicBlock.html below:

clang: clang::threadSafety::til::BasicBlock Class Reference

A basic block is part of an SCFG. More...

#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"

  BasicBlock (MemRegionRef A)     BasicBlock (BasicBlock &B, MemRegionRef A, InstrArray &&As, InstrArray &&Is, Terminator *T)   int  blockID () const   Returns the block ID. Every block has a unique ID in the CFG.
  size_t  numPredecessors () const   Returns the number of predecessors.
  size_t  numSuccessors () const   const SCFG *  cfg () const   SCFG *  cfg ()   const BasicBlock *  parent () const   BasicBlock *  parent ()   const InstrArray &  arguments () const   InstrArray &  arguments ()   InstrArray &  instructions ()   const InstrArray &  instructions () const   BlockArray &  predecessors ()   Returns a list of predecessors.
  const BlockArray &  predecessors () const   ArrayRef< BasicBlock * >  successors ()   ArrayRef< BasicBlock * >  successors () const   const Terminator *  terminator () const   Terminator *  terminator ()   void  setTerminator (Terminator *E)   bool  Dominates (const BasicBlock &Other)   bool  PostDominates (const BasicBlock &Other)   void  addArgument (Phi *V)   Add a new argument.
  void  addInstruction (SExpr *V)   Add a new instruction.
  unsigned  addPredecessor (BasicBlock *Pred)   void  reserveArguments (unsigned Nargs)   void  reserveInstructions (unsigned Nins)   void  reservePredecessors (unsigned NumPreds)   unsigned  findPredecessorIndex (const BasicBlock *BB) const   Return the index of BB, or Predecessors.size if BB is not a predecessor.
  template<class V > V::R_BasicBlock  traverse (V &Vs, typename V::R_Ctx Ctx)   template<class C > C::CType  compare (const BasicBlock *E, C &Cmp) const     SExpr ()=delete   TIL_Opcode  opcode () const   void *  operator new (size_t S, MemRegionRef &R)   void *  operator new (size_t)=delete   SExpr objects must be created in an arena.
  void  operator delete (void *)=delete   SExpr objects cannot be deleted.
  unsigned  id () const   Returns the instruction ID for this expression.
  BasicBlock *  block () const   Returns the block, if this is an instruction in a basic block, otherwise returns null.
  void  setID (BasicBlock *B, unsigned id)   Set the basic block and instruction ID for this expression.
 

A basic block is part of an SCFG.

It can be treated as a function in continuation passing style. A block consists of a sequence of phi nodes, which are "arguments" to the function, followed by a sequence of instructions. It ends with a Terminator, which is a Branch or Goto to another basic block in the same SCFG.

Definition at line 1504 of file ThreadSafetyTIL.h.

◆ BlockArray ◆ InstrArray ◆ BasicBlock() [1/2] ◆ BasicBlock() [2/2] ◆ addArgument() void clang::threadSafety::til::BasicBlock::addArgument ( Phi *  V ) inline ◆ addInstruction() void clang::threadSafety::til::BasicBlock::addInstruction ( SExpr *  V ) inline ◆ addPredecessor() ◆ arguments() [1/2] ◆ arguments() [2/2] ◆ blockID() int clang::threadSafety::til::BasicBlock::blockID ( ) const inline ◆ cfg() [1/2] ◆ cfg() [2/2] ◆ classof() static bool clang::threadSafety::til::BasicBlock::classof ( const SExpr *  E ) inlinestatic ◆ compare() C::CType clang::threadSafety::til::BasicBlock::compare ( const BasicBlock *  E, C &  Cmp  ) const inline ◆ Dominates() bool clang::threadSafety::til::BasicBlock::Dominates ( const BasicBlock &  Other ) inline ◆ findPredecessorIndex() unsigned clang::threadSafety::til::BasicBlock::findPredecessorIndex ( const BasicBlock *  BB ) const inline ◆ instructions() [1/2] ◆ instructions() [2/2] ◆ numPredecessors() size_t clang::threadSafety::til::BasicBlock::numPredecessors ( ) const inline ◆ numSuccessors() size_t clang::threadSafety::til::BasicBlock::numSuccessors ( ) const inline ◆ parent() [1/2] BasicBlock * clang::threadSafety::til::BasicBlock::parent ( ) inline ◆ parent() [2/2] const BasicBlock * clang::threadSafety::til::BasicBlock::parent ( ) const inline ◆ PostDominates() bool clang::threadSafety::til::BasicBlock::PostDominates ( const BasicBlock &  Other ) inline ◆ predecessors() [1/2] BlockArray & clang::threadSafety::til::BasicBlock::predecessors ( ) inline

Returns a list of predecessors.

The order of predecessors in the list is important; each phi node has exactly one argument for each precessor, in the same order.

Definition at line 1566 of file ThreadSafetyTIL.h.

◆ predecessors() [2/2] ◆ reserveArguments() void clang::threadSafety::til::BasicBlock::reserveArguments ( unsigned  Nargs ) inline ◆ reserveInstructions() void clang::threadSafety::til::BasicBlock::reserveInstructions ( unsigned  Nins ) inline ◆ reservePredecessors() void BasicBlock::reservePredecessors ( unsigned  NumPreds ) ◆ setTerminator() void clang::threadSafety::til::BasicBlock::setTerminator ( Terminator *  E ) inline ◆ successors() [1/2] ◆ successors() [2/2] ◆ terminator() [1/2] ◆ terminator() [2/2] ◆ traverse() V::R_BasicBlock clang::threadSafety::til::BasicBlock::traverse ( V &  Vs, typename V::R_Ctx  Ctx  ) inline ◆ SCFG

The documentation for this class was generated from the following files:

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4