[mlir][DialectConversion] Legalize all live argument conversions
authorRiver Riddle <riddleriver@gmail.com>
Fri, 5 Nov 2021 18:43:26 +0000 (18:43 +0000)
committerRiver Riddle <riddleriver@gmail.com>
Fri, 5 Nov 2021 18:43:56 +0000 (18:43 +0000)
commit4070f305f9a0c488d7177754d77c0b367e8695bf
tree9d042e9ff31099ffee0176abcaa65aee8cce0fc7
parent3466e00716e12e32fdb100e3fcfca5c2b3e8d784
[mlir][DialectConversion] Legalize all live argument conversions

Previously we didn't materialize conversions for arguments in certain
cases as the implicit type propagation was being heavily relied on
by many patterns. Now that those patterns have been fixed to
properly handle type conversions, we can drop the special behavior.

Differential Revision: https://reviews.llvm.org/D113233
mlir/lib/Transforms/Utils/DialectConversion.cpp
mlir/test/Transforms/test-legalize-type-conversion.mlir
mlir/test/lib/Dialect/Test/TestOps.td
mlir/test/lib/Dialect/Test/TestPatterns.cpp