HomePhabricator

[Matrix] Update shape propagation to iterate until done.

Authored by fhahn on Jan 9 2020, 2:23 AM.

Description

[Matrix] Update shape propagation to iterate until done.

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.

Reviewers: anemet, Gerolf, reames, hfinkel, andrew.w.kaylor

Reviewed By: anemet

Differential Revision: https://reviews.llvm.org/D70901

Details

Committed
fhahnJan 9 2020, 2:52 AM
Reviewer
anemet
Differential Revision
D70901: [Matrix] Update shape propagation to iterate until done.
Parents
rG287a874d1c46: [clangd] Refurbish HoverInfo::present
Branches
Unknown
Tags
Unknown