diff options
| author | Alex Zinenko <zinenko@google.com> | 2021-07-28 10:23:06 +0200 |
|---|---|---|
| committer | Alex Zinenko <zinenko@google.com> | 2021-07-28 18:15:56 +0200 |
| commit | c1f719d1a749eaf4a4964292e3eed6ab2766f2c5 (patch) | |
| tree | 4564d32c7cdd8e883876e2d314bb63c3671bc61f /llvm/tools/llvm-strings/llvm-strings.cpp | |
| parent | 6e8660a7d65a30e3abcb4c588047c1328ab7d28e (diff) | |
| download | llvm-c1f719d1a749eaf4a4964292e3eed6ab2766f2c5.zip llvm-c1f719d1a749eaf4a4964292e3eed6ab2766f2c5.tar.gz llvm-c1f719d1a749eaf4a4964292e3eed6ab2766f2c5.tar.bz2 | |
[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
Diffstat (limited to 'llvm/tools/llvm-strings/llvm-strings.cpp')
0 files changed, 0 insertions, 0 deletions