Skip to content

Bugfix for register spilling#26

Merged
mengzhuo merged 1 commit intoplctlab:mainfrom
AdUhTkJm:main
Feb 18, 2025
Merged

Bugfix for register spilling#26
mengzhuo merged 1 commit intoplctlab:mainfrom
AdUhTkJm:main

Conversation

@AdUhTkJm
Copy link

Bugfixes:

  1. Label.t used to only compare stamps, ignoring label names. Now it takes both into account.
  2. In riscv_reg_spill.ml, the global variable rpo is now properly initialized.
  3. Vec.make ~dummy len actually makes a zero-length vector, which is counterintuitive. To avoid disturbing existing code, I replaced their calls in riscv_reg_spill.ml with Vec.of_list (List.init ...).

@mengzhuo mengzhuo merged commit 756e381 into plctlab:main Feb 18, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants