llvm/test/Analysis/CostModel/AArch64/arith-fp-sve.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt < %s -enable-no-nans-fp-math -cost-model -analyze -mtriple=aarch64 -mattr=+fullfp16 -mattr=+sve | FileCheck %s
   3
   4 define void @fadd() {
   5 ; CHECK-LABEL: 'fadd'
   6 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F16 = fadd <vscale x 4 x half> undef, undef
   7 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V8F16 = fadd <vscale x 8 x half> undef, undef
   8 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V16F16 = fadd <vscale x 16 x half> undef, undef
   9 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F32 = fadd <vscale x 2 x float> undef, undef
  10 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F32 = fadd <vscale x 4 x float> undef, undef
  11 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V8F32 = fadd <vscale x 8 x float> undef, undef
  12 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F64 = fadd <vscale x 2 x double> undef, undef
  13 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V4F64 = fadd <vscale x 4 x double> undef, undef
  14 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: ret void
  15 ;
  16   %V4F16 = fadd <vscale x 4 x half> undef, undef
  17   %V8F16 = fadd <vscale x 8 x half> undef, undef
  18   %V16F16 = fadd <vscale x 16 x half> undef, undef
  19
  20   %V2F32 = fadd <vscale x 2 x float> undef, undef
  21   %V4F32 = fadd <vscale x 4 x float> undef, undef
  22   %V8F32 = fadd <vscale x 8 x float> undef, undef
  23
  24   %V2F64 = fadd <vscale x 2 x double> undef, undef
  25   %V4F64 = fadd <vscale x 4 x double> undef, undef
  26
  27   ret void
  28 }
  29
  30 define void @fsub() {
  31 ; CHECK-LABEL: 'fsub'
  32 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F16 = fsub <vscale x 4 x half> undef, undef
  33 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V8F16 = fsub <vscale x 8 x half> undef, undef
  34 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V16F16 = fsub <vscale x 16 x half> undef, undef
  35 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F32 = fsub <vscale x 2 x float> undef, undef
  36 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F32 = fsub <vscale x 4 x float> undef, undef
  37 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V8F32 = fsub <vscale x 8 x float> undef, undef
  38 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F64 = fsub <vscale x 2 x double> undef, undef
  39 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V4F64 = fsub <vscale x 4 x double> undef, undef
  40 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: ret void
  41 ;
  42   %V4F16 = fsub <vscale x 4 x half> undef, undef
  43   %V8F16 = fsub <vscale x 8 x half> undef, undef
  44   %V16F16 = fsub <vscale x 16 x half> undef, undef
  45
  46   %V2F32 = fsub <vscale x 2 x float> undef, undef
  47   %V4F32 = fsub <vscale x 4 x float> undef, undef
  48   %V8F32 = fsub <vscale x 8 x float> undef, undef
  49
  50   %V2F64 = fsub <vscale x 2 x double> undef, undef
  51   %V4F64 = fsub <vscale x 4 x double> undef, undef
  52
  53   ret void
  54 }
  55
  56 define void @fneg() {
  57 ; CHECK-LABEL: 'fneg'
  58 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F16 = fneg <vscale x 2 x half> undef
  59 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F16 = fneg <vscale x 4 x half> undef
  60 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V8F16 = fneg <vscale x 8 x half> undef
  61 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V16F16 = fneg <vscale x 16 x half> undef
  62 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F32 = fneg <vscale x 2 x float> undef
  63 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F32 = fneg <vscale x 4 x float> undef
  64 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V8F32 = fneg <vscale x 8 x float> undef
  65 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F64 = fneg <vscale x 2 x double> undef
  66 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V4F64 = fneg <vscale x 4 x double> undef
  67 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: ret void
  68 ;
  69   %V2F16 = fneg <vscale x 2 x half> undef
  70   %V4F16 = fneg <vscale x 4 x half> undef
  71   %V8F16 = fneg <vscale x 8 x half> undef
  72   %V16F16 = fneg <vscale x 16 x half> undef
  73
  74   %V2F32 = fneg <vscale x 2 x float> undef
  75   %V4F32 = fneg <vscale x 4 x float> undef
  76   %V8F32 = fneg <vscale x 8 x float> undef
  77
  78   %V2F64 = fneg <vscale x 2 x double> undef
  79   %V4F64 = fneg <vscale x 4 x double> undef
  80
  81   ret void
  82 }
  83
  84 define void @fmul() {
  85 ; CHECK-LABEL: 'fmul'
  86 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F16 = fmul <vscale x 4 x half> undef, undef
  87 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V8F16 = fmul <vscale x 8 x half> undef, undef
  88 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V16F16 = fmul <vscale x 16 x half> undef, undef
  89 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F32 = fmul <vscale x 2 x float> undef, undef
  90 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F32 = fmul <vscale x 4 x float> undef, undef
  91 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V8F32 = fmul <vscale x 8 x float> undef, undef
  92 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F64 = fmul <vscale x 2 x double> undef, undef
  93 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V4F64 = fmul <vscale x 4 x double> undef, undef
  94 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: ret void
  95 ;
  96   %V4F16 = fmul <vscale x 4 x half> undef, undef
  97   %V8F16 = fmul <vscale x 8 x half> undef, undef
  98   %V16F16 = fmul <vscale x 16 x half> undef, undef
  99
 100   %V2F32 = fmul <vscale x 2 x float> undef, undef
 101   %V4F32 = fmul <vscale x 4 x float> undef, undef
 102   %V8F32 = fmul <vscale x 8 x float> undef, undef
 103
 104   %V2F64 = fmul <vscale x 2 x double> undef, undef
 105   %V4F64 = fmul <vscale x 4 x double> undef, undef
 106
 107   ret void
 108 }
 109
 110 define void @fdiv() {
 111 ; CHECK-LABEL: 'fdiv'
 112 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F16 = fdiv <vscale x 4 x half> undef, undef
 113 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V8F16 = fdiv <vscale x 8 x half> undef, undef
 114 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V16F16 = fdiv <vscale x 16 x half> undef, undef
 115 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F32 = fdiv <vscale x 2 x float> undef, undef
 116 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V4F32 = fdiv <vscale x 4 x float> undef, undef
 117 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V8F32 = fdiv <vscale x 8 x float> undef, undef
 118 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 2 for instruction: %V2F64 = fdiv <vscale x 2 x double> undef, undef
 119 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 4 for instruction: %V4F64 = fdiv <vscale x 4 x double> undef, undef
 120 ; CHECK-NEXT:  Cost Model: Found an estimated cost of 0 for instruction: ret void
 121 ;
 122   %V4F16 = fdiv <vscale x 4 x half> undef, undef
 123   %V8F16 = fdiv <vscale x 8 x half> undef, undef
 124   %V16F16 = fdiv <vscale x 16 x half> undef, undef
 125
 126   %V2F32 = fdiv <vscale x 2 x float> undef, undef
 127   %V4F32 = fdiv <vscale x 4 x float> undef, undef
 128   %V8F32 = fdiv <vscale x 8 x float> undef, undef
 129
 130   %V2F64 = fdiv <vscale x 2 x double> undef, undef
 131   %V4F64 = fdiv <vscale x 4 x double> undef, undef
 132
 133   ret void
 134 }