| /llvm-project-15.0.7/mlir/test/Dialect/Transform/ |
| H A D | check-use-after-free.mlir | 5 %0 = transform.test_produce_param_or_forward_operand 42 6 transform.test_transform_op_with_regions { 20 transform.sequence %0 { 34 transform.test_transform_op_with_regions { 49 transform.sequence %0 { 58 transform.sequence { 65 transform.sequence %0 attributes { ord = 2 } { 90 transform.sequence { 122 transform.test_transform_op_with_regions { 130 transform.sequence %0 { [all …]
|
| H A D | test-interpreter.mlir | 4 transform.test_transform_op 31 transform.sequence { 50 transform.sequence { 62 transform.sequence { 75 transform.with_pdl_patterns { 123 transform.sequence %arg0 { 148 transform.sequence %arg0 { 186 transform.sequence %arg0 { 336 transform.sequence { 622 transform.foreach %f { [all …]
|
| H A D | ops-invalid.mlir | 4 transform.sequence { 10 transform.sequence { 13 transform.sequence { 21 transform.sequence { 33 transform.yield 42 transform.sequence { 99 transform.sequence { 111 transform.sequence { 126 transform.sequence { 176 transform.yield [all …]
|
| H A D | ops.mlir | 3 // CHECK: transform.sequence 5 transform.sequence { 16 transform.with_pdl_patterns { 24 // CHECK: transform.sequence 26 transform.sequence { 35 // CHECK: transform.sequence 39 transform.sequence { 45 transform.sequence %0 { 48 transform.sequence %0 { 55 transform.sequence { [all …]
|
| H A D | test-dialect-injection.mlir | 5 // CHECK: transform.test_transform_op 6 transform.test_transform_op 8 // CHECK: = transform.test_produce_param_or_forward_operand 42 {foo = "bar"} 9 %0 = transform.test_produce_param_or_forward_operand 42 { foo = "bar" } 11 // CHECK: transform.test_consume_operand_if_matches_param_or_fail %{{.*}}[42] 12 transform.test_consume_operand_if_matches_param_or_fail %0[42]
|
| /llvm-project-15.0.7/mlir/test/python/dialects/ |
| H A D | transform.py | 4 from mlir.dialects import transform 32 sequence = transform.SequenceOp() 40 transform.YieldOp() 41 transform.YieldOp() 63 transform.YieldOp(match) 77 sequence = transform.SequenceOp() 80 transform.YieldOp() 89 sequence = transform.SequenceOp() 92 transform.YieldOp() 107 transform.ReplicateOp(m1, [m2]) [all …]
|
| H A D | transform_structured_ext.py | 24 transform.YieldOp() 35 transform.YieldOp() 50 transform.YieldOp() 63 transform.YieldOp() 80 transform.YieldOp() 96 transform.YieldOp() 108 transform.YieldOp() 119 transform.YieldOp() 135 transform.YieldOp() 148 transform.YieldOp() [all …]
|
| H A D | transform_loop_ext.py | 4 from mlir.dialects import transform 6 from mlir.dialects.transform import loop 21 sequence = transform.SequenceOp() 24 transform.YieldOp() 32 sequence = transform.SequenceOp() 35 transform.YieldOp() 43 sequence = transform.SequenceOp() 46 transform.YieldOp() 53 sequence = transform.SequenceOp() 56 transform.YieldOp() [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/utilities/optional/optional.monadic/ |
| H A D | transform.pass.cpp | 100 assert(i.transform(LVal{}) == 1); in test_val_types() 108 assert(i.transform(l) == 1); in test_val_types() 126 assert(i.transform(l) == 1); in test_val_types() 175 opt.transform(l); in test_sfinae() 176 std::move(opt).transform(l); in test_sfinae() 190 opt.transform(never_called); in test() 192 copt.transform(never_called); in test() 197 std::move(nc).transform(NoCopy{}); in test() 198 std::move(cnc).transform(NoCopy{}); in test() 200 std::move(nc).transform(NoMove{}); in test() [all …]
|
| /llvm-project-15.0.7/mlir/test/lib/Dialect/Transform/ |
| H A D | TestTransformDialectExtension.cpp | 106 transform::TransformResults &results, transform::TransformState &state) { in apply() 131 transform::TransformResults &results, transform::TransformState &state) { in apply() 146 transform::TransformResults &results, transform::TransformState &state) { in apply() 163 transform::TransformResults &results, transform::TransformState &state) { in apply() 183 transform::TransformResults &results, transform::TransformState &state) { in apply() 197 transform::TransformResults &results, transform::TransformState &state) { in apply() 212 transform::TransformResults &results, transform::TransformState &state) { in apply() 221 transform::TransformResults &results, transform::TransformState &state) { in apply() 229 transform::TransformResults &results, transform::TransformState &state) { in apply() 241 transform::TransformState &state) { in applyToOne() [all …]
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Transform/IR/ |
| H A D | TransformInterfaces.cpp | 166 TransformOpInterface transform) { in checkAndRecordHandleInvalidation() argument 192 transform::TransformState::applyTransform(TransformOpInterface transform) { in applyTransform() argument 206 transform.emitSilenceableError() in applyTransform() 217 transform::TransformResults results(transform->getNumResults()); in applyTransform() 351 void transform::consumesHandle( in consumesHandle() 372 bool transform::isHandleConsumed(Value handle, in isHandleConsumed() 373 transform::TransformOpInterface transform) { in isHandleConsumed() argument 381 void transform::producesHandle( in producesHandle() 392 void transform::onlyReadsHandle( in onlyReadsHandle() 401 void transform::modifiesPayload( in modifiesPayload() [all …]
|
| H A D | TransformOps.cpp | 178 transform::AlternativesOp::apply(transform::TransformResults &results, in apply() 281 transform::ForeachOp::apply(transform::TransformResults &results, in apply() 291 cast<transform::TransformOpInterface>(transform)); in apply() 299 void transform::ForeachOp::getEffects( in getEffects() 339 transform::TransformResults &results, transform::TransformState &state) { in apply() 362 transform::MergeHandlesOp::apply(transform::TransformResults &results, in apply() 400 transform::PDLMatchOp::apply(transform::TransformResults &results, in apply() 422 transform::ReplicateOp::apply(transform::TransformResults &results, in apply() 449 transform::SequenceOp::apply(transform::TransformResults &results, in apply() 547 void transform::SequenceOp::getEffects( in getEffects() [all …]
|
| /llvm-project-15.0.7/mlir/test/Dialect/SCF/ |
| H A D | transform-ops.mlir | 18 transform.with_pdl_patterns { 24 %1 = transform.loop.get_parent_for %0 41 transform.with_pdl_patterns { 47 %1 = transform.loop.get_parent_for %0 83 transform.with_pdl_patterns { 112 transform.with_pdl_patterns { 143 transform.with_pdl_patterns { 149 transform.loop.peel %1 179 transform.with_pdl_patterns { 185 %2 = transform.loop.pipeline %1 [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/ranges/range.adaptors/range.transform/ |
| H A D | adaptor.pass.cpp | 42 std::same_as<Result> auto result = std::views::transform(PlusOne{})(MoveOnlyView{buff}); in test() 49 auto const partial = std::views::transform(PlusOne{}); in test() 70 auto const partial = std::views::transform(PlusOne{}); in test() 83 std::same_as<Result> auto result = std::views::transform(MoveOnlyView{buff}, PlusOne{}); in test() 96 auto partial = std::views::transform(X{}); in test() 104 …esult> auto result = MoveOnlyView{buff} | std::views::transform(PlusOne{}) | std::views::transform… in test() 111 auto const partial = std::views::transform(PlusOne{}) | std::views::transform(TimesTwo{}); in test() 126 static_assert(!CanBePiped<MoveOnlyView, decltype(std::views::transform)>); in test() 127 static_assert( CanBePiped<MoveOnlyView, decltype(std::views::transform(PlusOne{}))>); in test() 131 static_assert(!std::is_invocable_v<decltype(std::views::transform)>); in test() [all …]
|
| /llvm-project-15.0.7/mlir/test/Dialect/Linalg/ |
| H A D | transform-ops.mlir | 3 transform.sequence { 6 %0, %1:2 = transform.structured.tile %arg0 [2, 0, 3] 15 transform.sequence { 17 // CHECK: transform.structured.pad 18 %0 = transform.structured.pad %arg0 21 transform.sequence { 23 // CHECK: transform.structured.interchange 24 %0 = transform.structured.interchange %arg0 27 transform.sequence { 29 // CHECK: transform.structured.scalarize [all …]
|
| H A D | transform-op-pad.mlir | 34 transform.with_pdl_patterns { 36 transform.sequence %arg0 { 38 %0 = transform.structured.match ops{["linalg.matmul"]} in %arg1 53 transform.with_pdl_patterns { 55 transform.sequence %arg0 { 57 %0 = transform.structured.match ops{["linalg.matmul"]} in %arg1 73 transform.with_pdl_patterns { 75 transform.sequence %arg0 { 94 transform.with_pdl_patterns { 96 transform.sequence %arg0 { [all …]
|
| H A D | transform-ops-invalid.mlir | 3 transform.sequence { 6 transform.structured.interchange %arg0 {iterator_interchange = [1, 1]} 11 transform.sequence { 14 transform.structured.pad %arg0 {padding_dimensions=[1, -7]} 19 transform.sequence { 22 transform.structured.pad %arg0 {pack_paddings=[1, 7]} 27 transform.sequence { 30 transform.structured.pad %arg0 {hoist_paddings=[1, -7]} 35 transform.sequence { 38 transform.structured.pad %arg0 {transpose_paddings=[[1, 1]]}
|
| H A D | transform-op-match.mlir | 1 // RUN: mlir-opt %s --test-transform-dialect-interpreter -allow-unregistered-dialect --split-input-… 12 transform.with_pdl_patterns { 14 transform.sequence %arg0 { 16 %match_name = transform.structured.match ops{["arith.constant"]} in %arg1 17 transform.test_print_remark_at_operand %match_name, "matched op name" 18 transform.test_consume_operand %match_name 20 %match_attr = transform.structured.match ops{["arith.constant"]} attribute{"my_attr"} in %arg1 21 transform.test_print_remark_at_operand %match_attr, "matched attr name" 22 transform.test_consume_operand %match_attr
|
| H A D | transform-op-split.mlir | 4 transform.with_pdl_patterns { 6 transform.sequence %arg0 { 102 transform.with_pdl_patterns { 104 transform.sequence %arg0 { 152 transform.with_pdl_patterns { 154 transform.sequence %arg0 { 210 transform.sequence { 220 transform.sequence %arg0 { 249 transform.sequence %arg0 { 283 transform.sequence %arg0 { [all …]
|
| H A D | transform-op-interchange.mlir | 1 // RUN: mlir-opt %s -test-transform-dialect-interpreter -split-input-file -verify-diagnostics | Fil… 21 transform.with_pdl_patterns { 23 transform.sequence %arg0 { 25 %0 = transform.structured.match ops{["linalg.generic"]} in %arg1 26 transform.structured.interchange %0 { iterator_interchange = [1, 0]} 38 transform.with_pdl_patterns { 40 transform.sequence %arg0 { 42 %0 = transform.structured.match ops{["linalg.matmul"]} in %arg1 43 // expected-error @below {{transform applied to the wrong op kind}} 44 transform.structured.interchange %0 { iterator_interchange = [1, 0]}
|
| H A D | transform-op-fuse.mlir | 1 // RUN: mlir-opt %s --test-transform-dialect-interpreter --split-input-file | FileCheck %s 17 transform.with_pdl_patterns { 19 transform.sequence %arg0 { 21 %0 = transform.structured.match ops{["linalg.elemwise_binary"]} in %arg1 46 transform.with_pdl_patterns { 48 transform.sequence %arg0 { 50 %0 = transform.structured.match ops{["linalg.elemwise_binary"]} in %arg1 52 transform.loop.peel %loops#0 90 transform.with_pdl_patterns { 92 transform.sequence %arg0 { [all …]
|
| /llvm-project-15.0.7/libcxx/test/std/re/re.traits/ |
| H A D | transform.pass.cpp | 35 assert(t.transform(F(a), F(a+1)) > t.transform(F(B), F(B+1))); in main() 37 assert(t.transform(F(a), F(a+1)) < t.transform(F(B), F(B+1))); in main() 45 assert(t.transform(F(a), F(a+1)) > t.transform(F(B), F(B+1))); in main() 47 assert(t.transform(F(a), F(a+1)) < t.transform(F(B), F(B+1))); in main()
|
| /llvm-project-15.0.7/libcxx/test/std/algorithms/alg.modifying.operations/alg.transform/ |
| H A D | ranges.transform.pass.cpp | 55 std::ranges::transform(r, out, std::identity{}); 56 std::ranges::transform(r, r, out, BinaryFunc{}); 82 std::ranges::transform(range, out, std::identity{}); 101 std::ranges::transform(it, sent, out, func); 102 std::ranges::transform(range, out, func); 110 std::ranges::transform(range, range, out, func); 205 auto ret = std::ranges::transform( in test_iterators() 236 auto ret = std::ranges::transform( in test_iterators() 266 auto ret = std::ranges::transform( in test_iterators() 318 auto ret = std::ranges::transform( in test_iterators() [all …]
|
| /llvm-project-15.0.7/mlir/test/Dialect/Bufferization/Transforms/ |
| H A D | transform-ops.mlir | 5 transform.with_pdl_patterns { 9 %0 = transform.structured.match ops{["func.func"]} in %arg1 10 transform.bufferization.one_shot_bufferize %0 37 transform.with_pdl_patterns { 41 %0 = transform.structured.match ops{["func.func"]} in %arg1 42 transform.bufferization.one_shot_bufferize %0 63 transform.with_pdl_patterns { 67 %0 = transform.structured.match ops{["func.func"]} in %arg1 81 // Test One-Shot Bufferize transform failure with a module op. 83 transform.with_pdl_patterns { [all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Transform/IR/ |
| H A D | TransformDialect.td | 38 transform IR. 56 %0 = transform.loop.find { size > 42 } 57 %1:2 = transform.loop.tile { tile_sizes = [2,3,4] } 58 transform.loop.unroll %1#1 202 in the transform IR. However, a transform IR operation that consumes such a 236 part of the transform op implementation. 250 transform.loop.unroll %parts#1 { full } 277 a transform op may have regions with further transform ops in them, with 300 let name = "transform"; 301 let cppNamespace = "::mlir::transform"; [all …]
|