StructSpecializationDiscovery.cpp File Reference

#include "StructSpecializationDiscovery.h"
#include "ConstraintScalarFacts.h"
#include "DiscoveryStorage.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Felt/IR/Ops.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include "llzk/Dialect/POD/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/Util/StaticLoop.h"
#include "llzk/Util/DynamicAPIntHelper.h"
#include "llzk/Util/TypeHelper.h"
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/IR/AttrTypeSubElements.h>
#include <mlir/IR/SymbolTable.h>
#include <mlir/Interfaces/SideEffectInterfaces.h>
#include <llvm/ADT/DenseSet.h>
#include <llvm/ADT/TypeSwitch.h>
#include <limits>
#include <optional>
#include <tuple>

Include dependency graph for StructSpecializationDiscovery.cpp:

Go to the source code of this file.