@@ -67,7 +67,7 @@ export function collectHoistablePropertyLoads(
67
67
temporaries : ReadonlyMap < IdentifierId , ReactiveScopeDependency > ,
68
68
) : ReadonlyMap < ScopeId , BlockInfo > {
69
69
const nodes = collectPropertyLoadsInBlocks ( fn , temporaries ) ;
70
- deriveNonNull ( fn , nodes ) ;
70
+ propagateNonNull ( fn , nodes ) ;
71
71
72
72
const nodesKeyedByScopeId = new Map < ScopeId , BlockInfo > ( ) ;
73
73
for ( const [ _ , block ] of fn . body . blocks ) {
@@ -295,7 +295,7 @@ function collectPropertyLoadsInBlocks(
295
295
return nodes ;
296
296
}
297
297
298
- function deriveNonNull (
298
+ function propagateNonNull (
299
299
fn : HIRFunction ,
300
300
nodes : ReadonlyMap < BlockId , BlockInfo > ,
301
301
) : void {
@@ -316,7 +316,7 @@ function deriveNonNull(
316
316
* can assume are non-null can be calculated from the following:
317
317
* X = Union(Intersect(X_neighbors), X)
318
318
*/
319
- function recursivelyDeriveNonNull (
319
+ function recursivelyPropagateNonNull (
320
320
nodeId : BlockId ,
321
321
direction : 'forward' | 'backward' ,
322
322
traversalState : Map < BlockId , 'active' | 'done' > ,
@@ -347,7 +347,7 @@ function deriveNonNull(
347
347
let changed = false ;
348
348
for ( const pred of neighbors ) {
349
349
if ( ! traversalState . has ( pred ) ) {
350
- const neighborChanged = recursivelyDeriveNonNull (
350
+ const neighborChanged = recursivelyPropagateNonNull (
351
351
pred ,
352
352
direction ,
353
353
traversalState ,
@@ -407,7 +407,7 @@ function deriveNonNull(
407
407
i ++ ;
408
408
changed = false ;
409
409
for ( const [ blockId ] of fn . body . blocks ) {
410
- const forwardChanged = recursivelyDeriveNonNull (
410
+ const forwardChanged = recursivelyPropagateNonNull (
411
411
blockId ,
412
412
'forward' ,
413
413
traversalState ,
@@ -417,7 +417,7 @@ function deriveNonNull(
417
417
}
418
418
traversalState . clear ( ) ;
419
419
for ( const [ blockId ] of reversedBlocks ) {
420
- const backwardChanged = recursivelyDeriveNonNull (
420
+ const backwardChanged = recursivelyPropagateNonNull (
421
421
blockId ,
422
422
'backward' ,
423
423
traversalState ,
0 commit comments