test/Verifier/fpaccuracy.ll

   1 ; RUN: not llvm-as < %s |& FileCheck %s
   2
   3 define void @foo(i32 %i, float %f, <2 x float> %g) {
   4   %s = add i32 %i, %i, !fpaccuracy !0
   5 ; CHECK: fpaccuracy requires a floating point result!
   6   %t = fadd float %f, %f, !fpaccuracy !1
   7 ; CHECK: fpaccuracy takes one operand!
   8   %u = fadd float %f, %f, !fpaccuracy !2
   9 ; CHECK: fpaccuracy takes one operand!
  10   %v = fadd float %f, %f, !fpaccuracy !3
  11 ; CHECK: fpaccuracy ULPs not a floating point number!
  12   %w = fadd float %f, %f, !fpaccuracy !0
  13 ; Above line is correct.
  14   %w2 = fadd <2 x float> %g, %g, !fpaccuracy !0
  15 ; Above line is correct.
  16   %x = fadd float %f, %f, !fpaccuracy !4
  17 ; CHECK: fpaccuracy ULPs is negative!
  18   %y = fadd float %f, %f, !fpaccuracy !5
  19 ; CHECK: fpaccuracy ULPs is negative!
  20   %z = fadd float %f, %f, !fpaccuracy !6
  21 ; CHECK: fpaccuracy ULPs not a normal number!
  22   ret void
  23 }
  24
  25 !0 = metadata !{ float 1.0 }
  26 !1 = metadata !{ }
  27 !2 = metadata !{ float 1.0, float 1.0 }
  28 !3 = metadata !{ i32 1 }
  29 !4 = metadata !{ float -1.0 }
  30 !5 = metadata !{ float -0.0 }
  31 !6 = metadata !{ float 0x7FFFFFFF00000000 }