en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#5c028081 [polly] Introduce -polly-print-* passes to replace -analyze.The `opt -analyze` option only works with the legacy pass manager and might be removed in the future, as explained in llvm.org/PR53733. This patch introduced -polly-print-* passes that print what the pass would print with the `-analyze` option and replaces all uses of `-analyze` in the regression tests.There are two exceptions: `CodeGen\single_loop_param_less_equal.ll` and `CodeGen\loop_with_condition_nested.ll` use `-analyze on the `-loops` pass which is not part of Polly.Reviewed By: aeubanksDifferential Revision: https://reviews.llvm.org/D120782 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Mon, 14 Mar 2022 13:39:25 +0000 Michael Kruse <llvm-project@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#fa8079d0 Update isl to isl-0.18-1047-g4a20ef8This update: - Removes several deprecated functions (e.g., isl_band). - Improves the pretty-printing of sets by detecting modulos and "false" equalities. - Minor improvements to coalescing and increased robustness of the isl scheduler.This update does not yet include isl commit isl-0.18-90-gd00cb45(isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:042017 +0200), as this additional check is too tight and unfortunately causestwo test case failures in Polly. A patch has been submitted to isl and will beincluded in the next isl update for Polly.llvm-svn: 325557 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Tue, 20 Feb 2018 07:26:42 +0000 Tobias Grosser <tobias@grosser.es> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#a60ad845 Simplify the internal representation according to the context [NFC] We now use context information to simplify the domains and access functions of the SCoP instead of just aligning them with the parameter space.llvm-svn: 269048 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Tue, 10 May 2016 12:18:22 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#615e0b85 Record wrapping assumptions early Utilizing the record option for assumptions we can simplify the wrapping assumption generation a lot. Additionally, we can now report locations together with wrapping assumptions, though they might not be accurate yet.llvm-svn: 266069 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Tue, 12 Apr 2016 13:28:39 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#3bf6e412 Record assumptions first and add them laterThere are three reasons why we want to record assumptions first before weadd them to the assumed/invalid context: 1) If the SCoP is not profitable or otherwise invalid without the assumed/invalid context we do not have to compute it. 2) Information about the context are gathered rather late in the SCoP construction (basically after we know all parameters), thus the user might see overly complicated assumptions to be taken while they would have been simplified later on. 3) Currently we cannot take assumptions at any point but have to wait, e.g., for the domain generation to finish. This makes wrapping assumptions much more complicated as they need to be and it will have a similar effect on "signed-unsigned" assumptions later.llvm-svn: 266068 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Tue, 12 Apr 2016 13:27:35 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll#561d36b3 Allow pointer expressions in SCEVs again. In r247147 we disabled pointer expressions because the IslExprBuilder did not fully support them. This patch reintroduces them by simply treating them as integers. The only special handling for pointers that is left detects the comparison of two address_of operands and uses an unsigned compare.llvm-svn: 265894 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/pointer-comparison.ll Sun, 10 Apr 2016 09:50:10 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de>