elliottt opened PR #5097 from trevor/remove-branch-instructions
to main
:
- Remove br_icmp
- Remove brif
- Remove brff
- Remove trueif/trueff
- Remove selectif
- Refactor selectif_spectre_guard to not use iflags
- Format
- Update tests
<!--
Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
elliottt edited PR #5097 from trevor/remove-branch-instructions
to main
:
As discussed in the 2022/10/19 meeting, this PR removes many of the branch and select instructions that used iflags, in favor if using
brz
/brnz
andselect
in their place. Additionally, it reworksselectif_spectre_guard
to take ani8
input instead of aniflags
input.
<!--Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
elliottt edited PR #5097 from trevor/remove-branch-instructions
to main
:
As discussed in the 2022/10/19 meeting, this PR removes many of the branch and select instructions that used iflags, in favor if using
brz
/brnz
andselect
in their place. Additionally, it reworksselectif_spectre_guard
to take ani8
input instead of aniflags
input.
<!--Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
elliottt edited PR #5097 from trevor/remove-branch-instructions
to main
:
As discussed in the 2022/10/19 meeting, this PR removes many of the branch and select instructions that used iflags, in favor if using
brz
/brnz
andselect
in their place. Additionally, it reworksselectif_spectre_guard
to take ani8
input instead of aniflags
input.For reference, the removed instructions are:
br_icmp
,brif
,brff
,trueif
,trueff
, andselectif
.
<!--Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
cfallin submitted PR review.
cfallin created PR review comment:
Rather than deleting, can we convert these tests to use
icmp
/brnz
pairs, so we're still testing the proper matching of the two together (and assuring that we don't accidentally materialize the 0/1 value into a register)?
cfallin submitted PR review.
cfallin created PR review comment:
LIkewise here, switch to
icmp
/select
rather than deleting
cfallin created PR review comment:
LIkewise here
cfallin created PR review comment:
Likewise here
elliottt submitted PR review.
elliottt created PR review comment:
Yep, that's a good call!
elliottt updated PR #5097 from trevor/remove-branch-instructions
to main
.
Last updated: Dec 23 2024 at 13:07 UTC