Skip to content

Don't force spurious memory length check if list element size is 0#77

Closed
lukewagner wants to merge 1 commit intomainfrom
remove-empty-elem-check
Closed

Don't force spurious memory length check if list element size is 0#77
lukewagner wants to merge 1 commit intomainfrom
remove-empty-elem-check

Conversation

@lukewagner
Copy link
Copy Markdown
Member

@alexcrichton pointed out that the current trapping semantics require emitting a spurious length check when it's otherwise statically evident that there are no loads.

@alexcrichton
Copy link
Copy Markdown
Collaborator

I was thinking a bit more about this and had a few more questions which might be good to resolve before landing this.

@lukewagner
Copy link
Copy Markdown
Member Author

Canceling as discussed in #78.

@lukewagner lukewagner closed this Aug 2, 2022
@lukewagner lukewagner deleted the remove-empty-elem-check branch August 2, 2022 16:03
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