Comments (4)
Which version of Pluto are you using? This test case is meant/known to fail due to an aspect of the Pluto's lazy version that hasn't been implemented -- this is a contrived and a very rare case. Also, in such a case, Pluto will default to the identity transformation and go ahead with other steps. With the git version, you shouldn't see a failure. This should be the output
$ ./polycc test/multi-stmt-lazy-lin-ind.c
[pluto] compute_deps (isl)
[pluto] Number of statements: 2
[pluto] Total number of loops: 4
[pluto] Number of deps: 3
[pluto] Maximum domain dimensionality: 2
[pluto] Number of parameters: 2
[pluto] WARNING: working with original (identity) transformation (if they exist)
[pluto] Affine transformations
T(S1): (0, i, 0, j, 0)
loop types (loop, loop, loop, loop, loop)
T(S2): (0, i, 0, j, 1)
loop types (loop, loop, loop, loop, loop)
[pluto] using Cloog -f/-l options: 1 5
[CLooG] INFO: 1 domains have been blocked.
[CLooG] INFO: 3 dimensions (over 5) are scalar.
[pluto] Output written to multi-stmt-lazy-lin-ind.pluto.c
[pluto] Timing statistics
[pluto] SCoP extraction + dependence analysis time: 0.015447s
[pluto] Auto-transformation time: 0.005465s (constraint solving: 0.000000s)
[pluto] Code generation time: 0.002322s
[pluto] Other/Misc time: 0.005024s
[pluto] Total time: 0.028258s
[pluto] All times: 0.015447 0.005465 0.002322 0.005024
from pluto.
Thank you for your kind reply!
I was trying to compile master branch of polymage, so I used the commit id [145fdf4].
The test will pass if no argument is provided to polycc, but it failed with argument "--partlbtile --cloogsh --nocloogbacktrack --debug", when I use "make test " to test the build.
I also tried the same argument with the git version, and it failed too. Does it mean this test is meant to fail with a successful build? Maybe It is meaningless to use this argument in this case.
from pluto.
Yes, that test is meant to fail. Please ignore it.
from pluto.
Thanks!
from pluto.
Related Issues (20)
- Loop Unrolling and Scalar Replacement (Register-level Tiling) HOT 2
- [Only QUERY] Any plan to update Pluto for LLVM 18.x release? HOT 1
- Error when building pluto dev : configuring PET
- error running make (pet): invalid use of incomplete type 'class clang::Builtin::Context HOT 4
- Compilation error and solution HOT 4
- Diamond tiling helper function cone complement hyperplane doesn't have a GLPK path
- getting errors trying to parallelize my code HOT 1
- build candl error happend when make HOT 1
- difference between cut_smart and cut_conservative HOT 7
- What compiler can I use to compile pluto? HOT 15
- Fix build configuration to properly build test_libpluto and unit_tests
- OpenScop's scatter function semantics? HOT 1
- Error running make (on pet.lo) HOT 2
- while using "make -j4", the process fails. HOT 2
- Error when unrolling HOT 4
- Error in building pluto dev version HOT 1
- problem in configure and make HOT 2
- A starter Dockerfile for pluto
- build failing for cloog-isl with error message: /usr/bin/texi2dvi: pdfetex exited with bad status, quitting. make[3]: *** [Makefile:2301: doc/cloog.pdf] Error 1 HOT 3
- pet build error: /usr/include/c++/9/bits/stl_tree.h:785:8: error: static assertion failed: comparison object must be invocable as const HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pluto.