Changes in mod_ref_read_pointers.ll

5c028081 - [polly] Introduce -polly-print-* passes to replace -analyze.

Mon, 14 Mar 2022 13:39:25 +0000

[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/mod_ref_read_pointers.ll

b210c989 - [BasicAA] Replace -basicaa with -basic-aa in polly

Tue, 30 Jun 2020 22:40:24 +0000

[BasicAA] Replace -basicaa with -basic-aa in pollyFollow up to https://reviews.llvm.org/D82607. List of files: /llvm-project-15.0.7/polly/test/ScopInfo/mod_ref_read_pointers.ll

df8e1403 - Remove immediate dominator heuristic for error block detection.

Mon, 09 Apr 2018 06:07:44 +0000

Remove immediate dominator heuristic for error block detection.This patch removes the heuristic in- Polly :: lib/Support/ScopHelper.cppThe heuristic forces blocks that directly follow a loop header to not to be considered error blocks.It was introduced in r249611 with the following commit message:> This replaces the support for user defined error functions by a> heuristic that tries to determine if a call to a non-pure function> should be considered "an error". If so the block is assumed not to be> executed at runtime. While treating all non-pure function calls as> errors will allow a lot more regions to be analyzed, it will also> cause us to dismiss a lot again due to an infeasible runtime context.> This patch tries to limit that effect. A non-pure function call is> considered an error if it is executed only in conditionally with> regards to a cheap but simple heuristic.In the code below `CCK_Abort2()` would be considered as an error block, but not `CCK_Abort1()` due to this heuristic.```for (int i = 0; i < n; i+=1) { if (ErrorCondition1) CCK_Abort1(); // No __attribute__((noreturn)) if (ErrorCondition2) CCK_Abort2(); // No __attribute__((noreturn))}```This does not seem useful. Checking error conditions in the beginning of some work is quite common. It causes a switch default-case to be not considered an error block in SPEC's cactuBSSN. The comment justifying the heuristic mentions a "load", which does not seem to be applicable here. It has been proposed to remove the heuristic.In addition, the patch fixes the following test cases:- Polly :: ScopDetect/mod_ref_read_pointer.ll- Polly :: ScopInfo/max-loop-depth.ll- Polly :: ScopInfo/mod_ref_access_pointee_arguments.ll- Polly :: ScopInfo/mod_ref_read_pointee_arguments.ll- Polly :: ScopInfo/mod_ref_read_pointer.ll- Polly :: ScopInfo/mod_ref_read_pointers.llThe test cases failed after removing the heuristic.Differential Revision: https://reviews.llvm.org/D45274Contributed-by: Lorenzo Chelini llvm-svn: 329548 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/mod_ref_read_pointers.ll

898a6362 - Add option to disallow modref function calls in scops.

Wed, 23 Mar 2016 06:40:15 +0000

Add option to disallow modref function calls in scops.This might be useful to evaluate the benefit of us handling modref funcitoncalls. Also, a new bug that was triggered by modref function calls wasrecently reported http://llvm.org/PR27035. To ensure the same issue does notcause troubles for other people, we temporarily disable this until the bugis resolved.llvm-svn: 264140 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/mod_ref_read_pointers.ll

a7920980 - Support calls with known ModRef function behaviour

Thu, 25 Feb 2016 14:08:48 +0000

Support calls with known ModRef function behaviour Check the ModRefBehaviour of functions in order to decide whether or not a call instruction might be acceptable.Differential Revision: http://reviews.llvm.org/D5227llvm-svn: 261866 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/mod_ref_read_pointers.ll