This is an archive of the discontinued LLVM Phabricator instance.

	Show All 9 Lines
	// subdialects.			// subdialects.
	//			//
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	#ifndef LLVMIR_OP_BASE			#ifndef LLVMIR_OP_BASE
	#define LLVMIR_OP_BASE			#define LLVMIR_OP_BASE

	include "mlir/IR/OpBase.td"			include "mlir/IR/OpBase.td"
				include "mlir/Interfaces/SideEffectInterfaces.td"

	def LLVM_Dialect : Dialect {			def LLVM_Dialect : Dialect {
	let name = "llvm";			let name = "llvm";
	let cppNamespace = "LLVM";			let cppNamespace = "LLVM";

	/// FIXME: at the moment this is a dependency of the translation to LLVM IR,			/// FIXME: at the moment this is a dependency of the translation to LLVM IR,
	/// not really one of this dialect per-se.			/// not really one of this dialect per-se.
	let dependentDialects = ["omp::OpenMPDialect"];			let dependentDialects = ["omp::OpenMPDialect"];
	▲ Show 20 Lines • Show All 181 Lines • ▼ Show 20 Lines
	// empty otherwise.			// empty otherwise.
	class LLVM_OneResultIntrOp<string mnem, list<int> overloadedResults = [],			class LLVM_OneResultIntrOp<string mnem, list<int> overloadedResults = [],
	list<int> overloadedOperands = [],			list<int> overloadedOperands = [],
	list<OpTrait> traits = []>			list<OpTrait> traits = []>
	: LLVM_IntrOp<mnem, overloadedResults, overloadedOperands, traits, 1>;			: LLVM_IntrOp<mnem, overloadedResults, overloadedOperands, traits, 1>;

	// LLVM vector reduction over a single vector.			// LLVM vector reduction over a single vector.
	class LLVM_VectorReduction<string mnem>			class LLVM_VectorReduction<string mnem>
	: LLVM_OneResultIntrOp<"experimental.vector.reduce." # mnem, [], [0], []>,			: LLVM_OneResultIntrOp<"experimental.vector.reduce." # mnem,
				[], [0], [NoSideEffect]>,
	Arguments<(ins LLVM_Type)>;			Arguments<(ins LLVM_Type)>;

	// LLVM vector reduction over a single vector, with an initial value,			// LLVM vector reduction over a single vector, with an initial value,
	// and with permission to reassociate the reduction operations.			// and with permission to reassociate the reduction operations.
	class LLVM_VectorReductionV2<string mnem>			class LLVM_VectorReductionV2<string mnem>
	: LLVM_OpBase<LLVM_Dialect, "intr.experimental.vector.reduce.v2." # mnem, []>,			: LLVM_OpBase<LLVM_Dialect, "intr.experimental.vector.reduce.v2." # mnem,
				[NoSideEffect]>,
	Results<(outs LLVM_Type:$res)>,			Results<(outs LLVM_Type:$res)>,
	Arguments<(ins LLVM_Type, LLVM_Type,			Arguments<(ins LLVM_Type, LLVM_Type,
	DefaultValuedAttr<BoolAttr, "false">:$reassoc)> {			DefaultValuedAttr<BoolAttr, "false">:$reassoc)> {
	let llvmBuilder = [{			let llvmBuilder = [{
	llvm::Module *module = builder.GetInsertBlock()->getModule();			llvm::Module *module = builder.GetInsertBlock()->getModule();
	llvm::Function *fn = llvm::Intrinsic::getDeclaration(			llvm::Function *fn = llvm::Intrinsic::getDeclaration(
	module,			module,
	llvm::Intrinsic::experimental_vector_reduce_v2_}] # mnem # [{,			llvm::Intrinsic::experimental_vector_reduce_v2_}] # mnem # [{,
	Show All 15 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[mlir] [LLVMIR] Mark reductions as side-effect freeClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 287762

mlir/include/mlir/Dialect/LLVMIR/LLVMOpBase.td

[mlir] [LLVMIR] Mark reductions as side-effect free
ClosedPublic