reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34

; RUN: not llvm-as < %s 2>&1 | FileCheck %s

define void @fpmath1(i32 %i, float %f, <2 x float> %g) {
  %s = add i32 %i, %i, !fpmath !0
; CHECK: fpmath requires a floating point result!
  %t = fadd float %f, %f, !fpmath !1
; CHECK: fpmath takes one operand!
  %u = fadd float %f, %f, !fpmath !2
; CHECK: fpmath takes one operand!
  %v = fadd float %f, %f, !fpmath !3
; CHECK: invalid fpmath accuracy!
  %w = fadd float %f, %f, !fpmath !0
; Above line is correct.
  %w2 = fadd <2 x float> %g, %g, !fpmath !0
; Above line is correct.
  %x = fadd float %f, %f, !fpmath !4
; CHECK: fpmath accuracy not a positive number!
  %y = fadd float %f, %f, !fpmath !5
; CHECK: fpmath accuracy not a positive number!
  %z = fadd float %f, %f, !fpmath !6
; CHECK: fpmath accuracy not a positive number!
  %double.fpmath = fadd float %f, %f, !fpmath !7
; CHECK: fpmath accuracy must have float type
  ret void
}

!0 = !{ float 1.0 }
!1 = !{ }
!2 = !{ float 1.0, float 1.0 }
!3 = !{ i32 1 }
!4 = !{ float -1.0 }
!5 = !{ float 0.0 }
!6 = !{ float 0x7FFFFFFF00000000 }
!7 = !{ double 1.0 }