llvm/test/Transforms/LoopVectorize/X86/unroll_selection.ll

   1 ; RUN: opt < %s -passes=loop-vectorize,dce -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7-avx -force-vector-width=4 -force-vector-interleave=0 -S | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.8.0"
   5
   6 ; Don't unroll when we have register pressure.
   7 ;CHECK: reg_pressure
   8 ;CHECK: load <4 x double>
   9 ;CHECK-NOT: load  <4 x double>
  10 ;CHECK: store <4 x double>
  11 ;CHECK-NOT: store <4 x double>
  12 ;CHECK: ret
  13 define void @reg_pressure(ptr nocapture %A, i32 %n) nounwind uwtable ssp {
  14   %1 = sext i32 %n to i64
  15   br label %2
  16
  17 ; <label>:2                                       ; preds = %2, %0
  18   %indvars.iv = phi i64 [ %indvars.iv.next, %2 ], [ %1, %0 ]
  19   %3 = getelementptr inbounds double, ptr %A, i64 %indvars.iv
  20   %4 = load double, ptr %3, align 8
  21   %5 = fadd double %4, 3.000000e+00
  22   %6 = fmul double %4, 2.000000e+00
  23   %7 = fadd double %5, %6
  24   %8 = fadd double %7, 2.000000e+00
  25   %9 = fmul double %8, 5.000000e-01
  26   %10 = fadd double %6, %9
  27   %11 = fsub double %10, %5
  28   %12 = fadd double %4, %11
  29   %13 = fdiv double %8, %12
  30   %14 = fmul double %13, %8
  31   %15 = fmul double %6, %14
  32   %16 = fmul double %5, %15
  33   %17 = fadd double %16, -3.000000e+00
  34   %18 = fsub double %4, %5
  35   %19 = fadd double %6, %18
  36   %20 = fadd double %13, %19
  37   %21 = fadd double %20, %17
  38   %22 = fadd double %21, 3.000000e+00
  39   %23 = fmul double %4, %22
  40   store double %23, ptr %3, align 8
  41   %indvars.iv.next = add i64 %indvars.iv, -1
  42   %24 = trunc i64 %indvars.iv to i32
  43   %25 = icmp eq i32 %24, 0
  44   br i1 %25, label %26, label %2
  45
  46 ; <label>:26                                      ; preds = %2
  47   ret void
  48 }
  49
  50 ; This is a small loop. Unroll it twice.
  51 ;CHECK: small_loop
  52 ;CHECK: xor
  53 ;CHECK: xor
  54 ;CHECK: ret
  55 define void @small_loop(ptr nocapture %A, i64 %n) nounwind uwtable ssp {
  56   %1 = icmp eq i64 %n, 0
  57   br i1 %1, label %._crit_edge, label %.lr.ph
  58
  59 .lr.ph:                                           ; preds = %0, %.lr.ph
  60   %i.01 = phi i64 [ %5, %.lr.ph ], [ 0, %0 ]
  61   %2 = getelementptr inbounds i16, ptr %A, i64 %i.01
  62   %3 = load i16, ptr %2, align 2
  63   %4 = xor i16 %3, 3
  64   store i16 %4, ptr %2, align 2
  65   %5 = add i64 %i.01, 1
  66   %exitcond = icmp eq i64 %5, %n
  67   br i1 %exitcond, label %._crit_edge, label %.lr.ph
  68
  69 ._crit_edge:                                      ; preds = %.lr.ph, %0
  70   ret void
  71 }