104 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes='print<access-info>' -disable-output 2>&1 < %s | FileCheck %s3 4; PR79137: If the noalias.scope.decl is located inside the loop, we cannot5; assume that the accesses don't alias across iterations.6 7define void @test_scope_in_loop(ptr %arg, i64 %num) {8; CHECK-LABEL: 'test_scope_in_loop'9; CHECK-NEXT: loop:10; CHECK-NEXT: Report: unsafe dependent memory operations in loop. Use #pragma clang loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop11; CHECK-NEXT: Backward loop carried data dependence.12; CHECK-NEXT: Dependences:13; CHECK-NEXT: Backward:14; CHECK-NEXT: %load.prev = load i8, ptr %prev.ptr, align 1, !alias.scope !0, !noalias !3 ->15; CHECK-NEXT: store i8 %add, ptr %cur.ptr, align 1, !alias.scope !316; CHECK-EMPTY:17; CHECK-NEXT: Forward:18; CHECK-NEXT: %load.cur = load i8, ptr %cur.ptr, align 1, !alias.scope !3 ->19; CHECK-NEXT: store i8 %add, ptr %cur.ptr, align 1, !alias.scope !320; CHECK-EMPTY:21; CHECK-NEXT: Run-time memory checks:22; CHECK-NEXT: Grouped accesses:23; CHECK-EMPTY:24; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.25; CHECK-NEXT: SCEV assumptions:26; CHECK-EMPTY:27; CHECK-NEXT: Expressions re-written:28;29entry:30 %icmp = icmp ult i64 %num, 231 br i1 %icmp, label %exit, label %preheader32 33preheader:34 %arg.1 = getelementptr inbounds i8, ptr %arg, i64 135 %end = add i64 %num, -236 br label %loop37 38loop:39 %prev.ptr = phi ptr [ %cur.ptr, %loop ], [ %arg, %preheader ]40 %iv = phi i64 [ %iv.next, %loop ], [ 0, %preheader ]41 %cur.ptr = getelementptr inbounds i8, ptr %arg.1, i64 %iv42 call void @llvm.experimental.noalias.scope.decl(metadata !0)43 call void @llvm.experimental.noalias.scope.decl(metadata !3)44 %load.prev = load i8, ptr %prev.ptr, align 1, !alias.scope !0, !noalias !345 %load.cur = load i8, ptr %cur.ptr, align 1, !alias.scope !346 %add = add i8 %load.cur, %load.prev47 store i8 %add, ptr %cur.ptr, align 1, !alias.scope !348 %iv.next = add nuw i64 %iv, 149 %cmp = icmp eq i64 %iv, %end50 br i1 %cmp, label %exit, label %loop51 52exit:53 ret void54}55 56define void @test_scope_out_of_loop(ptr %arg, i64 %num) {57; CHECK-LABEL: 'test_scope_out_of_loop'58; CHECK-NEXT: loop:59; CHECK-NEXT: Memory dependences are safe60; CHECK-NEXT: Dependences:61; CHECK-NEXT: Run-time memory checks:62; CHECK-NEXT: Grouped accesses:63; CHECK-EMPTY:64; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.65; CHECK-NEXT: SCEV assumptions:66; CHECK-EMPTY:67; CHECK-NEXT: Expressions re-written:68;69entry:70 %icmp = icmp ult i64 %num, 271 br i1 %icmp, label %exit, label %preheader72 73preheader:74 call void @llvm.experimental.noalias.scope.decl(metadata !0)75 call void @llvm.experimental.noalias.scope.decl(metadata !3)76 %arg.1 = getelementptr inbounds i8, ptr %arg, i64 177 %end = add i64 %num, -278 br label %loop79 80loop:81 %prev.ptr = phi ptr [ %cur.ptr, %loop ], [ %arg, %preheader ]82 %iv = phi i64 [ %iv.next, %loop ], [ 0, %preheader ]83 %cur.ptr = getelementptr inbounds i8, ptr %arg.1, i64 %iv84 %load.prev = load i8, ptr %prev.ptr, align 1, !alias.scope !0, !noalias !385 %load.cur = load i8, ptr %cur.ptr, align 1, !alias.scope !386 %add = add i8 %load.cur, %load.prev87 store i8 %add, ptr %cur.ptr, align 1, !alias.scope !388 %iv.next = add nuw i64 %iv, 189 %cmp = icmp eq i64 %iv, %end90 br i1 %cmp, label %exit, label %loop91 92exit:93 ret void94}95 96declare void @llvm.experimental.noalias.scope.decl(metadata)97 98!0 = !{!1}99!1 = distinct !{!1, !2}100!2 = distinct !{!2}101!3 = !{!4}102!4 = distinct !{!4, !5}103!5 = distinct !{!5}104