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
138
139
140
141
142
143
144
145
146
|
// RUN: %clang_cc1 %s -O0 -emit-llvm -triple x86_64-unknown-unknown -o - | FileCheck %s --check-prefix=X86
// RUN: %clang_cc1 %s -O0 -triple x86_64-unknown-unknown -ast-dump | FileCheck %s --check-prefix=AST
// Check that for 'F _Complex + int' (F = real floating-point type), we emit an
// implicit cast from 'int' to 'F', but NOT to 'F _Complex' (i.e. that we do
// 'F _Complex + F', NOT 'F _Complex + F _Complex'), and likewise for -/*.
// AST-NOT: FloatingRealToComplex
float _Complex add_float_ci(float _Complex a, int b) {
// X86-LABEL: @add_float_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fadd float {{.*}}, [[I]]
// X86-NOT: fadd
return a + b;
}
float _Complex add_float_ic(int a, float _Complex b) {
// X86-LABEL: @add_float_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fadd float [[I]]
// X86-NOT: fadd
return a + b;
}
float _Complex sub_float_ci(float _Complex a, int b) {
// X86-LABEL: @sub_float_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fsub float {{.*}}, [[I]]
// X86-NOT: fsub
return a - b;
}
float _Complex sub_float_ic(int a, float _Complex b) {
// X86-LABEL: @sub_float_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fsub float [[I]]
// X86: fneg
// X86-NOT: fsub
return a - b;
}
float _Complex mul_float_ci(float _Complex a, int b) {
// X86-LABEL: @mul_float_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fmul float {{.*}}, [[I]]
// X86: fmul float {{.*}}, [[I]]
// X86-NOT: fmul
return a * b;
}
float _Complex mul_float_ic(int a, float _Complex b) {
// X86-LABEL: @mul_float_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fmul float [[I]]
// X86: fmul float [[I]]
// X86-NOT: fmul
return a * b;
}
float _Complex div_float_ci(float _Complex a, int b) {
// X86-LABEL: @div_float_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: fdiv float {{.*}}, [[I]]
// X86: fdiv float {{.*}}, [[I]]
// X86-NOT: @__divsc3
return a / b;
}
// There is no good way of doing this w/o converting the 'int' to a complex
// number, so we expect complex division here.
float _Complex div_float_ic(int a, float _Complex b) {
// X86-LABEL: @div_float_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to float
// X86: call {{.*}} @__divsc3(float {{.*}} [[I]], float noundef 0.{{0+}}e+00, float {{.*}}, float {{.*}})
return a / b;
}
double _Complex add_double_ci(double _Complex a, int b) {
// X86-LABEL: @add_double_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fadd double {{.*}}, [[I]]
// X86-NOT: fadd
return a + b;
}
double _Complex add_double_ic(int a, double _Complex b) {
// X86-LABEL: @add_double_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fadd double [[I]]
// X86-NOT: fadd
return a + b;
}
double _Complex sub_double_ci(double _Complex a, int b) {
// X86-LABEL: @sub_double_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fsub double {{.*}}, [[I]]
// X86-NOT: fsub
return a - b;
}
double _Complex sub_double_ic(int a, double _Complex b) {
// X86-LABEL: @sub_double_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fsub double [[I]]
// X86: fneg
// X86-NOT: fsub
return a - b;
}
double _Complex mul_double_ci(double _Complex a, int b) {
// X86-LABEL: @mul_double_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fmul double {{.*}}, [[I]]
// X86: fmul double {{.*}}, [[I]]
// X86-NOT: fmul
return a * b;
}
double _Complex mul_double_ic(int a, double _Complex b) {
// X86-LABEL: @mul_double_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fmul double [[I]]
// X86: fmul double [[I]]
// X86-NOT: fmul
return a * b;
}
double _Complex div_double_ci(double _Complex a, int b) {
// X86-LABEL: @div_double_ci
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: fdiv double {{.*}}, [[I]]
// X86: fdiv double {{.*}}, [[I]]
// X86-NOT: @__divdc3
return a / b;
}
// There is no good way of doing this w/o converting the 'int' to a complex
// number, so we expect complex division here.
double _Complex div_double_ic(int a, double _Complex b) {
// X86-LABEL: @div_double_ic
// X86: [[I:%.*]] = sitofp i32 {{%.*}} to double
// X86: call {{.*}} @__divdc3(double {{.*}} [[I]], double noundef 0.{{0+}}e+00, double {{.*}}, double {{.*}})
return a / b;
}
|
