LowerBoolQuantifiersPass.cpp File Reference

This file implements the -llzk-lower-bool-quantifiers pass. More...

#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/Array/IR/Types.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Bool/IR/Utils.h"
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.h"
#include <mlir/Dialect/Arith/IR/Arith.h>
#include <mlir/Dialect/SCF/IR/SCF.h>
#include <mlir/IR/IRMapping.h>
#include <mlir/Transforms/GreedyPatternRewriteDriver.h>
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.h.inc"

Include dependency graph for LowerBoolQuantifiersPass.cpp:

Go to the source code of this file.

Classes
class	llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >

Namespaces
namespace	llzk
namespace	llzk::boolean
namespace	llzk::boolean::impl

Macros
#define	GEN_PASS_DEF_LOWERBOOLQUANTIFIERSPASS

Functions
std::unique_ptr<::mlir::Pass >	llzk::boolean::impl::createLowerBoolQuantifiersPass ()
std::unique_ptr<::mlir::Pass >	llzk::boolean::createLowerBoolQuantifiersPass ()

Detailed Description

This file implements the -llzk-lower-bool-quantifiers pass.

Definition in file LowerBoolQuantifiersPass.cpp.

Macro Definition Documentation

GEN_PASS_DEF_LOWERBOOLQUANTIFIERSPASS

#define GEN_PASS_DEF_LOWERBOOLQUANTIFIERSPASS

Definition at line 28 of file LowerBoolQuantifiersPass.cpp.