Skip to content

Implement optimization to cast values instead of verifying the type#21627

Draft
Girgias wants to merge 7 commits intophp:masterfrom
Girgias:optimize-zend-verify-return-type
Draft

Implement optimization to cast values instead of verifying the type#21627
Girgias wants to merge 7 commits intophp:masterfrom
Girgias:optimize-zend-verify-return-type

Conversation

@Girgias
Copy link
Copy Markdown
Member

@Girgias Girgias commented Apr 3, 2026

I came up with this idea while working on #21580, but no idea if this is a safe way to write an optimization clearly not because it seems to segfault everything.

Copy link
Copy Markdown
Member

@ndossche ndossche left a comment

Choose a reason for hiding this comment

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

It doesn't work because you need a result var. Furthermore the op handler destroys OP1 after setting the result, so they can't use the same TMP

@Girgias
Copy link
Copy Markdown
Member Author

Girgias commented Apr 10, 2026

Attempting a new approach suggested by Arnaud to instead use VM specializations.

I might revert the string one and just have a generic one as it's getting kinda complicated...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants