add nocontraction decoration to conversions to floating point (#1382)

It will allow to avoid optimization of certain driver breaking the implementation of the libclc.
google · Jul 9, 2024 · 9829752 · 9829752
1 parent 2776a72
commit 9829752
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/lib/SPIRVProducerPass.cpp b/lib/SPIRVProducerPass.cpp
@@ -531,11 +531,13 @@ struct SPIRVProducerPassImpl {
   bool CalledWithCoherentResource(Argument &Arg);
 
   bool NeedDecorationNoContraction(spv::Op op) {
-    static const SmallVector<spv::Op> list_full = {spv::OpFMul,    spv::OpFDiv,
-                                                   spv::OpFNegate, spv::OpFAdd,
-                                                   spv::OpFSub,    spv::OpFRem};
+    static const SmallVector<spv::Op> list_full = {
+        spv::OpFMul,     spv::OpFDiv,        spv::OpFNegate,
+        spv::OpFAdd,     spv::OpFSub,        spv::OpFRem,
+        spv::OpFConvert, spv::OpConvertUToF, spv::OpConvertSToF};
     static const SmallVector<spv::Op> list_mad_enable = {
-        spv::OpFDiv, spv::OpFNegate, spv::OpFSub, spv::OpFRem};
+        spv::OpFDiv,     spv::OpFNegate,     spv::OpFSub,       spv::OpFRem,
+        spv::OpFConvert, spv::OpConvertUToF, spv::OpConvertSToF};
     auto check_list = [&op](const SmallVector<spv::Op> &list) {
       for (auto opf : list) {
         if (op == opf)