llvm/test/CodeGen/SystemZ/vec-strict-sqrt-01.ll

   1 ; Test f64 and v2f64 square root.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
   4
   5 declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata)
   6 declare <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double>, metadata, metadata)
   7
   8 define <2 x double> @f1(<2 x double> %val) #0 {
   9 ; CHECK-LABEL: f1:
  10 ; CHECK: vfsqdb %v24, %v24
  11 ; CHECK: br %r14
  12   %ret = call <2 x double> @llvm.experimental.constrained.sqrt.v2f64(
  13                         <2 x double> %val,
  14                         metadata !"round.dynamic",
  15                         metadata !"fpexcept.strict") #0
  16   ret <2 x double> %ret
  17 }
  18
  19 define double @f2(<2 x double> %val) #0 {
  20 ; CHECK-LABEL: f2:
  21 ; CHECK: wfsqdb %f0, %v24
  22 ; CHECK: br %r14
  23   %scalar = extractelement <2 x double> %val, i32 0
  24   %ret = call double @llvm.experimental.constrained.sqrt.f64(
  25                         double %scalar,
  26                         metadata !"round.dynamic",
  27                         metadata !"fpexcept.strict") #0
  28   ret double %ret
  29 }
  30
  31 attributes #0 = { strictfp }