maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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

Reviewed By: ezhulenev

Differential Revision: https://reviews.llvm.org/D90211
This commit is contained in:
Christian Sigg 2020-10-27 09:45:55 +01:00
parent 0be27302d4
commit 8c176b6029
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
mlir/lib/Dialect/Async/IR/Async.cpp
View File

@ -105,8 +105,8 @@ static LogicalResult verify(YieldOp op) {
return result.getType().cast<ValueType>().getValueType();
});
if (!std::equal(types.begin(), types.end(), op.getOperandTypes().begin()))
return op.emitOpError("Operand types do not match the types returned from "
if (op.getOperandTypes() != types)
return op.emitOpError("operand types do not match the types returned from "
"the parent ExecuteOp");
return success();
@ -238,12 +238,7 @@ static LogicalResult verify(ExecuteOp op) {
});
// Verify that unwrapped argument types matches the body region arguments.
if (llvm::size(unwrappedTypes) != llvm::size(op.body().getArgumentTypes()))
return op.emitOpError("the number of async body region arguments does not "
"match the number of execute operation arguments");
if (!std::equal(unwrappedTypes.begin(), unwrappedTypes.end(),
op.body().getArgumentTypes().begin()))
if (op.body().getArgumentTypes() != unwrappedTypes)
return op.emitOpError("async body region argument types do not match the "
"execute operation arguments types");