1// RUN: mlir-opt %s -mlir-elide-elementsattrs-if-larger=2 | FileCheck %s
2// Ensure that the elided version is still parseable, although depending on
3// what has been elided, it may not be semantically meaningful.
4// In the typical case where what is being elided is a very large constant
5// tensor which passes don't look at directly, this isn't an issue.
6// RUN: mlir-opt %s -mlir-elide-elementsattrs-if-larger=2 | mlir-opt
7
8// CHECK: opaque<"", "0xDEADBEEF"> : tensor<3xi32>
9"test.dense_attr"() {foo.dense_attr = dense<[1, 2, 3]> : tensor<3xi32>} : () -> ()
10
11// CHECK: dense<[1, 2]> : tensor<2xi32>
12"test.non_elided_dense_attr"() {foo.dense_attr = dense<[1, 2]> : tensor<2xi32>} : () -> ()
13
14// CHECK: opaque<"", "0xDEADBEEF"> : vector<1x1x1xf16>
15"test.sparse_attr"() {foo.sparse_attr = sparse<[[1, 2, 3]],  -2.0> : vector<1x1x1xf16>} : () -> ()
16
17// CHECK: opaque<"", "0xDEADBEEF"> : tensor<100xf32>
18"test.opaque_attr"() {foo.opaque_attr = opaque<"", "0xEBFE"> : tensor<100xf32> } : () -> ()
19
20// CHECK: dense<1> : tensor<3xi32>
21"test.dense_splat"() {foo.dense_attr = dense<1> : tensor<3xi32>} : () -> ()
22