Skip to content

Conversation

@oscardssmith
Copy link
Member

before it wasn't because the compiler can't prove that the getindex into the table is inbounds.

Copy link
Member

@aviatesk aviatesk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add a test case that shows the improvement.

Copy link
Member

@aviatesk aviatesk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We generall want to avoid accessing internals of Effects but use high-level queries instead, as the data structure isn't very stable yet.

@aviatesk aviatesk merged commit bc4bb1b into JuliaLang:master Aug 4, 2022
@oscardssmith oscardssmith deleted the make-exp-nothrow branch August 4, 2022 05:10
@oscardssmith
Copy link
Member Author

That's not related. That's about getfield analysis of mutable objects.

@ianatol
Copy link
Member

ianatol commented Aug 4, 2022

Oops, my mistake. I had thought the improved :consistency analysis of getfield was what allowed us to make this change --- didn't realize it wasn't applicable here

ffucci pushed a commit to ffucci/julia that referenced this pull request Aug 11, 2022
This change allows our compiler to remove dead calls of these math ops.

Co-authored-by: Simeon Schaub <simeondavidschaub99@gmail.com>
Co-authored-by: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com>
pcjentsch pushed a commit to pcjentsch/julia that referenced this pull request Aug 18, 2022
This change allows our compiler to remove dead calls of these math ops.

Co-authored-by: Simeon Schaub <simeondavidschaub99@gmail.com>
Co-authored-by: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com>
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.

4 participants