diff options
| author | Yong He <yonghe@outlook.com> | 2025-02-20 14:48:51 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-20 14:48:51 -0800 |
| commit | 19867ffca6dca7995c799354081219c9e76f13d1 (patch) | |
| tree | b9153428fc8b7b6f3069931cf816ad374a2e7c52 /source/slang/slang-ir-constexpr.cpp | |
| parent | 9580e311e0cefb0f8e11afc316783a67201654eb (diff) | |
Simplify implicit cast ctors for vector & matrix. (#6408)
* Simplify implicit cast ctors for vector & matrix.
* Fix formatting.
* Fix tests.
* Fix Falcor test.
* Mark __builtin_cast as internal.
Diffstat (limited to 'source/slang/slang-ir-constexpr.cpp')
| -rw-r--r-- | source/slang/slang-ir-constexpr.cpp | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/source/slang/slang-ir-constexpr.cpp b/source/slang/slang-ir-constexpr.cpp index ff6d64319..620c65d4e 100644 --- a/source/slang/slang-ir-constexpr.cpp +++ b/source/slang/slang-ir-constexpr.cpp @@ -116,6 +116,7 @@ bool opCanBeConstExpr(IROp op) case kIROp_PtrCast: case kIROp_Reinterpret: case kIROp_BitCast: + case kIROp_BuiltinCast: case kIROp_MakeTuple: case kIROp_MakeDifferentialPair: case kIROp_MakeExistential: @@ -178,7 +179,13 @@ bool opCanBeConstExprByBackwardPass(IRInst* value) { if (value->getOp() == kIROp_Param) return isLoopPhi(as<IRParam, IRDynamicCastBehavior::NoUnwrap>(value)); - return opCanBeConstExpr(value->getOp()); + if (opCanBeConstExpr(value->getOp())) + return true; + if (auto callInst = as<IRCall>(value)) + { + return !callInst->mightHaveSideEffects(); + } + return false; } void markConstExpr(PropagateConstExprContext* context, IRInst* value) |