Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

code-gen: Simplify switch #2240

Merged
merged 10 commits into from
Dec 18, 2023
39 changes: 27 additions & 12 deletions python/sdist/amici/cxxcodeprinter.py
Original file line number Diff line number Diff line change
Expand Up @@ -303,7 +303,9 @@ def get_switch_statement(
indentation_step: Optional[str] = " " * 4,
):
"""
Generate code for switch statement
Generate code for a C++ switch statement.

Generate code for a C++ switch statement with a ``break`` after each case.

:param condition:
Condition for switch
Expand All @@ -321,26 +323,39 @@ def get_switch_statement(
:return:
Code for switch expression as list of strings
"""
lines = []

if not cases:
return lines
return []

indent0 = indentation_level * indentation_step
indent1 = (indentation_level + 1) * indentation_step
indent2 = (indentation_level + 2) * indentation_step

# try to find redundant statements and collapse those cases
# map statements to case expressions
cases_map: dict[tuple[str, ...], list[str]] = {}
for expression, statements in cases.items():
if statements:
lines.extend(
statement_code = tuple(
[
f"{indent1}case {expression}:",
*(f"{indent2}{statement}" for statement in statements),
f"{indent2}break;",
]
)

if lines:
lines.insert(0, f"{indent0}switch({condition}) {{")
lines.append(indent0 + "}")

return lines
case_code = f"{indent1}case {expression}:"

cases_map[statement_code] = cases_map.get(statement_code, []) + [
case_code
]

if not cases_map:
return []

return [
f"{indent0}switch({condition}) {{",
*(
code
for codes in cases_map.items()
for code in itertools.chain.from_iterable(reversed(codes))
),
indent0 + "}",
]