llvm/test/Analysis/LoopAccessAnalysis/select-dependence.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -passes='print<access-info>' -disable-output 2>&1 < %s | FileCheck %s
   3
   4 define void @test(ptr noalias %x, ptr noalias %y, ptr noalias %z) {
   5 ; CHECK-LABEL: 'test'
   6 ; CHECK-NEXT:    loop:
   7 ; 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 loop
   8 ; CHECK-NEXT:  Unsafe indirect dependence.
   9 ; CHECK-NEXT:      Dependences:
  10 ; CHECK-NEXT:        IndirectUnsafe:
  11 ; CHECK-NEXT:            %load = load double, ptr %gep.sel, align 8 ->
  12 ; CHECK-NEXT:            store double %load, ptr %gep.sel2, align 8
  13 ; CHECK-EMPTY:
  14 ; CHECK-NEXT:      Run-time memory checks:
  15 ; CHECK-NEXT:      Grouped accesses:
  16 ; CHECK-EMPTY:
  17 ; CHECK-NEXT:      Non vectorizable stores to invariant address were not found in loop.
  18 ; CHECK-NEXT:      SCEV assumptions:
  19 ; CHECK-EMPTY:
  20 ; CHECK-NEXT:      Expressions re-written:
  21 ;
  22 entry:
  23    %gep.y = getelementptr double, ptr %y, i64 -32
  24    br label %loop
  25
  26 loop:
  27    %iv = phi i64 [ %iv.next, %loop ], [ 0, %entry ]
  28    %icmp = icmp ule i64 %iv, 32
  29    %sel = select i1 %icmp, ptr %x, ptr %gep.y
  30    %gep.sel = getelementptr inbounds double, ptr %sel, i64 %iv
  31    %load = load double, ptr %gep.sel, align 8
  32    %sel2 = select i1 %icmp, ptr %y, ptr %z
  33    %gep.sel2 = getelementptr inbounds double, ptr %sel2, i64 %iv
  34    store double %load, ptr %gep.sel2, align 8
  35    %iv.next = add nuw nsw i64 %iv, 1
  36    %exit.cond = icmp eq i64 %iv, 94
  37    br i1 %exit.cond, label %exit, label %loop
  38
  39 exit:
  40    ret void
  41 }