diff options
author | Matthias Springer <me@m-sp.org> | 2024-01-15 09:00:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-15 09:00:43 +0100 |
commit | 0cb024b357aff294b1ba0f9d3de8f48ab684962b (patch) | |
tree | 33f321736165fb81a047bd3908df1b5c08bd0495 /flang/lib/Frontend/CompilerInvocation.cpp | |
parent | 844f8335f211da19ae4b375761013909a3394d9a (diff) | |
download | llvm-0cb024b357aff294b1ba0f9d3de8f48ab684962b.zip llvm-0cb024b357aff294b1ba0f9d3de8f48ab684962b.tar.gz llvm-0cb024b357aff294b1ba0f9d3de8f48ab684962b.tar.bz2 |
[mlir][Mesh] Fix invalid IR in rewrite pattern (#78094)
This commit fixes `test/Dialect/Mesh/folding.mlir` when running with
`MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS`.
```
/usr/local/google/home/springerm/mlir_public/llvm-project/mlir/test/Dialect/Mesh/folding.mlir:19:10: error: Unexpected number of results 0. Expected 2.
%0:2 = mesh.cluster_shape @mesh1 : index, index
^
/usr/local/google/home/springerm/mlir_public/llvm-project/mlir/test/Dialect/Mesh/folding.mlir:19:10: note: see current operation: "mesh.cluster_shape"() <{axes = array<i16>, mesh = @mesh1}> : () -> ()
mlir-asm-printer: Verifying operation: builtin.module
Unexpected number of results 0. Expected 2.
mlir-asm-printer: 'builtin.module' failed to verify and will be printed in generic form
"builtin.module"() ({
"mesh.cluster"() <{dim_sizes = array<i64: 2, 3>, rank = 2 : i64, sym_name = "mesh1"}> : () -> ()
"func.func"() <{function_type = () -> (index, index), sym_name = "cluster_shape_op_folding_all_axes_static_mesh"}> ({
%0 = "arith.constant"() <{value = 2 : index}> : () -> index
%1 = "arith.constant"() <{value = 3 : index}> : () -> index
"mesh.cluster_shape"() <{axes = array<i16>, mesh = @mesh1}> : () -> ()
%2:2 = "mesh.cluster_shape"() <{axes = array<i16>, mesh = @mesh1}> : () -> (index, index)
"func.return"(%0, %1) : (index, index) -> ()
}) : () -> ()
}) : () -> ()
LLVM ERROR: IR failed to verify after pattern application
```
If `axes` is empty, the op verifier assumes that all dimensions are
queried. (Expected 2 results.)
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions