This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 401 Lines • ▼ Show 20 Lines
	```tablegen			```tablegen
	class getNthAttr<int n> : NativeCodeCall<"$_self[" # n # "]">;			class getNthAttr<int n> : NativeCodeCall<"$_self[" # n # "]">;

	def : Pat<(OneAttrOp $attr),			def : Pat<(OneAttrOp $attr),
	(TwoAttrOp (getNthAttr<0>:$attr), (getNthAttr<1>:$attr)>;			(TwoAttrOp (getNthAttr<0>:$attr), (getNthAttr<1>:$attr)>;
	```			```

	In the above, `$_self` is substituted by the attribute bound by `$attr`, which			In the above, `$_self` is substituted by the attribute bound by `$attr`, which
	is `OnAttrOp`'s array attribute.			is `OneAttrOp`'s array attribute.

	Positional placeholders will be substituted by the `dag` object parameters at			Positional placeholders will be substituted by the `dag` object parameters at
	the `NativeCodeCall` use site. For example, if we define `SomeCall :			the `NativeCodeCall` use site. For example, if we define `SomeCall :
	NativeCodeCall<"someFn($1, $2, $0)">` and use it like `(SomeCall $in0, $in1,			NativeCodeCall<"someFn($1, $2, $0)">` and use it like `(SomeCall $in0, $in1,
	$in2)`, then this will be translated into C++ call `someFn($in1, $in2, $in0)`.			$in2)`, then this will be translated into C++ call `someFn($in1, $in2, $in0)`.

	##### Customizing entire op building			##### Customizing entire op building

	▲ Show 20 Lines • Show All 45 Lines • ▼ Show 20 Lines
	%dst = load %mem			%dst = load %mem
	```			```

	We cannot fit in with just one result pattern given `store` does not return a			We cannot fit in with just one result pattern given `store` does not return a
	value. Instead we can use multiple result patterns:			value. Instead we can use multiple result patterns:

	```tablegen			```tablegen
	def : Pattern<(AddIOp $lhs, $rhs),			def : Pattern<(AddIOp $lhs, $rhs),
	[(StoreOp (AllocOp:$mem (ShapeOp %lhs)), (AddIOp $lhs, $rhs)),			[(StoreOp (AllocOp:$mem (ShapeOp $lhs)), (AddIOp $lhs, $rhs)),
	(LoadOp $mem)];			(LoadOp $mem)];
	```			```

	In the above we use the first result pattern to generate the first four ops, and			In the above we use the first result pattern to generate the first four ops, and
	use the last pattern to generate the last op, which is used to replace the			use the last pattern to generate the last op, which is used to replace the
	matched op.			matched op.

	### Supporting multi-result ops			### Supporting multi-result ops
	▲ Show 20 Lines • Show All 209 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[mlir] Fix typos in DeclarativeRewrites.mdClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 253524

mlir/docs/DeclarativeRewrites.md

[mlir] Fix typos in DeclarativeRewrites.md
ClosedPublic