This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 201 Lines • ▼ Show 20 Lines
	value-id ::= `%` suffix-id			value-id ::= `%` suffix-id
	alias-name :: = bare-id			alias-name :: = bare-id
	suffix-id ::= (digit+ \| ((letter\|id-punct) (letter\|id-punct\|digit)*))			suffix-id ::= (digit+ \| ((letter\|id-punct) (letter\|id-punct\|digit)*))

	symbol-ref-id ::= `@` (suffix-id \| string-literal) (`::` symbol-ref-id)?			symbol-ref-id ::= `@` (suffix-id \| string-literal) (`::` symbol-ref-id)?
	value-id-list ::= value-id (`,` value-id)*			value-id-list ::= value-id (`,` value-id)*

	// Uses of value, e.g. in an operand list to an operation.			// Uses of value, e.g. in an operand list to an operation.
	value-use ::= value-id			value-use ::= value-id (`#` decimal-literal)?
	value-use-list ::= value-use (`,` value-use)*			value-use-list ::= value-use (`,` value-use)*
	```			```

	Identifiers name entities such as values, types and functions, and are chosen by			Identifiers name entities such as values, types and functions, and are chosen by
	the writer of MLIR code. Identifiers may be descriptive (e.g. `%batch_size`,			the writer of MLIR code. Identifiers may be descriptive (e.g. `%batch_size`,
	`@matmul`), or may be non-descriptive when they are auto-generated (e.g. `%23`,			`@matmul`), or may be non-descriptive when they are auto-generated (e.g. `%23`,
	`@func42`). Identifier names for values may be used in an MLIR text file but are			`@func42`). Identifier names for values may be used in an MLIR text file but are
	not persisted as part of the IR - the printer will give them anonymous names			not persisted as part of the IR - the printer will give them anonymous names
	▲ Show 20 Lines • Show All 70 Lines • ▼ Show 20 Lines
	```			```
	operation ::= op-result-list? (generic-operation \| custom-operation)			operation ::= op-result-list? (generic-operation \| custom-operation)
	trailing-location?			trailing-location?
	generic-operation ::= string-literal `(` value-use-list? `)` successor-list?			generic-operation ::= string-literal `(` value-use-list? `)` successor-list?
	dictionary-properties? region-list? dictionary-attribute?			dictionary-properties? region-list? dictionary-attribute?
	`:` function-type			`:` function-type
	custom-operation ::= bare-id custom-operation-format			custom-operation ::= bare-id custom-operation-format
	op-result-list ::= op-result (`,` op-result)* `=`			op-result-list ::= op-result (`,` op-result)* `=`
	op-result ::= value-id (`:` integer-literal)			op-result ::= value-id (`:` integer-literal)?
	successor-list ::= `[` successor (`,` successor)* `]`			successor-list ::= `[` successor (`,` successor)* `]`
	successor ::= caret-id (`:` block-arg-list)?			successor ::= caret-id (`:` block-arg-list)?
	dictionary-propertes ::= `<` dictionary-attribute `>`			dictionary-propertes ::= `<` dictionary-attribute `>`
	region-list ::= `(` region (`,` region)* `)`			region-list ::= `(` region (`,` region)* `)`
	dictionary-attribute ::= `{` (attribute-entry (`,` attribute-entry)*)? `}`			dictionary-attribute ::= `{` (attribute-entry (`,` attribute-entry)*)? `}`
	trailing-location ::= (`loc` `(` location `)`)?			trailing-location ::= `loc` `(` location `)`
	```			```

	MLIR introduces a uniform concept called operations to enable describing many			MLIR introduces a uniform concept called operations to enable describing many
	different levels of abstractions and computations. Operations in MLIR are fully			different levels of abstractions and computations. Operations in MLIR are fully
	extensible (there is no fixed list of operations) and have application-specific			extensible (there is no fixed list of operations) and have application-specific
	semantics. For example, MLIR supports			semantics. For example, MLIR supports
	[target-independent operations](Dialects/MemRef.md),			[target-independent operations](Dialects/MemRef.md),
	[affine operations](Dialects/Affine.md), and			[affine operations](Dialects/Affine.md), and
	▲ Show 20 Lines • Show All 571 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

issue#62488: Correct some syntax errors. Leave location and custom-operation-format unchanged, because I'm not sure.ClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 519336

mlir/docs/LangRef.md

issue#62488: Correct some syntax errors. Leave location and custom-operation-format unchanged, because I'm not sure.
ClosedPublic