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

simple AST optimization for ?: operator

Browse source
This commit is contained in:
Vern Paxson 2021-08-16 10:38:42 -07:00
parent fb101f7b0e
commit ed3c87d253
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/script_opt/Expr.cc
View file

@ -1427,6 +1427,19 @@ ExprPtr CondExpr::Reduce(Reducer* c, StmtPtr& red_stmt)
return op2; return op2;
} }
if ( op2->IsConst() && op3->IsConst() && GetType()->Tag() == TYPE_BOOL )
{
auto op2_t = op2->IsOne();
ASSERT(op2_t != op3->IsOne());
if ( op2_t )
// This is "var ? T : F", which can be replaced by var.
return op1;
// Instead we have "var ? F : T".
return make_intrusive<NotExpr>(op1);
}
if ( c->Optimizing() ) if ( c->Optimizing() )
return ThisPtr(); return ThisPtr();