mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 19:45:40 -04:00
1ed832e424
The FP-classification builtins (__builtin_isfinite, etc) use variadic packs in the definition file to mean an overload set. Because of that, floats were converted to doubles, which is incorrect. There WAS a patch to remove the cast after the fact. THis patch switches these builtins to just be custom type checking, calls the implicit conversions for the integer members, and makes sure the correct L->R casts are put into place, then does type checking like normal. A future direction (that wouldn't be NFC) would consider making conversions for the floating point parameter legal. Note: The initial patch for this missed that certain systems need to still convert half to float, since they dont' support that type.
82 lines
2.5 KiB
C
82 lines
2.5 KiB
C
// RUN: %clang_cc1 -emit-llvm -triple x86_64-windows-pc -o - %s | FileCheck %s --check-prefixes=CHECK,FP16
|
|
// RUN: %clang_cc1 -emit-llvm -triple ppc64-be -o - %s -DNO_FP16 | FileCheck %s --check-prefixes=CHECK,NOFP16
|
|
|
|
// test to ensure that these builtins don't do the variadic promotion of float->double.
|
|
void test_floats(float f1, float f2) {
|
|
(void)__builtin_isgreater(f1, f2);
|
|
// CHECK: fcmp ogt float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isgreaterequal(f1, f2);
|
|
// CHECK: fcmp oge float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isless(f1, f2);
|
|
// CHECK: fcmp olt float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessequal(f1, f2);
|
|
// CHECK: fcmp ole float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessgreater(f1, f2);
|
|
// CHECK: fcmp one float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isunordered(f1, f2);
|
|
// CHECK: fcmp uno float
|
|
// CHECK-NEXT: zext i1
|
|
}
|
|
|
|
void test_doubles(double d1, double f2) {
|
|
(void)__builtin_isgreater(d1, f2);
|
|
// CHECK: fcmp ogt double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isgreaterequal(d1, f2);
|
|
// CHECK: fcmp oge double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isless(d1, f2);
|
|
// CHECK: fcmp olt double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessequal(d1, f2);
|
|
// CHECK: fcmp ole double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessgreater(d1, f2);
|
|
// CHECK: fcmp one double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isunordered(d1, f2);
|
|
// CHECK: fcmp uno double
|
|
// CHECK-NEXT: zext i1
|
|
}
|
|
|
|
void test_half(__fp16 *H, __fp16 *H2) {
|
|
(void)__builtin_isgreater(*H, *H2);
|
|
// CHECK: fcmp ogt float
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isinf(*H);
|
|
// NOFP16: fcmp oeq float %{{.+}}, 0x7FF
|
|
// FP16: fcmp oeq half %{{.+}}, 0xH7C
|
|
}
|
|
|
|
void test_mixed(double d1, float f2) {
|
|
(void)__builtin_isgreater(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp ogt double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isgreaterequal(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp oge double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isless(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp olt double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessequal(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp ole double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_islessgreater(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp one double
|
|
// CHECK-NEXT: zext i1
|
|
(void)__builtin_isunordered(d1, f2);
|
|
// CHECK: fpext float {{.*}} to double
|
|
// CHECK-NEXT: fcmp uno double
|
|
// CHECK-NEXT: zext i1
|
|
}
|