test/Transforms/LoopVectorize/ARM/width-detect.ll

   1 ; RUN: opt < %s  -loop-vectorize -mtriple=thumbv7-apple-ios3.0.0 -S | FileCheck %s
   2
   3 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32"
   4 target triple = "thumbv7-apple-ios3.0.0"
   5
   6 ;CHECK:foo_F32
   7 ;CHECK: <4 x float>
   8 ;CHECK:ret
   9 define float @foo_F32(float* nocapture %A, i32 %n) nounwind uwtable readonly ssp {
  10   %1 = icmp sgt i32 %n, 0
  11   br i1 %1, label %.lr.ph, label %._crit_edge
  12
  13 .lr.ph:                                           ; preds = %0, %.lr.ph
  14   %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %0 ]
  15   %prod.01 = phi float [ %4, %.lr.ph ], [ 0.000000e+00, %0 ]
  16   %2 = getelementptr inbounds float* %A, i64 %indvars.iv
  17   %3 = load float* %2, align 8
  18   %4 = fmul fast float %prod.01, %3
  19   %indvars.iv.next = add i64 %indvars.iv, 1
  20   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  21   %exitcond = icmp eq i32 %lftr.wideiv, %n
  22   br i1 %exitcond, label %._crit_edge, label %.lr.ph
  23
  24 ._crit_edge:                                      ; preds = %.lr.ph, %0
  25   %prod.0.lcssa = phi float [ 0.000000e+00, %0 ], [ %4, %.lr.ph ]
  26   ret float %prod.0.lcssa
  27 }
  28
  29 ;CHECK:foo_I8
  30 ;CHECK: xor <16 x i8>
  31 ;CHECK:ret
  32 define signext i8 @foo_I8(i8* nocapture %A, i32 %n) nounwind uwtable readonly ssp {
  33   %1 = icmp sgt i32 %n, 0
  34   br i1 %1, label %.lr.ph, label %._crit_edge
  35
  36 .lr.ph:                                           ; preds = %0, %.lr.ph
  37   %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %0 ]
  38   %red.01 = phi i8 [ %4, %.lr.ph ], [ 0, %0 ]
  39   %2 = getelementptr inbounds i8* %A, i64 %indvars.iv
  40   %3 = load i8* %2, align 1
  41   %4 = xor i8 %3, %red.01
  42   %indvars.iv.next = add i64 %indvars.iv, 1
  43   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  44   %exitcond = icmp eq i32 %lftr.wideiv, %n
  45   br i1 %exitcond, label %._crit_edge, label %.lr.ph
  46
  47 ._crit_edge:                                      ; preds = %.lr.ph, %0
  48   %red.0.lcssa = phi i8 [ 0, %0 ], [ %4, %.lr.ph ]
  49   ret i8 %red.0.lcssa
  50 }
  51
  52