[PATCH] D80307: [mlir] Add a shape op that always returns a successful witness

[Theodore Popp via Phabricator via llvm-commits]

tpopp updated this revision to Diff 268475.
tpopp marked 2 inline comments as done.
tpopp added a comment.
Herald added a project: MLIR.

Instead of true_witness, have const_witness that can be true or false.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D80307/new/

https://reviews.llvm.org/D80307

Files:
  mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
  mlir/lib/Dialect/Shape/IR/Shape.cpp
  mlir/test/Dialect/Shape/ops.mlir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D80307.268475.patch
Type: text/x-patch
Size: 4321 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200604/ad157f57/attachment.bin>