[zeek/spicy] a534d0: Add function return propagation.

[Evan Typanski]

Branch: refs/heads/topic/etyp/propagate-function-returns
Home: https://github.com/zeek/spicy
Commit: a534d0fbd2f63499283bf9fe3aeb7885809920d2
https://github.com/zeek/spicy/commit/a534d0fbd2f63499283bf9fe3aeb7885809920d2
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-24 (Wed, 24 Sep 2025)

Changed paths:
M hilti/toolchain/src/compiler/optimizer.cc
A tests/hilti/output/optimization/propagate-returns.hlt

Log Message:
-----------
Add function return propagation.

Closes #2031


Commit: 915b0f8749ed335269ce3756c6e82fe93b7103e9
https://github.com/zeek/spicy/commit/915b0f8749ed335269ce3756c6e82fe93b7103e9
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-24 (Wed, 24 Sep 2025)

Changed paths:
M hilti/toolchain/src/compiler/optimizer.cc
A tests/hilti/output/optimization/fold-into-return.hlt

Log Message:
-----------
Fold immediate returns into the return.

This will fold anything of the form:

local x = 5;
return x;

This is separate from constant propagation since it will work for
non-constants, such as function calls, as well.


Commit: 47bd493c97a1301e511e207b33f7adf38a8a4476
https://github.com/zeek/spicy/commit/47bd493c97a1301e511e207b33f7adf38a8a4476
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-24 (Wed, 24 Sep 2025)

Changed paths:
M hilti/toolchain/src/compiler/optimizer.cc
M hilti/toolchain/src/compiler/validator.cc

Log Message:
-----------
Add passthroughs to return propagation.


Commit: ee4b344316beacabade0bd04eaf0f78a75169031
https://github.com/zeek/spicy/commit/ee4b344316beacabade0bd04eaf0f78a75169031
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M hilti/toolchain/src/compiler/optimizer.cc

Log Message:
-----------
Propagate method returns, too.


Commit: 58e565d4669cfed0e5d24f08111c381a9c85bc53
https://github.com/zeek/spicy/commit/58e565d4669cfed0e5d24f08111c381a9c85bc53
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M hilti/toolchain/src/compiler/optimizer.cc
M tests/hilti/output/optimization/propagate-returns.hlt

Log Message:
-----------
Do some hacky crap to fix method issues.

I would want this commit to get much cleaner.


Commit: 9fb428b2034404c979d35defb9530704e18e92ae
https://github.com/zeek/spicy/commit/9fb428b2034404c979d35defb9530704e18e92ae
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M tests/hilti/output/optimization/propagate-returns.hlt

Log Message:
-----------
Add end-to-end test.


Compare: https://github.com/zeek/spicy/compare/27cd37d2490e...9fb428b20344

To unsubscribe from these emails, change your notification settings at https://github.com/zeek/spicy/settings/notifications