ConstraintScalarFacts.h File Reference

#include "ScalarEvaluation.h"
#include <mlir/IR/Matchers.h>
#include <mlir/Interfaces/SideEffectInterfaces.h>
#include <llvm/ADT/DenseMap.h>
#include <llvm/ADT/DenseSet.h>

Include dependency graph for ConstraintScalarFacts.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::polymorphic::detail::ConstraintScalarFacts
	Evaluate scalar dependencies of structural decisions, assertions, and constant arithmetic. More...

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::detail
	Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp.

Functions
bool	llzk::polymorphic::detail::isInvariantTrueCondition (mlir::Value condition)
	Prove a Boolean condition true without any loop-carried bindings.