llvm-project/polly/lib/Support
Philip Pfaffe 00fd43b327 Port ScopInfo to the isl cpp bindings
Summary:
Most changes are mechanical, but in one place I changed the program semantics
by fixing a likely bug:

In `Scop::hasFeasibleRuntimeContext()`, I'm now explicitely handling the
error-case. Before, when the call to `addNonEmptyDomainConstraints()`
returned a null set, this (probably) accidentally worked because
isl_bool_error converts to true. I'm checking for nullptr now.

Reviewers: grosser, Meinersbur, bollu

Reviewed By: Meinersbur

Subscribers: nemanjai, kbarton, pollydev, llvm-commits

Differential Revision: https://reviews.llvm.org/D39971

llvm-svn: 318632
2017-11-19 22:13:34 +00:00
..
DumpModulePass.cpp [Support] Rename tool_output_file to ToolOutputFile, NFC 2017-09-23 01:03:17 +00:00
GICHelper.cpp [Support] Force instantiation of isl dump() methods. NFC. 2017-09-28 09:51:04 +00:00
ISLTools.cpp [ISLTools] Translate computeReachingWrite to isl++. NFC. 2017-10-24 15:19:46 +00:00
Mainpage.h docs: Add doxygen mainpage 2016-03-07 21:17:48 +00:00
PollyPasses.def [JSON][PM] Port json import/export over to new pm 2017-08-10 14:45:09 +00:00
RegisterPasses.cpp Add more statistics. 2017-08-23 13:50:30 +00:00
SCEVAffinator.cpp Port ScopInfo to the isl cpp bindings 2017-11-19 22:13:34 +00:00
SCEVValidator.cpp [ScopInfo] Allow uniform branch conditions 2017-09-25 16:37:15 +00:00
ScopHelper.cpp [ScopHelper] Do not crash on unreachable blocks 2017-09-03 18:01:22 +00:00
ScopLocation.cpp clang-tidy: Add llvm namespace comments 2016-06-23 22:17:27 +00:00
VirtualInstruction.cpp [Simplify] Mark (and sweep) based on latest access relation. 2017-10-26 12:34:36 +00:00