test/Transforms/LoopVectorize/XCore/no-vector-registers.ll

   1 ; RUN: opt < %s -loop-vectorize -force-vector-width=4 -force-vector-interleave=2 -S -mtriple=xcore | FileCheck %s
   2
   3 target datalayout = "e-p:32:32:32-a0:0:32-n32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f16:16:32-f32:32:32-f64:32:32"
   4 target triple = "xcore"
   5 ; The xcore target has no vector registers, so loop should not be vectorized.
   6 ;CHECK-LABEL: @f(
   7 ;CHECK: entry:
   8 ;CHECK-NOT: vector.body
   9 ;CHECK-NEXT: br label %do.body
  10 define void @f(i8* nocapture %ptr, i32 %len) {
  11 entry:
  12   br label %do.body
  13 do.body:
  14   %ptr.addr.0 = phi i8* [ %ptr, %entry ], [ %incdec.ptr, %do.body ]
  15   %len.addr.0 = phi i32 [ %len, %entry ], [ %dec, %do.body ]
  16   %incdec.ptr = getelementptr inbounds i8, i8* %ptr.addr.0, i32 1
  17   store i8 0, i8* %ptr.addr.0, align 1
  18   %dec = add nsw i32 %len.addr.0, -1
  19   %tobool = icmp eq i32 %len.addr.0, 0
  20   br i1 %tobool, label %do.end, label %do.body
  21 do.end:
  22   ret void
  23 }