projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a675f0) | patch
[mlir] Add a shape op that returns a constant witness
authorTres Popp <tpopp@google.com>
Wed, 20 May 2020 13:56:12 +0000 (15:56 +0200)
committerTres Popp <tpopp@google.com>
Fri, 5 Jun 2020 09:00:19 +0000 (11:00 +0200)
commit1c3e38d98c916104c675afa30ad2dd4343e9e923
tree891ad38f55565014e1e2f695274d87a2d49a276atree | snapshot
parent5a675f0552b487d0f5d673a02195446c818143cbcommit | diff
[mlir] Add a shape op that returns a constant witness

This will later be used during canonicalization and folding steps to replace
statically known passing constraints.

Differential Revision: https://reviews.llvm.org/D80307
mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td diff | blob | history
mlir/lib/Dialect/Shape/IR/Shape.cpp diff | blob | history
mlir/test/Dialect/Shape/ops.mlir diff | blob | history
Domain: System / Toolchain;