diff options
| author | Matthias Springer <me@m-sp.org> | 2023-12-05 10:25:19 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-05 10:25:19 +0900 |
| commit | 192439db6e3fcccf98c850bda1b970a11c590bbb (patch) | |
| tree | e15a37cebe58d8e4f246abe28e1006826c03762b /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | c3a9c905fbc486add75e16218fe58a04b7b6c282 (diff) | |
| download | llvm-192439db6e3fcccf98c850bda1b970a11c590bbb.zip llvm-192439db6e3fcccf98c850bda1b970a11c590bbb.tar.gz llvm-192439db6e3fcccf98c850bda1b970a11c590bbb.tar.bz2 | |
[mlir][Complex] Fix bug in `MergeComplexBitcast` (#74271)
When two `complex.bitcast` ops are folded and the resulting bitcast is a
non-complex -> non-complex bitcast, an `arith.bitcast` should be
generated. Otherwise, the generated `complex.bitcast` op is invalid.
Also remove a pattern that convertes non-complex -> non-complex
`complex.bitcast` ops to `arith.bitcast`. Such `complex.bitcast` ops are
invalid and should not appear in the input.
Note: This bug can only be triggered by running with `-debug` (which
will should intermediate IR that does not verify) or with
`MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS` (#74270).
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions