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 further reduces in between them according
	to the tree traversal strategy. The different strategies may lead to different			to the tree traversal strategy. The different strategies may lead to different
	result and different time complexity. You can run as			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.
				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: 👍

	### 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 `mlir-reduce` which identifies
				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,			cases you're interested in. For each intermediate output generated during
	`mlir-reduce` will run the command over the it, the script should returns 1 for			reduction, `mlir-reduce` will run the command over the it, the script should
	interesting case, 0 otherwise. The sample script,			returns 1 for 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
	exit 0			exit 0
	fi			fi
	▲ Show 20 Lines • Show All 84 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 357394

mlir/docs/Tools/mlir-reduce.md

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