test/CodeGen/Hexagon/postinc-float.ll

   1 ; RUN: llc -mtriple=hexagon-unknown-elf < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: ldf
   4 ; CHECK: memw(r{{[0-9]+}}++#4)
   5 ; CHECK: memw(r{{[0-9]+}}++#4)
   6 define float @ldf(float* nocapture readonly %x, float* nocapture readonly %y) local_unnamed_addr #0 {
   7 entry:
   8   br label %for.body
   9
  10 for.body:
  11   %arrayidx.phi = phi float* [ %x, %entry ], [ %arrayidx.inc, %for.body ]
  12   %arrayidx1.phi = phi float* [ %y, %entry ], [ %arrayidx1.inc, %for.body ]
  13   %i.09 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  14   %acc.08 = phi float [ 0.000000e+00, %entry ], [ %add, %for.body ]
  15   %0 = load float, float* %arrayidx.phi, align 4
  16   %1 = load float, float* %arrayidx1.phi, align 4
  17   %mul = fmul contract float %0, %1
  18   %add = fadd contract float %acc.08, %mul
  19   %inc = add nuw nsw i32 %i.09, 1
  20   %exitcond = icmp eq i32 %inc, 1024
  21   %arrayidx.inc = getelementptr float, float* %arrayidx.phi, i32 1
  22   %arrayidx1.inc = getelementptr float, float* %arrayidx1.phi, i32 1
  23   br i1 %exitcond, label %for.end, label %for.body
  24
  25 for.end:
  26   ret float %add
  27 }
  28
  29 ; CHECK-LABEL: ldd
  30 ; CHECK: memd(r{{[0-9]+}}++#8)
  31 ; CHECK: memd(r{{[0-9]+}}++#8)
  32 define double @ldd(double* nocapture readonly %x, double* nocapture readonly %y) local_unnamed_addr #0 {
  33 entry:
  34   br label %for.body
  35
  36 for.body:
  37   %arrayidx.phi = phi double* [ %x, %entry ], [ %arrayidx.inc, %for.body ]
  38   %arrayidx1.phi = phi double* [ %y, %entry ], [ %arrayidx1.inc, %for.body ]
  39   %i.09 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  40   %acc.08 = phi double [ 0.000000e+00, %entry ], [ %add, %for.body ]
  41   %0 = load double, double* %arrayidx.phi, align 8
  42   %1 = load double, double* %arrayidx1.phi, align 8
  43   %mul = fmul contract double %0, %1
  44   %add = fadd contract double %acc.08, %mul
  45   %inc = add nuw nsw i32 %i.09, 1
  46   %exitcond = icmp eq i32 %inc, 1024
  47   %arrayidx.inc = getelementptr double, double* %arrayidx.phi, i32 1
  48   %arrayidx1.inc = getelementptr double, double* %arrayidx1.phi, i32 1
  49   br i1 %exitcond, label %for.end, label %for.body
  50
  51 for.end:
  52   ret double %add
  53 }
  54
  55 ; CHECK-LABEL: stf
  56 ; CHECK: memw(r{{[0-9]+}}++#4)
  57 define double* @stf(float* returned %p) local_unnamed_addr #0 {
  58 entry:
  59   br label %for.body
  60
  61 for.body:
  62   %arrayidx.phi = phi float* [ %arrayidx.inc, %for.body ], [ %p, %entry ]
  63   %call = tail call float @foof() #2
  64   store float %call, float* %arrayidx.phi, align 8
  65   %arrayidx.inc = getelementptr float, float* %arrayidx.phi, i32 1
  66   br label %for.body
  67 }
  68
  69 declare float @foof() local_unnamed_addr #1
  70
  71 ; CHECK-LABEL: std
  72 ; CHECK: memd(r{{[0-9]+}}++#8)
  73 define double* @std(double* returned %p) local_unnamed_addr #0 {
  74 entry:
  75   br label %for.body
  76
  77 for.body:
  78   %arrayidx.phi = phi double* [ %arrayidx.inc, %for.body ], [ %p, %entry ]
  79   %call = tail call double @food() #2
  80   store double %call, double* %arrayidx.phi, align 8
  81   %arrayidx.inc = getelementptr double, double* %arrayidx.phi, i32 1
  82   br label %for.body
  83 }
  84
  85 declare double @food() local_unnamed_addr #1
  86