[Bug 50524] New: Failed to run matmul.c example by follow "How to manually use the Individual pieces of Polly" at https://polly.llvm.org/docs/HowToManuallyUseTheIndividualPiecesOfPolly.html#execute-the-individual-polly-passes-manually

3 views
Skip to first unread message

bugzill...@llvm.org

unread,
May 28, 2021, 11:56:40 PMMay 28
to poll...@googlegroups.com
Bug ID 50524
Summary Failed to run matmul.c example by follow "How to manually use the Individual pieces of Polly" at https://polly.llvm.org/docs/HowToManuallyUseTheIndividualPiecesOfPolly.html#execute-the-individual-polly-passes-manually
Product Polly
Version unspecified
Hardware PC
OS Linux
Status NEW
Severity enhancement
Priority P
Component Optimizer
Assignee poll...@googlegroups.com
Reporter hai...@sina.com
CC llvm...@lists.llvm.org

Root cause : if remove pre-uploaded intermidated files  "rm *.ll; rm init*; rm
main*" .   by follow "How to manually use the Individual pieces of Polly" at
https://polly.llvm.org/docs/HowToManuallyUseTheIndividualPiecesOfPolly.html#execute-the-individual-polly-passes-manually.


reporduce:

(1) check env:
   (base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*main*
main___%for.cond1.preheader---%for.end30.jscop                           
scops.main.dot
main___%for.cond1.preheader---%for.end30.jscop.interchanged              
scops.main.dot.png
main___%for.cond1.preheader---%for.end30.jscop.interchanged+tiled        
scopsonly.main.dot
main___%for.cond1.preheader---%for.end30.jscop.interchanged+tiled+vector 
scopsonly.main.dot.png
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*init*
init_array___%for.cond1.preheader---%for.end19.jscop
init_array___%for.cond1.preheader---%for.end19.jscop.interchanged
init_array___%for.cond1.preheader---%for.end19.jscop.interchanged+tiled
init_array___%for.cond1.preheader---%for.end19.jscop.interchanged+tiled+vector
scops.init_array.dot
scops.init_array.dot.png
scopsonly.init_array.dot
scopsonly.init_array.dot.png
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*.ll
matmul.ll                     matmul.polly.interchanged+tiled.ll               
matmul.preopt.ll
matmul.normalopt.ll           matmul.polly.interchanged+tiled+vector.ll
matmul.polly.interchanged.ll  matmul.polly.interchanged+tiled+vector+openmp.ll
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ rm
*.ll
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ rm
*init*
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ rm
*main*
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*int*
matmul.polly.interchanged.s                      scopsonly.print_array.dot
matmul.polly.interchanged+tiled.s                scopsonly.print_array.dot.png
matmul.polly.interchanged+tiled+vector+openmp.s  scops.print_array.dot
matmul.polly.interchanged+tiled+vector.s         scops.print_array.dot.png
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*main*
ls: cannot access '*main*': No such file or directory
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ ls
*.ll
ls: cannot access '*.ll': No such file or directory


(2) follow  "How to manually use the Individual pieces of Polly" at
https://polly.llvm.org/docs/HowToManuallyUseTheIndividualPiecesOfPolly.html#execute-the-individual-polly-passes-manually


 A: failed at: 4. Highlight the detected SCoPs in the CFGs of the program
(requires graphviz/dotty)
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ opt
-polly-use-llvm-names -basic-aa -view-scops -disable-output matmul.preopt.ll
opt: unknown pass name 'view-scops'
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ opt
-polly-use-llvm-names -basic-aa -view-scops-only -disable-output
matmul.preopt.ll
opt: unknown pass name 'view-scops-only'


 B: failed at 8. Import the changed jscop files and print the updated SCoP
structure (optional)
   Loop Interchange (and Fission to allow the interchange
  (base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ opt
-basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop
-polly-import-jscop-postfix=interchanged -polly-ast -analyze
-polly-process-unprofitable
Printing analysis 'Basic Alias Analysis (stateless AA impl)' for function
'init_array':
Pass::print not implemented for pass: 'Basic Alias Analysis (stateless AA
impl)'!
Printing analysis 'Polly - Import Scops from JSON (Reads a .jscop file for each
Scop)' for region: 'for.body3 => for.inc17' in function 'init_array':
Printing analysis 'Polly - Generate an AST from the SCoP (isl)' for region:
'for.body3 => for.inc17' in function 'init_array':
Reading JScop '%for.cond1.preheader---%for.end19' in function 'init_array' from
'./init_array___%for.cond1.preheader---%for.end19.jscop.interchanged'.
File could not be read: No such file or directory
LLVM ERROR: Tried to import a malformed jscop file.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:
.....




Interchange + Tiling
(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ opt
-basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop
-polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze
-polly-process-unprofitable
Printing analysis 'Basic Alias Analysis (stateless AA impl)' for function
'init_array':
Pass::print not implemented for pass: 'Basic Alias Analysis (stateless AA
impl)'!
Printing analysis 'Polly - Import Scops from JSON (Reads a .jscop file for each
Scop)' for region: 'for.body3 => for.inc17' in function 'init_array':
Printing analysis 'Polly - Generate an AST from the SCoP (isl)' for region:
'for.body3 => for.inc17' in function 'init_array':
Reading JScop '%for.cond1.preheader---%for.end19' in function 'init_array' from
'./init_array___%for.cond1.preheader---%for.end19.jscop.interchanged+tiled'.
File could not be read: No such file or directory
LLVM ERROR: Tried to import a malformed jscop file.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:

.....


Interchange + Tiling + Strip-mining to prepare vectorization

(base) haijunz3@haijunz3:~/polly/llvm_git/polly/docs/experiments/matmul$ opt
-basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop
-polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze
-polly-process-unprofitable
Printing analysis 'Basic Alias Analysis (stateless AA impl)' for function
'init_array':
Pass::print not implemented for pass: 'Basic Alias Analysis (stateless AA
impl)'!
Printing analysis 'Polly - Import Scops from JSON (Reads a .jscop file for each
Scop)' for region: 'for.body3 => for.inc17' in function 'init_array':
Printing analysis 'Polly - Generate an AST from the SCoP (isl)' for region:
'for.body3 => for.inc17' in function 'init_array':
Reading JScop '%for.cond1.preheader---%for.end19' in function 'init_array' from
'./init_array___%for.cond1.preheader---%for.end19.jscop.interchanged+tiled'.
File could not be read: No such file or directory
LLVM ERROR: Tried to import a malformed jscop file.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:
0.      Program arguments: opt -basic-aa -polly-use-llvm-names matmul.preopt.ll
-polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-ast
-analyze -polly-process-unprofitable
1.      Running pass 'Function Pass Manager' on module 'matmul.preopt.ll'.
2.      Running pass 'Region Pass Manager' on function '@init_array'
3.      Running pass 'Polly - Import Scops from JSON (Reads a .jscop file for
each Scop)' on basic block '%for.cond1.preheader'



.....



so cannot move to 9. Codegenerate the SCoPs


You are receiving this mail because:
  • You are the assignee for the bug.
Reply all
Reply to author
Forward
0 new messages