NFC: Update comments about rank constraints
authorGeoffrey Martin-Noble <gcmn@google.com>
Fri, 13 Sep 2019 17:28:53 +0000 (10:28 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Fri, 13 Sep 2019 17:29:18 +0000 (10:29 -0700)
These refer to ranked tensors, but are actually applicable to any shaped type

PiperOrigin-RevId: 268931789

mlir/include/mlir/IR/OpBase.td

index e4acb03..cee4c1d 100644 (file)
@@ -396,10 +396,10 @@ def F16Tensor  : TensorOf<[F16]>;
 def F32Tensor  : TensorOf<[F32]>;
 def F64Tensor  : TensorOf<[F64]>;
 
-// Whether a type is a ranked tensor type.
+// Whether a shaped type is ranked.
 def HasRankPred : CPred<"$_self.cast<ShapedType>().hasRank()">;
 
-// Whether a type is a ranked tensor type with one of the specified ranks.
+// Whether a shaped type has one of the specified ranks.
 class HasAnyRankOfPred<list<int> ranks> : And<[
     HasRankPred,
     Or<!foreach(rank, ranks,