[llvm] [SCEV] Move a test into IndVars (PR #147360)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Jul 9 03:48:45 PDT 2025
================
@@ -14,21 +14,20 @@ declare void @llvm.experimental.guard(i1, ...)
declare void @use(i64 %x)
define void @test_1(ptr %cond_buf, ptr %len_buf) {
-; CHECK-LABEL: define void @test_1
-; CHECK-SAME: (ptr [[COND_BUF:%.*]], ptr [[LEN_BUF:%.*]]) {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[LEN:%.*]] = load i32, ptr [[LEN_BUF]], align 4, !range [[RNG0:![0-9]+]]
-; CHECK-NEXT: br label [[LOOP:%.*]]
-; CHECK: loop:
-; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_INC:%.*]], [[LOOP]] ]
-; CHECK-NEXT: [[IV_INC]] = add nsw i32 [[IV]], 1
-; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ]
-; CHECK-NEXT: [[IV_INC_CMP:%.*]] = icmp samesign ult i32 [[IV_INC]], [[LEN]]
-; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[IV_INC_CMP]]) [ "deopt"() ]
-; CHECK-NEXT: [[BECOND:%.*]] = load volatile i1, ptr [[COND_BUF]], align 1
-; CHECK-NEXT: br i1 [[BECOND]], label [[LOOP]], label [[LEAVE:%.*]]
-; CHECK: leave:
-; CHECK-NEXT: ret void
+; CHECK-LABEL: 'test_1'
----------------
fhahn wrote:
Yes, moving should be fine as SCEV printing won't add any interesting coverage, thanks
https://github.com/llvm/llvm-project/pull/147360
More information about the llvm-commits
mailing list