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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
| ; Check that we can enable/disable UnsafeFPMath via function attributes. An
; attribute on one function should not magically apply to the next one.
; RUN: llc < %s -mtriple=x86_64-unknown-unknown \
; RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=SAFE
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -enable-unsafe-fp-math \
; RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=UNSAFE
; The div in these functions should be converted to a mul when unsafe-fp-math
; is enabled.
; CHECK-LABEL: unsafe_fp_math_default0:
define double @unsafe_fp_math_default0(double %x) {
; SAFE: divsd
; UNSAFE: mulsd
%div = fdiv double %x, 2.0
ret double %div
}
; CHECK-LABEL: unsafe_fp_math_off:
define double @unsafe_fp_math_off(double %x) #0 {
; SAFE: divsd
; UNSAFE: divsd
%div = fdiv double %x, 2.0
ret double %div
}
; CHECK-LABEL: unsafe_fp_math_default1:
define double @unsafe_fp_math_default1(double %x) {
; With unsafe math enabled, can change this div to a mul.
; SAFE: divsd
; UNSAFE: mulsd
%div = fdiv double %x, 2.0
ret double %div
}
; CHECK-LABEL: unsafe_fp_math_on:
define double @unsafe_fp_math_on(double %x) #1 {
; SAFE: mulsd
; UNSAFE: mulsd
%div = fdiv double %x, 2.0
ret double %div
}
; CHECK-LABEL: unsafe_fp_math_default2:
define double @unsafe_fp_math_default2(double %x) {
; With unsafe math enabled, can change this div to a mul.
; SAFE: divsd
; UNSAFE: mulsd
%div = fdiv double %x, 2.0
ret double %div
}
attributes #0 = { "unsafe-fp-math"="false" }
attributes #1 = { "unsafe-fp-math"="true" }
|