JJacques Pienaar[mlir] SCCP add missing pessimistic setting
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir] SCCP add missing pessimistic setting When this was updated in D127139 the update in-place case was no longer marked as pessimistic. Add back in. Differential Revision: https://reviews.llvm.org/D130453 | 3 年前 | |
[mlir] Swap integer range inference to the new framework Integer range inference has been swapped to the new framework. The integer value range lattices automatically updates the corresponding constant value on update. Depends on D127173 Reviewed By: krzysz00, rriddle Differential Revision: https://reviews.llvm.org/D128866 | 3 年前 | |
[mlir] An implementation of dense data-flow analysis This patch introduces an implementation of dense data-flow analysis. Dense data-flow analysis attaches a lattice before and after the execution of every operation. The lattice state is propagated across operations by a user-defined transfer function. The state is joined across control-flow and callgraph edges. Thge patch provides an example pass that uses both a dense and a sparse analysis together. Depends on D127139 Reviewed By: rriddle, phisiart Differential Revision: https://reviews.llvm.org/D127173 | 3 年前 | |
Use llvm::is_contained (NFC) | 3 年前 | |
[mlir] Swap integer range inference to the new framework Integer range inference has been swapped to the new framework. The integer value range lattices automatically updates the corresponding constant value on update. Depends on D127173 Reviewed By: krzysz00, rriddle Differential Revision: https://reviews.llvm.org/D128866 | 3 年前 |