intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-01 00:46:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

Remove flag '-polly-annotate-alias-scopes'

Browse Source 
This option is enabled since a long time and there does not seem to be a
situation in which we would not want to print alias scopes. Remove this option
to reduce the set of command-line option combinations that may expose bugs.

llvm-svn: 235861
This commit is contained in:
Tobias Grosser
2015-04-27 10:43:10 +00:00
parent b68068bf62
commit 6325cd2fcd
4 changed files with 1 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
polly/include/polly/CodeGen/CodeGeneration.h
View File

@@ -27,9 +27,6 @@ extern VectorizerChoice PollyVectorizerChoice;
enum CodeGenChoice { CODEGEN_ISL, CODEGEN_NONE };
extern CodeGenChoice PollyCodeGenChoice;
/// @brief Flag to turn on/off annotation of alias scopes.
extern bool PollyAnnotateAliasScopes;
}
#endif // POLLY_CODEGENERATION_H

4
polly/lib/CodeGen/IslCodeGeneration.cpp
View File

@@ -1007,9 +1007,7 @@ public:
assert(!S.getRegion().isTopLevelRegion() &&
"Top level regions are not supported");
// Build the alias scopes for annotations first.
if (PollyAnnotateAliasScopes)
Annotator.buildAliasScopes(S);
Annotator.buildAliasScopes(S);
BasicBlock *EnteringBB = simplifyRegion(&S, this);
PollyIRBuilder Builder = createPollyIRBuilder(EnteringBB, Annotator);

7
polly/lib/Support/RegisterPasses.cpp
View File

@@ -124,13 +124,6 @@ static cl::opt<bool>
cl::desc("Show the Polly CFG right after code generation"),
cl::Hidden, cl::init(false), cl::cat(PollyCategory));
bool polly::PollyAnnotateAliasScopes;
static cl::opt<bool, true> XPollyAnnotateAliasScopes(
"polly-annotate-alias-scopes",
cl::desc("Annotate memory instructions with alias scopes"),
cl::location(PollyAnnotateAliasScopes), cl::init(true), cl::ZeroOrMore,
cl::cat(PollyCategory));
namespace polly {
void initializePollyPasses(PassRegistry &Registry) {
initializeIslCodeGenerationPass(Registry);

16
polly/test/Isl/CodeGen/annotated_alias_scopes.ll
View File

@@ -1,5 +1,4 @@
; RUN: opt %loadPolly -polly-detect-unprofitable -polly-code-generator=isl -polly-codegen-isl -S < %s | FileCheck %s --check-prefix=SCOPES
; RUN: opt %loadPolly -polly-detect-unprofitable -polly-code-generator=isl -polly-codegen-isl -polly-annotate-alias-scopes=false -S < %s | FileCheck %s --check-prefix=NOSCOPES
;
; Check that we create alias scopes that indicate the accesses to A, B and C cannot alias in any way.
;
@@ -27,21 +26,6 @@
; SCOPES-DAG: ![[AliasScopeC]]
; SCOPES: }
;
; NOSCOPES: %[[BIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} i32* %B, i64 %polly.indvar
; NOSCOPES: load i32, i32* %[[BIdx]]
; NOSCOPES-NOT: alias.scope
; NOSCOPES-NOT: noalias
; NOSCOPES: %[[CIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} float* %C, i64 %polly.indvar
; NOSCOPES: load float, float* %[[CIdx]]
; NOSCOPES-NOT: alias.scope
; NOSCOPES-NOT: noalias
; NOSCOPES: %[[AIdx:[._a-zA-Z0-9]*]] = getelementptr{{.*}} i32* %A, i64 %polly.indvar
; NOSCOPES: store i32 %{{[._a-zA-Z0-9]*}}, i32* %[[AIdx]]
; NOSCOPES-NOT: alias.scope
; NOSCOPES-NOT: noalias
;
; NOSCOPES-NOT: !
;
; void jd(int *A, int *B, float *C) {
; for (int i = 0; i < 1024; i++)
; A[i] = B[i] + C[i];