diff --git a/mlir/docs/Bufferization.md b/mlir/docs/Bufferization.md
--- a/mlir/docs/Bufferization.md
+++ b/mlir/docs/Bufferization.md
@@ -103,8 +103,8 @@
 
 To simplify this problem, One-Shot Bufferize was designed for ops that are in
 *destination-passing style*. For every tensor result, such ops have a tensor
-operand, who's buffer could be for storing the result of the op in the absence
-of other conflicts. We call such tensor operands the *destination*.
+operand, whose buffer could be utilized for storing the result of the op in the
+absence of other conflicts. We call such tensor operands the *destination*.
 
 As an example, consider the following op: `%0 = tensor.insert %cst into
 %t[%idx] : tensor<?xf32>`
diff --git a/mlir/include/mlir/Dialect/Arith/IR/ArithOps.td b/mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
--- a/mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
+++ b/mlir/include/mlir/Dialect/Arith/IR/ArithOps.td
@@ -1381,6 +1381,9 @@
     condition operand. If an i1 is provided as the condition, the entire vector
     or tensor is chosen.
 
+    Zero ranked tensors (`tensor<i1>`) are disallowed as condition. Such cases
+    should extract i1 first.
+
     Example:
 
     ```mlir
@@ -1398,7 +1401,7 @@
     ```
   }];
 
-  let arguments = (ins BoolLike:$condition,
+  let arguments = (ins BoolLikeOfNon0RankOrUnrank:$condition,
                        AnyType:$true_value,
                        AnyType:$false_value);
   let results = (outs AnyType:$result);
diff --git a/mlir/include/mlir/IR/OpBase.td b/mlir/include/mlir/IR/OpBase.td
--- a/mlir/include/mlir/IR/OpBase.td
+++ b/mlir/include/mlir/IR/OpBase.td
@@ -1001,6 +1001,14 @@
   TensorOf<[allowedType]>.predicate]>,
   name>;
 
+// Temporary constraint to disallow zero ranked tensors in conditions in
+// arith.select
+class TypeOrContainerOfNon0RankOrUnrank<Type allowedType, string name> :
+    TypeConstraint<Or<[
+  allowedType.predicate, VectorOfAnyRankOf<[allowedType]>.predicate,
+  Non0RankedTensorOf<[allowedType]>.predicate,
+  UnrankedTensorOf<[allowedType]>.predicate]>,
+  name>;
 
 // Type constraint for bool-like types: bools, vectors of bools, tensors of
 // bools.
@@ -1008,6 +1016,10 @@
 
 def BoolLikeOfAnyRank : TypeOrContainerOfAnyRank<I1, "bool-like">;
 
+// Similar to bool-like, but disallows zero ranked tensors
+def BoolLikeOfNon0RankOrUnrank :
+    TypeOrContainerOfNon0RankOrUnrank<I1, "bool-like">;
+
 // Type constraint for signless-integer-like types: signless integers, indices,
 // vectors of signless integers or indices, tensors of signless integers.
 def SignlessIntegerLike : TypeOrContainer<AnySignlessIntegerOrIndex,
diff --git a/mlir/test/Dialect/Arith/invalid.mlir b/mlir/test/Dialect/Arith/invalid.mlir
--- a/mlir/test/Dialect/Arith/invalid.mlir
+++ b/mlir/test/Dialect/Arith/invalid.mlir
@@ -753,3 +753,35 @@
 
   %x = arith.constant 1 : i32
 }
+
+// -----
+
+func.func @disallow_zero_rank_tensor(%arg0 : tensor<i1>, %arg1 : tensor<i32>, %arg2 : tensor<i32>) -> tensor<i32> {
+  // expected-error @+1 {{'arith.select' op operand #0 must be bool-like, but got 'tensor<i1>'}}
+  %0 = arith.select %arg0, %arg1, %arg2 : tensor<i1>, tensor<i32>
+  return %0 : tensor<i32>
+}
+
+// -----
+
+func.func @disallow_zero_rank_tensor_with_ranked_tensor(%arg0 : tensor<i1>, %arg1 : tensor<2xi64>, %arg2 : tensor<2xi64>) -> tensor<2xi64> {
+  // expected-error @+1 {{'arith.select' op operand #0 must be bool-like, but got 'tensor<i1>'}}
+  %0 = arith.select %arg0, %arg1, %arg2 : tensor<i1>, tensor<2xi64>
+  return %0 : tensor<2xi64>
+}
+
+// -----
+
+func.func @disallow_zero_rank_tensor_with_unranked_tensor(%arg0 : tensor<i1>, %arg1 : tensor<2x?xi64>, %arg2 : tensor<2x?xi64>) -> tensor<2x?xi64> {
+  // expected-error @+1 {{'arith.select' op operand #0 must be bool-like, but got 'tensor<i1>'}}
+  %0 = arith.select %arg0, %arg1, %arg2 : tensor<i1>, tensor<2x?xi64>
+  return %0 : tensor<2x?xi64>
+}
+
+// -----
+
+func.func @disallow_zero_rank_tensor_with_vector(%arg0 : tensor<i1>, %arg1 : vector<i64>, %arg2 : vector<i64>) -> vector<i64> {
+  // expected-error @+1 {{'arith.select' op operand #0 must be bool-like, but got 'tensor<i1>'}}
+  %0 = arith.select %arg0, %arg1, %arg2 : tensor<i1>, vector<i64>
+  return %0 : vector<i64>
+}