Tweak bounds checked indexing code (Index, IndexMut) #350
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.
Tweak bounds checked indexing code (Index, IndexMut)
Tweak bounds checked indexing code so that the compiler understands to
remove the bounds check in some simple cases. See examples in the new
example file bounds_check_elim.rs
This helps in some cases where a conditional or loop conditional
already do the required bounds check. Simple examples are if i < len and
while i < len loops; the range iterator loop is a worse example, it
doesn't do this as successfully! Further work is needed on that.
Example input code:
Codegen diff:
Full codegen diff for the bounds check elim example: https://gist.github.com/bluss/e5d9b33a1eea36894534503b0e06341a/revisions?diff=split
Note that not all examples do so well.