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

   1 ; RUN: opt -passes='print<access-info>' -disable-output 2>&1 < %s | FileCheck %s
   2
   3 ; CHECK: Dependences:
   4 ; CHECK-NEXT: Unknown:
   5 ; CHECK-NEXT: %t63 = load double, ptr %t62, align 8 ->
   6 ; CHECK-NEXT: store double %t63, ptr %t64, align 8
   7
   8 define i32 @test() {
   9    %a1 = alloca [128 x double], align 8
  10    %a2 = alloca [128 x double], align 8
  11    %a3 = alloca [128 x double], align 8
  12    %t30 = getelementptr double, ptr %a2, i64 -32
  13    br label %loop
  14
  15 loop:
  16    %t58 = phi i64 [ %t65, %loop ], [ 0, %0 ]
  17    %t59 = icmp ule i64 %t58, 32
  18    %t60 = select i1 %t59, ptr %a1, ptr %t30
  19    %t62 = getelementptr inbounds double, ptr %t60, i64 %t58
  20    %t63 = load double, ptr %t62, align 8
  21    %t61 = select i1 %t59, ptr %a2, ptr %a3
  22    %t64 = getelementptr inbounds double, ptr %t61, i64 %t58
  23    store double %t63, ptr %t64, align 8
  24    %t65 = add nuw nsw i64 %t58, 1
  25    %t66 = icmp eq i64 %t65, 94
  26    br i1 %t66, label %exit, label %loop
  27
  28 exit:
  29    ret i32 0
  30 }