Ruizhe Zhao
Ruizhe Zhao
Recently I keep wondering if it is nice for Polygeist to have such a feature: in the source C/C++ code, we can provide custom directives that instructs Polygeist to lower...
It is a follow-up to #44, and maybe I've asked about this earlier: could we generate function interface that has MemRef types with explicit dimensionality? For example, take the code...
```mlir func private @S0(%A: memref, %t: index, %i: index) attributes {scop.stmt} { %cst = constant 0.25: f32 %cst2 = constant 2.0 : f32 %0 = affine.load %A[%t mod 2, %i...
- [x] Include `isl` as a submodule - [x] Add its build step in CMake - [x] Ask Pluto to use this new `isl` version instead of its bundled one
This PR tries to migrate things from 26122d9
This will be useful for further optimisation concentrating on the point loop bands. ```sh cd build ./bin/polymer-opt ../example/polybench/EXTRALARGE/gemm/gemm.mlir \ -reg2mem \ -extract-scop-stmt \ -pluto-opt \ -canonicalize \ -annotate-point-loops \ -extract-point-loops...
Currently covered by 25afb44482845e39c5157145fc98a249b22ff381 Approach: IVs directly used by a scop.stmt caller are point loop IVs. This is assumed by the Pluto algorithm. - [ ] Can it work before...
## if-else block ### Resolve the domain for the else block This should be fixed in the upstream (`getIndexSet` method) ### multiple ifs and for-within-if See the `export-scop/load-store-if.mlir` test case.
This issue was not properly dealt with in previous versions. Since I'm currently doing the refactorization, we should have a comprehensive solution for that. ## Background A local variable will...
SMALL refers to the dataset size. SMALL.O0: without Polymer [SMALL.O0.tar.gz](https://github.com/kumasento/polymer/files/5816937/SMALL.O0.tar.gz) SMALL.O1: with Polymer [SMALL.O1.tar.gz](https://github.com/kumasento/polymer/files/5816938/SMALL.O1.tar.gz) Compilation command: ``` cd example/polybench ./compile -f SMALL -O0 ./compile -f SMALL -O1 ``` You can...