Hongbin Zheng
da4138d105
www: Append path instead overwrite path when exporting the path of pocc.
...
llvm-svn: 153936
2012-04-03 06:29:27 +00:00
Hongbin Zheng
eedc49c3d4
www: Fix typo in the setting LD_LBIRARY_PATH command, as pointed out by
...
Dmitry N. Mikushin.
llvm-svn: 153934
2012-04-03 04:39:47 +00:00
Tobias Grosser
f00bd96cde
CodeGen: Some style improvements
...
llvm-svn: 153871
2012-04-02 12:26:13 +00:00
Tobias Grosser
d6d7d7e128
CodeGen: Remove unused variable
...
llvm-svn: 153840
2012-04-01 16:55:30 +00:00
Tobias Grosser
de49ef76f6
Remove unneeded alias analysis
...
llvm-svn: 153839
2012-04-01 16:49:48 +00:00
Tobias Grosser
89339067b0
CodeGen: Allow function parameters to be rewritten in getNewValue()
...
When deriving new values for the statements of a SCoP, we assumed that parameter
values are constant within the SCoP and consquently do not need to be rewritten.
For OpenMP code generation this assumption is wrong, as such values are not
available in the OpenMP subfunction and consequently also may need to be
rewritten.
Committed with some changes.
Contributed-By: Johannes Doerfert <s9jodoer@stud.uni-saarland.de>
llvm-svn: 153838
2012-04-01 16:49:45 +00:00
Hongbin Zheng
b5bf8cfa17
Make the "all" target depend on polly-test, so that users can run regression
...
tests by simply typing "make -C tools/polly/test", like llvm's regression
tests.
llvm-svn: 153739
2012-03-30 09:27:16 +00:00
Hongbin Zheng
2700adebfa
Autoconf build: Try to update LLVMPolly.so before running regression tests
...
llvm-svn: 153738
2012-03-30 09:27:07 +00:00
Hongbin Zheng
609089f254
Move the CodeGeneration.cpp to the CodeGen folder and update the build system.
...
Patched by Tsingray.
llvm-svn: 153736
2012-03-30 08:46:18 +00:00
Hongbin Zheng
3ab0434bb7
Get started guide: Suggest users to append the parent directory of cloog
...
libraries to LD_LIBRARY_PATH.
llvm-svn: 153734
2012-03-30 08:18:19 +00:00
Tobias Grosser
f49d11dfac
www: Add more missing features to the TODO list
...
llvm-svn: 153664
2012-03-29 17:53:54 +00:00
Tobias Grosser
f67a77b9b9
www: Update TODO list
...
- Link to several new bug reports that describe problems in more detail
- Add some more items
- Remove owners for inactive projects. This just blocks other people
- Rename 'middle part' to 'optimizer'
llvm-svn: 153647
2012-03-29 13:10:34 +00:00
Tobias Grosser
217616df99
www: Link to console view with only polly buildbots
...
llvm-svn: 153646
2012-03-29 13:10:30 +00:00
Tobias Grosser
900893d2d8
CodeGeneration: Proberly build the dominator tree
...
llvm-svn: 153645
2012-03-29 13:10:26 +00:00
Hongbin Zheng
e53bdfe633
Use python script to silence the expected testcase fails on 32bit platform.
...
llvm-svn: 153644
2012-03-29 13:10:10 +00:00
Hongbin Zheng
689e84fcec
Regession testing: Substitut POLLY_LIB_DIR, which is introduced by commit
...
r152924, by $(LibDir). Because we assume polly built by autoconf is always
in llvm tree.
llvm-svn: 153642
2012-03-29 12:36:52 +00:00
Hongbin Zheng
b7c07f3c2e
Out of tree build support: Set TARGET_TRIPLE from the result of "llvm-config --host-target"
...
instead of loading the "LLVMConfig.cmake" which is only installed when
llvm configured by cmake.
llvm-svn: 153503
2012-03-27 07:56:07 +00:00
Hongbin Zheng
0578aaf77c
Don't fail the lli testcases on 32bit platform.
...
llvm-svn: 153440
2012-03-26 15:16:48 +00:00
Hongbin Zheng
b85c0b3e0c
Out-of-tree build: Load the configuration of the installed llvm.
...
llvm-svn: 153439
2012-03-26 15:16:29 +00:00
Tobias Grosser
5e8ffa83c0
CodeGen: Remove the need for setIVS
...
llvm-svn: 153331
2012-03-23 12:20:36 +00:00
Tobias Grosser
ebf3008ec6
CodeGen: Simplify Variable Names
...
llvm-svn: 153330
2012-03-23 12:20:32 +00:00
Tobias Grosser
f74a4cd3dd
CodeGen: Extract the LLVM-IR generaction of scalar and OpenMP loops.
...
We create a new file LoopGenerators that provides utility classes for the
generation of OpenMP parallel and scalar loops. This means we move a lot
of the OpenMP generation out of the Polly specific code generator.
llvm-svn: 153325
2012-03-23 10:35:18 +00:00
Tobias Grosser
46fc9ca53f
CodeGen: Change some variables to uppercase
...
No functional changes intended.
llvm-svn: 153321
2012-03-23 08:24:10 +00:00
Tobias Grosser
cf88d84d79
test: Remove memaccess prefix
...
The prefix is not needed, as all test cases are already in a separate folder.
llvm-svn: 153320
2012-03-23 08:24:04 +00:00
Tobias Grosser
d6adda3071
CodeGen: Full support for isl_pw expressions in modified access functions.
...
This also adds support for modifiable write accesses (until now only read
accesses where supported). We currently do not derive an exact type for the
expression, but assume that i64 is good enough. This will be improved in future
patches.
Contributed by: Yabin Hu <yabin.hwu@gmail.com>
llvm-svn: 153319
2012-03-23 08:21:22 +00:00
Tobias Grosser
3e72197efc
IndVarSimplify: Disable simplifyIVUsers
...
This functionality is not available in LLVM trunk and breaks the compilation of
Polly. This patch fixes the compilation, but may not be enough to recover all
functionality.
llvm-svn: 153318
2012-03-23 08:02:19 +00:00
Tobias Grosser
d87492bb8c
IndVarSimplify: Adapt to changes in LLVM trunk
...
Contributed-By: Andrew Trick <atrick@apple.com>
llvm-svn: 153317
2012-03-23 08:02:15 +00:00
Tobias Grosser
d1f12db70e
IndVarSimplify: Proberly initialize the pass.
...
llvm-svn: 153316
2012-03-23 08:02:05 +00:00
Tobias Grosser
2f809feec5
ScheduleOptimizer: Remove forgotten debug output
...
llvm-svn: 152936
2012-03-16 18:45:10 +00:00
Tobias Grosser
0acfcdbe7b
Do not fail if a command line argument is given more than once
...
For boolean flags in Polly there is no problem if they are given more than once.
Hence, we can allow it to not fail for build systems that (acciently) add flags
several times.
This fixes: PR12278
Reported by: Sebastian Pop <sebpop@gmail.com>
llvm-svn: 152933
2012-03-16 17:17:16 +00:00
Tobias Grosser
3ec2abc5fb
Don't allow pointer types in affine expressions
...
We currently do not support pointer types in affine expressions. Hence, we
disallow in the SCoP detection. Later we may decide to add support for them.
This fixes PR12277
Reported-By: Sebastian Pop <sebpop@gmail.com>
llvm-svn: 152928
2012-03-16 16:36:47 +00:00
Hongbin Zheng
c507b1e262
Off-tree build support: Also check the existence of the "not" utility.
...
llvm-svn: 152925
2012-03-16 14:34:27 +00:00
Hongbin Zheng
c7584ff270
Off-tree build support: Set the path of Polly's library correctly.
...
llvm-svn: 152924
2012-03-16 14:34:20 +00:00
Hongbin Zheng
33254d1edf
Revert "Minor change: Use config.polly_obj_root to locate Polly's library,"
...
This reverts commit 7dd9b6327b54b08ece32a4607d5ac093b518b79a.
llvm-svn: 152923
2012-03-16 13:49:55 +00:00
Hongbin Zheng
632f5f4934
Off-tree build support: Warn the user if FileCheck cannot be found.
...
llvm-svn: 152921
2012-03-16 13:24:42 +00:00
Hongbin Zheng
95c84eab5c
Minor change: Use config.polly_obj_root to locate Polly's library,
...
so lit find Polly's library in off-tree build.
llvm-svn: 152920
2012-03-16 13:24:34 +00:00
Tobias Grosser
8a5070213a
ScheduleOptimizer: Do not get dependences, if we do not calculate a schedule
...
This solves the 'isl_ctx freed, but some objects still reference it' problem
reported in PR12276.
llvm-svn: 152917
2012-03-16 11:51:41 +00:00
Tobias Grosser
371badaa47
SCEVValidator: Ensure that parameters are recorded correctly
...
This also fixes UMax where we did not correctly keep track of the parameters.
Fixes PR12275.
Reported-By: Sebastian Pop <sebpop@gmail.com>
llvm-svn: 152913
2012-03-16 10:16:28 +00:00
Tobias Grosser
540757b09c
ScevValidator: Add printer for ValidatorResult
...
llvm-svn: 152912
2012-03-16 10:12:37 +00:00
Hongbin Zheng
c0f53b1c00
Polly-test: Add a cmake option "POLLY_TEST_DISABLE_BAR". We can enable
...
this option in the configure step of Polly's builder to get more readable
output from the stdio log.
llvm-svn: 152910
2012-03-16 09:04:09 +00:00
Hongbin Zheng
73e53f510a
More AddUsersIfInteresting related fix.
...
llvm-svn: 152909
2012-03-16 08:31:24 +00:00
Hongbin Zheng
741f8d666f
IndVarSimplify: Adpat to IVUsers::AddUsersIfInteresting change.
...
llvm-svn: 152908
2012-03-16 08:26:12 +00:00
Tobias Grosser
0e979d1628
www: Fix german special characters
...
llvm-svn: 152800
2012-03-15 13:55:38 +00:00
Tobias Grosser
126af46c4c
www: Add another GPGPU publication
...
llvm-svn: 152799
2012-03-15 13:54:12 +00:00
Raghesh Aloor
f41d001384
Memaccess: Updating Documentation
...
Adding documentation for changes in coefficients of induction
variables.
llvm-svn: 152795
2012-03-15 11:40:05 +00:00
Tobias Grosser
00d898d6b0
CodeGen: Call isl_set_copy() within the loop
...
llvm-svn: 152793
2012-03-15 09:34:58 +00:00
Tobias Grosser
2da263e3b6
CodeGen: Start variables with uppercase letters
...
llvm-svn: 152792
2012-03-15 09:34:55 +00:00
Tobias Grosser
d596b37eb0
CodeGen: Get analyses from the Pass instance
...
llvm-svn: 152791
2012-03-15 09:34:52 +00:00
Tobias Grosser
e9ffea2ccf
CodeGen: Introduce helper function to get pointer to int
...
llvm-svn: 152790
2012-03-15 09:34:48 +00:00
Raghesh Aloor
b20b49e3f0
Memaccess: Removing unwanted code
...
When the code is moved to IslGenerator class there is no use for
IslPwAffUserInfo.
llvm-svn: 152612
2012-03-13 05:51:44 +00:00
Tobias Grosser
3cbe5cfff3
Remove FinalRead
...
The FinalRead statement represented a virtual read that is executed after the
SCoP. It was used when we verified the correctness of a schedule by checking if
it yields the same FLOW dependences as the original code. This is only works, if
we have a final read that reads all memory at the end of the SCoP.
We now switched to just checking if a schedule does not introduce negative
dependences and also consider WAW WAR dependences. This restricts the schedules
a little bit more, but we do not have any optimizer that would calculate a more
complex schedule. Hence, for now final reads are obsolete.
llvm-svn: 152319
2012-03-08 15:21:51 +00:00
Tobias Grosser
45ed487a9c
Dependences: Fix typo
...
llvm-svn: 152318
2012-03-08 15:21:42 +00:00
Tobias Grosser
9ffa550dd9
www: Really fix it
...
llvm-svn: 152311
2012-03-08 12:02:59 +00:00
Tobias Grosser
9206404faf
www: Fix link to image
...
llvm-svn: 152310
2012-03-08 12:02:10 +00:00
Tobias Grosser
f67424ef96
www: Move the Polly architecture to the documentation
...
llvm-svn: 152309
2012-03-08 11:59:43 +00:00
Tobias Grosser
3495b42f9d
www: Point to the memaccess documentation
...
llvm-svn: 152308
2012-03-08 11:55:27 +00:00
Tobias Grosser
7a82da99b1
www: Simplify bugs text
...
llvm-svn: 152307
2012-03-08 11:45:49 +00:00
Tobias Grosser
e586f0ec5c
www: Merge Examples with Documentation section
...
llvm-svn: 152306
2012-03-08 11:37:39 +00:00
Tobias Grosser
f9250a1cb0
www: Update todo page
...
llvm-svn: 152305
2012-03-08 11:31:54 +00:00
Tobias Grosser
62afff33c8
Dependences: Simplify isParallelDimension
...
llvm-svn: 152238
2012-03-07 17:42:49 +00:00
Tobias Grosser
04734a4843
Dependences: Restructure and Document code
...
llvm-svn: 152237
2012-03-07 17:42:45 +00:00
Tobias Grosser
9691d23d37
Dependences: Prettify the header slightly
...
llvm-svn: 152236
2012-03-07 17:42:39 +00:00
Tobias Grosser
1d8c0d799c
Dependences: Remove unused no_source information
...
llvm-svn: 152235
2012-03-07 17:42:36 +00:00
Tobias Grosser
5c0e7190ff
Dependences: Simplify the check if a new scattering is valid.
...
We now just check if the new scattering would create non-positive dependences.
This is a lot faster than recalculating dependences (which is especially slow
on tiled code).
llvm-svn: 152230
2012-03-07 16:10:40 +00:00
Tobias Grosser
29d7255baf
www: Fix some command lines in the examples
...
llvm-svn: 152229
2012-03-07 14:30:54 +00:00
Tobias Grosser
3c2efba7ff
CodeGen: Fix typo 'form' -> 'from'
...
Suggested by: Sebastian Pop <sebpop@gmail.com>
llvm-svn: 152109
2012-03-06 07:38:57 +00:00
Tobias Grosser
55d5208eae
CodeGen: Document and beautify the parts of the BlockGenerators
...
llvm-svn: 151917
2012-03-02 15:20:39 +00:00
Tobias Grosser
df3823750e
CodeGen: Pass the scalar maps properly
...
llvm-svn: 151916
2012-03-02 15:20:35 +00:00
Tobias Grosser
8367e0c3d2
CodeGen: Prettify
...
llvm-svn: 151915
2012-03-02 15:20:31 +00:00
Tobias Grosser
260e86d3f0
CodeGen: Style
...
llvm-svn: 151914
2012-03-02 15:20:28 +00:00
Tobias Grosser
08a8238b7a
CodeGen: Move domain into the VectorBlockGenerator
...
llvm-svn: 151913
2012-03-02 15:20:24 +00:00
Tobias Grosser
f6beec674e
CodeGen: Simplify the generation of a splat
...
llvm-svn: 151912
2012-03-02 15:20:21 +00:00
Tobias Grosser
415245def5
CodeGen: Prettify function
...
llvm-svn: 151911
2012-03-02 15:20:17 +00:00
Tobias Grosser
80998e7618
CodeGen: Create separate VectorBlockGenerator
...
llvm-svn: 151907
2012-03-02 11:27:28 +00:00
Tobias Grosser
642c41116d
CodeGen: Extract code generation for isl types into its own class
...
llvm-svn: 151906
2012-03-02 11:27:25 +00:00
Tobias Grosser
44d169552b
CodeGen: Remove unneeded member variable
...
llvm-svn: 151905
2012-03-02 11:27:21 +00:00
Tobias Grosser
32152cbd1c
CodeGen: Extract code into the new function copyVectorInstruction
...
llvm-svn: 151904
2012-03-02 11:27:18 +00:00
Tobias Grosser
fc1153fb09
CodeGen: Sink loop to iterate vector lanes down into copyInstruction
...
llvm-svn: 151903
2012-03-02 11:27:15 +00:00
Tobias Grosser
8b4bf8b2fa
CodeGenerator: Rename functions to show they produce vector code
...
llvm-svn: 151902
2012-03-02 11:27:11 +00:00
Tobias Grosser
b35d9c1dfc
Fix typo
...
llvm-svn: 151901
2012-03-02 11:27:08 +00:00
Tobias Grosser
8927a44f90
CodeGen: No need to forward the vector dimension
...
llvm-svn: 151900
2012-03-02 11:27:05 +00:00
Tobias Grosser
f81a691ef7
CodeGen: Store the vector width in the block generator
...
This allows us to remove a lot of redundant parameters.
llvm-svn: 151899
2012-03-02 11:27:02 +00:00
Tobias Grosser
32386750a6
CodeGen: Remove dead code
...
llvm-svn: 151898
2012-03-02 11:26:59 +00:00
Tobias Grosser
8412cda5ad
Codegen: Add Pass as a member variable of BlockGenerator
...
llvm-svn: 151897
2012-03-02 11:26:55 +00:00
Tobias Grosser
14bcbd5380
CodeGen: Simplify and Prettify code
...
llvm-svn: 151896
2012-03-02 11:26:52 +00:00
Tobias Grosser
c941ede854
CodeGen: Hide the private implementation of the block generator
...
llvm-svn: 151895
2012-03-02 11:26:49 +00:00
Tobias Grosser
262df3b9e7
CodeGen: Start with uppercase letter
...
llvm-svn: 151894
2012-03-02 11:26:46 +00:00
Tobias Grosser
ce3f537ae2
CodeGen: Only check once if a loop is parallel
...
Suggested by: Sebastian Pop <sebpop@gmail.com>
llvm-svn: 151893
2012-03-02 11:26:42 +00:00
Tobias Grosser
2e04dad751
www: Fix typo founded -> funded
...
Found-By: Christian Lengauer
llvm-svn: 151810
2012-03-01 15:02:21 +00:00
Tobias Grosser
e550fa2f95
www: Fix french special characters
...
llvm-svn: 150959
2012-02-20 14:03:56 +00:00
Tobias Grosser
be3df7b3ee
Add information, that Polly became a real LLVM project
...
llvm-svn: 150955
2012-02-20 08:41:55 +00:00
Tobias Grosser
7cde0845b5
www: Update links polly.grosser.es -> polly.llvm.org
...
llvm-svn: 150954
2012-02-20 08:41:51 +00:00
Tobias Grosser
92f5480f04
ScheduleOpt: Add option to bound scheduling coefficients of dimensions.
...
llvm-svn: 150953
2012-02-20 08:41:47 +00:00
Tobias Grosser
6b675e3108
Update isl
...
This version of isl, contains some recently committed scheduler patches.
llvm-svn: 150952
2012-02-20 08:41:44 +00:00
Tobias Grosser
4d63b9d0f9
ScheduleOptimizer: Dump the calculated schedule in debug mode
...
llvm-svn: 150951
2012-02-20 08:41:21 +00:00
Tobias Grosser
992e60ca57
ScheduleOpt: Add option to bound constant term coefficients
...
llvm-svn: 150950
2012-02-20 08:41:15 +00:00
Tobias Grosser
9a44b97913
Revert "CodeGeneration: Implement ceild/floord exactly as CLooG does"
...
I think I did not get the implementation right. As the current implementation
works well, we will just stick with it for now.
llvm-svn: 150691
2012-02-16 14:13:19 +00:00
Tobias Grosser
26fb5efc6d
www: Add 'pet' paper to the publications
...
llvm-svn: 150676
2012-02-16 09:59:34 +00:00
Tobias Grosser
62a3c96e5d
CodeGen: Code following a clast_guard comes after the merge block
...
llvm-svn: 150675
2012-02-16 09:56:21 +00:00
Tobias Grosser
eeafc867ed
RegisterPasses: Allow to print the CFG right after polly
...
llvm-svn: 150674
2012-02-16 09:56:17 +00:00