Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 10:08:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

record field initialization optimization: do coercions at compile-time if applicable

Browse source
This commit is contained in:
Vern Paxson 2024-04-08 17:33:52 -04:00 • committed by Tim Wojtulewicz
parent b3dacce3e1
commit 88ef6cb5b6
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/Type.cc
View file

@ -1071,6 +1071,12 @@ void RecordType::AddField(unsigned int field, const TypeDecl* td) {
init = std::make_shared<detail::DirectFieldInit>(zv);
}
else if ( def_expr->Tag() == detail::EXPR_ARITH_COERCE &&
(def_expr->GetOp1()->IsZero() || def_expr->GetOp1()->IsOne()) ) {
auto zv = ZVal(def_expr->Eval(nullptr), type);
init = std::make_shared<detail::DirectFieldInit>(zv);
}
else {
auto efi = std::make_shared<detail::ExprFieldInit>(def_expr, type);
creation_inits.emplace_back(field, std::move(efi));