Skip to content

gh-105481: add pseudo-instructions to the cases DSL #105506

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.

Sign up for GitHub

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

Merged
iritkatriel merged 11 commits into from
Jun 11, 2023
Merged

gh-105481: add pseudo-instructions to the cases DSL #105506

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
b68004f
gh-105481: add pseudo-instructions to the cases DSL
iritkatriel Jun 8, 2023
de0a2ff
typo
iritkatriel Jun 8, 2023
11b6b38
comment
iritkatriel Jun 8, 2023
64fe811
regen
iritkatriel Jun 8, 2023
0929fac
add pseudos also to the metadata table
iritkatriel Jun 8, 2023
ae2255d
assert that opcodes are all < 512
iritkatriel Jun 10, 2023
096df7a
pushed, popped --> popped, pushed
iritkatriel Jun 10, 2023
28ca801
trailing comma
iritkatriel Jun 10, 2023
c91a179
fix type union
iritkatriel Jun 10, 2023
506eda5
add a few comments
iritkatriel Jun 10, 2023
7fe09fb
add assertions about metadata of pseudos
iritkatriel Jun 11, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
pushed, popped --> popped, pushed
  • Loading branch information
@iritkatriel
iritkatriel committed Jun 10, 2023
commit 096df7a1a817f6a01f9f2f57b7e7622934c51bc0
4 changes: 2 additions & 2 deletions Tools/cases_generator/generate_cases.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -959,13 +959,13 @@ def effect_str(effects: list[StackEffect]) -> str:
pushed = str(sp - low)
case parser.Pseudo():
instr = self.pseudos[thing.name]
pushed = popped = None
popped = pushed = None
for target in self.pseudos[thing.name].targets:
Comment thread
gvanrossum marked this conversation as resolved.
target_instr = self.instrs.get(target)
assert target_instr
Comment thread
iritkatriel marked this conversation as resolved.
target_popped = effect_str(target_instr.input_effects)
target_pushed = effect_str(target_instr.output_effects)
Comment thread
iritkatriel marked this conversation as resolved.
if pushed is None and popped is None:
if popped is None and pushed is None:
popped, pushed = target_popped, target_pushed
else:
assert popped == target_popped
Expand Down