LLVM  14.0.0git
Public Member Functions | Static Public Member Functions | List of all members
llvm::ConstraintSystem Class Reference

#include "llvm/Analysis/ConstraintSystem.h"

Public Member Functions

bool addVariableRow (const SmallVector< int64_t, 8 > &R)
 
bool addVariableRowFill (const SmallVector< int64_t, 8 > &R)
 
bool mayHaveSolution ()
 Returns true if there may be a solution for the constraints in the system. More...
 
bool isConditionImplied (SmallVector< int64_t, 8 > R)
 
void popLastConstraint ()
 
unsigned size () const
 Returns the number of rows in the constraint system. More...
 
void dump (ArrayRef< std::string > Names) const
 Print the constraints in the system, using Names as variable names. More...
 

Static Public Member Functions

static SmallVector< int64_t, 8 > negate (SmallVector< int64_t, 8 > R)
 

Detailed Description

Definition at line 21 of file ConstraintSystem.h.

Member Function Documentation

◆ addVariableRow()

bool llvm::ConstraintSystem::addVariableRow ( const SmallVector< int64_t, 8 > &  R)
inline

◆ addVariableRowFill()

bool llvm::ConstraintSystem::addVariableRowFill ( const SmallVector< int64_t, 8 > &  R)
inline

Definition at line 56 of file ConstraintSystem.h.

References addVariableRow().

Referenced by dumpWithNames(), and eliminateConstraints().

◆ dump()

void ConstraintSystem::dump ( ArrayRef< std::string >  Names) const

Print the constraints in the system, using Names as variable names.

Definition at line 110 of file ConstraintSystem.cpp.

References assert(), llvm::dbgs(), I, LLVM_DEBUG, S, and llvm::to_string().

◆ isConditionImplied()

bool ConstraintSystem::isConditionImplied ( SmallVector< int64_t, 8 >  R)

Definition at line 145 of file ConstraintSystem.cpp.

References llvm::all_of(), llvm::makeArrayRef(), and negate().

Referenced by eliminateConstraints().

◆ mayHaveSolution()

bool ConstraintSystem::mayHaveSolution ( )

Returns true if there may be a solution for the constraints in the system.

Definition at line 138 of file ConstraintSystem.cpp.

References llvm::dbgs(), and LLVM_DEBUG.

◆ negate()

static SmallVector<int64_t, 8> llvm::ConstraintSystem::negate ( SmallVector< int64_t, 8 >  R)
inlinestatic

Definition at line 67 of file ConstraintSystem.h.

Referenced by eliminateConstraints(), and isConditionImplied().

◆ popLastConstraint()

void llvm::ConstraintSystem::popLastConstraint ( )
inline

Definition at line 78 of file ConstraintSystem.h.

Referenced by eliminateConstraints().

◆ size()

unsigned llvm::ConstraintSystem::size ( ) const
inline

Returns the number of rows in the constraint system.

Definition at line 81 of file ConstraintSystem.h.

Referenced by eliminateConstraints().


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