projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ba8720) | patch
[MLIR][SCF] Assume uses of condition in the body of scf.while is true
authorWilliam S. Moses <gh@wsmoses.com>
Tue, 4 May 2021 03:40:44 +0000 (23:40 -0400)
committerWilliam S. Moses <gh@wsmoses.com>
Tue, 4 May 2021 15:39:07 +0000 (11:39 -0400)
commit8e211bf1c895a31b3e9f49014b5494d8e1dabcf6
tree4557101996e187299e0876fa8fbc4068506a50cdtree | snapshot
parent4ba8720f8844ae740e9424f90487ec308a22f40ccommit | diff
[MLIR][SCF] Assume uses of condition in the body of scf.while is true

Differential Revision: https://reviews.llvm.org/D101801
mlir/include/mlir/Dialect/SCF/SCFOps.td diff | blob | history
mlir/lib/Dialect/SCF/SCF.cpp diff | blob | history
mlir/test/Dialect/SCF/canonicalize.mlir diff | blob | history
Domain: System / Toolchain;