llvm
/
torch-mlir
mirror of https://github.com/llvm/torch-mlir
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
torch-mlir/test/Dialect/Torch/verify-backend-contract-err...

8 lines
452 B
MLIR
Raw Normal View History

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-25 11:14:17 +08:00
// RUN: torch-mlir-opt -torch-verify-backend-contract-no-decompositions -split-input-file -verify-diagnostics %s
func.func @f(%arg0: !torch.vtensor<[?,?],f32>) -> !torch.vtensor {
// expected-error @below {{unsupported by backend contract: tensor with unknown rank}}
// expected-note @below {{this is likely due to a missing transfer function}}
%t = torch.aten.t %arg0 : !torch.vtensor<[?,?],f32> -> !torch.vtensor
return %t : !torch.vtensor
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-16 00:32:52 +08:00
}