diff options
| author | River Riddle <riddleriver@gmail.com> | 2020-07-01 22:24:36 -0700 |
|---|---|---|
| committer | River Riddle <riddleriver@gmail.com> | 2020-07-01 22:27:08 -0700 |
| commit | c59aec0ca1edac409d8789956049ae13af24e370 (patch) | |
| tree | e98347321a1ae37065356a7627a0ab5d71b88407 /mlir/test/mlir-tblgen | |
| parent | ba5087f13025a15662e164eb371fe0678258e03f (diff) | |
| download | llvm-c59aec0ca1edac409d8789956049ae13af24e370.zip llvm-c59aec0ca1edac409d8789956049ae13af24e370.tar.gz llvm-c59aec0ca1edac409d8789956049ae13af24e370.tar.bz2 | |
[mlir][OpFormatGen] Add support for resolving variadic types from non-variadic
This enables better support for traits such as SameOperandsAndResultType, and other situations in which a variadic operand may be resolved from a non-variadic.
Differential Revision: https://reviews.llvm.org/D83011
Diffstat (limited to 'mlir/test/mlir-tblgen')
| -rw-r--r-- | mlir/test/mlir-tblgen/op-format.mlir | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mlir/test/mlir-tblgen/op-format.mlir b/mlir/test/mlir-tblgen/op-format.mlir index 066e548..157f6cb 100644 --- a/mlir/test/mlir-tblgen/op-format.mlir +++ b/mlir/test/mlir-tblgen/op-format.mlir @@ -101,3 +101,10 @@ test.format_optional_operand_result_b_op( : ) : i64 // CHECK: test.format_optional_operand_result_b_op : i64 test.format_optional_operand_result_b_op : i64 + +//===----------------------------------------------------------------------===// +// Format trait type inference +//===----------------------------------------------------------------------===// + +// CHECK: test.format_infer_variadic_type_from_non_variadic %[[I64]], %[[I64]] : i64 +test.format_infer_variadic_type_from_non_variadic %i64, %i64 : i64 |