bfloat.ll
1.44 KB
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
62
; RUN: llvm-as < %s | llvm-dis | FileCheck %s --check-prefix=ASSEM-DISASS
; RUN: opt < %s -O3 -S | FileCheck %s --check-prefix=OPT
; RUN: verify-uselistorder %s
; Basic smoke tests for bfloat type.
define bfloat @check_bfloat(bfloat %A) {
; ASSEM-DISASS: ret bfloat %A
ret bfloat %A
}
define bfloat @check_bfloat_literal() {
; ASSEM-DISASS: ret bfloat 0xR3149
ret bfloat 0xR3149
}
define <4 x bfloat> @check_fixed_vector() {
; ASSEM-DISASS: ret <4 x bfloat> %tmp
%tmp = fadd <4 x bfloat> undef, undef
ret <4 x bfloat> %tmp
}
define <vscale x 4 x bfloat> @check_vector() {
; ASSEM-DISASS: ret <vscale x 4 x bfloat> %tmp
%tmp = fadd <vscale x 4 x bfloat> undef, undef
ret <vscale x 4 x bfloat> %tmp
}
define bfloat @check_bfloat_constprop() {
%tmp = fadd bfloat 0xR40C0, 0xR40C0
; OPT: 0xR4140
ret bfloat %tmp
}
define float @check_bfloat_convert() {
%tmp = fpext bfloat 0xR4C8D to float
; OPT: 0x4191A00000000000
ret float %tmp
}
; ASSEM-DISASS-LABEL @snan_bfloat
define bfloat @snan_bfloat() {
; ASSEM-DISASS: ret bfloat 0xR7F81
ret bfloat 0xR7F81
}
; ASSEM-DISASS-LABEL @qnan_bfloat
define bfloat @qnan_bfloat() {
; ASSEM-DISASS: ret bfloat 0xR7FC0
ret bfloat 0xR7FC0
}
; ASSEM-DISASS-LABEL @pos_inf_bfloat
define bfloat @pos_inf_bfloat() {
; ASSEM-DISASS: ret bfloat 0xR7F80
ret bfloat 0xR7F80
}
; ASSEM-DISASS-LABEL @neg_inf_bfloat
define bfloat @neg_inf_bfloat() {
; ASSEM-DISASS: ret bfloat 0xRFF80
ret bfloat 0xRFF80
}