def simple_unwrap_expr(expr: Expr, loc_db: LocationDB):
ra = -1
if expr.is_int():
ra = int(expr)
elif expr.is_loc():
ra = loc_db.get_location_offset(expr.loc_key)
if ra is None:
ra = -1
return ra
def _skip_subtree(expr: Expr) -> bool:
"""
Skips the subtree if an expression is a terminal expression.
A terminal expression is a leaf in the abstract syntax tree,
such as an ExprInt (register/variable), ExprMem (memory)
or ExprLoc (location label) or ExprInt (integer).
Args:
expr: Expression to test.
Returns:
True if expr is terminal expression.
"""
return expr.is_id() or expr.is_int() or expr.is_loc() # type: ignore