Pattern Language, Matcher, Rewriter, and Function Paritioner#5231

Merged

tqchen merged 46 commits intoapache:masterfrom

mbrookhart:mbrookhart/pattern_matcher

May 15, 2020

Commits on May 13, 2020

Add initial pattern ast scaffolding

jroesch
authored and
Matthew Brookhart
committed
Add pattern node test case

jroesch
authored and
Matthew Brookhart
committed
Pattern Language
Matthew Brookhart
committed
Pattern Matcher

mbrookhart
authored and
Matthew Brookhart
committed
Pattern Rewriter

mbrookhart
authored and
Matthew Brookhart
committed
add batchnorm tests, commutivity extensions, realize I need to break the diamond for more complicated graphs

mbrookhart
authored and
Matthew Brookhart
committed
use watermark-based memoization resets to fix diamond matching

mbrookhart
authored and
Matthew Brookhart
committed
rough dominator matcher
Matthew Brookhart
committed
move dataflow functor/visitor/mutator to separate file
Matthew Brookhart
committed
code complete forward graph creation

mbrookhart
authored and
Matthew Brookhart
committed
compiling dominator tree

mbrookhart
authored and
Matthew Brookhart
committed
partial dominator

mbrookhart
authored and
Matthew Brookhart
committed
functioning dominator matcher?
Matthew Brookhart
committed
clean up associative/commutative matching
Matthew Brookhart
committed
add algebraic simplifier
Matthew Brookhart
committed
add more tests

mbrookhart
authored and
Matthew Brookhart
committed
document python API

mbrookhart
authored and
Matthew Brookhart
committed
remove the unused dataflow mutator

mbrookhart
authored and
Matthew Brookhart
committed
comment dataflow functor, fix lint

mbrookhart
authored and
Matthew Brookhart
committed
add rfc as doc

mbrookhart
authored and
Matthew Brookhart
committed
fix some edge cases with the dominator pattern
Matthew Brookhart
committed
respond to PR comments
Matthew Brookhart
committed
more reviewer comments. Thanks masahi!

mbrookhart
authored and
Matthew Brookhart
committed
Refactor Dominator Matching

mbrookhart
authored and
Matthew Brookhart
committed
Extend Memoization
Matthew Brookhart
committed
Fold DominatorMatcher back into DFPatternMatcher
Matthew Brookhart
committed
move InferType Function
Matthew Brookhart
committed
respond to review comments

mbrookhart
authored and
Matthew Brookhart
committed
Clean up rewriter API

mbrookhart
authored and
Matthew Brookhart
committed
fix review comment

mbrookhart
authored and
Matthew Brookhart
committed
initial partitioner

mbrookhart
authored and
Matthew Brookhart
committed
refactor rewriter to handle back to back dominator patterns

mbrookhart
authored and
Matthew Brookhart
committed
respond to review comments

mbrookhart
authored and
Matthew Brookhart
committed
respond to review comments

mbrookhart
authored and
Matthew Brookhart
committed
Respond to Tianqi's Comments
Matthew Brookhart
committed
fix lint
Matthew Brookhart
committed
refactor to respond to zhiic's comments
Matthew Brookhart
committed
refactor callback node
Matthew Brookhart
committed
respond to review comments
Matthew Brookhart
committed
upgrade from clang-format-6 to clang-format-10
Matthew Brookhart
committed
fix text headers
Matthew Brookhart
committed
Revert "move InferType Function"
Matthew Brookhart
committed
add optional syntactic sugar
Matthew Brookhart
committed
fix a comment
Matthew Brookhart
committed
fix comment typos
Matthew Brookhart
committed

Commits on May 14, 2020

respond to @masahi's comments
Matthew Brookhart
committed