Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a note at type_inference.md for adding custom verifier if return type inference is not feasible #2158

Merged
merged 2 commits into from
Apr 23, 2024

Conversation

abhigunj
Copy link
Member

@abhigunj abhigunj commented Apr 3, 2024

if return type of the op is inferable, it can be created using op::build which does not take result type as input. For such ops it is recommended to move verification logic to shape functions to avoid missing on any verification during op creation. If return type inference is not feasible use custom verifier.

docs/type_inference.md Outdated Show resolved Hide resolved
@abhigunj abhigunj marked this pull request as draft April 4, 2024 01:27
@abhigunj abhigunj force-pushed the doc_verifier_placement branch from 7e71de6 to a35ce65 Compare April 6, 2024 00:23
@abhigunj abhigunj marked this pull request as ready for review April 6, 2024 00:24
Copy link
Member

@ghpvnist ghpvnist left a comment

Choose a reason for hiding this comment

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

LGTM with a followup comment

@abhigunj abhigunj force-pushed the doc_verifier_placement branch from f94d7ac to eb242e9 Compare April 17, 2024 17:57
docs/type_inference.md Outdated Show resolved Hide resolved
@abhigunj abhigunj force-pushed the doc_verifier_placement branch from 1806f1d to 9e85f80 Compare April 23, 2024 22:00
@abhigunj abhigunj merged commit c65a30d into openxla:main Apr 23, 2024
10 checks passed
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.

4 participants