Changes in simple_loop_unsigned.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/simple_loop_unsigned.ll

fa8079d0 - Update isl to isl-0.18-1047-g4a20ef8

Tue, 20 Feb 2018 07:26:42 +0000

Update isl to isl-0.18-1047-g4a20ef8This update: - Removes several deprecated functions (e.g., isl_band). - Improves the pretty-printing of sets by detecting modulos and "false" equalities. - Minor improvements to coalescing and increased robustness of the isl scheduler.This update does not yet include isl commit isl-0.18-90-gd00cb45(isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:042017 +0200), as this additional check is too tight and unfortunately causestwo test case failures in Polly. A patch has been submitted to isl and will beincluded in the next isl update for Polly.llvm-svn: 325557 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned.ll

0865585e - [ScopInfo] Add support for wrap-around of integers in unsigned comparisons.

Thu, 20 Jul 2017 12:37:02 +0000

[ScopInfo] Add support for wrap-around of integers in unsigned comparisons.This is one possible solution to implement wrap-arounds for integers inunsigned icmp operations. For example, store i32 -1, i32* %A_addr %0 = load i32, i32* %A_addr %1 = icmp ult i32 %0, 0%1 should hold false, because under the assumption of unsigned integers,-1 should wrap around to 2^32-1. However, previously. it was assumedthat the MSB (Most Significant Bit - aka the Sign bit) was never set forintegers in unsigned operations.This patch modifies the buildConditionSets function in ScopInfo.cpp togive better information about the integers in these unsignedcomparisons.Contributed-by: Annanay Agarwal Differential Revision: https://reviews.llvm.org/D35464llvm-svn: 308608 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned.ll

8475d1c1 - [FIX] Correct assumption simplification

Thu, 28 Apr 2016 14:32:58 +0000

[FIX] Correct assumption simplification Assumptions and restrictions can both be simplified with the domain of a statement but not the same way. After this patch we will correctly distinguish them.llvm-svn: 267885 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned.ll

792374b9 - Allow unsigned comparisons

Tue, 26 Apr 2016 14:33:12 +0000

Allow unsigned comparisons With this patch we will optimistically assume that the result of an unsigned comparison is the same as the result of the same comparison interpreted as signed.llvm-svn: 267559 List of files: /llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned.ll