This is an archive of the discontinued LLVM Phabricator instance.

	Show All 14 Lines
	use it, the first thing you need to do is, provide a command which tells if an			use it, the first thing you need to do is, provide a command which tells if an
	input is interesting, e.g., exhibits the characteristics that you would like to			input is interesting, e.g., exhibits the characteristics that you would like to
	focus on. For example, you may want to see if `mlir-opt` invocation fails after			focus on. For example, you may want to see if `mlir-opt` invocation fails after
	it runs on the certain MLIR input. Afterwards, select your reduction strategy			it runs on the certain MLIR input. Afterwards, select your reduction strategy
	then `mlir-reduce` will do the remining works for you.			then `mlir-reduce` will do the remining works for you.

	## How to Use it			## How to Use it

	`mlir-reduce` adopts reduction-tree algorithm to reduce the input. it generates			`mlir-reduce` adopts the reduction-tree algorithm to reduce the input. It
	several reduced outputs and do the further reduction in between them according			generates several reduced outputs and does the further reduction in between them
				jpienaarUnsubmitted Done Reply Inline Actions s/does the further reduction in/further reduces/ ? jpienaar: s/does the further reduction in/further reduces/ ?
				FlashSheridanUnsubmitted Not Done Reply Inline Actions 👍 FlashSheridan: 👍
	to the tree traversal strategy. The different strategies may lead to different			according to the tree traversal strategy. The different strategies may lead to
	result and different time complexity. You can run as			different results and different time complexity. You can run as
	`-reduction-tree='traversal-mode=0'` to select the mode for example.			`-reduction-tree='traversal-mode=0'` to select the mode for example.

	### Write the script for testing interesting			### Write the script for testing interestingness

	As mentioned, you need to provide a command to specify `mlir-reduce` which case			As mentioned, you need to provide a command to specify `mlir-reduce` which case
				jpienaarUnsubmitted Done Reply Inline Actions provide a command to `mlir-reduce` which identifies cases you are interested in. ? jpienaar: provide a command to `mlir-reduce` which identifies cases you are interested in. ?
				FlashSheridanUnsubmitted Not Done Reply Inline Actions 👍 FlashSheridan: 👍
	you're interesting. For each intermediate output generated during reduction,			you're interested in. For each intermediate output generated during reduction,
	`mlir-reduce` will run the command over the it, the script should returns 1 for			`mlir-reduce` will run the command over the it, the script should returns 1 for
	interesting case, 0 otherwise. The sample script,			interesting case, 0 otherwise. The sample script,

	```shell			```shell
	mlir-opt -convert-vector-to-spirv $1 \| grep "failed to materialize"			mlir-opt -convert-vector-to-spirv $1 \| grep "failed to materialize"
	if [[ $? -eq 1 ]]; then			if [[ $? -eq 1 ]]; then
	exit 1			exit 1
	else			else
	▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[mlir-reduce] Fix the grammer in the docClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 357197

mlir/docs/Tools/mlir-reduce.md

[mlir-reduce] Fix the grammer in the doc
ClosedPublic