1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2
3define void @fpmath1(i32 %i, float %f, <2 x float> %g) {
4  %s = add i32 %i, %i, !fpmath !0
5; CHECK: fpmath requires a floating point result!
6  %t = fadd float %f, %f, !fpmath !1
7; CHECK: fpmath takes one operand!
8  %u = fadd float %f, %f, !fpmath !2
9; CHECK: fpmath takes one operand!
10  %v = fadd float %f, %f, !fpmath !3
11; CHECK: invalid fpmath accuracy!
12  %w = fadd float %f, %f, !fpmath !0
13; Above line is correct.
14  %w2 = fadd <2 x float> %g, %g, !fpmath !0
15; Above line is correct.
16  %x = fadd float %f, %f, !fpmath !4
17; CHECK: fpmath accuracy not a positive number!
18  %y = fadd float %f, %f, !fpmath !5
19; CHECK: fpmath accuracy not a positive number!
20  %z = fadd float %f, %f, !fpmath !6
21; CHECK: fpmath accuracy not a positive 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 }
32