test/Transforms/LoopVectorize/loop-vect-memdep.ll

   1 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   2
   3 ; RUN: opt < %s -S -loop-vectorize -debug-only=loop-vectorize 2>&1 | FileCheck %s
   4 ; REQUIRES: asserts
   5 ; CHECK: LV: Can't vectorize due to memory conflicts
   6
   7 define void @test_loop_novect(double** %arr, i64 %n) {
   8 for.body.lr.ph:
   9   %t = load double*, double** %arr, align 8
  10   br label %for.body
  11
  12 for.body:                                      ; preds = %for.body, %for.body.lr.ph
  13   %i = phi i64 [ 0, %for.body.lr.ph ], [ %i.next, %for.body ]
  14   %a = getelementptr inbounds double, double* %t, i64 %i
  15   %i.next = add nuw nsw i64 %i, 1
  16   %a.next = getelementptr inbounds double, double* %t, i64 %i.next
  17   %t1 = load double, double* %a, align 8
  18   %t2 = load double, double* %a.next, align 8
  19   store double %t1, double* %a.next, align 8
  20   store double %t2, double* %a, align 8
  21   %c = icmp eq i64 %i, %n
  22   br i1 %c, label %final, label %for.body
  23
  24 final:                                   ; preds = %for.body
  25   ret void
  26 }