[PATCH] D79057: [mlir][SCCP] Track all source dialects when meeting two lattice values

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added a reviewer: mehdi_amini.
Herald added subscribers: llvm-commits, Kayjukh, frgossen, grosul1, Joonsoo, liufengdb, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, jpienaar.
Herald added a project: LLVM.

Some dialects have implicit casts that change the type of an input. For example, some call operations perform an implicit cast(such as a shape refinement) when passing arguments and results. This revision allows for tracking all of the source dialects so that constants can still be materialized properly in these situations.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D79057

Files:
  mlir/lib/Dialect/StandardOps/IR/Ops.cpp
  mlir/lib/Transforms/SCCP.cpp
  mlir/test/Transforms/sccp-callgraph.mlir
  mlir/test/lib/Dialect/Test/TestDialect.cpp
  mlir/test/lib/Dialect/Test/TestOps.td

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79057.260808.patch
Type: text/x-patch
Size: 11848 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200429/2c57293d/attachment.bin>