[SYCL] Reenable fp64 aspect runtime check

This commit reenables the fp64 aspect check when ensuring compatability
of a given device image, following the relaxation of aspect propagation
for the aspect.

Signed-off-by: Larsen, Steffen <[email protected]>

Author: steffenlarsen

sycl/source/detail/program_manager/program_manager.cpp

@@ -567,7 +567,7 @@ RT::PiProgram ProgramManager::getBuiltPIProgram(
     while (AIt != AEnd) {
       auto Aspect = static_cast<aspect>(*AIt);
       // Strict check for fp64 is disabled temporarily to avoid confusion.
-      if (Aspect != aspect::fp64 && !Dev->has(Aspect))
+      if (!Dev->has(Aspect))
         throw sycl::exception(errc::kernel_not_supported,
                               "Required aspect " + getAspectNameStr(Aspect) +
                                   " is not supported on the device");
@@ -2309,7 +2309,7 @@ bool doesDevSupportDeviceRequirements(const device &Dev,
     while (!Aspects.empty()) {
       aspect Aspect = Aspects.consume<aspect>();
       // Strict check for fp64 is disabled temporarily to avoid confusion.
-      if (Aspect != aspect::fp64 && !Dev.has(Aspect))
+      if (!Dev.has(Aspect))
         return false;
     }
   }

sycl/test/optional_kernel_features/relaxed_fp64_propagation.cpp

@@ -0,0 +1,24 @@
+// RUN: %clangxx %s -S -o %t_opt.ll -fsycl-device-only -Xclang -verify -Xclang -verify-ignore-unexpected=note
+// RUN: FileCheck %s --input-file %t_opt.ll --check-prefix=CHECK-OPT
+// RUN: %clangxx %s -S -O0 -o %t_noopt.ll -fsycl-device-only -Xclang -verify -Xclang -verify-ignore-unexpected=note
+// RUN: FileCheck %s --input-file %t_noopt.ll --check-prefix=CHECK-NOOPT
+
+// Tests that an optimization that removes the use of double still produces a
+// warning.
+
+// CHECK-OPT-NOT: double
+// CHECK-NOOPT: double
+
+#include <sycl/sycl.hpp>
+
+int main() {
+  sycl::queue Q;
+  // expected-warning-re@+1 {{function '{{.*}}' uses aspect 'fp64' not listed in its 'sycl::device_has' attribute}}
+  Q.single_task([=]() [[sycl::device_has()]] {
+    // Double will be optimized out as LoweredFloat can be set directly to a
+    // lowered value.
+    double Double = 3.14;
+    volatile float LoweredFloat = Double;
+  });
+  return 0;
+}