[mlir][transform] Printing `transform.param<i64>` crashes verifier

[kuhar]

Repro: add the following line:

    transform.print %kinds#0 : !transform.param<i64>

to @match_matmul in mlir/test/Integration/Dialect/Transform/match_matmul.mlir

Stack trace:

iree-compile: /home/jkudersk/iree/iree/third_party/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From &) [To = mlir::detail::TypedValue<mlir::transform::Transfor
mHandleTypeInterface>, From = mlir::Value]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.                                                                              
Please report issues to https://github.com/openxla/iree/issues and include the crash backtrace.                                                                                                          
 #0 0x00007fdab7eaaa27 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/jkudersk/iree/iree/third_party/llvm-project/llvm/lib/Support/Unix/Signals.inc:723:13                                    
 #1 0x00007fdab7ea8c50 llvm::sys::RunSignalHandlers() /home/jkudersk/iree/iree/third_party/llvm-project/llvm/lib/Support/Signals.cpp:106:18                                                              
 #2 0x00007fdab7eab0ea SignalHandler(int) /home/jkudersk/iree/iree/third_party/llvm-project/llvm/lib/Support/Unix/Signals.inc:413:1                                                                      
 #3 0x00007fdab1996520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)                                                                                                                                         
 #4 0x00007fdab19ea9fc __pthread_kill_implementation ./nptl/./nptl/pthread_kill.c:44:76                                                                                                                  
 #5 0x00007fdab19ea9fc __pthread_kill_internal ./nptl/./nptl/pthread_kill.c:78:10                                                                                                                        
 #6 0x00007fdab19ea9fc pthread_kill ./nptl/./nptl/pthread_kill.c:89:10                                                                                                                                   
 #7 0x00007fdab1996476 gsignal ./signal/../sysdeps/posix/raise.c:27:6                                                                                                                                    
 #8 0x00007fdab197c7f3 abort ./stdlib/./stdlib/abort.c:81:7                                                                                                                                              
 #9 0x00007fdab197c71b _nl_load_domain ./intl/./intl/loadmsgcat.c:1177:9                                                                                                                                 
#10 0x00007fdab198de96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)                                                                                                                                         
#11 0x00007fdabab84234 (/home/jkudersk/iree/build/relass/lib/libIREECompiler.so+0x8dbb234)                                                                                                               
#12 0x00007fdabab18ac5 mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Model<mlir::transform::PrintOp>::getEffects(mlir::detail::MemoryEffectOpInterfaceInterfaceTraits::Concept const*, mlir::Oper
ation*, llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect> >&) /home/jkudersk/iree/build/relass/llvm-project/tools/mlir/include/mlir/Interfaces/SideEffectInterfaces.h.
inc:194:3                                                                                                                                                                                                
#13 0x00007fdabab2e65b llvm::SmallVectorBase<unsigned int>::size() const /home/jkudersk/iree/iree/third_party/llvm-project/llvm/include/llvm/ADT/SmallVector.h:91:32                                     
#14 0x00007fdabab2e65b llvm::SmallVectorTemplateCommon<mlir::SideEffects::EffectInstance<mlir::MemoryEffects::Effect>, void>::end() /home/jkudersk/iree/iree/third_party/llvm-project/llvm/include/llvm/A
DT/SmallVector.h:282:37                                                                                                                                                                                  
#15 0x00007fdabab2e65b mlir::transform::getConsumedBlockArguments(mlir::Block&, llvm::SmallDenseSet<unsigned int, 4u, llvm::DenseMapInfo<unsigned int, void> >&) /home/jkudersk/iree/iree/third_party/llv
m-project/mlir/lib/Dialect/Transform/IR/TransformInterfaces.cpp:1877:54                                                                                                                                  
#16 0x00007fdabab77f65 verifyFunctionLikeConsumeAnnotations(mlir::FunctionOpInterface, bool, bool) /home/jkudersk/iree/iree/third_party/llvm-project/mlir/lib/Dialect/Transform/IR/TransformOps.cpp:0:5  
#17 0x00007fdabab7d5e2 mlir::DiagnosedSilenceableFailure::succeeded() const /home/jkudersk/iree/iree/third_party/llvm-project/mlir/include/mlir/Dialect/Transform/Utils/DiagnosedSilenceableFailure.h:76:
30                                                                                                                                                                                                       
#18 0x00007fdabab7d5e2 verifyNamedSequenceOp(mlir::transform::NamedSequenceOp, bool) /home/jkudersk/iree/iree/third_party/llvm-project/mlir/lib/Dialect/Transform/IR/TransformOps.cpp:2086:13            
#19 0x00007fdabab63c30 mlir::transform::NamedSequenceOp::verify() /home/jkudersk/iree/iree/third_party/llvm-project/mlir/lib/Dialect/Transform/IR/TransformOps.cpp:2095:62   

[kuhar]

cc: @matthias-springer @ftynse

[kuhar]

The same happens with types:

    transform.print %lhs_type {name = "lhs_type"}: !transform.type

[HerrCai0907]

This is a repro:

module attributes { transform.with_named_sequence } {
  transform.named_sequence @match_matmul(%entry: !transform.any_op) -> () {
    %c3 = transform.param.constant 1 : i64 -> !transform.param<i64>
    // transform.print %entry : !transform.any_op
    transform.print %c3 : !transform.param<i64>
    transform.yield
  }
}

transform.print with a type will cause this issue.
The reason looks like without verifying PrintOp before calling transform::PrintOp::getEffects during verify.