NFC: Cleanup of type checking tests
authorGeoffrey Martin-Noble <gcmn@google.com>
Thu, 10 Oct 2019 09:31:21 +0000 (02:31 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Thu, 10 Oct 2019 09:31:53 +0000 (02:31 -0700)
commitcc145706aa57d882b0c863fab29f7e777c1839a0
tree336c9be654d13012e9aea2318cbac7088f8caa5b
parent5e7959a3531c8019052bae3a84a42a67c5857bc9
NFC: Cleanup of type checking tests

1. Rename test ops referencing operand to index from 0 consistent with how we index elsewhere.
2. Don't limit type checking that functions for all shaped types to only tensors.
3. Don't limit (element) type checking functions and add tests for scalars.
4. Remove SSA values that don't do anything.

PiperOrigin-RevId: 273917608
mlir/test/IR/traits.mlir
mlir/test/lib/TestDialect/TestOps.td
mlir/test/mlir-tblgen/types.mlir