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
57
58
59
60
61
|
; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux | FileCheck %s
@flags_gv = global i64 0
; First without noredzone.
; CHECK-LABEL: f0:
; CHECK: -4(%rsp)
; CHECK: -4(%rsp)
; CHECK: ret
define x86_fp80 @f0(float %f) nounwind {
entry:
%0 = fpext float %f to x86_fp80 ; <x86_fp80> [#uses=1]
ret x86_fp80 %0
}
; Then with noredzone.
; CHECK-LABEL: f1:
; CHECK: subq $4, %rsp
; CHECK: (%rsp)
; CHECK: (%rsp)
; CHECK: addq $4, %rsp
; CHECK: ret
define x86_fp80 @f1(float %f) nounwind noredzone {
entry:
%0 = fpext float %f to x86_fp80 ; <x86_fp80> [#uses=1]
ret x86_fp80 %0
}
declare i64 @llvm.x86.flags.read.u64()
declare void @llvm.x86.flags.write.u64(i64)
; pushfq and popfq prevent redzones.
; CHECK-LABEL: norz_flags_read:
; CHECK: subq ${{[0-9]+}}, %rsp
; CHECK: pushfq
; CHECK: popq
; CHECK: (%rsp)
; CHECK: (%rsp)
; CHECK: ret
define x86_fp80 @norz_flags_read(float %f) nounwind {
entry:
%flags = call i64 @llvm.x86.flags.read.u64()
store i64 %flags, ptr @flags_gv
%0 = fpext float %f to x86_fp80
ret x86_fp80 %0
}
; CHECK-LABEL: norz_flags_write:
; CHECK: subq ${{[0-9]+}}, %rsp
; CHECK: pushq
; CHECK: popfq
; CHECK: (%rsp)
; CHECK: (%rsp)
; CHECK: ret
define x86_fp80 @norz_flags_write(float %f, i64 %flags) nounwind {
entry:
call void @llvm.x86.flags.write.u64(i64 %flags)
%0 = fpext float %f to x86_fp80
ret x86_fp80 %0
}
|
