add nocontraction decoration to conversions to floating point (google…

…#1382) It will allow to avoid optimization of certain driver breaking the implementation of the libclc.
dneto0 · 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)