[SYCL][Sema] Only imply float size conversion warnings in SYCL

clang/include/clang/Basic/DiagnosticGroups.td

@@ -115,8 +115,7 @@ def ImplicitIntFloatConversion : DiagGroup<"implicit-int-float-conversion",
  [ImplicitConstIntFloatConversion]>;
 def ObjCSignedCharBoolImplicitFloatConversion :
   DiagGroup<"objc-signed-char-bool-implicit-float-conversion">;
-def ImplicitFloatSizeConversion :
-  DiagGroup<"implicit-float-size-conversion">;
+def ImplicitFloatSizeConversion : DiagGroup<"implicit-float-size-conversion">;
 def ImplicitFloatConversion : DiagGroup<"implicit-float-conversion",
   [ImplicitIntFloatConversion,
    ObjCSignedCharBoolImplicitFloatConversion, ImplicitFloatSizeConversion]>;

clang/lib/Sema/SemaChecking.cpp

@@ -11625,11 +11625,14 @@ void Sema::CheckImplicitConversion(Expr *E, QualType T, SourceLocation CC,
                   result.Val,
                   Context.getFloatTypeSemantics(QualType(TargetBT, 0)),
                   Context.getFloatTypeSemantics(QualType(SourceBT, 0)))) {
-            if (getLangOpts().SYCLIsDevice)
-              SYCL().DiagIfDeviceCode(CC, diag::warn_imp_float_size_conversion);
-            else
-              DiagnoseImpCast(*this, E, T, CC,
-                              diag::warn_imp_float_size_conversion);
+            if (getLangOpts().isSYCL()) {
+              if (getLangOpts().SYCLIsDevice)
+                SYCL().DiagIfDeviceCode(CC,
+                                        diag::warn_imp_float_size_conversion);
+              else
+                DiagnoseImpCast(*this, E, T, CC,
+                                diag::warn_imp_float_size_conversion);
+            }
             return;
           }
         }
@@ -11641,11 +11644,13 @@ void Sema::CheckImplicitConversion(Expr *E, QualType T, SourceLocation CC,
         // -Wimplicit-float-conversion is not, make sure we emit at least a size
         // warning.
         if (Diags.isIgnored(diag::warn_impcast_float_precision, CC)) {
-          if (getLangOpts().SYCLIsDevice)
-            SYCL().DiagIfDeviceCode(CC, diag::warn_imp_float_size_conversion);
-          else
-            DiagnoseImpCast(*this, E, T, CC,
-                            diag::warn_imp_float_size_conversion);
+          if (getLangOpts().isSYCL()) {
+            if (getLangOpts().SYCLIsDevice)
+              SYCL().DiagIfDeviceCode(CC, diag::warn_imp_float_size_conversion);
+            else
+              DiagnoseImpCast(*this, E, T, CC,
+                              diag::warn_imp_float_size_conversion);
+          }
         }
         DiagnoseImpCast(*this, E, T, CC, diag::warn_impcast_float_precision);
       }

clang/test/Sema/conversion.c

@@ -443,4 +443,3 @@ float double2float_test4(double a, float b) {
   b -= a; // expected-warning {{implicit conversion when assigning computation result loses floating-point precision: 'double' to 'float'}}
   return b;
 }
-float f = 1.0 / 2.0; // expected-warning {{implicit conversion between floating point types of different sizes}}

clang/test/Sema/ext_vector_casts.c

@@ -119,7 +119,7 @@ static void splats(int i, long l, __uint128_t t, float f, double d) {
 
   vf = 1 + vf;
   vf = l + vf; // expected-warning {{implicit conversion from 'long' to 'float2' (vector of 2 'float' values) may lose precision}}
-  vf = 2.0 + vf; // expected-warning {{implicit conversion between floating point types of different sizes}}
+  vf = 2.0 + vf;
   vf = d + vf; // expected-warning {{implicit conversion loses floating-point precision}}
   vf = vf + 0xffffffff; // expected-warning {{implicit conversion from 'unsigned int' to 'float2' (vector of 2 'float' values) changes value from 4294967295 to 4294967296}}
   vf = vf + 2.1; // expected-warning {{implicit conversion loses floating-point precision}}

clang/test/Sema/precision-and-size-conversion.c → clang/test/SemaSYCL/precision-and-size-conversion.c

@@ -1,16 +1,22 @@
-// RUN: %clang_cc1 -fsyntax-only -verify=precision-loss,precision-gain,size-change -Wimplicit-float-conversion -Wdouble-promotion -Wimplicit-float-size-conversion \
+// RUN: %clang_cc1 -fsyntax-only -verify=precision-loss,precision-gain,size-change -fsycl-is-host -Wimplicit-float-conversion -Wdouble-promotion -Wimplicit-float-size-conversion \
 // RUN:   -triple x86_64-apple-darwin %s
 
-// RUN: %clang_cc1 -fsyntax-only -verify=size-only,precision-gain,size-change -Wdouble-promotion -Wimplicit-float-size-conversion \
+// RUN: %clang_cc1 -fsyntax-only -verify=size-only,precision-gain,size-change -fsycl-is-host -Wdouble-promotion -Wimplicit-float-size-conversion \
 // RUN:   -triple x86_64-apple-darwin %s
 
-// RUN: %clang_cc1 -fsyntax-only -verify=precision-increase -Wdouble-promotion \
+// RUN: %clang_cc1 -fsyntax-only -verify=precision-increase -fsycl-is-host -Wdouble-promotion \
 // RUN:   -triple x86_64-apple-darwin %s
 
-// RUN: %clang_cc1 -fsyntax-only -verify=precision-loss,size-change -Wimplicit-float-conversion \
+// RUN: %clang_cc1 -fsyntax-only -verify=precision-loss,size-change -fsycl-is-host -Wimplicit-float-conversion \
 // RUN:   -triple x86_64-apple-darwin %s
 
-// RUN: %clang_cc1 -fsyntax-only -verify \
+// RUN: %clang_cc1 -fsyntax-only -verify=precision-loss -Wimplicit-float-conversion \
+// RUN:   -triple x86_64-apple-darwin %s
+
+// RUN: %clang_cc1 -fsyntax-only -verify -fsycl-is-host \
+// RUN:   -triple x86_64-apple-darwin %s
+
+// RUN: %clang_cc1 -fsyntax-only -verify -Wimplicit-float-size-conversion \
 // RUN:   -triple x86_64-apple-darwin %s
 
 // This test checks that floating point conversion warnings are emitted correctly when used in conjunction.