[llvm] [SCEV] BECount to zero if `((-C + (C smax %x)) /u %x), C > 0` holds (PR #104580)
Philip Reames via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 26 08:59:27 PDT 2024
================
@@ -0,0 +1,78 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s
+
+ at g_var = external local_unnamed_addr global i32, align 4
+
+define void @test(i32 noundef %x) {
----------------
preames wrote:
This needs to be rewritten as a purely SCEV test (i.e. no LV dependence, and simplified) to be accepted.
https://github.com/llvm/llvm-project/pull/104580
More information about the llvm-commits
mailing list