[all-commits] [llvm/llvm-project] 1ef55a: [Polly] Fix long loop due to unsigned warparound.

Michael Kruse via All-commits all-commits at lists.llvm.org
Mon Apr 27 10:16:39 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 1ef55ac96e9d58572cb5a488a7eeceb3137cce9f
      https://github.com/llvm/llvm-project/commit/1ef55ac96e9d58572cb5a488a7eeceb3137cce9f
  Author: Michael Kruse <llvm-project at meinersbur.de>
  Date:   2020-04-27 (Mon, 27 Apr 2020)

  Changed paths:
    M polly/lib/Support/ISLTools.cpp
    A polly/test/ForwardOpTree/out-of-quota1.ll

  Log Message:
  -----------
  [Polly] Fix long loop due to unsigned warparound.

After the update to ISL to isl-0.22.1-87-gfee05a13 and its change of
isl_*_dim returning -1 instead of 0, the -1 got wrapped-around to
UINT_MAX because Polly often uses 'unsigned' type to represent
dimensions, as ISL did before this patch. This may happen in normal
executions after an out-of-quota.

Fix by catching the error-case earlier.




More information about the All-commits mailing list