Skip to content

Conversation

@eellison
Copy link
Contributor

@eellison eellison commented Apr 3, 2019

Pass to verify our shape analysis. For any op that inputs / outputs a DimensionedTensorType add a runtime check that the tensor is what we have analyzed it to be.

Adding the verification nodes breaks a lot of tests, and I've copy-pasta'd quite a bit. Publishing the diff so it is easier for other people to repro issues that this has found, but it's not to be landed in its current state.

cc: @jamesr66a

@facebook-github-bot facebook-github-bot added the oncall: jit Add this issue/PR to JIT oncall triage queue label Apr 3, 2019
@jamesr66a
Copy link
Collaborator

FYI I have a fix for promotion of scalar types in binary operators: #18811

Not sure if this was surfaced by this test or not

@eellison
Copy link
Contributor Author

eellison commented Apr 3, 2019

The tests with scalar failures were test_rand, test_inplace_copy_script, and test_mutable_dce_wildcards.

#18812 should fix inplace_copy and test_mutable_dce_wildcards and it looks like your PR will probably fix test_rand.

The remaining failure is test_time_sequence_prediction, which when run with this PR:

%37 : Tensor[] = prim::ListConstruct(%35, %36)
 = test::check_dim_tensor(%46)
 = test::check_dim_tensor(%45)
 = test::check_dim_tensor(%44)
 = test::check_dim_tensor(%43)
 = test::check_dim_tensor(%41)
%38 : Tensor, %39 : Tensor = aten::lstm_cell(%41, %37, %43, %44, %45, %46)

test::check_dim_tensor(%45) fails, but I haven't figured out why yet.

@eellison
Copy link
Contributor Author

eellison commented Apr 3, 2019

Actually jk i don't think the test_rand failure is related to your diff

@pytorchbot
Copy link
Collaborator

Looks like this PR hasn't been updated in a while so we're going to go ahead and mark this as Stale.
Feel free to remove the Stale label if you feel this was a mistake.
Stale pull requests will automatically be closed 30 days after being marked Stale

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

Labels

cla signed oncall: jit Add this issue/PR to JIT oncall triage queue Stale

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants