diff options
Diffstat (limited to 'src/passes/Precompute.cpp')
| -rw-r--r-- | src/passes/Precompute.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/passes/Precompute.cpp b/src/passes/Precompute.cpp index 99741ebe3..82504bff5 100644 --- a/src/passes/Precompute.cpp +++ b/src/passes/Precompute.cpp @@ -307,7 +307,10 @@ private: // value*. A case where that can happen is GC data (each struct.new // creates a new, unique struct, even if the data is equal), and so // PrecomputingExpressionRunner will return a nonconstant flow for all - // GC heap operations. + // GC heap operations. (We could also have used + // Properties::isIntrinsicallyNondeterministic here, but that would be + // less efficient to re-scan the entire expression.) + // // (Other side effects are fine; if an expression does a call and we // somehow know the entire expression precomputes to a 42, then we can // propagate that 42 along to the users, regardless of whatever the call |