llvm/test/Verifier/fp-intrinsics.ll

   1 ; RUN: not opt -passes=verify -disable-output < %s 2>&1 | FileCheck %s
   2
   3 declare double @llvm.experimental.constrained.fadd.f64(double, double, metadata, metadata)
   4 declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata)
   5
   6 ; Test an illegal value for the rounding mode argument.
   7 ; CHECK: invalid rounding mode argument
   8 ; CHECK-NEXT:   %fadd = call double @llvm.experimental.constrained.fadd.f64(double %a, double %b, metadata !"round.dynomic", metadata !"fpexcept.strict") #1
   9 define double @f2(double %a, double %b) #0 {
  10 entry:
  11   %fadd = call double @llvm.experimental.constrained.fadd.f64(
  12                                           double %a, double %b,
  13                                           metadata !"round.dynomic",
  14                                           metadata !"fpexcept.strict") #0
  15   ret double %fadd
  16 }
  17
  18 ; Test an illegal value for the exception behavior argument.
  19 ; CHECK-NEXT: invalid exception behavior argument
  20 ; CHECK-NEXT:   %fadd = call double @llvm.experimental.constrained.fadd.f64(double %a, double %b, metadata !"round.dynamic", metadata !"fpexcept.restrict") #1
  21 define double @f3(double %a, double %b) #0 {
  22 entry:
  23   %fadd = call double @llvm.experimental.constrained.fadd.f64(
  24                                         double %a, double %b,
  25                                         metadata !"round.dynamic",
  26                                         metadata !"fpexcept.restrict") #0
  27   ret double %fadd
  28 }
  29
  30 ; Test an illegal value for the rounding mode argument.
  31 ; CHECK-NEXT: invalid rounding mode argument
  32 ; CHECK-NEXT:   %fadd = call double @llvm.experimental.constrained.sqrt.f64(double %a, metadata !"round.dynomic", metadata !"fpexcept.strict") #1
  33 define double @f4(double %a) #0 {
  34 entry:
  35   %fadd = call double @llvm.experimental.constrained.sqrt.f64(
  36                                           double %a,
  37                                           metadata !"round.dynomic",
  38                                           metadata !"fpexcept.strict") #0
  39   ret double %fadd
  40 }
  41
  42 ; Test an illegal value for the exception behavior argument.
  43 ; CHECK-NEXT: invalid exception behavior argument
  44 ; CHECK-NEXT:   %fadd = call double @llvm.experimental.constrained.sqrt.f64(double %a, metadata !"round.dynamic", metadata !"fpexcept.restrict") #1
  45 define double @f5(double %a) #0 {
  46 entry:
  47   %fadd = call double @llvm.experimental.constrained.sqrt.f64(
  48                                         double %a,
  49                                         metadata !"round.dynamic",
  50                                         metadata !"fpexcept.restrict") #0
  51   ret double %fadd
  52 }
  53
  54 attributes #0 = { strictfp }