en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned_2.ll#5c028081 [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_2.ll Mon, 14 Mar 2022 13:39:25 +0000 Michael Kruse <llvm-project@meinersbur.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned_2.ll#8475d1c1 [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_2.ll Thu, 28 Apr 2016 14:32:58 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de> http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopInfo/simple_loop_unsigned_2.ll#792374b9 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_2.ll Tue, 26 Apr 2016 14:33:12 +0000 Johannes Doerfert <doerfert@cs.uni-saarland.de>