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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=x86_64-- -mcpu=x86-64 < %s | FileCheck %s
define i32 @u8_f32_s32(i8 %a) {
; CHECK-LABEL: u8_f32_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: movzbl %dil, %eax
; CHECK-NEXT: retq
%conv = uitofp i8 %a to float
%conv1 = fptosi float %conv to i32
ret i32 %conv1
}
define i32 @s8_f32_s32(i8 %a) {
; CHECK-LABEL: s8_f32_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: movsbl %dil, %eax
; CHECK-NEXT: retq
%conv = sitofp i8 %a to float
%conv1 = fptosi float %conv to i32
ret i32 %conv1
}
define zeroext i8 @u8_f32_u8(i8 zeroext %a) {
; CHECK-LABEL: u8_f32_u8:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: # kill: def $al killed $al killed $eax
; CHECK-NEXT: retq
%conv = uitofp i8 %a to float
%conv1 = fptoui float %conv to i8
ret i8 %conv1
}
define i32 @s32_f32_s24_s32(i32 %a) {
; CHECK-LABEL: s32_f32_s24_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: shll $8, %eax
; CHECK-NEXT: sarl $8, %eax
; CHECK-NEXT: retq
%f = sitofp i32 %a to float
%i = fptosi float %f to i24
%r = sext i24 %i to i32
ret i32 %r
}
define i32 @s32_f32_u24_u32(i32 %a) {
; CHECK-LABEL: s32_f32_u24_u32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: andl $16777215, %eax # imm = 0xFFFFFF
; CHECK-NEXT: retq
%f = sitofp i32 %a to float
%i = fptoui float %f to i24
%r = zext i24 %i to i32
ret i32 %r
}
define i32 @u32_f32_s24_s32(i32 %a) {
; CHECK-LABEL: u32_f32_s24_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: shll $8, %eax
; CHECK-NEXT: sarl $8, %eax
; CHECK-NEXT: retq
%f = uitofp i32 %a to float
%i = fptosi float %f to i24
%r = sext i24 %i to i32
ret i32 %r
}
define i32 @u32_f32_u24_u32(i32 %a) {
; CHECK-LABEL: u32_f32_u24_u32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: andl $16777215, %eax # imm = 0xFFFFFF
; CHECK-NEXT: retq
%f = uitofp i32 %a to float
%i = fptoui float %f to i24
%r = zext i24 %i to i32
ret i32 %r
}
; This requires converting to FP and back.
define i32 @s32_f32_s25_s32(i32 %a) {
; CHECK-LABEL: s32_f32_s25_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: cvtsi2ss %edi, %xmm0
; CHECK-NEXT: cvttss2si %xmm0, %eax
; CHECK-NEXT: retq
%f = sitofp i32 %a to float
%i = fptosi float %f to i25
%r = sext i25 %i to i32
ret i32 %r
}
define i32 @s32_f32_u25_u32(i32 %a) {
; CHECK-LABEL: s32_f32_u25_u32:
; CHECK: # %bb.0:
; CHECK-NEXT: cvtsi2ss %edi, %xmm0
; CHECK-NEXT: cvttss2si %xmm0, %eax
; CHECK-NEXT: retq
%f = sitofp i32 %a to float
%i = fptoui float %f to i25
%r = zext i25 %i to i32
ret i32 %r
}
; TODO: This could avoid converting to FP.
define i32 @u32_f32_s25_s32(i32 %a) {
; CHECK-LABEL: u32_f32_s25_s32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: cvtsi2ss %rax, %xmm0
; CHECK-NEXT: cvttss2si %xmm0, %eax
; CHECK-NEXT: retq
%f = uitofp i32 %a to float
%i = fptosi float %f to i25
%r = sext i25 %i to i32
ret i32 %r
}
define i32 @u32_f32_u25_u32(i32 %a) {
; CHECK-LABEL: u32_f32_u25_u32:
; CHECK: # %bb.0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: cvtsi2ss %rax, %xmm0
; CHECK-NEXT: cvttss2si %xmm0, %eax
; CHECK-NEXT: retq
%f = uitofp i32 %a to float
%i = fptoui float %f to i25
%r = zext i25 %i to i32
ret i32 %r
}
|
