Alex Zinenko df969f66ef [mlir] fixes to transform::SequenceOp ...

Harden the verifier to check that the block argument type matches the
operand type, when present. This was overlooked when transform dialect
types were introduced.

Fix the builders to preserve the insertion point before creating the
block, otherwise the insertion point is updated to be within the block
by `createBlock` and never reset to be after the sequence op itself,
leading all following operations to be created in the unexpected to
the caller place.

Reviewed By: chelini, springerm

Differential Revision: https://reviews.llvm.org/D139427

2022-12-12 10:20:38 +01:00

..

IR

[mlir] fixes to transform::SequenceOp

2022-12-12 10:20:38 +01:00

Transforms

…

CMakeLists.txt

…