Or<[And<[ArgOrResultElementTypeIs<"x", I32>,
ArgOrResultElementTypeIs<"y", F32>,
ArgOrResultElementTypeIs<"res", I16>]>,
- ArgOrResultElementTypeIs<"attr", I8>]>>]> {
+ // TODO(jpienaar): change back to attr.
+ ArgOrResultElementTypeIs<"x", I8>]>>]> {
let arguments = (ins AnyVectorOrTensor:$x, AnyVectorOrTensor:$y, AnyAttr:$attr);
let results = (outs AnyVectorOrTensor:$res);
}
// -----
-// CHECK-LABEL: @fixed_element_types
-func @fixed_element_types(%arg0: tensor<* x i32>, %arg1: tensor<* x f32>) {
- %0 = "test.arg_and_res_have_fixed_element_types"(%arg0, %arg1) {attr: splat<tensor<2xi8>, 1>}: (tensor<* x i32>, tensor<* x f32>) -> tensor<* x i32>
- return
-}
+// TODO(jpienaar): re-enable post supporting attributes again.
+// DISABLED_CHECK-LABEL: @fixed_element_types
+//func @fixed_element_types(%arg0: tensor<* x i32>, %arg1: tensor<* x f32>) {
+// %0 = "test.arg_and_res_have_fixed_element_types"(%arg0, %arg1) {attr: splat<tensor<2xi8>, 1>}: (tensor<* x i32>, tensor<* x f32>) -> tensor<* x i32>
+// return
+//}
// -----
auto &body = method.body();
// Populate substitutions for attributes and named operands and results.
- for (const auto &namedAttr : op.getAttributes())
- verifyCtx.addSubst(namedAttr.name,
- formatv("(&this->getAttr(\"{0}\"))", namedAttr.name));
+ // TODO(jpienaar): Add attributes back.
for (int i = 0, e = op.getNumOperands(); i < e; ++i) {
auto &value = op.getOperand(i);
// Skip from from first variadic operands for now. Else getOperand index