Changes in simple_loop_unsigned_3.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_3.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_3.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_3.ll