Fix function side-effectness prop logic. (#2875)

1 files changed, 9 insertions, 1 deletions

diff --git a/source/slang/slang-lower-to-ir.cpp b/source/slang/slang-lower-to-ir.cpp
index de2d5aff2..ad338709d 100644
--- a/source/slang/slang-lower-to-ir.cpp
+++ b/source/slang/slang-lower-to-ir.cpp
@@ -7664,7 +7664,11 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo>
 
         irAggType->moveToEnd();
         addTargetIntrinsicDecorations(irAggType, decl);
-
+        for (auto modifier : decl->modifiers)
+        {
+            if (as<NonCopyableTypeAttribute>(modifier))
+                subBuilder->addNonCopyableTypeDecoration(irAggType);
+        }
         return LoweredValInfo::simple(finishOuterGenerics(subBuilder, irAggType, outerGeneric));
     }
 
@@ -8779,6 +8783,10 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo>
             {
                 getBuilder()->addSimpleDecoration<IRReadNoneDecoration>(irFunc);
             }
+            else if (as<NoSideEffectAttribute>(modifier))
+            {
+                getBuilder()->addSimpleDecoration<IRNoSideEffectDecoration>(irFunc);
+            }
             else if (as<EarlyDepthStencilAttribute>(modifier))
             {
                 getBuilder()->addSimpleDecoration<IREarlyDepthStencilDecoration>(irFunc);