This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 45 Lines • ▼ Show 20 Lines
	SPIR-V Dialect \| LLVM Dialect			SPIR-V Dialect \| LLVM Dialect
	:-------------------------------------------: \| :-------------------------:			:-------------------------------------------: \| :-------------------------:
	`!spv.ptr< <element-type>, <storage-class> >` \| `!llvm.ptr<<element-type>>`			`!spv.ptr< <element-type>, <storage-class> >` \| `!llvm.ptr<<element-type>>`

	### Array types			### Array types

	SPIR-V distinguishes between array type and run-time array type, the length of			SPIR-V distinguishes between array type and run-time array type, the length of
	which is not known at compile time. In LLVM, it is possible to index beyond the			which is not known at compile time. In LLVM, it is possible to index beyond the
	end of the array. Therfore, runtime array can be implemented as a zero length			end of the array. Therefore, runtime array can be implemented as a zero length
	array type.			array type.

	Moreover, SPIR-V supports the notion of array stride. Currently only natural			Moreover, SPIR-V supports the notion of array stride. Currently only natural
	strides (based on [`VulkanLayoutUtils`](VulkanLayoutUtils)) are supported. They			strides (based on [`VulkanLayoutUtils`](VulkanLayoutUtils)) are supported. They
	are also mapped to LLVM array.			are also mapped to LLVM array.

	SPIR-V Dialect \| LLVM Dialect			SPIR-V Dialect \| LLVM Dialect
	:-----------------------------------: \| :-----------------------------------:			:-----------------------------------: \| :-----------------------------------:
	▲ Show 20 Lines • Show All 549 Lines • ▼ Show 20 Lines
	* spv.SubgroupBallotKHR			* spv.SubgroupBallotKHR
	* spv.Unreachable			* spv.Unreachable

	## Control flow conversion			## Control flow conversion

	### Branch ops			### Branch ops

	`spv.Branch` and `spv.BranchConditional` are mapped to `llvm.br` and			`spv.Branch` and `spv.BranchConditional` are mapped to `llvm.br` and
	`llvm.cond_br`. Branch weigths for `spv.BranchConditional` are mapped to			`llvm.cond_br`. Branch weights for `spv.BranchConditional` are mapped to
	corresponding `branch_weights` attribute of `llvm.cond_br`. When translated to			corresponding `branch_weights` attribute of `llvm.cond_br`. When translated to
	proper LLVM, `branch_weights` are converted into LLVM metadata associated with			proper LLVM, `branch_weights` are converted into LLVM metadata associated with
	the conditional branch.			the conditional branch.

	### `spv.FunctionCall`			### `spv.FunctionCall`

	`spv.FunctionCall` maps to `llvm.call`. For example:			`spv.FunctionCall` maps to `llvm.call`. For example:

	▲ Show 20 Lines • Show All 158 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[MLIR][docs] Fix typosClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 293986

mlir/docs/SPIRVToLLVMDialectConversion.md

[MLIR][docs] Fix typos
ClosedPublic