llvm-svn: 187341

In case we detect that the schedule the user wants to import is invalid we
refuse it _and_ free the isl_maps containing it.

Another bug found thanks to Rafael.

llvm-svn: 187339

We now use __isl_take to annotate the uses of the isl_set where we got the
memory management wrong.

Thanks to Rafael! His pipefail work hardened our test environment and exposed
this bug nicely.

llvm-svn: 187338

When first updating this test I only noticided the first RUN line.

llvm-svn: 187328

llvm-svn: 187326

llvm-svn: 187305

llvm-svn: 187300

Polly devs: please check if these commands really should fail.

llvm-svn: 187263

Split the old getNewValue into two parts:

1. The function "lookupAvailableValue" that return the new version of
the instruction which is already available.

2. The function calls "lookupAvailableValue", and tries to generate
the new version if it is not available yet.

llvm-svn: 187114

String operations resulted by raw_string_ostream in the INVALID macro can lead
to significant compile-time overhead when compiling large size source code.
This is because raw_string_ostream relies on TypeFinder class, whose
compile-time cost increases as the size of the module increases. This patch
targets to ensure that it only track detection failures if actually needed.
In this way, we can avoid expensive string operations in normal execution.

With this patch file, the relative compile-time cost of Polly-detect pass does
not increase even when compiling very large size source code.

Contributed-by: Star Tan <tanmx_star@yeah.net>
llvm-svn: 187102

llvm-svn: 187101

llvm-svn: 187024

llvm-svn: 187023

llvm-svn: 186806

Contributed-by: Star Tan <tanmx_star@yeah.net>
llvm-svn: 186805

Ensure that the scalar write access corresponds to the result of a load
instruction appears after the generic read access corresponds to the load
instruction.

llvm-svn: 186419

llvm-svn: 186418

llvm-svn: 186417

llvm-svn: 186289

llvm-svn: 186288

llvm-svn: 186281

We also move the enum to UPPERCASE.

llvm-svn: 186259

llvm-svn: 186254

We make the option a clear choice between the two analysis types and add
descriptions about the difference between the two.

llvm-svn: 186251

llvm-svn: 186248

reenabled reverted patch after checking that it passes without regressions on
the nightly test-suite.  Added testcase from Tobi.

llvm-svn: 185720

to reduce indentation level
No functionality changed.

llvm-svn: 185590

llvm-svn: 185440

llvm-svn: 185429

Orignally, we first test if a ValueMap contains a Value, and than use the
index operator to get the corresponding new value. This requires the ValueMap
to lookup the key (i.e. the old value) twice.

Now, we directly use the "lookup" function provided by DenseMap to implement
the same functionality.

llvm-svn: 185260

The attribute in the file allows git to perform End-of-Line
normalization (CRLF to LF).

llvm-svn: 185255

llvm-svn: 185254

1. Do not allow creating new memory access record in the InstructionToAccess map
   on the fly in function getAccessFor.
2. Do not allow user to modify the memory accesses returned by getAccessFor
   during the code generation process.

llvm-svn: 185253

llvm-svn: 185252

llvm-svn: 184699

llvm-svn: 184659

llvm-svn: 184658

llvm-svn: 184655

isl recently introduced isl_val as an abstract interface to represent arbitrary
precision numbers. This interface superseeds the old isl_int interface. In
contrast to the old interface which implemented arbitrary precision arithmetic
using macros that forward to the gmp library, the new library hides the math
library implementation in isl. This allows us to switch the math library used by
isl without affecting users such as Polly.

llvm-svn: 184529

llvm-svn: 184128