23 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 62; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 | FileCheck %s3 4; Test for function isKnownLessThan that calculates a back-edge taken count,5; which can return a CouldNotCompute SCEV.6 7define void @test(i64 %conv, ptr %a) {8; CHECK-LABEL: 'test'9; CHECK-NEXT: Src: %ld = load i32, ptr %arrayidx12, align 4 --> Dst: %ld = load i32, ptr %arrayidx12, align 410; CHECK-NEXT: da analyze - none!11;12entry:13 %sub = add i64 %conv, 114 br label %loop15 16loop:17 %i = phi i64 [ %add26, %loop ], [ 0, %entry ]18 %arrayidx12 = getelementptr i32, ptr %a, i64 %i19 %ld = load i32, ptr %arrayidx12, align 420 %add26 = add nsw i64 %sub, %i21 br label %loop22}23