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 } 27
