Alex Zinenko c1f719d1a7 [mlir] harden result type verification in llvm.call ... The verifier of the llvm.call operation was not checking for mismatches between the number of operation results and the number of results in the signature of the callee. Furthermore, it was possible to construct an llvm.call operation producing an SSA value of !llvm.void type, which should not exist. Add the verification and treat !llvm.void result type as absence of call results. Update the GPU conversions to LLVM that were mistakenly assuming that it was fine for llvm.call to produce values of !llvm.void type and ensure these calls do not produce results. Reviewed By: mehdi_amini Differential Revision: https://reviews.llvm.org/D106937		2021-07-28 18:15:56 +02:00
..
invoke-vulkan.mlir	[mlir] harden result type verification in llvm.call	2021-07-28 18:15:56 +02:00
lower-gpu-launch-vulkan-launch.mlir	[MLIR] Create memref dialect and move dialect-specific ops from std.	2021-03-15 11:14:09 +01:00