This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 570 Lines • ▼ Show 20 Lines

	```tablegen			```tablegen
	let hasRegionVerifier = 1;			let hasRegionVerifier = 1;
	```			```

	This will generate either `LogicalResult verify()` or			This will generate either `LogicalResult verify()` or
	`LogicalResult verifyRegions()` method declaration on the op class			`LogicalResult verifyRegions()` method declaration on the op class
	that can be defined with any additional verification constraints. These method			that can be defined with any additional verification constraints. These method
	will be invoked on its verification order.			will be invoked on its verification order. Note that you are not supposed to
				have both of them because no other verifiers will depend on the custom verifier,
				which means `hasVerifier` can always be merged into `hasRegionVerifier` if there
				are regions.

	#### Verification Ordering			#### Verification Ordering

	The verification of an operation involves several steps,			The verification of an operation involves several steps,

	1. StructuralOpTrait will be verified first, they can be run independently.			1. StructuralOpTrait will be verified first, they can be run independently.
	1. `verifyInvariants` which is constructed by ODS, it verifies the type,			1. `verifyInvariants` which is constructed by ODS, it verifies the type,
	attributes, .etc.			attributes, .etc.
	▲ Show 20 Lines • Show All 1,343 Lines • Show Last 20 Lines

[mlir] Update description of verification order.AbandonedPublic