#include "ByteCode.h"
#include "mlir/Analysis/Liveness.h"
#include "mlir/Dialect/PDL/IR/PDLTypes.h"
#include "mlir/Dialect/PDLInterp/IR/PDLInterp.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/RegionGraphTraits.h"
#include "llvm/ADT/IntervalMap.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/Format.h"
#include "llvm/Support/FormatVariadic.h"
#include <numeric>
#include <optional>

Macros
#define	DEBUG_TYPE "pdl-bytecode"

Functions
template<template< typename > class AttrSizedSegmentsT, typename RangeT >
static void *	executeGetOperandsResults (RangeT values, Operation *op, unsigned index, ByteCodeField rangeIndex, StringRef attrSizedSegments, MutableArrayRef< ValueRange > valueRangeMemory)
	This function is the internal implementation of `GetResults` and `GetOperands` that provides support for extracting a value range from the given operation. More...

Variables
static constexpr ByteCodeField	kInferTypesMarker
	A marker used to indicate if an operation should infer types. More...

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "pdl-bytecode"

Definition at line 28 of file ByteCode.cpp.

Function Documentation

◆ executeGetOperandsResults()

template<template< typename > class AttrSizedSegmentsT, typename RangeT >

static void* executeGetOperandsResults	(	RangeT	values,
		Operation *	op,
		unsigned	index,
		ByteCodeField	rangeIndex,
		StringRef	attrSizedSegments,
		MutableArrayRef< ValueRange >	valueRangeMemory
	)

static

This function is the internal implementation of GetResults and GetOperands that provides support for extracting a value range from the given operation.

Definition at line 1799 of file ByteCode.cpp.

Variable Documentation

◆ kInferTypesMarker

constexpr ByteCodeField kInferTypesMarker

staticconstexpr

Initial value:

=

std::numeric_limits<ByteCodeField>::max()

max

static Value max(ImplicitLocOpBuilder &builder, Value value, Value bound)

Definition: PolynomialApproximation.cpp:201

A marker used to indicate if an operation should infer types.

Definition at line 173 of file ByteCode.cpp.

Macros