This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 95 Lines • ▼ Show 20 Lines
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	// YieldOp			// YieldOp
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	static LogicalResult verify(YieldOp op) {			static LogicalResult verify(YieldOp op) {
	// Get the underlying value types from async values returned from the			// Get the underlying value types from async values returned from the
	// parent `async.execute` operation.			// parent `async.execute` operation.
	auto executeOp = op.getParentOfType<ExecuteOp>();			auto executeOp = op.getParentOfType<ExecuteOp>();

				if (executeOp.results().size() != op.getNumOperands())
				return op.emitOpError("number of operands does not match the number of"
				"values returned from the parent ExecuteOp");

	auto types = llvm::map_range(executeOp.results(), [](const OpResult &result) {			auto types = llvm::map_range(executeOp.results(), [](const OpResult &result) {
	return result.getType().cast<ValueType>().getValueType();			return result.getType().cast<ValueType>().getValueType();
	});			});

	if (!std::equal(types.begin(), types.end(), op.getOperandTypes().begin()))			if (!std::equal(types.begin(), types.end(), op.getOperandTypes().begin()))
				rriddleUnsubmitted Not Done Reply Inline Actions Could you just do: `op.getOperandTypes() == types` here instead? rriddle: Could you just do: `op.getOperandTypes() == types` here instead?
				rriddleUnsubmitted Not Done Reply Inline Actions Meant `!=` here. rriddle: * Meant `!=` here.
				csiggAuthorUnsubmitted Done Reply Inline Actions Indeed. Thanks for the suggestion. csigg: Indeed. Thanks for the suggestion.
	return op.emitOpError("Operand types do not match the types returned from "			return op.emitOpError("operand types do not match the types returned from "
	"the parent ExecuteOp");			"the parent ExecuteOp");

	return success();			return success();
	}			}

	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	/// ExecuteOp			/// ExecuteOp
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	▲ Show 20 Lines • Show All 186 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[mlir] Catch async.yield operands not matching the number of async.execute results.ClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 300913

mlir/lib/Dialect/Async/IR/Async.cpp

[mlir] Catch async.yield operands not matching the number of async.execute results.
ClosedPublic