[Mlir-commits] [mlir] [mlir] Add test for invalid entry block (PR #133167)

[Longsheng Mou]

CoTinker wrote:

The FunctionOpInterface implement the verifyBody and check the arguments number.
https://github.com/llvm/llvm-project/blob/dad86f5931453ff3d14ba5adb93855ee780298b2/mlir/include/mlir/Interfaces/FunctionInterfaces.td#L86-L99

The `spirv.func` op override the verifyBody funciton, but not check the arguments, causing this crash.
https://github.com/llvm/llvm-project/blob/dad86f5931453ff3d14ba5adb93855ee780298b2/mlir/lib/Dialect/SPIRV/IR/SPIRVOps.cpp#L1022

https://github.com/llvm/llvm-project/pull/133167