aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/denormal-fp-math.ll
blob: f79f28a36694452cd46f991d1cf32ecdb6d3f95d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck --implicit-check-not="invalid value" %s

define float @test_denormal_fp_math_valid() "denormal-fp-math"="ieee,ieee" {
  ret float 1.0
}

; CHECK: invalid value for 'denormal-fp-math' attribute: foo,ieee
define float @test_denormal_fp_math_invalid1() "denormal-fp-math"="foo,ieee" {
  ret float 1.0
}

; CHECK: invalid value for 'denormal-fp-math' attribute: ieee,ieee,ieee
define float @test_denormal_fp_math_invalid2() "denormal-fp-math"="ieee,ieee,ieee" {
  ret float 1.0
}

; CHECK: invalid value for 'denormal-fp-math-f32' attribute: foo,ieee
define float @test_denormal_fp_math_f32_invalid() "denormal-fp-math-f32"="foo,ieee" {
  ret float 1.0
}