test/Transforms/SLPVectorizer/AArch64/load-store-q.ll

   1 ; RUN: opt -S -basicaa -slp-vectorizer < %s | FileCheck %s
   2 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   3 target triple = "arm64-apple-ios5.0.0"
   4
   5 ; Holding a value live over a call boundary may require
   6 ; spills and fills. This is the case for <2 x double>,
   7 ; as it occupies a Q register of which there are no
   8 ; callee-saves.
   9
  10 ; CHECK: load double
  11 ; CHECK: load double
  12 ; CHECK: call void @g
  13 ; CHECK: store double
  14 ; CHECK: store double
  15 define void @f(double* %p, double* %q) {
  16   %addr2 = getelementptr double, double* %q, i32 1
  17   %addr = getelementptr double, double* %p, i32 1
  18   %x = load double, double* %p
  19   %y = load double, double* %addr
  20   call void @g()
  21   store double %x, double* %q
  22   store double %y, double* %addr2
  23   ret void
  24 }
  25 declare void @g()
  26
  27 ; Check we deal with loops correctly.
  28 ;
  29 ; CHECK: store <2 x double>
  30 ; CHECK: load <2 x double>
  31 define void @f2(double* %p, double* %q) {
  32 entry:
  33   br label %loop
  34
  35 loop:
  36   %p1 = phi double [0.0, %entry], [%x, %loop]
  37   %p2 = phi double [0.0, %entry], [%y, %loop]
  38   %addr2 = getelementptr double, double* %q, i32 1
  39   %addr = getelementptr double, double* %p, i32 1
  40   store double %p1, double* %q
  41   store double %p2, double* %addr2
  42
  43   %x = load double, double* %p
  44   %y = load double, double* %addr
  45   br label %loop
  46 }