forked from OSchip/llvm-project
d4a53f3bfa
During dialect conversion, target materialization is triggered to create cast-like operations when a type mismatch occurs between the value that replaces a rewritten operation and the type that another operations expects as operands processed by the type conversion. First, a dummy cast is inserted to make sure the pattern application can proceed. The decision to trigger the user-provided materialization hook is taken later based on the result of the dummy cast having uses. However, it only has uses if other patterns constructed new operations using the casted value as operand. If existing (legal) operations use the replaced value, they may have not been updated to use the casted value yet. The conversion infra would then delete the dummy cast first, and then would replace the uses with now-invalid (null in the bast case) value. When deciding whether to trigger cast materialization, check for liveness the uses not only of the casted value, but also of all the values that it replaces. This was discovered in the finalizing bufferize pass that cleans up mutually-cancelling casts without touching other operations. It is not impossible that there are other scenarios where the dialect converison infra could produce invalid operand uses because of dummy casts erased too eagerly. Reviewed By: springerm Differential Revision: https://reviews.llvm.org/D119937 |
||
|---|---|---|
| .. | ||
| buffer-hoisting.mlir | ||
| buffer-loop-hoisting.mlir | ||
| buffer-results-to-out-params.mlir | ||
| canonicalize-block-merge.mlir | ||
| canonicalize-dce.mlir | ||
| canonicalize-td.mlir | ||
| canonicalize.mlir | ||
| compose-subview.mlir | ||
| constant-fold.mlir | ||
| control-flow-sink.mlir | ||
| cse.mlir | ||
| decompose-call-graph-types.mlir | ||
| inlining-dce.mlir | ||
| inlining-repeated-use.mlir | ||
| inlining.mlir | ||
| location-snapshot.mlir | ||
| loop-fusion-2.mlir | ||
| loop-fusion-3.mlir | ||
| loop-fusion-4.mlir | ||
| loop-fusion-dependence-check.mlir | ||
| loop-fusion-slice-computation.mlir | ||
| loop-fusion-transformation.mlir | ||
| loop-fusion.mlir | ||
| loop-invariant-code-motion.mlir | ||
| memref-bound-check.mlir | ||
| memref-dependence-check.mlir | ||
| normalize-memrefs-ops-dynamic.mlir | ||
| normalize-memrefs-ops.mlir | ||
| normalize-memrefs.mlir | ||
| parallel-loop-collapsing.mlir | ||
| parametric-mapping.mlir | ||
| parametric-tiling.mlir | ||
| pipeline-data-transfer.mlir | ||
| print-op-graph.mlir | ||
| promote-buffers-to-stack.mlir | ||
| sccp-callgraph.mlir | ||
| sccp-structured.mlir | ||
| sccp.mlir | ||
| scf-if-utils.mlir | ||
| scf-loop-unroll.mlir | ||
| scf-loop-utils.mlir | ||
| single-parallel-loop-collapsing.mlir | ||
| strip-debuginfo.mlir | ||
| test-canonicalize-filter.mlir | ||
| test-canonicalize.mlir | ||
| test-convert-call-op.mlir | ||
| test-inlining.mlir | ||
| test-legalize-erased-op-with-uses.mlir | ||
| test-legalize-remapped-value.mlir | ||
| test-legalize-target-materialization-no-uses.mlir | ||
| test-legalize-type-conversion.mlir | ||
| test-legalize-unknown-root.mlir | ||
| test-legalizer-analysis.mlir | ||
| test-legalizer-full.mlir | ||
| test-legalizer.mlir | ||
| test-merge-blocks.mlir | ||
| test-operation-folder.mlir | ||
| test-pattern-selective-replacement.mlir | ||
| test-symbol-dce.mlir | ||
| test-symbol-privatize.mlir | ||