en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/polly/test/ScopDetect/switch-in-loop-patch.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/ScopDetect/switch-in-loop-patch.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/ScopDetect/switch-in-loop-patch.ll#bbaeda3f Do not allow switch statements in loop latchesIn r248701 "Allow switch instructions in SCoPs" support for switch statementshas been introduced, but support for switch statements in loop latches wasincomplete. This change completely disables switch statements in loop latches.The original commit changed addLoopBoundsToHeaderDomain to support non-branchterminator instructions, but this change was incorrect: it added a check forBI != null to the if-branch of a condition, but BI was used in the else branches well. As a result, when a non-branch terminator instruction is encounted anullptr dereference is triggered. Due to missing test coverage, this bug wasoverlooked.r249273 "[FIX] Approximate non-affine loops correctly" added code to disallowswitch statements for non-affine loops, if they appear in either a loop latchor a loop exit. We adapt this code to now prohibit switch statements inloop latches even if the control condition is affine.We could possibly add support for switch statements in loop latches, but suchsupport should be evaluated and tested separately.This fixes llvm.org/PR30952Reported-by: Eli Friedman <efriedma@codeaurora.org>llvm-svn: 286426 List of files: /llvm-project-15.0.7/polly/test/ScopDetect/switch-in-loop-patch.ll Thu, 10 Nov 2016 05:20:29 +0000 Tobias Grosser <tobias@grosser.es>