microsoft
/
DirectXShaderCompiler
зеркало из https://github.com/microsoft/DirectXShaderCompiler.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Backport `-Wdouble-promotion` from Clang 3.8 (#6574) 

This adds the Clang 3.8 `-Wdouble-promotion` warning group to DXC. This
is added as part of the mitigations for the HLSL 202x conforming
literals feature which (among other things) changes the conversion rank
of unsuffixed literal values.

Resolves #6571
This commit is contained in:
Chris B 2024-04-30 20:00:59 -05:00 коммит произвёл GitHub
Родитель 0c4509960b
Коммит e7b78ff9c9
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
4 изменённых файлов: 339 добавлений и 2 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

1
tools/clang/include/clang/Basic/DiagnosticGroups.td
Просмотреть файл

@ -44,6 +44,7 @@ def BoolConversion : DiagGroup<"bool-conversion", [PointerBoolConversion,
def IntConversion : DiagGroup<"int-conversion">;
def EnumConversion : DiagGroup<"enum-conversion">;
def FloatConversion : DiagGroup<"float-conversion">;
def DoublePromotion : DiagGroup<"double-promotion">; // HLSL Change - backport.
def EnumTooLarge : DiagGroup<"enum-too-large">;
def UnsupportedNan : DiagGroup<"unsupported-nan">;
def NonLiteralNullConversion : DiagGroup<"non-literal-null-conversion">;

7
tools/clang/include/clang/Basic/DiagnosticSemaKinds.td
Просмотреть файл

@ -2639,6 +2639,13 @@ def warn_impcast_null_pointer_to_integer : Warning<
def warn_impcast_floating_point_to_bool : Warning<
"implicit conversion turns floating-point number into bool: %0 to %1">,
InGroup<ImplicitConversionFloatingPointToBool>;
// HLSL Change - Begin
// This backports the Clang change to emit warnings for floating point
// promotions.
def warn_impcast_double_promotion : Warning<
"implicit conversion increases floating-point precision: %0 to %1">,
InGroup<DoublePromotion>, DefaultIgnore;
// HLSL Change - End
def warn_impcast_pointer_to_bool : Warning<
"address of%select{| function| array}0 '%1' will always evaluate to "

10
tools/clang/lib/Sema/SemaChecking.cpp
Просмотреть файл

@ -7135,12 +7135,15 @@ void CheckImplicitConversion(Sema &S, Expr *E, QualType T,
if (TargetBT && TargetBT->isFloatingPoint()) {
// ...then warn if we're dropping FP rank.
// HLSL Change - unless source is literal float
// HLSL Change Begin - Warn on both promotions and conversions.
// Don't warn on Literal float.
if (SourceBT->getKind() == BuiltinType::LitFloat)
return;
int Order = S.getASTContext().getFloatingTypeOrder(QualType(SourceBT, 0),
QualType(TargetBT, 0));
// Builtin FP kinds are ordered by increasing FP rank.
if (SourceBT->getKind() > TargetBT->getKind()) {
if (Order > 0) {
// Don't warn about float constants that are precisely
// representable in the target type.
Expr::EvalResult result;
@ -7156,7 +7159,10 @@ void CheckImplicitConversion(Sema &S, Expr *E, QualType T,
return;
DiagnoseImpCast(S, E, T, CC, diag::warn_impcast_float_precision);
} else if (Order < 0) {
DiagnoseImpCast(S, E, T, CC, diag::warn_impcast_double_promotion);
}
// HLSL Change End
return;
}

323
tools/clang/test/SemaHLSL/float-promotion.hlsl Normal file
Просмотреть файл

@ -0,0 +1,323 @@
// RUN: %dxc -T lib_6_4 -Wdouble-promotion -HV 2021 -verify %s
// RUN: %dxc -T lib_6_4 -Wdouble-promotion -HV 2021 -enable-16bit-types -verify %s
// RUN: %dxc -T lib_6_4 -Wdouble-promotion -HV 202x -verify %s
// RUN: %dxc -T lib_6_4 -Wdouble-promotion -HV 202x -enable-16bit-types -verify %s
void LitFloat() {
#if __HLSL_VERSION <= 2021
#ifndef __HLSL_ENABLE_16_BIT
min16float m = 1.0;
#endif
half h = 1.0;
float f = 1.0;
double d = 1.0;
#else
#ifndef __HLSL_ENABLE_16_BIT
min16float m = 1.0;
#endif
half h = 1.0;
float f = 1.0;
double d = 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
#endif
}
void HalfSuffix() {
#ifndef __HLSL_ENABLE_16_BIT
min16float m = 1.0h;
#if __HLSL_VERSION <= 2021
float f = 1.0h;
double d = 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
#else
float f = 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
double d = 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
#endif
#else
float f = 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
double d = 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
#endif
half h = 1.0h;
}
void FloatSuffix() {
#ifndef __HLSL_ENABLE_16_BIT
min16float m = 1.0f;
#endif
half h = 1.0f;
float f = 1.0f;
double d = 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
}
void DoubleSuffix() {
#ifndef __HLSL_ENABLE_16_BIT
min16float m = 1.0l;
#endif
half h = 1.0l;
float f = 1.0l;
double d = 1.0l;
}
void TernaryFun(bool B) {
#if __HLSL_VERSION > 2021
#ifndef __HLSL_ENABLE_16_BIT
min16float m0 = B ? 1.0 : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m1 = B ? 1.0 : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m2 = B ? 1.0h : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m3 = B ? 1.0 : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m4 = B ? 1.0f : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m7 = B ? 1.0h : 1.0h; // expected-warning{{conversion from larger type 'half' to smaller type 'min16float', possible loss of data}}
min16float m9 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m10 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m13 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m14 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m15 = B ? 1.0f : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
half h0 = B ? 1.0 : 1.0;
half h1 = B ? 1.0 : 1.0h;
half h2 = B ? 1.0h : 1.0;
half h3 = B ? 1.0 : 1.0f;
half h4 = B ? 1.0f : 1.0;
half h5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h7 = B ? 1.0h : 1.0h;
half h9 = B ? 1.0h : 1.0f;
half h10 = B ? 1.0f : 1.0h;
half h11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h13 = B ? 1.0f : 1.0h;
half h14 = B ? 1.0h : 1.0f;
half h15 = B ? 1.0f : 1.0f;
half h16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
#else
half h0 = B ? 1.0 : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h1 = B ? 1.0 : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h2 = B ? 1.0h : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h3 = B ? 1.0 : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h4 = B ? 1.0f : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h7 = B ? 1.0h : 1.0h;
half h9 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h10 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h13 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h14 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h15 = B ? 1.0f : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
#endif
float f0 = B ? 1.0 : 1.0;
float f1 = B ? 1.0 : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f2 = B ? 1.0h : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f3 = B ? 1.0 : 1.0f;
float f4 = B ? 1.0f : 1.0;
float f5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f7 = B ? 1.0h : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f9 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f10 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f12 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}} expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f13 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f14 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f15 = B ? 1.0f : 1.0f;
float f16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
double d0 = B ? 1.0 : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d1 = B ? 1.0 : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d2 = B ? 1.0h : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d3 = B ? 1.0 : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d4 = B ? 1.0f : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d5 = B ? 1.0 : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d6 = B ? 1.0l : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d7 = B ? 1.0h : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d9 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d10 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d11 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d12 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d13 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d14 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d15 = B ? 1.0f : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d16 = B ? 1.0f : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d17 = B ? 1.0l : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d18 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d19 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d20 = B ? 1.0l : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d21 = B ? 1.0f : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d22 = B ? 1.0l : 1.0l;
#else // __HLSL_VERSION > 2021
#ifndef __HLSL_ENABLE_16_BIT
min16float m0 = B ? 1.0 : 1.0;
min16float m1 = B ? 1.0 : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m2 = B ? 1.0h : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m3 = B ? 1.0 : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m4 = B ? 1.0f : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m7 = B ? 1.0h : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m9 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m10 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m13 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m14 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m15 = B ? 1.0f : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'min16float', possible loss of data}}
min16float m16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
min16float m22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'min16float', possible loss of data}}
half h0 = B ? 1.0 : 1.0;
half h1 = B ? 1.0 : 1.0h;
half h2 = B ? 1.0h : 1.0;
half h3 = B ? 1.0 : 1.0f;
half h4 = B ? 1.0f : 1.0;
half h5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h7 = B ? 1.0h : 1.0h;
half h9 = B ? 1.0h : 1.0f;
half h10 = B ? 1.0f : 1.0h;
half h11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h13 = B ? 1.0f : 1.0h;
half h14 = B ? 1.0h : 1.0f;
half h15 = B ? 1.0f : 1.0f;
half h16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
half h22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half', possible loss of data}}
float f1 = B ? 1.0 : 1.0h;
float f2 = B ? 1.0h : 1.0;
float f9 = B ? 1.0h : 1.0f;
float f10 = B ? 1.0f : 1.0h;
float f13 = B ? 1.0f : 1.0h;
float f14 = B ? 1.0h : 1.0f;
float f7 = B ? 1.0h : 1.0h;
float f11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
double d1 = B ? 1.0 : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d2 = B ? 1.0h : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d7 = B ? 1.0h : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d9 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d10 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d11 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d12 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d13 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d14 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d18 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d19 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
#else
half h0 = B ? 1.0 : 1.0;
half h1 = B ? 1.0 : 1.0h;
half h2 = B ? 1.0h : 1.0;
half h3 = B ? 1.0 : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h4 = B ? 1.0f : 1.0; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h7 = B ? 1.0h : 1.0h;
half h9 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h10 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h13 = B ? 1.0f : 1.0h; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h14 = B ? 1.0h : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h15 = B ? 1.0f : 1.0f; // expected-warning{{conversion from larger type 'float' to smaller type 'half'}}
half h16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
half h22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'half'}}
float f1 = B ? 1.0 : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f2 = B ? 1.0h : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f9 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f10 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f13 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f14 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f7 = B ? 1.0h : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f11 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f12 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f18 = B ? 1.0l : 1.0h; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
float f19 = B ? 1.0h : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'float'}}
double d1 = B ? 1.0 : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d2 = B ? 1.0h : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d7 = B ? 1.0h : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d9 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d10 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d11 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d12 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d13 = B ? 1.0f : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d14 = B ? 1.0h : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d18 = B ? 1.0l : 1.0h; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
double d19 = B ? 1.0h : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'half' to 'double'}}
#endif
float f0 = B ? 1.0 : 1.0;
float f3 = B ? 1.0 : 1.0f;
float f4 = B ? 1.0f : 1.0;
float f5 = B ? 1.0 : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f6 = B ? 1.0l : 1.0; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f15 = B ? 1.0f : 1.0f;
float f16 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f17 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f20 = B ? 1.0l : 1.0f; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f21 = B ? 1.0f : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
float f22 = B ? 1.0l : 1.0l; // expected-warning{{conversion from larger type 'double' to smaller type 'float', possible loss of data}}
double d0 = B ? 1.0 : 1.0;
double d3 = B ? 1.0 : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d4 = B ? 1.0f : 1.0; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d5 = B ? 1.0 : 1.0l;
double d6 = B ? 1.0l : 1.0;
double d15 = B ? 1.0f : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}} expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d16 = B ? 1.0f : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d17 = B ? 1.0l : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d20 = B ? 1.0l : 1.0f; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d21 = B ? 1.0f : 1.0l; // expected-warning{{implicit conversion increases floating-point precision: 'float' to 'double'}}
double d22 = B ? 1.0l : 1.0l;
#endif // __HLSL_VERSION > 2021
}