This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 181 Lines • ▼ Show 20 Lines

	```tablegen			```tablegen
	// Reshape(Reshape(x)) = Reshape(x)			// Reshape(Reshape(x)) = Reshape(x)
	def ReshapeReshapeOptPattern : Pat<(ReshapeOp(ReshapeOp $arg)),			def ReshapeReshapeOptPattern : Pat<(ReshapeOp(ReshapeOp $arg)),
	(ReshapeOp $arg)>;			(ReshapeOp $arg)>;
	```			```

	The automatically generated C++ code corresponding to each of the DRR patterns			The automatically generated C++ code corresponding to each of the DRR patterns
	can be found under path/to/BUILD/projects/mlir/examples/toy/Ch3/ToyCombine.inc.			can be found under `path/to/BUILD/tools/mlir/examples/toy/Ch3/ToyCombine.inc`.

	DRR also provides a method for adding argument constraints when the			DRR also provides a method for adding argument constraints when the
	transformation is conditional on some properties of the arguments and results.			transformation is conditional on some properties of the arguments and results.
	An example is a transformation that eliminates reshapes when they are redundant,			An example is a transformation that eliminates reshapes when they are redundant,
	i.e. when the input and output shapes are identical.			i.e. when the input and output shapes are identical.

	```tablegen			```tablegen
	def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;			def TypesAreIdentical : Constraint<CPred<"$0.getType() == $1.getType()">>;
	▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

[mlir][toy][docs] Fix reference to generated ToyCombine.inc. NFCClosedPublic