Loop Distribution #13

wlllle · 2021-09-12T19:04:06Z

Create loop distribution pass.

Analysis: LLVM + Clang
Source-to-source transformation: Clang

…ucture in a member statement. Disable replacement in case of '(S+I)->X'.

…ressions.

…uctures.

…s of an aggregate type.

…ed by value.

… of a structure type.

…nitialize a variable to be replaced.

…ject of a structure type is replaced directly.

…t of '&' or '*' expression.

…ributed arrays.

… analysis results.

… prevent a variable to be a reduction.

…m a loop.

…riables.

…t on previous steps.

…reachable exits. Sometimes LLVM IR for a loop contains `select` instuction which determines loop exits. This instruction always has default basic block, so, if loop has a single exit in a source code, this default block will be marked as unreachable. Hence we can ignore this block and parallelize a corresponding loop if it has only single reachable exit.

Credit goes to v.makeev (see dvm-system#5 for details).

…ys-return`. The `willreturn` attribute has been added to LLVM IR and it is similar to `sapfor.always-return` which we added earlier.

…re live after a loop exit.

…sis pass. - Fix errors. - Add new checks. - Select appropriate order of the pass execution. - Update analysis of partially promoted reduction, induction and privitizable variables.

…hint for a corrupted location. Even if there are no bound alias node, we try to find nodes which contain locations with similar binded value, to determine insertion hint. Otherwise, locations with smaller sizes become ancestors for bigger locations.

…t all levels.

…on inlining.

…on as Add reduction in SAPFOR.

…ize of an array dimension. Note, SCEV for 'alloca' is SCEVUnknown and has a pointer type, instead of a corresponding variable type.

…zeros in a GEP.

…rent LLVM version. TODO: Clang Tooling doesn't support precompiled sources anymore, so .ast files are not valid input for TSAR now and merge option is not working.

… available on server. Note, optimization passes may remove function or replace it with another one. Hence, in some cases there is no corresponding function on a server.

ExpressionMatcher was extended instead.

kaniandr added 30 commits March 8, 2022 00:24

[TSAR, Tfm, Clang, Replace] Fix, check for simple references to a str…

092c22c

…ucture in a member statement. Disable replacement in case of '(S+I)->X'.

[TSAR, Tfm, Clang, Replace] Add support for not arrow dereference exp…

2c859a7

…ressions.

[TSAR, Tfm, Struct, Replace] Implement replacement of an array of str…

7af2c8f

…uctures.

[TSAR, Pragma] Update representation of pragmas to support identifier…

8f7bba2

…s of an aggregate type.

[TSAR, Tfm, Replace, Struct] Implement replacement of parameters pass…

d8d75ac

…ed by value.

[TSAR, Tfm, Struct, Replace] Implement replacement of local variables…

720813d

… of a structure type.

[TSAR, Anls, Include, Clang] Do not process files twice.

c76f9a0

[TSAR, Anls, Include, Clang] Fix, trivial.

b4222c6

[TSAR, Clang, Tfm, Replace] Allow using of a default constructor to i…

6699571

…nitialize a variable to be replaced.

[TSAR, Clang, Tfm, Replace] Fix GCC compilation errors.

81558bc

[TSAR, Tfm, Clang, Replace] Allow the pass to replace macro arguments.

a3396df

[TSAR, Clang, Tfm, Replace] Fix, disable InAssignment flag if an ob…

f0d3872

…ject of a structure type is replaced directly.

[TSAR, Tfm, Replace, Clang] Replace an actual argument if it is a par…

56867d2

…t of '&' or '*' expression.

[TSAR, APC, Parallel] Implement parallelization of loops without dist…

8204226

…ributed arrays.

[TSAR, APC, Functions] Fix, ignore unknown locations of instructions.

61514d5

[TSAR, Clang, Match, Expr] Fix, process the address of unary operator.

ba217ef

[TSAR, Anls, Read] Ignore artificial variables while loading external…

8f498f0

… analysis results.

[TSAR, Dep, Metadata] Existance of self-copying instructions does not…

a4524e8

… prevent a variable to be a reduction.

[TSAR, DVMH, Parallel] Fix, enclose negative constants in brackets.

6b205e5

[TSAR, APC, Loop] Fix, do not take into account unreachable exits fro…

084f951

…m a loop.

[TSAR, APC] Fix, some loops in a nest may not have known induction va…

8447c47

…riables.

[TSAR, DI, Dep] Fix, ignore dependencies which have been already unse…

5ec8ace

…t on previous steps.

[TSAR, IR, Ptr2Reg] Initial implementation of pointer promotion.

8020f25

Credit goes to v.makeev (see dvm-system#5 for details).

[TSAR, IR, Utils] Fix, trivial.

2330778

[TSAR, Metadata, Utils] Move an auxiliary function to the global scope.

493dce9

[TSAR, Attr, IPO] Use llvm willreturn attribute to set `sapfor.alwa…

0f1563b

…ys-return`. The `willreturn` attribute has been added to LLVM IR and it is similar to `sapfor.always-return` which we added earlier.

[TSAR, Memory, Dep] Add a new loop trait to specify variables which a…

5f698ea

…re live after a loop exit.

[TSAR, IR, Ptr2Reg] Major update of ptr2reg pass and dependence analy…

4037622

…sis pass. - Fix errors. - Add new checks. - Select appropriate order of the pass execution. - Update analysis of partially promoted reduction, induction and privitizable variables.

[TSAR, LLVM, 15.0] Migrate to LLVM 15.0.

595c6ce

kaniandr and others added 27 commits July 22, 2022 14:50

[TSAR, CMake] Fix, names of LLVM libraries.

3d4318e

[TSAR, AliasTree] Fix, try to accurately estimate size of locations a…

5f1a10c

…t all levels.

[TSAR, Inline] Do not try to promote corrupted locations after functi…

f99728e

…on inlining.

[TSAR, Reduction, Question] Is it correct to consider FMulAdd reducti…

2c1d847

…on as Add reduction in SAPFOR.

[TSAR, Memory, Delinearize] Fix, do not use 'alloca' to represent a s…

45354f1

…ize of an array dimension. Note, SCEV for 'alloca' is SCEVUnknown and has a pointer type, instead of a corresponding variable type.

[TSAR, Flang, Tfm] Fix, do not crash on error.

af3cb63

[TSAR, Clang, Tfm, Propagate] Fix, take into account stripped ending …

3061fcd

…zeros in a GEP.

[TSAR, Tool] Fix, language for prcompiled sources is unknown in a cur…

4a8f17c

…rent LLVM version. TODO: Clang Tooling doesn't support precompiled sources anymore, so .ast files are not valid input for TSAR now and merge option is not working.

[TSAR, Memory, Server] Fix, use data from client if a function is not…

ea75a74

… available on server. Note, optimization passes may remove function or replace it with another one. Hence, in some cases there is no corresponding function on a server.

[TSAR, Distribution] Initialize pass that will do loop distribution.

b6b471a

[TSAR, Distribution] Refactor constructor of ASTVisitor.

9f1b30a

[TSAR, Distribution] Get split instructions

f910f85

[TSAR, InstructionMatcher] Initialize AST--IR matcher

b864c8a

{Tsar, InstructionMatcher} Remove unnecessary InstructionMatcher

d5a01d8

ExpressionMatcher was extended instead.

[TSAR, InstructionMatcher] Rename variables, add const modifier.

6ccf56a

[TSAR, Distribution] Add debug information, refactor.

063d3c1

[TSAR, Distribution] Pick out funcionality of getting splits.

47009b5

[TSAR, Distribution] Use ClangExprMatcherPass to get AST node of split.

78f6b65

tmp

7389608

add rewriter work

712df31

Get splitter string

73d5d64

Use single ASTVisitor

ac3988b

Move out dependence check method

719b9ba

Insert header in correct location

ee9783c

Fix null reference exception

ebe3daf

Fix trivial

6302034

wlllle force-pushed the master branch from 7ff86bb to 6302034 Compare August 26, 2022 08:53

Fix compilation on llvm 15

af8ce9b

kaniandr force-pushed the master branch from 705faee to 48857bf Compare September 16, 2022 10:03

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Loop Distribution #13

Loop Distribution #13

Uh oh!

wlllle commented Sep 12, 2021

Uh oh!

Uh oh!

Loop Distribution #13

Are you sure you want to change the base?

Loop Distribution #13

Uh oh!

Conversation

wlllle commented Sep 12, 2021

Uh oh!

Uh oh!