[PATCH] D74647: [mlir][ODS] Add a new trait `TypesMatchWith`

[River Riddle via Phabricator via llvm-commits]

rriddle added inline comments.


================
Comment at: mlir/include/mlir/Dialect/StandardOps/Ops.td:1071-1073
+  let arguments = (ins BoolLike:$condition, IntegerOrFloatLike:$true_value,
+                       IntegerOrFloatLike:$false_value);
+  let results = (outs IntegerOrFloatLike:$result);
----------------
stephenneuendorffer wrote:
> Unrelated change?  Why does this need to be IntegerOrFloatLike?
Not unrelated, getI1SameShape asserts that the given type is integer-or-float like. This avoids that assert.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74647/new/

https://reviews.llvm.org/D74647