llvm/llvm/lib/Analysis/ConstraintSystem.cpp

//===- ConstraintSytem.cpp - A system of linear constraints. ----*- 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
//
//===----------------------------------------------------------------------===//

#include "llvm/Analysis/ConstraintSystem.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/IR/Value.h"
#include "llvm/Support/Debug.h"

#include <string>

usingnamespacellvm;

#define DEBUG_TYPE …

bool ConstraintSystem::eliminateUsingFM() { … }

bool ConstraintSystem::mayHaveSolutionImpl() { … }

SmallVector<std::string> ConstraintSystem::getVarNamesList() const { … }

void ConstraintSystem::dump() const { … }

bool ConstraintSystem::mayHaveSolution() { … }

bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const { … }