torch-mlir

Commit Graph

Author	SHA1	Message	Date
Alexandre Rames	4847563bed	Clean up verification of calling conventions. The implementation at this place was a remnent of the times the pipeline was run only once. Rely instead on the backend verification, after optimizations have had an opportunity to resolve some uncertainties. (e.g. `!torch.optional`).	2023-07-20 20:08:46 +02:00
Gleb Kazantaev	3930588a7e	Enable VerifyBackendContract in LTC backend (#1798 ) * Enable VerifyBackendContract in LTC backend * Update VerifyBackendContract pass * Move convert_scalar_implicit to jit_utils * Rename VerifyBackendContract to VerifyBackendContractNoDecompositions * Update verify-backend-contract-error.mlir test	2023-01-24 22:14:17 -05:00
Ramiro Leal-Cavazos	60db793feb	Pass op legality info to `verifyBackendContractPass` (#1705 ) In order to verify if a given IR satisfies the backend contract, the verifier needs to know if decompositions took place, and if so, which ops were decomposed and which were not. This commit adds two arguments to `verifyBackendContractPass` to specify if decompositions took place and which ops to consider backend legal, similar to the arguments of `LowerToBackendContractPass`.	2022-12-15 08:32:52 -08:00

Author

SHA1

Message

Date

Alexandre Rames

4847563bed

Clean up verification of calling conventions.

The implementation at this place was a remnent of the times the pipeline was
run only once.
Rely instead on the backend verification, after optimizations have had an
opportunity to resolve some uncertainties. (e.g. `!torch.optional`).

2023-07-20 20:08:46 +02:00

Gleb Kazantaev

3930588a7e

Enable VerifyBackendContract in LTC backend (#1798 )

* Enable VerifyBackendContract in LTC backend

* Update VerifyBackendContract pass

* Move convert_scalar_implicit to jit_utils

* Rename VerifyBackendContract to VerifyBackendContractNoDecompositions

* Update verify-backend-contract-error.mlir test

2023-01-24 22:14:17 -05:00

Ramiro Leal-Cavazos

60db793feb

Pass op legality info to `verifyBackendContractPass` (#1705 )

In order to verify if a given IR satisfies the backend contract, the
verifier needs to know if decompositions took place, and if so, which
ops were decomposed and which were not.

This commit adds two arguments to `verifyBackendContractPass` to
specify if decompositions took place and which ops to consider backend
legal, similar to the arguments of `LowerToBackendContractPass`.

2022-12-15 08:32:52 -08:00

3 Commits (3f07077ff988e4ef870ce3d840391679e9acc03d)