[zeek/spicy] 149ab5: Validate after optimizing/resolving.

[Evan Typanski]

Branch: refs/heads/topic/etyp/not-null-coercions-fix
Home: https://github.com/zeek/spicy
Commit: 149ab5329a6a51f921b6ec877c1856b4345f4f26
https://github.com/zeek/spicy/commit/149ab5329a6a51f921b6ec877c1856b4345f4f26
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-02 (Tue, 02 Sep 2025)

Changed paths:
M hilti/toolchain/src/ast/ast-context.cc
M tests/Baseline/hilti.ast.basic-module/debug.log
M tests/Baseline/hilti.ast.imported-id/output
M tests/Baseline/hilti.ast.types/output
M tests/Baseline/hilti.types.regexp.ctor/output

Log Message:
-----------
Validate after optimizing/resolving.

This isn't necessary for anything, but it seems reasonable to validate
that optimizations didn't mess stuff up now that we're doing more.


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

Changed paths:
M hilti/toolchain/src/compiler/coercer.cc
M hilti/toolchain/src/compiler/optimizer.cc
M tests/Baseline/spicy.optimization.default-parser-functions/log
M tests/Baseline/spicy.optimization.default-parser-functions/opt.hlt
M tests/Baseline/spicy.optimization.feature_requirements/log
M tests/Baseline/spicy.optimization.feature_requirements/opt.hlt
M tests/Baseline/spicy.optimization.unused-functions/log
M tests/Baseline/spicy.optimization.unused-functions/opt.hlt
M tests/Baseline/spicy.optimization.unused-types/log
M tests/Baseline/spicy.optimization.unused-types/opt.hlt
M tests/Baseline/spicy.rt.debug-trace/.stderr
M tests/Baseline/spicy.types.unit.canonical-ids-with-import/output
M tests/Baseline/spicy.types.unit.canonical-ids/output

Log Message:
-----------
Coerce `Null` to false and optimize it.

Fixes #2150

This does 2 things:

1) Makes Null (and null-like-things, like a strong ref ctor) coerce to
False when coercing to a boolean.
2) Allows the optimizer to work with boolean coercions.

In turn, this lets the optimizer get rid of `if (!Null)` checks that got
constant propagated from a previous optimizer run.


Commit: 095e02fdaa3d0bb0f270ae1eab75aed5d1244554
https://github.com/zeek/spicy/commit/095e02fdaa3d0bb0f270ae1eab75aed5d1244554
Author: Evan Typanski <evan.t...@corelight.com>
Date: 2025-09-02 (Tue, 02 Sep 2025)

Changed paths:
M hilti/toolchain/include/compiler/detail/cfg.h
M hilti/toolchain/src/ast/ast-context.cc
M hilti/toolchain/src/compiler/cfg.cc
M hilti/toolchain/src/compiler/optimizer.cc

Log Message:
-----------
Move CFG printing from optimizer to `ASTContext`.


Compare: https://github.com/zeek/spicy/compare/f9a8f7fd22f1...095e02fdaa3d

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