[AddressLowering] Some small fixes. #61945
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
@swift-ci please test |
nate-chandler
force-pushed
the
opaque-values/3/20221103
branch
2 times, most recently
from
3852857 to
5c471da
Compare
|
@swift-ci please test |
nate-chandler
force-pushed
the
opaque-values/3/20221103
branch
from
5c471da to
f87a4d5
Compare
|
@swift-ci please test |
The test's correctness doesn't depend on the exact sequence of instructions. Use IDs to allow for other instructions to appear.
When rewriting uses, it is possible for new uses of a value to be created, as when a debug_value instruction is created when a store instruction is deleted. Ensure that all uses are rewritten by adding all uses to the worklist of uses after rewriting each use.
Resizing a SmallVector of SILValues fills it with invalid SILValues. THe intent is to reserve space for forthcoming values.
The filterDeadArgs function takes a list of dead argument indices--ordered from least to greatest--a list of original arguments, and produces a list of arguments excluding the arguments at those dead indices. It does that by iterating from 0 to size(originalArguments) - 1, adding the original argument at that index to the list of new arguments, so long as the index that of a dead argument. To avoid doing lookups into a set, this relies on the dead arguments being ordered ascending. There is an interator into the dead argument list that is incremented only when the current index is dead. When that iterator is at the end, dereferencing it just gives the size of the array of dead arguments. So in the case where the first argument is dead but no other arguments are, and there _are_ other arguments, the first argument would be skipped, and the second argument's index would be found to be equal to the dereferenced iterator (1). Previously, there was no check that the iterator was not at the end. The result was failing to add the second argument to the new list. And tripping an assertion failure. Here, it is checked that the iterator is not at the end.
nate-chandler
force-pushed
the
opaque-values/3/20221103
branch
from
f87a4d5 to
81d37be
Compare
|
@swift-ci please test and merge |
|
@swift-ci please test macOS platform |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
See individual commit messages for details.