[PATCH] D70901: [Matrix] Update shape propagation to iterate until done.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: anemet, Gerolf, reames, hfinkel, andrew.w.kaylor.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.
fhahn added a parent revision: D70899: [Matrix] Implement back-propagation of shape information..

This patch updates the shape propagation to iterate until no new shape
information is discovered.

As initial seed for the forward propagation, we use the matrix intrinsic
instructions. Both propagateShapeForward and propagateShapeBackward
return new work lists, with the instructions to be used for the next
iteration. When propagating forward, we record all instructions we added
new shape information for. When propagating backward, we record all
users of instructions we added new shape information for.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D70901

Files:
  llvm/lib/Transforms/Scalar/LowerMatrixIntrinsics.cpp
  llvm/test/Transforms/LowerMatrixIntrinsics/propagate-multiple-iterations.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D70901.231689.patch
Type: text/x-patch
Size: 13266 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191202/c5a236d9/attachment.bin>