HomePhabricator

Added static verification for Linalg Ops.

Authored by inho9606 on Mar 30 2021, 7:07 AM.

Description

Added static verification for Linalg Ops.

This verification is to check if the indices for static shaped operands
on linalgOps access out of bound memory or not. For dynamic shaped
operands, we would be able to check it on runtime stage.

Found several invalid Linalg ops testcases, and fixed them.

Reviewed By: hanchung

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

Details

Committed
hanchungMar 30 2021, 7:10 AM
Reviewer
hanchung
Differential Revision
D98390: Added static verification for Linalg Ops.
Parents
rG80fb7434e9e7: [test, HardwareLoops] Fix use of var defined in CHECK-NOT
Branches
Unknown
Tags
Unknown